problem
result
overall_time
25-31.slack.smt2.3
unsat
6.18
25-31.slack.smt2.7
unsat
3.19