4 ms·
The limit has since been pushed lower, to 1919 states: https://github.com/sorear/metamath-turing-machines https://github.com/sorear/metamath-turing-machines
by panic 8y ago
The limit has since been pushed lower, to 1919 states: https://github.com/sorear/metamath-turing-machines https://github.com/sorear/metamath-turing-machines
- deleted 8y ago[deleted]