problem result overall_time
15-17.slack sat 0.56
problem_2__023 sat 0.73
25-22.slack unsat 2.85
25-31.slack unsat 2.4
cut_lemma_01_010 unsat 2.38
cut_lemma_02_003 unsat 0.5
cut_lemma_02_006 unsat 0.52
cut_lemma_02_008 unsat 0.47
cut_lemma_03_002 unsat 0.5