problem |
result |
overall_time |
cut_lemma_01_006.smt2.slack.smt2.2 |
sat |
0.14 |
cut_lemma_02_006.smt2.slack.smt2.1 |
sat |
173.12 |
cut_lemma_02_006.smt2.slack.smt2.3 |
sat |
242.74 |
cut_lemma_02_006.smt2.slack.smt2.4 |
sat |
181.78 |
cut_lemma_02_006.smt2.slack.smt2.7 |
sat |
320.08 |
cut_lemma_02_008.smt2.slack.smt2.5 |
sat |
0.05 |
cut_lemma_02_009.smt2.slack.smt2.10 |
sat |
279.590016 |
cut_lemma_02_009.smt2.slack.smt2.3 |
sat |
0.04 |
cut_lemma_02_009.smt2.slack.smt2.4 |
sat |
0.02 |
cut_lemma_02_009.smt2.slack.smt2.6 |
sat |
0.02 |
cut_lemma_01_012.smt2.slack.smt2.1 |
unsat |
0.02 |
cut_lemma_01_012.smt2.slack.smt2.10 |
unsat |
0.02 |
cut_lemma_01_012.smt2.slack.smt2.2 |
unsat |
0.03 |
cut_lemma_01_012.smt2.slack.smt2.3 |
unsat |
0.05 |
cut_lemma_01_012.smt2.slack.smt2.4 |
unsat |
0.03 |
cut_lemma_01_012.smt2.slack.smt2.5 |
unsat |
0.03 |
cut_lemma_01_012.smt2.slack.smt2.6 |
unsat |
0.04 |
cut_lemma_01_012.smt2.slack.smt2.7 |
unsat |
0.03 |
cut_lemma_01_012.smt2.slack.smt2.8 |
unsat |
0.02 |
cut_lemma_01_012.smt2.slack.smt2.9 |
unsat |
0.04 |
cut_lemma_02_001.smt2.slack.smt2.1 |
unsat |
0.02 |
cut_lemma_02_001.smt2.slack.smt2.10 |
unsat |
0.01 |
cut_lemma_02_001.smt2.slack.smt2.2 |
unsat |
0.02 |
cut_lemma_02_001.smt2.slack.smt2.3 |
unsat |
0.03 |
cut_lemma_02_001.smt2.slack.smt2.4 |
unsat |
0.02 |
cut_lemma_02_001.smt2.slack.smt2.5 |
unsat |
0.02 |
cut_lemma_02_001.smt2.slack.smt2.6 |
unsat |
0.02 |
cut_lemma_02_001.smt2.slack.smt2.7 |
unsat |
0.02 |
cut_lemma_02_001.smt2.slack.smt2.8 |
unsat |
0.03 |
cut_lemma_02_001.smt2.slack.smt2.9 |
unsat |
0.01 |
cut_lemma_02_002.smt2.slack.smt2.1 |
unsat |
0.01 |
cut_lemma_02_002.smt2.slack.smt2.10 |
unsat |
0.01 |
cut_lemma_02_002.smt2.slack.smt2.2 |
unsat |
0.01 |
cut_lemma_02_002.smt2.slack.smt2.3 |
unsat |
0.03 |
cut_lemma_02_002.smt2.slack.smt2.4 |
unsat |
0.02 |
cut_lemma_02_002.smt2.slack.smt2.5 |
unsat |
0.01 |
cut_lemma_02_002.smt2.slack.smt2.6 |
unsat |
0.01 |
cut_lemma_02_002.smt2.slack.smt2.7 |
unsat |
0.03 |
cut_lemma_02_002.smt2.slack.smt2.8 |
unsat |
0.01 |
cut_lemma_02_002.smt2.slack.smt2.9 |
unsat |
0.01 |
cut_lemma_02_004.smt2.slack.smt2.1 |
unsat |
0.01 |
cut_lemma_02_004.smt2.slack.smt2.10 |
unsat |
0.02 |
cut_lemma_02_004.smt2.slack.smt2.2 |
unsat |
0.01 |
cut_lemma_02_004.smt2.slack.smt2.3 |
unsat |
0.02 |
cut_lemma_02_004.smt2.slack.smt2.4 |
unsat |
0.02 |
cut_lemma_02_004.smt2.slack.smt2.5 |
unsat |
0.01 |
cut_lemma_02_004.smt2.slack.smt2.6 |
unsat |
0.01 |
cut_lemma_02_004.smt2.slack.smt2.7 |
unsat |
0.02 |
cut_lemma_02_004.smt2.slack.smt2.8 |
unsat |
0.01 |
cut_lemma_02_004.smt2.slack.smt2.9 |
unsat |
0.02 |
cut_lemma_02_005.smt2.slack.smt2.1 |
unsat |
0.01 |
cut_lemma_02_005.smt2.slack.smt2.10 |
unsat |
0.01 |
cut_lemma_02_005.smt2.slack.smt2.2 |
unsat |
0.02 |
cut_lemma_02_005.smt2.slack.smt2.3 |
unsat |
0.02 |
cut_lemma_02_005.smt2.slack.smt2.4 |
unsat |
0.02 |
cut_lemma_02_005.smt2.slack.smt2.5 |
unsat |
0.01 |
cut_lemma_02_005.smt2.slack.smt2.6 |
unsat |
0.01 |
cut_lemma_02_005.smt2.slack.smt2.7 |
unsat |
0.01 |
cut_lemma_02_005.smt2.slack.smt2.8 |
unsat |
0.01 |
cut_lemma_02_005.smt2.slack.smt2.9 |
unsat |
0.01 |
cut_lemma_03_001.smt2.slack.smt2.1 |
unsat |
0.02 |
cut_lemma_03_001.smt2.slack.smt2.10 |
unsat |
0.03 |
cut_lemma_03_001.smt2.slack.smt2.2 |
unsat |
0.03 |
cut_lemma_03_001.smt2.slack.smt2.3 |
unsat |
0.03 |
cut_lemma_03_001.smt2.slack.smt2.4 |
unsat |
0.03 |
cut_lemma_03_001.smt2.slack.smt2.5 |
unsat |
0.03 |
cut_lemma_03_001.smt2.slack.smt2.6 |
unsat |
0.03 |
cut_lemma_03_001.smt2.slack.smt2.7 |
unsat |
0.04 |
cut_lemma_03_001.smt2.slack.smt2.8 |
unsat |
0.02 |
cut_lemma_03_001.smt2.slack.smt2.9 |
unsat |
0.03 |
cut_lemma_03_004.smt2.slack.smt2.1 |
unsat |
0.07 |
cut_lemma_03_004.smt2.slack.smt2.10 |
unsat |
0.07 |
cut_lemma_03_004.smt2.slack.smt2.2 |
unsat |
0.03 |
cut_lemma_03_004.smt2.slack.smt2.3 |
unsat |
0.04 |
cut_lemma_03_004.smt2.slack.smt2.4 |
unsat |
0.04 |
cut_lemma_03_004.smt2.slack.smt2.5 |
unsat |
0.04 |
cut_lemma_03_004.smt2.slack.smt2.6 |
unsat |
0.05 |
cut_lemma_03_004.smt2.slack.smt2.7 |
unsat |
0.04 |
cut_lemma_03_004.smt2.slack.smt2.8 |
unsat |
0.04 |
cut_lemma_03_004.smt2.slack.smt2.9 |
unsat |
0.05 |
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.02 |
cut_lemma_03_008.smt2.slack.smt2.5 |
unsat |
0.02 |
cut_lemma_03_008.smt2.slack.smt2.6 |
unsat |
0.02 |
cut_lemma_03_008.smt2.slack.smt2.7 |
unsat |
0.02 |
cut_lemma_03_008.smt2.slack.smt2.8 |
unsat |
0.01 |
cut_lemma_03_008.smt2.slack.smt2.9 |
unsat |
0.02 |
cut_lemma_03_013.smt2.slack.smt2.1 |
unsat |
0.01 |
cut_lemma_03_013.smt2.slack.smt2.10 |
unsat |
0.01 |
cut_lemma_03_013.smt2.slack.smt2.2 |
unsat |
0.02 |
cut_lemma_03_013.smt2.slack.smt2.3 |
unsat |
0.01 |
cut_lemma_03_013.smt2.slack.smt2.4 |
unsat |
0.01 |
cut_lemma_03_013.smt2.slack.smt2.5 |
unsat |
0.01 |
cut_lemma_03_013.smt2.slack.smt2.6 |
unsat |
0.01 |
cut_lemma_03_013.smt2.slack.smt2.7 |
unsat |
0.01 |
cut_lemma_03_013.smt2.slack.smt2.8 |
unsat |
0.01 |
cut_lemma_03_013.smt2.slack.smt2.9 |
unsat |
0.01 |