problem result overall_time
unbd-sage12 sat 259.2
unbd-sage13 sat 7.93
unbd-sage17 sat 41.38
unbd-sage19 sat 2.28
unbd-sage2 sat 98.92
unbd-sage22 sat 1.46
unbd-sage24 sat 0.71
unbd-sage6 sat 1.44
unbd-sage7 sat 11.31