Test Upper Envelope time :  is : 00:00:16
Test Lower Envelope time :  is : 00:00:08
Train Upper Envelope time :  is : 00:01:16
Train Lower Envelope time :  is : 00:00:34
Time taken for fold 0 is : 01:05:26
Average Time taken to solve each query by solver optimathsat is : 00:00:00
