problem result overall_time
15-17.slack sat 0.11
problem_2__023 sat 0.02
20-14.slack unsat 41.48
25-22.slack unsat 0.16
25-31.slack unsat 0.23
cut_lemma_01_010 unsat 0.06
cut_lemma_02_003 unsat 0
cut_lemma_02_006 unsat 0.01
cut_lemma_02_008 unsat 0
cut_lemma_03_002 unsat 0