Pushing and shooting film in low light situations has it's benefits, but developing the film can be more of a gamble than anything else, especially with a developer that does not recommend itself to be used for more than a 2 stop push.
I found myself wanting to develop a roll of Tri-X (ISO 400) that I shot at 3200 ISO, but the developer available to me, part of the Sprint chemical line, has very little resources when it came to determining how and how long I should develop it.
After lots of research, I determined that instead of just an increase in development time, which is what the company recommends, that I needed to increase the concentration ratio of stock developer to water. This can be very helpful in reducing the time that the film spends wet, subsequently reducing grain. Since there isn’t much mention of this developer and film being used in push processing, I decided to take the one piece of information that seemed useful: that Sprint developer behaves a lot like Kodak D76. I also decreased agitation from my usual so that I wouldn’t blow the highlights in my shots. I ended up developing the film in a 1:1 dilution (normal dilution for Sprint is 1:9) for 16 minutes at 68˚ F, with 30 seconds of agitation and then 3 inversions every minute after.
I hope this can be of use to others who are using chemicals provided by their school. Every development time is just a guideline, not a concrete rule. Just remember to research and experiment!