View source for Skelet's 43 holdouts

'''Skelet's 43 holdouts''' are 43 different 5-state, 2-symbol machines made public by Skelet in 2003. These machines are derived from a set of 164 machines that were left undecided by Skelet's bbfind program, which classified all other 5-state, 2-symbol machines into either halting or non-halting.<ref name="Skelet">Skelet, "[https://skelet.ludost.net/bb/index.html Busy Beaver prover]" (2003). Accessed 29 August 2024.</ref> Due to the length and lack of comments in bbfind's source code, Skelet's work is believed to not have been independently verified.<ref>"[https://bbchallenge.org/story#skelets-43-undecided-machines Story]" (section "Skelet's 43 undecided machines").</ref> It is now known that all 43 of these holdouts do not halt.<ref>"[https://bbchallenge.org/skelet Skelet’s 43 machines]".</ref>

Other work done in bbfind includes computing the correct value of BB(4).<ref name="Skelet" />

https://bbchallenge.org/skelet
[[Category:Stub]]