problem
result
overall_time
25-31.slack.smt2.7
unsat
1.63