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

From BusyBeaverWiki
Jump to navigation Jump to search
VisualWikitext
(worked on BB status table some more)
(add cryptids)
 
(5 intermediate revisions by the same user not shown)
Line 16: Line 16:
![[BB(7)]]
![[BB(7)]]
|-
|-
! scope="row"| Cryptids
! 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>
|
|
|
|
|
|
|Bigfoot
|Hydra
Bonus Cryptid
|1000-2500?
|
|-
! scope="row"| Holdouts
|
|
|
|
|
|
|6? 19?
|83
|2891
|
|-
! scope="row"| High score  
| 6
| 6
4
4
Line 54: Line 29:
|47,176,870
|47,176,870
4098
4098
|<math>>10^{17}</math><math>>10^8</math>
|<math>>10^{17}</math>
<math>>10^8</math>
|<math>>10 \uparrow \uparrow 4</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"|Enumeration
! scope="row"| Cryptids
| style="background-color: #9EFF9E;" | 41
|4057
|
|
|620,621
|
|
|
|
Line 69: Line 42:
|
|
|
|
|Bigfoot
|Hydra
Bonus Cryptid
|~1000-2500,
incl. Antihydra,
Lucy's Moonlight
|
|
|-
|-
!Sporadic
! 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)
19 (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>
|
|
|
|
Line 89: Line 93:
|Loop
|Loop
CPS
CPS
RepWL
RepWL
|Loop
|Loop
CPS
CPS
RepWL
RepWL
|Loop
|Loop
CPS
CPS
RepWL
RepWL
|Loop
|Loop
CPS
CPS
RepWL
RepWL
FAR
FAR
WFAR
WFAR
|
|
Line 106: Line 116:
|
|
|}
|}
<references />

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

Cryptids Bigfoot Hydra

Bonus Cryptid

~1000-2500,

incl. Antihydra, Lucy's Moonlight

Holdouts 6 (manual)

19 (Rocq)

83 2891 ~108
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

  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.
Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=User:Hipparcos/Status_by_BB_domain&oldid=2489"