岩矿心长度大于某次进尺深度