problem | result | overall_time |
15-17.slack | sat | 0.56 |
problem_2__023 | sat | 0.73 |
25-22.slack | unsat | 2.85 |
25-31.slack | unsat | 2.4 |
cut_lemma_01_010 | unsat | 2.38 |
cut_lemma_02_003 | unsat | 0.5 |
cut_lemma_02_006 | unsat | 0.52 |
cut_lemma_02_008 | unsat | 0.47 |
cut_lemma_03_002 | unsat | 0.5 |