problem |
result |
overall_time |
cut_lemma_02_008.smt2.slack.smt2.4 |
sat |
0.44 |
cut_lemma_02_008.smt2.slack.smt2.6 |
sat |
0.49 |
cut_lemma_01_001.smt2.slack.smt2.1 |
unsat |
0.33 |
cut_lemma_01_001.smt2.slack.smt2.10 |
unsat |
0.35 |
cut_lemma_01_001.smt2.slack.smt2.2 |
unsat |
0.39 |
cut_lemma_01_001.smt2.slack.smt2.3 |
unsat |
0.35 |
cut_lemma_01_001.smt2.slack.smt2.4 |
unsat |
0.36 |
cut_lemma_01_001.smt2.slack.smt2.5 |
unsat |
0.37 |
cut_lemma_01_001.smt2.slack.smt2.6 |
unsat |
0.33 |
cut_lemma_01_001.smt2.slack.smt2.7 |
unsat |
0.34 |
cut_lemma_01_001.smt2.slack.smt2.8 |
unsat |
0.31 |
cut_lemma_01_001.smt2.slack.smt2.9 |
unsat |
0.33 |
cut_lemma_02_001.smt2.slack.smt2.1 |
unsat |
0.35 |
cut_lemma_02_001.smt2.slack.smt2.10 |
unsat |
0.33 |
cut_lemma_02_001.smt2.slack.smt2.2 |
unsat |
0.35 |
cut_lemma_02_001.smt2.slack.smt2.3 |
unsat |
0.38 |
cut_lemma_02_001.smt2.slack.smt2.4 |
unsat |
0.51 |
cut_lemma_02_001.smt2.slack.smt2.5 |
unsat |
0.35 |
cut_lemma_02_001.smt2.slack.smt2.6 |
unsat |
0.44 |
cut_lemma_02_001.smt2.slack.smt2.7 |
unsat |
0.34 |
cut_lemma_02_001.smt2.slack.smt2.8 |
unsat |
0.38 |
cut_lemma_02_001.smt2.slack.smt2.9 |
unsat |
0.36 |
cut_lemma_02_003.smt2.slack.smt2.1 |
unsat |
0.36 |
cut_lemma_02_003.smt2.slack.smt2.10 |
unsat |
0.38 |
cut_lemma_02_003.smt2.slack.smt2.2 |
unsat |
0.33 |
cut_lemma_02_003.smt2.slack.smt2.3 |
unsat |
0.35 |
cut_lemma_02_003.smt2.slack.smt2.4 |
unsat |
0.45 |
cut_lemma_02_003.smt2.slack.smt2.5 |
unsat |
0.39 |
cut_lemma_02_003.smt2.slack.smt2.6 |
unsat |
0.34 |
cut_lemma_02_003.smt2.slack.smt2.7 |
unsat |
0.35 |
cut_lemma_02_003.smt2.slack.smt2.8 |
unsat |
0.32 |
cut_lemma_02_003.smt2.slack.smt2.9 |
unsat |
0.33 |
cut_lemma_02_005.smt2.slack.smt2.1 |
unsat |
0.34 |
cut_lemma_02_005.smt2.slack.smt2.10 |
unsat |
0.35 |
cut_lemma_02_005.smt2.slack.smt2.2 |
unsat |
0.35 |
cut_lemma_02_005.smt2.slack.smt2.3 |
unsat |
0.33 |
cut_lemma_02_005.smt2.slack.smt2.4 |
unsat |
0.47 |
cut_lemma_02_005.smt2.slack.smt2.5 |
unsat |
0.33 |
cut_lemma_02_005.smt2.slack.smt2.6 |
unsat |
0.34 |
cut_lemma_02_005.smt2.slack.smt2.7 |
unsat |
0.33 |
cut_lemma_02_005.smt2.slack.smt2.8 |
unsat |
0.35 |
cut_lemma_02_005.smt2.slack.smt2.9 |
unsat |
0.34 |
cut_lemma_02_008.smt2.slack.smt2.1 |
unsat |
0.44 |
cut_lemma_02_008.smt2.slack.smt2.10 |
unsat |
0.45 |
cut_lemma_02_008.smt2.slack.smt2.2 |
unsat |
0.4 |
cut_lemma_02_008.smt2.slack.smt2.3 |
unsat |
0.37 |
cut_lemma_02_008.smt2.slack.smt2.5 |
unsat |
0.38 |
cut_lemma_02_008.smt2.slack.smt2.7 |
unsat |
0.38 |
cut_lemma_02_008.smt2.slack.smt2.8 |
unsat |
0.38 |
cut_lemma_02_008.smt2.slack.smt2.9 |
unsat |
0.37 |
cut_lemma_02_009.smt2.slack.smt2.1 |
unsat |
0.39 |
cut_lemma_02_009.smt2.slack.smt2.10 |
unsat |
0.38 |
cut_lemma_02_009.smt2.slack.smt2.2 |
unsat |
0.36 |
cut_lemma_02_009.smt2.slack.smt2.3 |
unsat |
0.38 |
cut_lemma_02_009.smt2.slack.smt2.4 |
unsat |
0.39 |
cut_lemma_02_009.smt2.slack.smt2.5 |
unsat |
0.37 |
cut_lemma_02_009.smt2.slack.smt2.6 |
unsat |
0.41 |
cut_lemma_02_009.smt2.slack.smt2.7 |
unsat |
0.36 |
cut_lemma_02_009.smt2.slack.smt2.8 |
unsat |
0.38 |
cut_lemma_02_009.smt2.slack.smt2.9 |
unsat |
0.35 |
cut_lemma_02_010.smt2.slack.smt2.1 |
unsat |
0.36 |
cut_lemma_02_010.smt2.slack.smt2.10 |
unsat |
0.34 |
cut_lemma_02_010.smt2.slack.smt2.2 |
unsat |
0.34 |
cut_lemma_02_010.smt2.slack.smt2.3 |
unsat |
0.35 |
cut_lemma_02_010.smt2.slack.smt2.4 |
unsat |
0.37 |
cut_lemma_02_010.smt2.slack.smt2.5 |
unsat |
0.42 |
cut_lemma_02_010.smt2.slack.smt2.6 |
unsat |
0.33 |
cut_lemma_02_010.smt2.slack.smt2.7 |
unsat |
0.32 |
cut_lemma_02_010.smt2.slack.smt2.8 |
unsat |
0.35 |
cut_lemma_02_010.smt2.slack.smt2.9 |
unsat |
0.34 |