problem result overall_time
unbd-sage0.smt2.9 sat 216.28
unbd-sage1.smt2.2 sat 679.830016
unbd-sage19.smt2.4 sat 1374.610048