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

From BusyBeaverWiki
Jump to navigation Jump to search
(add more info; reorder rows)
(add cryptids)
 
Line 45: Line 45:
|Hydra
|Hydra
Bonus Cryptid
Bonus Cryptid
|1000-2500?
|~1000-2500,
incl. Antihydra,
Lucy's Moonlight
|
|
|-
|-

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.