% SZS status Timeout for MEM__ALL__DISTINCT__IMP__PE
