User:Hipparcos/Status by BB domain: Difference between revisions
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:
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 |
- ↑ Shows max shift (S) and max score (Σ) values if known. In some cases, only max score is shown. See Busy Beaver Functions.
- ↑ # of TMs in TNF-1RB
- ↑ Number of TMs requiring dedicated proofs.