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