PE, is there any published work on wash time v water temperature

Most of the wash times I have seen refer to a 20C water stream.

Living in England my mean water temperature over the year is closer to 10C than 20C.

Therefore I "over wash" by a considerable margin, x2 at 15C water temp and x4 at 10C (BTW these are just my guesses at reasonable safety factors)