problem result overall_time
unbd-sage0 sat 504.230016
unbd-sage10 sat 474.089984
unbd-sage12 sat 50.44
unbd-sage14 sat 0.11
unbd-sage15 sat 2003.559936
unbd-sage19 sat 398.4
unbd-sage20 sat 0.1
unbd-sage22 sat 738.68
unbd-sage23 sat 2034.230016
unbd-sage24 sat 0.12