I think what the instuctions mean is that you use from 5 to 7 minutes depending on whether you are pulling, developing normally, or pushing. Just to leave the statement like that is very confusing though. I would use the normal 6.5 minutes and see if the density is adequate.