4 ms·It's very fast and has a lot of work to show correctness.by smw 10mo agoIt's very fast and has a lot of work to show correctness.