problem | result | overall_time |
15-17.slack | sat | 0.38 |
problem_2__023 | sat | 0.01 |
25-22.slack | unsat | 76.21 |
25-31.slack | unsat | 181.18 |
cut_lemma_01_010 | unsat | 0.94 |
cut_lemma_02_003 | unsat | 0.48 |
cut_lemma_02_006 | unsat | 0.2 |
cut_lemma_02_008 | unsat | 0.02 |
cut_lemma_03_002 | unsat | 0 |