User:Hipparcos/Status by BB domain: Difference between revisions
Jump to navigation
Jump to search
formatting; types of holdouts |
add cryptids |
||
| (3 intermediate revisions by the same user not shown) | |||
| Line 16: | Line 16: | ||
![[BB(7)]] | ![[BB(7)]] | ||
|- | |- | ||
! scope="row"| | ! scope="row"| Maximum<ref>Shows max shift (S) and max score (Σ) values if known. In some cases, only max score is shown. See [[Busy Beaver Functions]].</ref> | ||
| 6 | | 6 | ||
4 | 4 | ||
| Line 55: | Line 29: | ||
|47,176,870 | |47,176,870 | ||
4098 | 4098 | ||
|<math>>10^{17}</math><math>>10^8</math> | |<math>>10^{17}</math> | ||
<math>>10^8</math> | |||
|<math>>10 \uparrow \uparrow 4</math> | |<math>>10 \uparrow \uparrow 4</math> | ||
|<math>>2 \uparrow \uparrow \uparrow 5</math> | |||
|<math>> 2 \uparrow^{11} 2 \uparrow^{11} 3</math> | |||
|- | |||
! scope="row"| Cryptids | |||
| | |||
| | |||
| | | | ||
| | |||
| | |||
| | |||
|Bigfoot | |||
|Hydra | |||
Bonus Cryptid | |||
|~1000-2500, | |||
incl. Antihydra, | |||
Lucy's Moonlight | |||
| | | | ||
|- | |- | ||
! scope="row"|Enumeration | ! scope="row"| Holdouts | ||
| style="background-color: #9EFF9E;" | | |||
| style="background-color: #9EFF9E;" | | |||
| style="background-color: #9EFF9E;" | | |||
| style="background-color: #9EFF9E;" | | |||
| style="background-color: #9EFF9E;" | | |||
| style="background-color: #9EFF9E;" | | |||
| style="background-color: #CFC;" |6 (manual) | |||
19 (Rocq) | |||
| style="background-color: #CFC;" |83 | |||
| style="background-color: #FE7;" |2891 | |||
| style="background-color: #FFC7C7;" |~10<sup>8</sup> | |||
|- | |||
! scope="row"|Enumeration<ref># of TMs in [[TNF-1RB]]</ref> | |||
| style="background-color: #9EFF9E;" | 41 | | style="background-color: #9EFF9E;" | 41 | ||
| style="background-color: #9EFF9E;" |4057 | | style="background-color: #9EFF9E;" |4057 | ||
| Line 66: | Line 69: | ||
| style="background-color: #9EFF9E;" |620,621 | | style="background-color: #9EFF9E;" |620,621 | ||
| style="background-color: #9EFF9E;" | | | style="background-color: #9EFF9E;" | | ||
| style="background-color: #9EFF9E;" |126,891,605 | |||
| style="background-color: #9EFF9E;" | | | style="background-color: #9EFF9E;" | | ||
| style="background-color: # | | style="background-color: #9EFF9E;" | | ||
| style="background-color: #FFC;" |~33,436,000,000 | |||
| style="background-color: #FFC;" | | | style="background-color: #FE7;" |informal, ongoing | ||
| style="background-color: #FE7;" | | |||
|- | |- | ||
!Sporadic | !Sporadic<ref>Number of TMs requiring dedicated proofs.</ref> | ||
| | | | ||
| | | | ||
| Line 113: | Line 116: | ||
| | | | ||
|} | |} | ||
<references /> | |||
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.