% SZS status Timeout for ALL__DISTINCT__MAP__I
