problem result overall_time
15-17.slack sat 0.21
problem_2__023 sat 0.02
20-14.slack unsat 22.13
25-22.slack unsat 0.16
25-31.slack unsat 0.21
cut_lemma_01_010 unsat 0.04
cut_lemma_02_003 unsat 0.03
cut_lemma_02_006 unsat 0.03
cut_lemma_02_008 unsat 0.03
cut_lemma_03_002 unsat 0.03