problem | result | overall_time |
unbd-sage0 | sat | 504.230016 |
unbd-sage10 | sat | 474.089984 |
unbd-sage12 | sat | 50.44 |
unbd-sage14 | sat | 0.11 |
unbd-sage15 | sat | 2003.559936 |
unbd-sage19 | sat | 398.4 |
unbd-sage20 | sat | 0.1 |
unbd-sage22 | sat | 738.68 |
unbd-sage23 | sat | 2034.230016 |
unbd-sage24 | sat | 0.12 |