3 ms·

formal verification is normally used on the most security critical code so even 50 programmers is a lot.