Test Upper Envelope time :  is : 00:10:02
Test Lower Envelope time :  is : 00:13:15
Train Upper Envelope time :  is : 00:38:15
Train Lower Envelope time :  is : 00:53:08
Time taken for fold 0 is : 11:58:05
Average Time taken to solve each query by solver optimathsat is : 00:00:00
