They've checked 6.67% of the space - we've 9%.
They're doing 2Mkeys/sec, we're doing 3.4Mkeys/sec.
Maybe it's time to coordinate? Combined we're doing 5.4Mkeys/sec. I
still don't have a good feeling for the probability but I think we're
getting close to the time when we start stepping on each other's toes.