problem result overall_time
unbd-sage0 sat 20.23
unbd-sage1 sat 105.2
unbd-sage16 sat 822.969984
unbd-sage18 sat 5.5
unbd-sage19 sat 143.94
unbd-sage22 sat 2262.259968
unbd-sage24 sat 1425.090048
unbd-sage4 sat 238.35
unbd-sage6 sat 327.36
unbd-sage9 sat 1280.32