problem,result,overall_time cut_lemma_01_004.smt2.slack.smt2.3,sat,0.18 cut_lemma_02_001.smt2.slack.smt2.3,sat,0.25 cut_lemma_01_008.smt2.slack.smt2.1,unsat,0.06 cut_lemma_01_008.smt2.slack.smt2.10,unsat,0.05 cut_lemma_01_008.smt2.slack.smt2.2,unsat,0.09 cut_lemma_01_008.smt2.slack.smt2.3,unsat,0.06 cut_lemma_01_008.smt2.slack.smt2.4,unsat,0.08 cut_lemma_01_008.smt2.slack.smt2.5,unsat,0.04 cut_lemma_01_008.smt2.slack.smt2.6,unsat,0.06 cut_lemma_01_008.smt2.slack.smt2.7,unsat,0.08 cut_lemma_01_008.smt2.slack.smt2.8,unsat,0.05 cut_lemma_01_008.smt2.slack.smt2.9,unsat,0.07 cut_lemma_01_015.smt2.slack.smt2.1,unsat,0.05 cut_lemma_01_015.smt2.slack.smt2.10,unsat,0.07 cut_lemma_01_015.smt2.slack.smt2.2,unsat,0.05 cut_lemma_01_015.smt2.slack.smt2.3,unsat,0.05 cut_lemma_01_015.smt2.slack.smt2.4,unsat,0.04 cut_lemma_01_015.smt2.slack.smt2.5,unsat,0.05 cut_lemma_01_015.smt2.slack.smt2.6,unsat,0.08 cut_lemma_01_015.smt2.slack.smt2.7,unsat,0.05 cut_lemma_01_015.smt2.slack.smt2.8,unsat,0.05 cut_lemma_01_015.smt2.slack.smt2.9,unsat,0.08 cut_lemma_03_006.smt2.slack.smt2.1,unsat,0.13 cut_lemma_03_006.smt2.slack.smt2.10,unsat,0.11 cut_lemma_03_006.smt2.slack.smt2.2,unsat,0.07 cut_lemma_03_006.smt2.slack.smt2.3,unsat,0.07 cut_lemma_03_006.smt2.slack.smt2.4,unsat,0.07 cut_lemma_03_006.smt2.slack.smt2.5,unsat,0.13 cut_lemma_03_006.smt2.slack.smt2.6,unsat,0.07 cut_lemma_03_006.smt2.slack.smt2.7,unsat,0.06 cut_lemma_03_006.smt2.slack.smt2.8,unsat,0.07 cut_lemma_03_006.smt2.slack.smt2.9,unsat,0.11 cut_lemma_03_008.smt2.slack.smt2.1,unsat,0.12 cut_lemma_03_008.smt2.slack.smt2.10,unsat,0.09 cut_lemma_03_008.smt2.slack.smt2.2,unsat,0.08 cut_lemma_03_008.smt2.slack.smt2.3,unsat,0.08 cut_lemma_03_008.smt2.slack.smt2.4,unsat,0.16 cut_lemma_03_008.smt2.slack.smt2.5,unsat,0.07 cut_lemma_03_008.smt2.slack.smt2.6,unsat,0.09 cut_lemma_03_008.smt2.slack.smt2.7,unsat,0.09 cut_lemma_03_008.smt2.slack.smt2.8,unsat,0.11 cut_lemma_03_008.smt2.slack.smt2.9,unsat,0.07