problem |
result |
overall_time |
cut_lemma_01_014.smt2.slack.smt2.5 |
sat |
365.58 |
cut_lemma_02_006.smt2.slack.smt2.1 |
sat |
0.03 |
cut_lemma_02_006.smt2.slack.smt2.2 |
sat |
0.05 |
cut_lemma_02_006.smt2.slack.smt2.3 |
sat |
0.04 |
cut_lemma_02_006.smt2.slack.smt2.4 |
sat |
0.3 |
cut_lemma_02_006.smt2.slack.smt2.5 |
sat |
0.21 |
cut_lemma_02_006.smt2.slack.smt2.6 |
sat |
0.06 |
cut_lemma_02_006.smt2.slack.smt2.7 |
sat |
0.01 |
cut_lemma_02_006.smt2.slack.smt2.8 |
sat |
0.77 |
cut_lemma_02_006.smt2.slack.smt2.9 |
sat |
14.49 |
cut_lemma_02_008.smt2.slack.smt2.5 |
sat |
0.01 |
cut_lemma_02_009.smt2.slack.smt2.10 |
sat |
0.03 |
cut_lemma_02_009.smt2.slack.smt2.3 |
sat |
0.01 |
cut_lemma_02_009.smt2.slack.smt2.4 |
sat |
0.02 |
cut_lemma_02_009.smt2.slack.smt2.6 |
sat |
0.01 |
cut_lemma_01_003.smt2.slack.smt2.1 |
unsat |
1.09 |
cut_lemma_01_003.smt2.slack.smt2.10 |
unsat |
0.1 |
cut_lemma_01_003.smt2.slack.smt2.3 |
unsat |
0.02 |
cut_lemma_01_003.smt2.slack.smt2.4 |
unsat |
0.99 |
cut_lemma_01_003.smt2.slack.smt2.5 |
unsat |
0.1 |
cut_lemma_01_003.smt2.slack.smt2.7 |
unsat |
0.48 |
cut_lemma_01_003.smt2.slack.smt2.8 |
unsat |
13.44 |
cut_lemma_01_004.smt2.slack.smt2.3 |
unsat |
28.82 |
cut_lemma_01_011.smt2.slack.smt2.9 |
unsat |
704.16 |
cut_lemma_01_012.smt2.slack.smt2.1 |
unsat |
0.01 |
cut_lemma_01_012.smt2.slack.smt2.10 |
unsat |
0.01 |
cut_lemma_01_012.smt2.slack.smt2.2 |
unsat |
0.01 |
cut_lemma_01_012.smt2.slack.smt2.3 |
unsat |
0.01 |
cut_lemma_01_012.smt2.slack.smt2.4 |
unsat |
0.01 |
cut_lemma_01_012.smt2.slack.smt2.5 |
unsat |
0.01 |
cut_lemma_01_012.smt2.slack.smt2.6 |
unsat |
0.01 |
cut_lemma_01_012.smt2.slack.smt2.7 |
unsat |
0.01 |
cut_lemma_01_012.smt2.slack.smt2.8 |
unsat |
0.01 |
cut_lemma_01_012.smt2.slack.smt2.9 |
unsat |
0.01 |
cut_lemma_02_001.smt2.slack.smt2.1 |
unsat |
0.01 |
cut_lemma_02_001.smt2.slack.smt2.10 |
unsat |
0.01 |
cut_lemma_02_001.smt2.slack.smt2.2 |
unsat |
0.01 |
cut_lemma_02_001.smt2.slack.smt2.3 |
unsat |
0.01 |
cut_lemma_02_001.smt2.slack.smt2.4 |
unsat |
0.01 |
cut_lemma_02_001.smt2.slack.smt2.5 |
unsat |
0.02 |
cut_lemma_02_001.smt2.slack.smt2.6 |
unsat |
0.01 |
cut_lemma_02_001.smt2.slack.smt2.7 |
unsat |
0.01 |
cut_lemma_02_001.smt2.slack.smt2.8 |
unsat |
0.01 |
cut_lemma_02_001.smt2.slack.smt2.9 |
unsat |
0.01 |
cut_lemma_02_002.smt2.slack.smt2.1 |
unsat |
0.02 |
cut_lemma_02_002.smt2.slack.smt2.10 |
unsat |
0.01 |
cut_lemma_02_002.smt2.slack.smt2.2 |
unsat |
0.02 |
cut_lemma_02_002.smt2.slack.smt2.3 |
unsat |
0.01 |
cut_lemma_02_002.smt2.slack.smt2.4 |
unsat |
0.01 |
cut_lemma_02_002.smt2.slack.smt2.5 |
unsat |
0.01 |
cut_lemma_02_002.smt2.slack.smt2.6 |
unsat |
0 |
cut_lemma_02_002.smt2.slack.smt2.7 |
unsat |
0.01 |
cut_lemma_02_002.smt2.slack.smt2.8 |
unsat |
0 |
cut_lemma_02_002.smt2.slack.smt2.9 |
unsat |
0.02 |
cut_lemma_02_003.smt2.slack.smt2.2 |
unsat |
0.01 |
cut_lemma_02_003.smt2.slack.smt2.3 |
unsat |
0.11 |
cut_lemma_02_003.smt2.slack.smt2.6 |
unsat |
5.61 |
cut_lemma_02_003.smt2.slack.smt2.8 |
unsat |
0.23 |
cut_lemma_02_003.smt2.slack.smt2.9 |
unsat |
7.96 |
cut_lemma_02_004.smt2.slack.smt2.1 |
unsat |
0 |
cut_lemma_02_004.smt2.slack.smt2.10 |
unsat |
0.01 |
cut_lemma_02_004.smt2.slack.smt2.2 |
unsat |
0.01 |
cut_lemma_02_004.smt2.slack.smt2.3 |
unsat |
0 |
cut_lemma_02_004.smt2.slack.smt2.4 |
unsat |
0.01 |
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.01 |
cut_lemma_02_004.smt2.slack.smt2.8 |
unsat |
0.01 |
cut_lemma_02_004.smt2.slack.smt2.9 |
unsat |
0.01 |
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.01 |
cut_lemma_02_005.smt2.slack.smt2.5 |
unsat |
0.01 |
cut_lemma_02_005.smt2.slack.smt2.6 |
unsat |
0 |
cut_lemma_02_005.smt2.slack.smt2.7 |
unsat |
0.01 |
cut_lemma_02_005.smt2.slack.smt2.8 |
unsat |
0.02 |
cut_lemma_02_005.smt2.slack.smt2.9 |
unsat |
0.01 |
cut_lemma_02_008.smt2.slack.smt2.1 |
unsat |
0.02 |
cut_lemma_02_008.smt2.slack.smt2.10 |
unsat |
0.21 |
cut_lemma_02_008.smt2.slack.smt2.2 |
unsat |
0.12 |
cut_lemma_02_008.smt2.slack.smt2.3 |
unsat |
0.09 |
cut_lemma_02_008.smt2.slack.smt2.4 |
unsat |
0.04 |
cut_lemma_02_008.smt2.slack.smt2.8 |
unsat |
0.05 |
cut_lemma_02_008.smt2.slack.smt2.9 |
unsat |
1.36 |
cut_lemma_02_009.smt2.slack.smt2.1 |
unsat |
0.13 |
cut_lemma_02_009.smt2.slack.smt2.2 |
unsat |
0.6 |
cut_lemma_02_009.smt2.slack.smt2.5 |
unsat |
0.1 |
cut_lemma_02_009.smt2.slack.smt2.7 |
unsat |
0.09 |
cut_lemma_02_009.smt2.slack.smt2.8 |
unsat |
0.04 |
cut_lemma_02_009.smt2.slack.smt2.9 |
unsat |
0.05 |
cut_lemma_03_001.smt2.slack.smt2.1 |
unsat |
0.01 |
cut_lemma_03_001.smt2.slack.smt2.10 |
unsat |
0 |
cut_lemma_03_001.smt2.slack.smt2.2 |
unsat |
0.01 |
cut_lemma_03_001.smt2.slack.smt2.3 |
unsat |
0.02 |
cut_lemma_03_001.smt2.slack.smt2.4 |
unsat |
0.01 |
cut_lemma_03_001.smt2.slack.smt2.5 |
unsat |
0.02 |
cut_lemma_03_001.smt2.slack.smt2.6 |
unsat |
0.01 |
cut_lemma_03_001.smt2.slack.smt2.7 |
unsat |
0 |
cut_lemma_03_001.smt2.slack.smt2.8 |
unsat |
0.01 |
cut_lemma_03_001.smt2.slack.smt2.9 |
unsat |
0.02 |
cut_lemma_03_002.smt2.slack.smt2.10 |
unsat |
37.97 |
cut_lemma_03_002.smt2.slack.smt2.2 |
unsat |
2.3 |
cut_lemma_03_002.smt2.slack.smt2.3 |
unsat |
0.3 |
cut_lemma_03_002.smt2.slack.smt2.4 |
unsat |
25.74 |
cut_lemma_03_002.smt2.slack.smt2.5 |
unsat |
16.32 |
cut_lemma_03_002.smt2.slack.smt2.6 |
unsat |
209.11 |
cut_lemma_03_002.smt2.slack.smt2.7 |
unsat |
0.26 |
cut_lemma_03_003.smt2.slack.smt2.3 |
unsat |
0.05 |
cut_lemma_03_003.smt2.slack.smt2.8 |
unsat |
201.84 |
cut_lemma_03_003.smt2.slack.smt2.9 |
unsat |
442.929984 |
cut_lemma_03_004.smt2.slack.smt2.1 |
unsat |
0.01 |
cut_lemma_03_004.smt2.slack.smt2.10 |
unsat |
0.02 |
cut_lemma_03_004.smt2.slack.smt2.2 |
unsat |
0.01 |
cut_lemma_03_004.smt2.slack.smt2.3 |
unsat |
0.01 |
cut_lemma_03_004.smt2.slack.smt2.4 |
unsat |
0.02 |
cut_lemma_03_004.smt2.slack.smt2.5 |
unsat |
0.01 |
cut_lemma_03_004.smt2.slack.smt2.6 |
unsat |
0.02 |
cut_lemma_03_004.smt2.slack.smt2.7 |
unsat |
0 |
cut_lemma_03_004.smt2.slack.smt2.8 |
unsat |
0.01 |
cut_lemma_03_004.smt2.slack.smt2.9 |
unsat |
0.01 |
cut_lemma_03_008.smt2.slack.smt2.1 |
unsat |
0.01 |
cut_lemma_03_008.smt2.slack.smt2.10 |
unsat |
0.01 |
cut_lemma_03_008.smt2.slack.smt2.2 |
unsat |
0.01 |
cut_lemma_03_008.smt2.slack.smt2.3 |
unsat |
0.02 |
cut_lemma_03_008.smt2.slack.smt2.4 |
unsat |
0.01 |
cut_lemma_03_008.smt2.slack.smt2.5 |
unsat |
0.01 |
cut_lemma_03_008.smt2.slack.smt2.6 |
unsat |
0.01 |
cut_lemma_03_008.smt2.slack.smt2.7 |
unsat |
0.01 |
cut_lemma_03_008.smt2.slack.smt2.8 |
unsat |
0.01 |
cut_lemma_03_008.smt2.slack.smt2.9 |
unsat |
0.01 |
cut_lemma_03_011.smt2.slack.smt2.1 |
unsat |
11.72 |
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.01 |
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 |
cut_lemma_03_013.smt2.slack.smt2.8 |
unsat |
0.01 |
cut_lemma_03_013.smt2.slack.smt2.9 |
unsat |
0 |
cut_lemma_03_014.smt2.slack.smt2.7 |
unsat |
32.13 |