problem |
result |
overall_time |
cut_lemma_01_001.smt2.slack |
unsat |
237.76 |
cut_lemma_01_007.smt2.slack |
unsat |
1907.859968 |
cut_lemma_01_008.smt2.slack |
unsat |
0.01 |
cut_lemma_01_010.smt2.slack |
unsat |
373.78 |
cut_lemma_01_012.smt2.slack |
unsat |
44.6 |
cut_lemma_01_014.smt2.slack |
unsat |
23.69 |
cut_lemma_01_015.smt2.slack |
unsat |
0 |
cut_lemma_01_016.smt2.slack |
unsat |
2324.679936 |
cut_lemma_02_005.smt2.slack |
unsat |
214.65 |
cut_lemma_02_013.smt2.slack |
unsat |
595.059968 |
cut_lemma_02_014.smt2.slack |
unsat |
106.97 |
cut_lemma_02_015.smt2.slack |
unsat |
58.37 |
cut_lemma_03_006.smt2.slack |
unsat |
0.01 |
cut_lemma_03_008.smt2.slack |
unsat |
0 |
cut_lemma_03_012.smt2.slack |
unsat |
1488.860032 |
cut_lemma_03_013.smt2.slack |
unsat |
215.73 |
cut_lemma_03_019.smt2.slack |
unsat |
598.12 |