problem result overall_time
unbd-sage9.smt2.1 sat 647.64
unbd-sage9.smt2.2 sat 662.56
unbd-sage9.smt2.4 sat 331.31
unbd-sage9.smt2.5 sat 123.13
unbd-sage9.smt2.6 sat 174.63
unbd-sage9.smt2.7 sat 592.49
unbd-sage9.smt2.8 sat 946.01
unbd-sage9.smt2.9 sat 224.34