Test Upper Envelope time :  is : 00:00:15
Test Lower Envelope time :  is : 00:00:20
Train Upper Envelope time :  is : 00:00:56
Train Lower Envelope time :  is : 00:01:22
Time taken for fold 0 is : 02:22:36
Average Time taken to solve each query by solver optimathsat is : 00:00:00
