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

From BusyBeaverWiki
Jump to navigation Jump to search
VisualWikitext
(add a color background to indicate status of enumeration)
(add cryptids)
 
(4 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"| 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)
19 (Rocq)
| style="background-color: #CFC;" |83
| style="background-color: #FE7;" |2891
| style="background-color: #FFC7C7;" |~10<sup>8</sup>
|-
|-
! scope="row"|Enumeration
! scope="row"|Enumeration<ref># of TMs in [[TNF-1RB]]</ref>
| style="background-color: #9EFF9E;" | 41
| style="background-color: #9EFF9E;" | 41
| style="background-color: #9EFF9E;" |4057
| style="background-color: #9EFF9E;" |4057
| style="background-color: #9EFF9E;" |
| style="background-color: #9EFF9E;" |
| style="background-color: #9EFF9E;" |620,621
| 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: #9EFF9E;" |
| style="background-color: #9EFF9E;" |
| style="background-color: #CFC;" |
| style="background-color: #FFC;" |~33,436,000,000
| style="background-color: #CFC;" |
| style="background-color: #FE7;" |informal, ongoing
| style="background-color: #FFC;" |
| style="background-color: #FE7;" |
|-
|-
!Sporadic
!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"