problem result overall_time
15-17.slack sat 0.05
problem_2__023 sat 0.03
25-22.slack unsat 0.21
25-31.slack unsat 0.13
cut_lemma_01_010 unsat 0.04
cut_lemma_03_002 unsat 0.02