problem result overall_time
unbd-sage0 sat 13.29
unbd-sage1 sat 5.36
unbd-sage10 sat 5.3
unbd-sage11 sat 2.38
unbd-sage12 sat 2.18
unbd-sage13 sat 1.8
unbd-sage14 sat 1.25
unbd-sage15 sat 1.18
unbd-sage16 sat 0.92
unbd-sage17 sat 1.35
unbd-sage18 sat 1.76
unbd-sage19 sat 2.32
unbd-sage2 sat 15.81
unbd-sage20 sat 14
unbd-sage21 sat 10.03
unbd-sage22 sat 1.58
unbd-sage23 sat 2.16
unbd-sage24 sat 18.13
unbd-sage3 sat 7.4
unbd-sage4 sat 1.12
unbd-sage5 sat 2.04
unbd-sage6 sat 26.58
unbd-sage7 sat 1.27
unbd-sage8 sat 0.02
unbd-sage9 sat 3.73