As an example above, everyone will have a different method and preference. Start with saying "develop for 1250" and follow that with "if you aren't able to because you don't have those numbers on your data sheet, develop for 1600"
You can also call the lab and ask them what Exposure Index numbers they have for 3200 speed films ya know...
But with stuff like this, it's best to start out with developing at the shot speed so you have a baseline of exposure and contrast. If the negative is too dark, you know you need to adjust exposure, if its too contrasty and you have blocked up shadows or everything looks flat, you need to adjust the developing times. It's all simple to figure out but you should start at baseline and adjust from there or you will find it harder to figure out what works best.
Mamiya: 7 II, RZ67 Pro II / Canon: 1V, AE-1, 5DmkII / Kodak: No 1 Pocket Autographic, No 1A Pocket Autographic | Sent w/ iPhone using Tapatalk