4 ms·

Many thanks for the explanation. I hadn't quite grasped the difference between "reproducible" and "deterministic" in this context.