problem | result | overall_time |
unbd-sage0 | sat | 0 |
unbd-sage1 | sat | 0.03 |
unbd-sage10 | sat | 0 |
unbd-sage11 | sat | 0 |
unbd-sage12 | sat | 0 |
unbd-sage13 | sat | 0 |
unbd-sage14 | sat | 0 |
unbd-sage15 | sat | 0 |
unbd-sage16 | sat | 0.05 |
unbd-sage17 | sat | 0 |
unbd-sage18 | sat | 0 |
unbd-sage19 | sat | 0.01 |
unbd-sage2 | sat | 0 |
unbd-sage20 | sat | 0.02 |
unbd-sage21 | sat | 0 |
unbd-sage22 | sat | 0 |
unbd-sage23 | sat | 0.02 |
unbd-sage24 | sat | 0 |
unbd-sage3 | sat | 0 |
unbd-sage4 | sat | 0.03 |
unbd-sage5 | sat | 0 |
unbd-sage6 | sat | 0.03 |
unbd-sage7 | sat | 0 |
unbd-sage8 | sat | 0 |
unbd-sage9 | sat | 0.01 |