problem result overall_time
unbd-sage0 sat 101.72
unbd-sage1 sat 608.97
unbd-sage11 sat 49.46
unbd-sage12 sat 181.45
unbd-sage13 sat 800.39
unbd-sage14 sat 1836.08
unbd-sage16 sat 32.71
unbd-sage17 sat 1477.76
unbd-sage18 sat 61.43
unbd-sage19 sat 70.45
unbd-sage20 sat 54.14
unbd-sage22 sat 1925.83
unbd-sage23 sat 554.8
unbd-sage24 sat 8.5
unbd-sage3 sat 1327.94
unbd-sage5 sat 2045.75
unbd-sage6 sat 2505.02
unbd-sage7 sat 1189.73
unbd-sage8 sat 268.01
unbd-sage9 sat 490.77