User:Hipparcos/Status by BB domain: Difference between revisions

Latest revision as of 15:14, 15 July 2025

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.

[1] Shows max shift (S) and max score (Σ) values if known. In some cases, only max score is shown. See Busy Beaver Functions.

[2] # of TMs in TNF-1RB

[3] Number of TMs requiring dedicated proofs.

[1]

[2]

[3]

@@ Line 6: / Line 6: @@
 ! scope="row"| Domain
 ! scope="col"| [[BB(2)]]
-! scope="col"| [[BB(3,2)]]
+! scope="col"| [[BB(3,2)|BB(3)]]
 ! scope="col"| [[BB(2,3)]]
+![[BB(4)]]
+![[BB(2,4)]]
+![[BB(5)]]
+![[BB(3,3)]]
+![[BB(2,5)]]
+![[BB(6)]]
+![[BB(7)]]
+|-
+! scope="row"| Maximum<ref>Shows max shift (S) and max score (Σ) values if known. In some cases, only max score is shown. See [[Busy Beaver Functions]].</ref>
+| 6
+|21
+|38
+|107
+|3,932,964
+|47,176,870
+|<math>>10^{17}</math>
+<math>>10^8</math>
+|<math>>10 \uparrow \uparrow 4</math>
+|<math>>2 \uparrow \uparrow \uparrow 5</math>
+|<math>> 2 \uparrow^{11} 2 \uparrow^{11} 3</math>
 |-
 ! scope="row"| Cryptids
 |
 |
+|
+|
+|
+|
+|Bigfoot
+|Hydra
+Bonus Cryptid
+|~1000-2500,
+incl. Antihydra,
+Lucy's Moonlight
 |
 |-
 ! scope="row"| Holdouts
+| style="background-color: #9EFF9E;" |
+| style="background-color: #9EFF9E;" |
+| style="background-color: #9EFF9E;" |
+| style="background-color: #9EFF9E;" |
+| style="background-color: #9EFF9E;" |
+| style="background-color: #9EFF9E;" |
+| style="background-color: #CFC;" |6 (manual)
+(Rocq)
+| style="background-color: #CFC;" |83
+| style="background-color: #FE7;" |2891
+| style="background-color: #FFC7C7;" |~10<sup>8</sup>
+|-
+! scope="row"|Enumeration<ref># of TMs in [[TNF-1RB]]</ref>
+| style="background-color: #9EFF9E;" | 41
+| style="background-color: #9EFF9E;" |4057
+| style="background-color: #9EFF9E;" |
+| style="background-color: #9EFF9E;" |620,621
+| style="background-color: #9EFF9E;" |
+| style="background-color: #9EFF9E;" |126,891,605
+| style="background-color: #9EFF9E;" |
+| style="background-color: #9EFF9E;" |
+| style="background-color: #FFC;" |~33,436,000,000
+| style="background-color: #FE7;" |informal, ongoing
+|-
+!Sporadic<ref>Number of TMs requiring dedicated proofs.</ref>
 |
 |
 |
-|-
+|
-! scope="row"| High score
+|
-| 6, 4
+|13
+|
+|
 |
 |
 |-
-! scope="row"|Enumeration
+! scope="row" |Deciders used
-| style="background-color: #9EFF9E;" | 41
+|Loop
+|Loop
+CPS
+|Loop
+CPS
+RepWL
+|Loop
+CPS
+RepWL
+|Loop
+CPS
+RepWL
+|Loop
+CPS
+RepWL
+FAR
+WFAR
 |
 |
-|-
-! scope="row"|Deciders used
-|Loops
 |
 |
 |}
+<references />

User:Hipparcos/Status by BB domain: Difference between revisions

Latest revision as of 15:14, 15 July 2025

Navigation menu