% SZS status Timeout for minimal__linear__order__uniq
