problem result overall_time
unbd-sage0 sat 17.9
unbd-sage1 sat 4.98
unbd-sage10 sat 110.7
unbd-sage11 sat 139.84
unbd-sage12 sat 130.87
unbd-sage13 sat 998.13
unbd-sage14 sat 14.56
unbd-sage15 sat 13.08
unbd-sage16 sat 129.58
unbd-sage17 sat 29.91
unbd-sage18 sat 24.72
unbd-sage19 sat 40.91
unbd-sage2 sat 135.37
unbd-sage20 sat 2.71
unbd-sage21 sat 256.43
unbd-sage22 sat 79.5
unbd-sage23 sat 2.07
unbd-sage24 sat 37.14
unbd-sage3 sat 3.22
unbd-sage4 sat 8.69
unbd-sage5 sat 1.73
unbd-sage6 sat 3.21
unbd-sage7 sat 11.48
unbd-sage8 sat 19.1
unbd-sage9 sat 1.96