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