problem result overall_time
15-17.slack sat 0.08
problem_2__023 sat 0.02
cut_lemma_02_003 unsat 0.03
cut_lemma_02_006 unsat 0.1
cut_lemma_02_008 unsat 0.03
cut_lemma_03_002 unsat 0.01