problem |
result |
overall_time |
cut_lemma_01_001.smt2.slack.smt2.7 |
sat |
113.4 |
cut_lemma_01_004.smt2.slack.smt2.3 |
sat |
1.01 |
cut_lemma_01_004.smt2.slack.smt2.7 |
sat |
52.76 |
cut_lemma_01_010.smt2.slack.smt2.6 |
sat |
2.11 |
cut_lemma_01_011.smt2.slack.smt2.2 |
sat |
44.16 |
cut_lemma_01_012.smt2.slack.smt2.5 |
sat |
0.25 |
cut_lemma_01_012.smt2.slack.smt2.7 |
sat |
23.89 |
cut_lemma_02_001.smt2.slack.smt2.3 |
sat |
2.61 |
cut_lemma_02_007.smt2.slack.smt2.5 |
sat |
5.21 |
cut_lemma_02_010.smt2.slack.smt2.2 |
sat |
1081.420032 |
cut_lemma_02_010.smt2.slack.smt2.6 |
sat |
2274.51008 |
cut_lemma_02_013.smt2.slack.smt2.2 |
sat |
44.92 |
cut_lemma_02_014.smt2.slack.smt2.1 |
sat |
5.97 |
cut_lemma_01_008.smt2.slack.smt2.1 |
unsat |
0.01 |
cut_lemma_01_008.smt2.slack.smt2.10 |
unsat |
0.01 |
cut_lemma_01_008.smt2.slack.smt2.2 |
unsat |
0.02 |
cut_lemma_01_008.smt2.slack.smt2.3 |
unsat |
0.01 |
cut_lemma_01_008.smt2.slack.smt2.4 |
unsat |
0.02 |
cut_lemma_01_008.smt2.slack.smt2.5 |
unsat |
0.02 |
cut_lemma_01_008.smt2.slack.smt2.6 |
unsat |
0.01 |
cut_lemma_01_008.smt2.slack.smt2.7 |
unsat |
0.01 |
cut_lemma_01_008.smt2.slack.smt2.8 |
unsat |
0.01 |
cut_lemma_01_008.smt2.slack.smt2.9 |
unsat |
0.02 |
cut_lemma_01_012.smt2.slack.smt2.1 |
unsat |
7.78 |
cut_lemma_01_012.smt2.slack.smt2.10 |
unsat |
77.29 |
cut_lemma_01_012.smt2.slack.smt2.2 |
unsat |
11.31 |
cut_lemma_01_012.smt2.slack.smt2.4 |
unsat |
0.25 |
cut_lemma_01_012.smt2.slack.smt2.6 |
unsat |
2.34 |
cut_lemma_01_015.smt2.slack.smt2.1 |
unsat |
0.02 |
cut_lemma_01_015.smt2.slack.smt2.10 |
unsat |
0.02 |
cut_lemma_01_015.smt2.slack.smt2.2 |
unsat |
0.02 |
cut_lemma_01_015.smt2.slack.smt2.3 |
unsat |
0.01 |
cut_lemma_01_015.smt2.slack.smt2.4 |
unsat |
0.01 |
cut_lemma_01_015.smt2.slack.smt2.5 |
unsat |
0.01 |
cut_lemma_01_015.smt2.slack.smt2.6 |
unsat |
0.02 |
cut_lemma_01_015.smt2.slack.smt2.7 |
unsat |
0.01 |
cut_lemma_01_015.smt2.slack.smt2.8 |
unsat |
0.02 |
cut_lemma_01_015.smt2.slack.smt2.9 |
unsat |
0.02 |
cut_lemma_03_006.smt2.slack.smt2.1 |
unsat |
0.02 |
cut_lemma_03_006.smt2.slack.smt2.10 |
unsat |
0.02 |
cut_lemma_03_006.smt2.slack.smt2.2 |
unsat |
0.02 |
cut_lemma_03_006.smt2.slack.smt2.3 |
unsat |
0.01 |
cut_lemma_03_006.smt2.slack.smt2.4 |
unsat |
0.02 |
cut_lemma_03_006.smt2.slack.smt2.5 |
unsat |
0.03 |
cut_lemma_03_006.smt2.slack.smt2.6 |
unsat |
0.02 |
cut_lemma_03_006.smt2.slack.smt2.7 |
unsat |
0.02 |
cut_lemma_03_006.smt2.slack.smt2.8 |
unsat |
0.04 |
cut_lemma_03_006.smt2.slack.smt2.9 |
unsat |
0.02 |
cut_lemma_03_008.smt2.slack.smt2.1 |
unsat |
0.02 |
cut_lemma_03_008.smt2.slack.smt2.10 |
unsat |
0.02 |
cut_lemma_03_008.smt2.slack.smt2.2 |
unsat |
0.02 |
cut_lemma_03_008.smt2.slack.smt2.3 |
unsat |
0.02 |
cut_lemma_03_008.smt2.slack.smt2.4 |
unsat |
0.03 |
cut_lemma_03_008.smt2.slack.smt2.5 |
unsat |
0.02 |
cut_lemma_03_008.smt2.slack.smt2.6 |
unsat |
0.03 |
cut_lemma_03_008.smt2.slack.smt2.7 |
unsat |
0.02 |
cut_lemma_03_008.smt2.slack.smt2.8 |
unsat |
0.03 |
cut_lemma_03_008.smt2.slack.smt2.9 |
unsat |
0.01 |