problem result overall_time
unbd-sage13.smt2.8 sat 2159.259904