View source for User:Hipparcos/Status by BB domain

I am seeing if it makes sense to summarize Busy Beaver progress in a table:

{| class="wikitable"
|+ Experimental BB Status Panel
|-
! scope="row"| Domain 
! scope="col"| [[BB(2)]]
! scope="col"| [[BB(3,2)|BB(3)]]
! scope="col"| [[BB(2,3)]]
![[BB(4)]]
![[BB(2,4)]]
![[BB(5)]]
![[BB(3,3)]]
![[BB(2,5)]]
![[BB(6)]]
![[BB(7)]]
|-
! 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
4
|21
6
|38
9
|107
13
|3,932,964
2050
|47,176,870
4098
|<math>>10^{17}</math>
<math>>10^8</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"| 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;" |4057
| style="background-color: #9EFF9E;" |
| style="background-color: #9EFF9E;" |620,621
| style="background-color: #9EFF9E;" |
| style="background-color: #9EFF9E;" |126,891,605
| style="background-color: #9EFF9E;" |
| style="background-color: #9EFF9E;" |
| style="background-color: #FFC;" |~33,436,000,000
| style="background-color: #FE7;" |informal, ongoing
|-
!Sporadic<ref>Number of TMs requiring dedicated proofs.</ref>
|
|
|
|
|
|13
|
|
|
|
|-
! scope="row" |Deciders used
|Loop
|Loop
CPS
|Loop
CPS

RepWL
|Loop
CPS

RepWL
|Loop
CPS

RepWL
|Loop
CPS

RepWL

FAR

WFAR
|
|
|
|
|}

<references />