User:Hipparcos/Status by BB domain

I am seeing if it makes sense to summarize Busy Beaver progress in a table:

Experimental BB Status Panel
Domain	BB(2)	BB(3)	BB(2,3)	BB(4)	BB(2,4)	BB(5)	BB(3,3)	BB(2,5)	BB(6)	BB(7)
Maximum^[1]	6 4	21 6	38 9	107 13	3,932,964 2050	47,176,870 4098	$>10^{17}$ $>10^{8}$	$>10\uparrow \uparrow 4$	$>2\uparrow \uparrow \uparrow 5$	$>2\uparrow ^{11}2\uparrow ^{11}3$
Cryptids							Bigfoot	Hydra Bonus Cryptid	~1000-2500, incl. Antihydra, Lucy's Moonlight
Holdouts							6 (manual) 19 (Rocq)	83	2891	~10⁸
Enumeration^[2]	41	4057		620,621		126,891,605			~33,436,000,000	informal, ongoing
Sporadic^[3]						13
Deciders used	Loop	Loop CPS	Loop CPS RepWL	Loop CPS RepWL	Loop CPS RepWL	Loop CPS RepWL FAR WFAR

↑ Shows max shift (S) and max score (Σ) values if known. In some cases, only max score is shown. See Busy Beaver Functions.
↑ # of TMs in TNF-1RB
↑ Number of TMs requiring dedicated proofs.

Navigation menu