problem result overall_time
15-17.slack sat 0.04
problem_2__023 sat 0
20-14.slack unsat 1268.08
25-22.slack unsat 2.12
25-31.slack unsat 2.36
cut_lemma_01_010 unsat 0.12
cut_lemma_02_003 unsat 0
cut_lemma_02_006 unsat 0
cut_lemma_02_008 unsat 0
cut_lemma_03_002 unsat 0