problem result overall_time
unbd-sage0 sat 91.37
unbd-sage1 sat 487.4
unbd-sage10 sat 279.22
unbd-sage12 sat 145.16
unbd-sage13 sat 714.609984
unbd-sage14 sat 27.03
unbd-sage15 sat 184.05
unbd-sage16 sat 1874.200064
unbd-sage17 sat 77.46
unbd-sage19 sat 294.84
unbd-sage2 sat 889.590016
unbd-sage20 sat 209.01
unbd-sage21 sat 411.870016
unbd-sage22 sat 40.02
unbd-sage23 sat 14.56
unbd-sage24 sat 54.93
unbd-sage3 sat 132.09
unbd-sage4 sat 1040.969984
unbd-sage5 sat 58.33
unbd-sage6 sat 0.05
unbd-sage8 sat 60.41
unbd-sage9 sat 848.950016