Search results

...as been made in reducing the list of machines not simulated up to 1e13, by Alistaire: see [https://docs.google.com/spreadsheets/d/1mMp8bAcTFT91j7azn72liX8NSTwc2 ** Alistaire found a halting machine in the list mentioned above, see [https://discord.c ...