problem result overall_time
unbd-sage0 sat 52.46
unbd-sage1 sat 82.43
unbd-sage10 sat 21.75
unbd-sage11 sat 48.16
unbd-sage12 sat 17.67
unbd-sage13 sat 21.41
unbd-sage14 sat 92.76
unbd-sage15 sat 58.09
unbd-sage16 sat 26.74
unbd-sage18 sat 1118.899968
unbd-sage19 sat 600.16
unbd-sage2 sat 22.27
unbd-sage20 sat 156.31
unbd-sage21 sat 241.38
unbd-sage22 sat 33.51
unbd-sage23 sat 40.31
unbd-sage3 sat 5.47
unbd-sage4 sat 15.48
unbd-sage5 sat 745.590016
unbd-sage6 sat 31.74
unbd-sage7 sat 20.14
unbd-sage8 sat 9.79
unbd-sage9 sat 126.49