User:Hipparcos/Status by BB domain: Difference between revisions
Jump to navigation
Jump to search
add footnotes |
add more TNF tree sizes |
||
| Line 67: | Line 67: | ||
| style="background-color: #9EFF9E;" |620,621 | | style="background-color: #9EFF9E;" |620,621 | ||
| style="background-color: #9EFF9E;" | | | style="background-color: #9EFF9E;" | | ||
| style="background-color: #9EFF9E;" | | | style="background-color: #9EFF9E;" |126,891,605 | ||
| style="background-color: #CFC;" | | | style="background-color: #CFC;" | | ||
| style="background-color: #CFC;" | | | style="background-color: #CFC;" | | ||
| style="background-color: #FFC;" | | | style="background-color: #FFC;" |~33,436,000,000 | ||
| style="background-color: #FE7;" | | | style="background-color: #FE7;" | | ||
|- | |- | ||
Revision as of 14:48, 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 | |||||||
| 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 |
- ↑ 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.