problem result overall_time
cut_lemma_01_001.smt2.slack unsat 237.76
cut_lemma_01_007.smt2.slack unsat 1907.859968
cut_lemma_01_008.smt2.slack unsat 0.01
cut_lemma_01_010.smt2.slack unsat 373.78
cut_lemma_01_012.smt2.slack unsat 44.6
cut_lemma_01_014.smt2.slack unsat 23.69
cut_lemma_01_015.smt2.slack unsat 0
cut_lemma_01_016.smt2.slack unsat 2324.679936
cut_lemma_02_005.smt2.slack unsat 214.65
cut_lemma_02_013.smt2.slack unsat 595.059968
cut_lemma_02_014.smt2.slack unsat 106.97
cut_lemma_02_015.smt2.slack unsat 58.37
cut_lemma_03_006.smt2.slack unsat 0.01
cut_lemma_03_008.smt2.slack unsat 0
cut_lemma_03_012.smt2.slack unsat 1488.860032
cut_lemma_03_013.smt2.slack unsat 215.73
cut_lemma_03_019.smt2.slack unsat 598.12