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