3 ms·

I had a professor in college who contracted for them doing formal verification of their CPUs, in case you’re wondering.