Skelet 1

1RB1RD_1LC0RC_1RA1LD_0RE0LB_---1RC (bbch)

Unsolved problem:

What is the cycle start time of Skelet 1? The best known lower bound is $10^{24}$.

One of the most challenging BB(5) Turing machines to prove non-halting. It was eventually proven to be a Translated Cycler with period 8,468,569,863 and start step over $10^{24}$ (probably much larger!)

See Also

• https://www.sligocki.com/2023/02/25/skelet-1-wip.html
• https://www.sligocki.com/2023/02/27/skelet-1-halting-config.html
• https://www.sligocki.com/2023/03/13/skelet-1-infinite.html