Test Upper Envelope time :  is : 00:05:37
Test Lower Envelope time :  is : 00:08:01
Train Upper Envelope time :  is : 00:22:54
Train Lower Envelope time :  is : 00:31:52
Time taken for fold 0 is : 09:04:55
Average Time taken to solve each query by solver optimathsat is : 00:00:00
