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