problem |
result |
overall_time |
cut_lemma_01_006.smt2.slack.smt2.10 |
sat |
1505.02 |
cut_lemma_02_005.smt2.slack.smt2.6 |
sat |
496.28 |
cut_lemma_03_004.smt2.slack.smt2.7 |
sat |
15.32 |
cut_lemma_03_009.smt2.slack.smt2.10 |
sat |
1397.6 |
cut_lemma_01_001.smt2.slack.smt2.5 |
unsat |
815.76 |
cut_lemma_01_001.smt2.slack.smt2.8 |
unsat |
1334.48 |
cut_lemma_01_002.smt2.slack.smt2.5 |
unsat |
68.92 |
cut_lemma_01_005.smt2.slack.smt2.1 |
unsat |
25.07 |
cut_lemma_01_005.smt2.slack.smt2.2 |
unsat |
54.78 |
cut_lemma_01_005.smt2.slack.smt2.3 |
unsat |
16.58 |
cut_lemma_01_005.smt2.slack.smt2.4 |
unsat |
3.17 |
cut_lemma_01_005.smt2.slack.smt2.6 |
unsat |
334.49 |
cut_lemma_01_005.smt2.slack.smt2.7 |
unsat |
235.2 |
cut_lemma_01_005.smt2.slack.smt2.9 |
unsat |
4.79 |
cut_lemma_01_006.smt2.slack.smt2.1 |
unsat |
169.93 |
cut_lemma_01_006.smt2.slack.smt2.2 |
unsat |
587.09 |
cut_lemma_01_007.smt2.slack.smt2.1 |
unsat |
516.8 |
cut_lemma_01_008.smt2.slack.smt2.1 |
unsat |
0.48 |
cut_lemma_01_008.smt2.slack.smt2.10 |
unsat |
0.53 |
cut_lemma_01_008.smt2.slack.smt2.2 |
unsat |
0.47 |
cut_lemma_01_008.smt2.slack.smt2.3 |
unsat |
0.6 |
cut_lemma_01_008.smt2.slack.smt2.4 |
unsat |
0.49 |
cut_lemma_01_008.smt2.slack.smt2.5 |
unsat |
0.42 |
cut_lemma_01_008.smt2.slack.smt2.6 |
unsat |
0.57 |
cut_lemma_01_008.smt2.slack.smt2.7 |
unsat |
0.49 |
cut_lemma_01_008.smt2.slack.smt2.8 |
unsat |
0.5 |
cut_lemma_01_008.smt2.slack.smt2.9 |
unsat |
0.49 |
cut_lemma_01_009.smt2.slack.smt2.1 |
unsat |
196.82 |
cut_lemma_01_009.smt2.slack.smt2.4 |
unsat |
1869.47 |
cut_lemma_01_009.smt2.slack.smt2.5 |
unsat |
2285.77 |
cut_lemma_01_010.smt2.slack.smt2.10 |
unsat |
184.04 |
cut_lemma_01_011.smt2.slack.smt2.4 |
unsat |
801.42 |
cut_lemma_01_011.smt2.slack.smt2.5 |
unsat |
61.43 |
cut_lemma_01_011.smt2.slack.smt2.7 |
unsat |
2629.57 |
cut_lemma_01_011.smt2.slack.smt2.9 |
unsat |
947.69 |
cut_lemma_01_013.smt2.slack.smt2.8 |
unsat |
478.11 |
cut_lemma_01_014.smt2.slack.smt2.10 |
unsat |
532.48 |
cut_lemma_01_014.smt2.slack.smt2.3 |
unsat |
28.63 |
cut_lemma_01_014.smt2.slack.smt2.5 |
unsat |
262.95 |
cut_lemma_01_014.smt2.slack.smt2.8 |
unsat |
76.01 |
cut_lemma_01_015.smt2.slack.smt2.1 |
unsat |
0.58 |
cut_lemma_01_015.smt2.slack.smt2.10 |
unsat |
0.48 |
cut_lemma_01_015.smt2.slack.smt2.2 |
unsat |
0.46 |
cut_lemma_01_015.smt2.slack.smt2.3 |
unsat |
0.54 |
cut_lemma_01_015.smt2.slack.smt2.4 |
unsat |
0.49 |
cut_lemma_01_015.smt2.slack.smt2.5 |
unsat |
0.49 |
cut_lemma_01_015.smt2.slack.smt2.6 |
unsat |
0.44 |
cut_lemma_01_015.smt2.slack.smt2.7 |
unsat |
0.55 |
cut_lemma_01_015.smt2.slack.smt2.8 |
unsat |
0.46 |
cut_lemma_01_015.smt2.slack.smt2.9 |
unsat |
0.45 |
cut_lemma_01_016.smt2.slack.smt2.4 |
unsat |
216.4 |
cut_lemma_01_016.smt2.slack.smt2.5 |
unsat |
103.88 |
cut_lemma_02_001.smt2.slack.smt2.5 |
unsat |
26.87 |
cut_lemma_02_003.smt2.slack.smt2.2 |
unsat |
315.02 |
cut_lemma_02_003.smt2.slack.smt2.3 |
unsat |
26.11 |
cut_lemma_02_003.smt2.slack.smt2.4 |
unsat |
66.57 |
cut_lemma_02_003.smt2.slack.smt2.5 |
unsat |
63.06 |
cut_lemma_02_004.smt2.slack.smt2.7 |
unsat |
286.89 |
cut_lemma_02_004.smt2.slack.smt2.8 |
unsat |
706.55 |
cut_lemma_02_004.smt2.slack.smt2.9 |
unsat |
376.01 |
cut_lemma_02_005.smt2.slack.smt2.2 |
unsat |
1632.49 |
cut_lemma_02_006.smt2.slack.smt2.1 |
unsat |
92.99 |
cut_lemma_02_006.smt2.slack.smt2.5 |
unsat |
640.22 |
cut_lemma_02_008.smt2.slack.smt2.1 |
unsat |
2459.6 |
cut_lemma_02_008.smt2.slack.smt2.10 |
unsat |
130.1 |
cut_lemma_02_008.smt2.slack.smt2.8 |
unsat |
902.34 |
cut_lemma_02_008.smt2.slack.smt2.9 |
unsat |
614.66 |
cut_lemma_02_012.smt2.slack.smt2.8 |
unsat |
2200.57 |
cut_lemma_02_013.smt2.slack.smt2.9 |
unsat |
1264.75 |
cut_lemma_02_015.smt2.slack.smt2.7 |
unsat |
620.23 |
cut_lemma_03_003.smt2.slack.smt2.1 |
unsat |
0.8 |
cut_lemma_03_003.smt2.slack.smt2.10 |
unsat |
1415.98 |
cut_lemma_03_003.smt2.slack.smt2.2 |
unsat |
71.75 |
cut_lemma_03_003.smt2.slack.smt2.6 |
unsat |
26.17 |
cut_lemma_03_003.smt2.slack.smt2.9 |
unsat |
21.29 |
cut_lemma_03_004.smt2.slack.smt2.2 |
unsat |
9.47 |
cut_lemma_03_004.smt2.slack.smt2.4 |
unsat |
69.58 |
cut_lemma_03_004.smt2.slack.smt2.5 |
unsat |
105.47 |
cut_lemma_03_004.smt2.slack.smt2.9 |
unsat |
220.75 |
cut_lemma_03_006.smt2.slack.smt2.1 |
unsat |
0.5 |
cut_lemma_03_006.smt2.slack.smt2.10 |
unsat |
0.5 |
cut_lemma_03_006.smt2.slack.smt2.2 |
unsat |
0.44 |
cut_lemma_03_006.smt2.slack.smt2.3 |
unsat |
0.45 |
cut_lemma_03_006.smt2.slack.smt2.4 |
unsat |
0.6 |
cut_lemma_03_006.smt2.slack.smt2.5 |
unsat |
0.72 |
cut_lemma_03_006.smt2.slack.smt2.6 |
unsat |
0.47 |
cut_lemma_03_006.smt2.slack.smt2.7 |
unsat |
0.48 |
cut_lemma_03_006.smt2.slack.smt2.8 |
unsat |
0.49 |
cut_lemma_03_006.smt2.slack.smt2.9 |
unsat |
0.75 |
cut_lemma_03_007.smt2.slack.smt2.10 |
unsat |
884.07 |
cut_lemma_03_008.smt2.slack.smt2.1 |
unsat |
0.49 |
cut_lemma_03_008.smt2.slack.smt2.10 |
unsat |
0.78 |
cut_lemma_03_008.smt2.slack.smt2.2 |
unsat |
0.65 |
cut_lemma_03_008.smt2.slack.smt2.3 |
unsat |
0.51 |
cut_lemma_03_008.smt2.slack.smt2.4 |
unsat |
0.5 |
cut_lemma_03_008.smt2.slack.smt2.5 |
unsat |
0.45 |
cut_lemma_03_008.smt2.slack.smt2.6 |
unsat |
0.83 |
cut_lemma_03_008.smt2.slack.smt2.7 |
unsat |
0.58 |
cut_lemma_03_008.smt2.slack.smt2.8 |
unsat |
0.48 |
cut_lemma_03_008.smt2.slack.smt2.9 |
unsat |
0.48 |
cut_lemma_03_009.smt2.slack.smt2.6 |
unsat |
137.69 |
cut_lemma_03_009.smt2.slack.smt2.9 |
unsat |
1051.84 |
cut_lemma_03_010.smt2.slack.smt2.5 |
unsat |
139.48 |
cut_lemma_03_011.smt2.slack.smt2.1 |
unsat |
514.06 |
cut_lemma_03_011.smt2.slack.smt2.6 |
unsat |
383.09 |
cut_lemma_03_015.smt2.slack.smt2.4 |
unsat |
1939.94 |
cut_lemma_03_015.smt2.slack.smt2.7 |
unsat |
27.69 |
cut_lemma_03_020.smt2.slack.smt2.1 |
unsat |
136.16 |
cut_lemma_03_020.smt2.slack.smt2.10 |
unsat |
21.37 |
cut_lemma_03_020.smt2.slack.smt2.5 |
unsat |
53.36 |
cut_lemma_03_020.smt2.slack.smt2.6 |
unsat |
263.22 |