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

From BusyBeaverWiki
Jump to navigation Jump to search
VisualWikitext
Hipparcos (talk | contribs)
33 edits
trying a format for Busy Beaver status panel
 
Hipparcos (talk | contribs)
33 edits
add cryptids
 
(6 intermediate revisions by the same user not shown)
Line 6: Line 6:
! scope="row"| Domain  
! scope="row"| Domain  
! scope="col"| [[BB(2)]]
! scope="col"| [[BB(2)]]
! scope="col"| [[BB(3,2)]]
! scope="col"| [[BB(3,2)|BB(3)]]
! scope="col"| [[BB(2,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
4
|21
6
|38
9
|107
13
|3,932,964
2050
|47,176,870
4098
|<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  
! scope="row"| Cryptids  
|
|
|
|
|
|
|
|
|Bigfoot
|Hydra
Bonus Cryptid
|~1000-2500,
incl. Antihydra,
Lucy's Moonlight
|
|
|-
|-
! scope="row"| Holdouts  
! 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>
|
|
|
|
|
|
|-
|
! 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 />

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

>1017

>108

>10↑↑4 >2↑↑↑5 >2↑112↑113
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"