3 ms·

I've been writing TLA+ for like 10 years, it's been a great tool and I found many bugs in protocols thanks to it