3 ms·

For a long time it was also the largest program that had been formally verified. Not sure if that is still the case.