% SZS status Timeout for acyclic__rrestri
