% SZS status Timeout for minimal__linear__ord
