problem
result
overall_time
15-17.slack
sat
0.05
problem_2__023
sat
0.03
25-22.slack
unsat
0.21
25-31.slack
unsat
0.13
cut_lemma_01_010
unsat
0.04
cut_lemma_03_002
unsat
0.02