problem result overall_time
unbd-sage0 sat 0.88
unbd-sage1 sat 0.2
unbd-sage10 sat 0.46
unbd-sage11 sat 0.38
unbd-sage12 sat 7.1
unbd-sage13 sat 1.77
unbd-sage14 sat 0.34
unbd-sage15 sat 0.96
unbd-sage16 sat 0.53
unbd-sage17 sat 14.89
unbd-sage18 sat 1.25
unbd-sage19 sat 1.25
unbd-sage2 sat 15.59
unbd-sage20 sat 1.33
unbd-sage21 sat 0.15
unbd-sage22 sat 0.35
unbd-sage23 sat 0.51
unbd-sage24 sat 0.18
unbd-sage3 sat 0.33
unbd-sage4 sat 0.12
unbd-sage5 sat 1.17
unbd-sage6 sat 2.84
unbd-sage7 sat 0.68
unbd-sage9 sat 1.31