2 ms·

This is the price of contemporary formal methods. Hopefully things get better and more practically useful.