problem | result | overall_time |
unbd-sage0 | sat | 101.72 |
unbd-sage1 | sat | 608.97 |
unbd-sage11 | sat | 49.46 |
unbd-sage12 | sat | 181.45 |
unbd-sage13 | sat | 800.39 |
unbd-sage14 | sat | 1836.08 |
unbd-sage16 | sat | 32.71 |
unbd-sage17 | sat | 1477.76 |
unbd-sage18 | sat | 61.43 |
unbd-sage19 | sat | 70.45 |
unbd-sage20 | sat | 54.14 |
unbd-sage22 | sat | 1925.83 |
unbd-sage23 | sat | 554.8 |
unbd-sage24 | sat | 8.5 |
unbd-sage3 | sat | 1327.94 |
unbd-sage5 | sat | 2045.75 |
unbd-sage6 | sat | 2505.02 |
unbd-sage7 | sat | 1189.73 |
unbd-sage8 | sat | 268.01 |
unbd-sage9 | sat | 490.77 |