Kodak's tech data sheet for Tri-X says the film has enough exposure lattitude to underexpose it one stop (shooting at EI-800) without increasing developing time. So, they only give developing times for a two-stop push, to EI-1600.
I have always been skeptical of that claim, and would probably give a developing time partway between Kodak's recommended normal time and their two-stop push time. This is my feeling based on experiences with other films, I have not tried it with Tri-X and if I were you I would shoot a test roll to be sure before doing something important.
Kodak's normal developing time is 6 minutes at 68 degrees (20C) in Tmax Developer diluted 1+4.
Their two-stop push time is 8.75 minutes. Same dilution and temperature.
I would try 7.5 minutes at 68 degrees, in the 1+4 dilution, as a starting point.
Tmax Developer is the best pushing developer made today, in my opinion. I have used it for that purpose with great success with Tmax 400, the now-discontinued Tmax p3200, and Ilford's Delta 3200.