% SZS status Timeout for round__roundTiesToEv
