4 ms·

Thanks for the links. Their optimization approach isn't particularly sophisticated. Not saying I know how to do better, but wouldn't be surprised if it existed.