User:Hipparcos/Status by BB domain

From BusyBeaverWiki
Revision as of 14:48, 15 July 2025 by Hipparcos (talk | contribs) (add more TNF tree sizes)
Jump to navigation Jump to search

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

Enumeration[2] 41 4057 620,621 126,891,605 ~33,436,000,000
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.