% SZS status Timeout for strict__partial__order__acycl
