<p>The times you suggest seems to be reasonable. The calculator of the <a href="https://play.google.com/store/apps/details?id=photography.darkroom">Film Developer app</a> says:</p>
<ul>
<li>Tri-X @ 3200 in Microphen 1+1 (Ilford agitation scheme, 20 °C): 27 minutes</li>
</ul>
<ul>
<li>Tri-X @ 3200 in Microphen 1+0 (Ilford agitation scheme, 20 °C): 14:45 minutes</li>
</ul>