let check_sat_limited_cmd ms = Format.sprintf "(check-sat-using (try-for smt %d))" ms