problem result overall_time
unbd-sage0 sat 0.02
unbd-sage1 sat 2
unbd-sage10 sat 558.220032
unbd-sage11 sat 18.4
unbd-sage12 sat 0.22
unbd-sage13 sat 2.84
unbd-sage14 sat 0.74
unbd-sage15 sat 1.87
unbd-sage16 sat 0.14
unbd-sage17 sat 1.03
unbd-sage18 sat 1.37
unbd-sage19 sat 0.06
unbd-sage2 sat 3.46
unbd-sage20 sat 6.06
unbd-sage21 sat 1.74
unbd-sage22 sat 0.15
unbd-sage23 sat 3.63
unbd-sage24 sat 3.06
unbd-sage3 sat 0.03
unbd-sage4 sat 1.75
unbd-sage5 sat 4.96
unbd-sage6 sat 0.7
unbd-sage7 sat 8.61
unbd-sage8 sat 1.22
unbd-sage9 sat 9