problem result overall_time
15-17.slack sat 0.38
problem_2__023 sat 0.01
25-22.slack unsat 76.21
25-31.slack unsat 181.18
cut_lemma_01_010 unsat 0.94
cut_lemma_02_003 unsat 0.48
cut_lemma_02_006 unsat 0.2
cut_lemma_02_008 unsat 0.02
cut_lemma_03_002 unsat 0