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 |