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

Revision as of 15:08, 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?
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 15: / Line 15: @@
 ![[BB(6)]]
 ![[BB(7)]]
-|-
-! scope="row"| Cryptids
-|
-|
-|
-|
-|
-|
-|Bigfoot
-|Hydra
-Bonus Cryptid
-|1000-2500?
-|
-|-
-! scope="row"| Holdouts
-|
-|
-|
-|
-|
-|
-|6 (manual)
-(Rocq)
-|83
-|2891
-|
 |-
 ! 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>
@@ Line 58: / Line 32: @@
 <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?
 |
+|-
+! 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>
@@ Line 68: / Line 68: @@
 | style="background-color: #9EFF9E;" |
 | style="background-color: #9EFF9E;" |126,891,605
-| style="background-color: #CFC;" |
+| style="background-color: #9EFF9E;" |
-| style="background-color: #CFC;" |
+| style="background-color: #9EFF9E;" |
 | style="background-color: #FFC;" |~33,436,000,000
-| style="background-color: #FE7;" |
+| style="background-color: #FE7;" |informal, ongoing
 |-
 !Sporadic<ref>Number of TMs requiring dedicated proofs.</ref>

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

Revision as of 15:08, 15 July 2025

Navigation menu