Hello Aconbere,
my measuring shows that the steepness of the curve is too intense. The calculated steepness; or gamma, is about 1.10, with a development time of 6 min. (which already is 3 min under the recommended time) A good curve steepness for diffuse enlarger printing should be a bout 0.75. Your statement of halving the time (from 9 to 4,5) is probably right on the money. This should be good for a negative to print well at 2 1/2 or 2 grade paper, in a diffuse light enlarger.