problem | result | overall_time |
unbd-sage0 | sat | 0 |
unbd-sage1 | sat | 0.25 |
unbd-sage10 | sat | 0.17 |
unbd-sage11 | sat | 0.2 |
unbd-sage12 | sat | 0.03 |
unbd-sage13 | sat | 0.47 |
unbd-sage14 | sat | 0.34 |
unbd-sage16 | sat | 0.02 |
unbd-sage17 | sat | 0 |
unbd-sage18 | sat | 0.01 |
unbd-sage2 | sat | 0.08 |
unbd-sage20 | sat | 0.03 |
unbd-sage21 | sat | 0.1 |
unbd-sage22 | sat | 0.02 |
unbd-sage24 | sat | 4.13 |
unbd-sage3 | sat | 0.04 |
unbd-sage4 | sat | 0.02 |
unbd-sage5 | sat | 0.01 |
unbd-sage7 | sat | 1.15 |
unbd-sage8 | sat | 0 |
unbd-sage9 | sat | 1.02 |