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

From BusyBeaverWiki
Jump to navigation Jump to search
← Older editNewer edit →
VisualWikitext
Hipparcos (talk | contribs)
33 edits
formatting; types of holdouts
Hipparcos (talk | contribs)
33 edits
add footnotes
Line 42: Line 42:
|
|
|-
|-
! scope="row"| High score  
! 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
| 6
4
4
Line 55: Line 55:
|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>
|
|
|
|
|-
|-
! 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
Line 72: Line 73:
| style="background-color: #FE7;" |
| style="background-color: #FE7;" |
|-
|-
!Sporadic
!Sporadic<ref>Number of TMs requiring dedicated proofs.</ref>
|
|
|
|
Line 113: Line 114:
|
|
|}
|}
<references />

Revision as of 14:38, 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)
Cryptids Bigfoot Hydra

Bonus Cryptid

1000-2500?
Holdouts 6 (manual)

19 (Rocq)

83 2891
Maximum[1] 6

4

21

6

38

9

107

13

3,932,964

2050

47,176,870

4098

>1017

>108

>10↑↑4
Enumeration[2] 41 4057 620,621
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=2484"