4 ms·

If the output is what matters by definition using a non deterministic does not sound like a good idea.