4 ms·

Note that a pH of 9-9.5 would make it alkaline, not acidic. However, from my reading, both acidic and alkaline water appear to speed up cooking.