problem result overall_time
unbd-sage0 sat 0.25
unbd-sage1 sat 0.45
unbd-sage10 sat 0.23
unbd-sage11 sat 0.31
unbd-sage12 sat 0.32
unbd-sage13 sat 0.24
unbd-sage14 sat 0.24
unbd-sage15 sat 0.47
unbd-sage16 sat 0.43
unbd-sage17 sat 0.21
unbd-sage18 sat 0.57
unbd-sage19 sat 0.56
unbd-sage2 sat 1.23
unbd-sage20 sat 1.74
unbd-sage21 sat 0.31
unbd-sage22 sat 0.5
unbd-sage23 sat 0.42
unbd-sage24 sat 0.26
unbd-sage3 sat 0.28
unbd-sage4 sat 0.22
unbd-sage5 sat 0.6
unbd-sage6 sat 0.67
unbd-sage7 sat 0.25
unbd-sage8 sat 0.22
unbd-sage9 sat 0.29