User:Hipparcos/Status by BB domain: Difference between revisions
Jump to navigation
Jump to search
(add a color background to indicate status of enumeration) |
(formatting; types of holdouts) |
||
Line 36: | Line 36: | ||
| | | | ||
| | | | ||
|6 | |6 (manual) | ||
19 (Rocq) | |||
|83 | |83 | ||
|2891 | |2891 | ||
Line 89: | Line 90: | ||
|Loop | |Loop | ||
CPS | CPS | ||
RepWL | RepWL | ||
|Loop | |Loop | ||
CPS | CPS | ||
RepWL | RepWL | ||
|Loop | |Loop | ||
CPS | CPS | ||
RepWL | RepWL | ||
|Loop | |Loop | ||
CPS | CPS | ||
RepWL | RepWL | ||
FAR | FAR | ||
WFAR | WFAR | ||
| | | |
Revision as of 13:53, 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) |
---|---|---|---|---|---|---|---|---|---|---|
Cryptids | Bigfoot | Hydra
Bonus Cryptid |
1000-2500? | |||||||
Holdouts | 6 (manual)
19 (Rocq) |
83 | 2891 | |||||||
High score | 6
4 |
21
6 |
38
9 |
107
13 |
3,932,964
2050 |
47,176,870
4098 |
||||
Enumeration | 41 | 4057 | 620,621 | |||||||
Sporadic | 13 | |||||||||
Deciders used | Loop | Loop
CPS |
Loop
CPS RepWL |
Loop
CPS RepWL |
Loop
CPS RepWL |
Loop
CPS RepWL FAR WFAR |