problem | result | overall_time |
unbd-sage0 | sat | 20.23 |
unbd-sage1 | sat | 105.2 |
unbd-sage16 | sat | 822.969984 |
unbd-sage18 | sat | 5.5 |
unbd-sage19 | sat | 143.94 |
unbd-sage22 | sat | 2262.259968 |
unbd-sage24 | sat | 1425.090048 |
unbd-sage4 | sat | 238.35 |
unbd-sage6 | sat | 327.36 |
unbd-sage9 | sat | 1280.32 |