let check_sat_limited_cmd _ = failwith "check-sat with timeout not implemented for Yices2"