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