problem | result | overall_time |
15-17.slack | sat | 0.21 |
problem_2__023 | sat | 0.02 |
20-14.slack | unsat | 22.13 |
25-22.slack | unsat | 0.16 |
25-31.slack | unsat | 0.21 |
cut_lemma_01_010 | unsat | 0.04 |
cut_lemma_02_003 | unsat | 0.03 |
cut_lemma_02_006 | unsat | 0.03 |
cut_lemma_02_008 | unsat | 0.03 |
cut_lemma_03_002 | unsat | 0.03 |