problem | result | overall_time |
cut_lemma_01_005.smt2.slack | unsat | 175.18 |
cut_lemma_01_007.smt2.slack | unsat | 194.2 |
cut_lemma_01_008.smt2.slack | unsat | 0.01 |
cut_lemma_01_014.smt2.slack | unsat | 2.47 |
cut_lemma_01_015.smt2.slack | unsat | 0.02 |
cut_lemma_01_016.smt2.slack | unsat | 3.7 |
cut_lemma_02_008.smt2.slack | unsat | 38.37 |
cut_lemma_03_003.smt2.slack | unsat | 414.670016 |
cut_lemma_03_004.smt2.slack | unsat | 1431.539968 |
cut_lemma_03_006.smt2.slack | unsat | 0.03 |
cut_lemma_03_008.smt2.slack | unsat | 0.02 |