Found one image on Flickr with information. 1:9 7 minutes for Delta 3200 in F76+.
Alternatively, when I don't have times, I look at ratios of times in different developers on Massive Dev Chart. For example, you can observe that one developer at a certain dilution will always be about +20% of the time of another developer at a certain dilution, no matter what the film. It takes a bit of time to go through the chart and find the mathematical relationship by collecting data points, but it works.
Massive dev chart also has a time. 10 minutes at 1:9. That's probably the safer bet. Perhaps the other one was at 1600 EI.
Some people also shoot at 3200 and develop for 6400 when it comes to these fast films. So I doubt a couple extra minutes over the 10 would hurt. In any case you'll have to dial it in with a little trial and error to your personal process.