problem | result | overall_time |
15-17.slack | sat | 0.31 |
problem_2__023 | sat | 0.02 |
25-22.slack | unsat | 1288.039936 |
25-31.slack | unsat | 848.76 |
cut_lemma_02_003 | unsat | 4.8 |
cut_lemma_02_006 | unsat | 0.26 |
cut_lemma_02_008 | unsat | 0.12 |
cut_lemma_03_002 | unsat | 0.06 |