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.