problem result overall_time
15-17.slack sat 0.31
problem_2__023 sat 0.02
25-22.slack unsat 1288.039936
25-31.slack unsat 848.76
cut_lemma_02_003 unsat 4.8
cut_lemma_02_006 unsat 0.26
cut_lemma_02_008 unsat 0.12
cut_lemma_03_002 unsat 0.06