Test Upper Envelope time :  is : 00:00:03
Test Lower Envelope time :  is : 00:00:06
Test Upper Envelope time :  is : 00:00:04
Test Lower Envelope time :  is : 00:00:04
Train Upper Envelope time :  is : 00:00:13
Train Lower Envelope time :  is : 00:00:18
Time taken for fold 0 is : 00:30:28
Average Time taken to solve each query by solver optimathsat is : 00:00:00
