User:Hipparcos/Status by BB domain - Revision history

Hipparcos: add cryptids

2025-07-15T15:14:06Z

add cryptids

← Older revision		Revision as of 15:14, 15 July 2025
Line 45:		Line 45:
	\|Hydra		\|Hydra
	Bonus Cryptid		Bonus Cryptid
	\|1000-2500?		\|~1000-2500,
			incl. Antihydra,
			Lucy's Moonlight
	\|		\|
	\|-		\|-

Hipparcos: add more info; reorder rows

2025-07-15T15:08:45Z

add more info; reorder rows

@@ Line 15: / Line 15: @@
 ![[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>
@@ Line 58: / Line 32: @@
 <math>>10^8</math>
 |<math>>10 \uparrow \uparrow 4</math>
+|
+|
 |-
 ! scope="row"|Enumeration<ref># of TMs in [[TNF-1RB]]</ref>
@@ Line 68: / Line 68: @@
 | style="background-color: #9EFF9E;" |
 | style="background-color: #9EFF9E;" |126,891,605
-| style="background-color: #CFC;" |
+| style="background-color: #9EFF9E;" |
-| style="background-color: #CFC;" |
+| style="background-color: #9EFF9E;" |
 | style="background-color: #FFC;" |~33,436,000,000
-| style="background-color: #FE7;" |
+| style="background-color: #FE7;" |informal, ongoing
 |-
 !Sporadic<ref>Number of TMs requiring dedicated proofs.</ref>

Hipparcos: add more TNF tree sizes

2025-07-15T14:48:53Z

add more TNF tree sizes

← Older revision		Revision as of 14:48, 15 July 2025
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;" \|
	\|-		\|-

Hipparcos: add footnotes

2025-07-15T14:38:53Z

add footnotes

← Older revision		Revision as of 14:38, 15 July 2025
Line 42:		Line 42:
	\|		\|
	\|-		\|-
	! scope="row"\| ~~High~~ score		! 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 55:
	\|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>
	\|		\|
	\|		\|
	\|-		\|-
	! scope="row"\|Enumeration		! 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 72:		Line 73:
	\| style="background-color: #FE7;" \|		\| style="background-color: #FE7;" \|
	\|-		\|-
	!Sporadic		!Sporadic<ref>Number of TMs requiring dedicated proofs.</ref>
	\|		\|
	\|		\|
Line 113:		Line 114:
	\|		\|
	\|}		\|}

			<references />

Hipparcos: formatting; types of holdouts

2025-07-15T13:53:28Z

formatting; types of holdouts

← Older revision		Revision as of 13:53, 15 July 2025
Line 36:		Line 36:
	\|		\|
	\|		\|
	\|6? 19?		\|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
	\|		\|

Hipparcos: add a color background to indicate status of enumeration

2025-07-15T13:50:02Z

add a color background to indicate status of enumeration

← Older revision		Revision as of 13:50, 15 July 2025
Line 61:		Line 61:
	! scope="row"\|Enumeration		! scope="row"\|Enumeration
	\| style="background-color: #9EFF9E;" \| 41		\| style="background-color: #9EFF9E;" \| 41
	\|4057		\| style="background-color: #9EFF9E;" \|4057
	\|		\| style="background-color: #9EFF9E;" \|
	\|620,621		\| style="background-color: #9EFF9E;" \|620,621
	\|		\| style="background-color: #9EFF9E;" \|
	\|		\| style="background-color: #9EFF9E;" \|
	\|		\| style="background-color: #CFC;" \|
	\|		\| style="background-color: #CFC;" \|
	\|		\| style="background-color: #FFC;" \|
	\|		\| style="background-color: #FE7;" \|
	\|-		\|-
	!Sporadic		!Sporadic

Hipparcos: worked on BB status table some more

2025-07-15T03:08:49Z

worked on BB status table some more

@@ Line 6: / Line 6: @@
 ! scope="row"| Domain
 ! scope="col"| [[BB(2)]]
-! scope="col"| [[BB(3,2)]]
+! scope="col"| [[BB(3,2)|BB(3)]]
 ! scope="col"| [[BB(2,3)]]
 |-
 ! scope="row"| Cryptids
+|
+|
+|
 |-
@@ Line 17: / Line 32: @@
+|
+|
+|
 |-
 ! scope="row"| High score
-| 6, 4
+| 6
+|
+|
@@ Line 26: / Line 61: @@
 ! scope="row"|Enumeration
 | style="background-color: #9EFF9E;" | 41
+|
+|
 |-
-! scope="row"|Deciders used
+!Sporadic
-|Loops
+|
+|
 |}

Hipparcos: trying a format for Busy Beaver status panel

2025-07-15T01:56:46Z

trying a format for Busy Beaver status panel

New page

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)]]
! scope="col"| [[BB(2,3)]]
|-
! scope="row"| Cryptids
|
|
|
|-
! scope="row"| Holdouts
|
|
|
|-
! scope="row"| High score
| 6, 4
|
|
|-
! scope="row"|Enumeration
| style="background-color: #9EFF9E;" | 41
|
|
|-
! scope="row"|Deciders used
|Loops
|
|
|}