Test Upper Envelope time :  is : 00:00:59
Test Lower Envelope time :  is : 00:00:58
Train Upper Envelope time :  is : 00:03:53
Train Lower Envelope time :  is : 00:03:51
Time taken for fold 0 is : 01:01:42
Average Time taken to solve each query by solver optimathsat is : 00:00:00
