problem result overall_time
unbd-sage14.smt2.10 sat 1.48
unbd-sage18.smt2.2 sat 6.38
unbd-sage19.smt2.8 sat 0.88
unbd-sage7.smt2.7 sat 0.74
unbd-sage7.smt2.9 sat 0.71