Not the number of miners but the average time it took to mine a block.