% SZS status Timeout for RTC__lifts__reflexive__transitive__relatio
