Test Upper Envelope time :  is : 00:00:13
Test Lower Envelope time :  is : 00:00:12
Train Upper Envelope time :  is : 00:00:47
Train Lower Envelope time :  is : 00:00:49
Time taken for fold 0 is : 05:55:16
Average Time taken to solve each query by solver optimathsat is : 00:00:00
