problem result overall_time
unbd-sage0 sat 0
unbd-sage1 sat 0.25
unbd-sage10 sat 0.17
unbd-sage11 sat 0.2
unbd-sage12 sat 0.03
unbd-sage13 sat 0.47
unbd-sage14 sat 0.34
unbd-sage16 sat 0.02
unbd-sage17 sat 0
unbd-sage18 sat 0.01
unbd-sage2 sat 0.08
unbd-sage20 sat 0.03
unbd-sage21 sat 0.1
unbd-sage22 sat 0.02
unbd-sage24 sat 4.13
unbd-sage3 sat 0.04
unbd-sage4 sat 0.02
unbd-sage5 sat 0.01
unbd-sage7 sat 1.15
unbd-sage8 sat 0
unbd-sage9 sat 1.02