Test Upper Envelope time :  is : 00:00:42
Test Lower Envelope time :  is : 00:00:41
Train Upper Envelope time :  is : 00:02:51
Train Lower Envelope time :  is : 00:02:42
Time taken for fold 0 is : 00:49:47
Average Time taken to solve each query by solver optimathsat is : 00:00:00
