problem result overall_time
unbd-sage22.smt2.6 sat 2.19
unbd-sage4.smt2.9 sat 2.17