problem |
result |
overall_time |
cut_lemma_01_002.smt2.slack |
unsat |
39.47 |
cut_lemma_01_003.smt2.slack |
unsat |
1904.48 |
cut_lemma_01_004.smt2.slack |
unsat |
591.449984 |
cut_lemma_01_005.smt2.slack |
unsat |
50.14 |
cut_lemma_01_006.smt2.slack |
unsat |
2211.170048 |
cut_lemma_01_007.smt2.slack |
unsat |
17.16 |
cut_lemma_01_008.smt2.slack |
unsat |
0 |
cut_lemma_01_009.smt2.slack |
unsat |
179.24 |
cut_lemma_01_010.smt2.slack |
unsat |
64.71 |
cut_lemma_01_011.smt2.slack |
unsat |
215.8 |
cut_lemma_01_013.smt2.slack |
unsat |
70.77 |
cut_lemma_01_014.smt2.slack |
unsat |
0.12 |
cut_lemma_01_015.smt2.slack |
unsat |
0 |
cut_lemma_01_016.smt2.slack |
unsat |
0.47 |
cut_lemma_02_002.smt2.slack |
unsat |
80.82 |
cut_lemma_02_003.smt2.slack |
unsat |
117.46 |
cut_lemma_02_004.smt2.slack |
unsat |
950.489984 |
cut_lemma_02_005.smt2.slack |
unsat |
97.57 |
cut_lemma_02_006.smt2.slack |
unsat |
62.03 |
cut_lemma_02_007.smt2.slack |
unsat |
109.45 |
cut_lemma_02_008.smt2.slack |
unsat |
169.42 |
cut_lemma_02_009.smt2.slack |
unsat |
18.92 |
cut_lemma_02_010.smt2.slack |
unsat |
1451.830016 |
cut_lemma_02_012.smt2.slack |
unsat |
571.44 |
cut_lemma_02_013.smt2.slack |
unsat |
159.7 |
cut_lemma_02_015.smt2.slack |
unsat |
766.24 |
cut_lemma_02_016.smt2.slack |
unsat |
273.54 |
cut_lemma_03_001.smt2.slack |
unsat |
570.150016 |
cut_lemma_03_002.smt2.slack |
unsat |
1806.840064 |
cut_lemma_03_003.smt2.slack |
unsat |
1.81 |
cut_lemma_03_004.smt2.slack |
unsat |
486.289984 |
cut_lemma_03_005.smt2.slack |
unsat |
1078.56 |
cut_lemma_03_006.smt2.slack |
unsat |
0 |
cut_lemma_03_007.smt2.slack |
unsat |
573.510016 |
cut_lemma_03_008.smt2.slack |
unsat |
0 |
cut_lemma_03_010.smt2.slack |
unsat |
0.88 |
cut_lemma_03_011.smt2.slack |
unsat |
612.889984 |
cut_lemma_03_014.smt2.slack |
unsat |
1817.769984 |
cut_lemma_03_015.smt2.slack |
unsat |
673.48 |
cut_lemma_03_016.smt2.slack |
unsat |
2190.469888 |
cut_lemma_03_017.smt2.slack |
unsat |
719.539968 |
cut_lemma_03_018.smt2.slack |
unsat |
289.729984 |
cut_lemma_03_019.smt2.slack |
unsat |
246.52 |