BB(2,5) - Revision history

Yves30.: Remove the last ranked TM in the top 20 halting list after having added a new TM

2026-09-18T10:11:37Z

Remove the last ranked TM in the top 20 halting list after having added a new TM

← Older revision		Revision as of 10:11, 18 September 2026
Line 105:		Line 105:
	\|417,310,842,648,366		\|417,310,842,648,366
	\|Terry and Shawn Ligocki		\|Terry and Shawn Ligocki
	\|-
	~~\|{{TM\|1RB3LA1LA2LA1RA_2LB3RA2RB4RB---\|halt}}~~
	~~\|<math>1.61577 \times 10^{14}</math>~~
	~~\|mxdys~~
	\|}		\|}

Yves30.: Minor change: 1.589e20 to 1.6e20 for the nb of steps of a halting TM (lower the number of significative digits when comparing it to 2 other halting TMs of the same category, one of them being given only a lower bound)

2026-09-18T10:05:40Z

Minor change: 1.589e20 to 1.6e20 for the nb of steps of a halting TM (lower the number of significative digits when comparing it to 2 other halting TMs of the same category, one of them being given only a lower bound)

← Older revision		Revision as of 10:05, 18 September 2026
Line 67:		Line 67:
	\|-		\|-
	\|{{TM\|1RB3LA4LA2RB1LA_2LA4RB---3RA3LA\|halt}}		\|{{TM\|1RB3LA4LA2RB1LA_2LA4RB---3RA3LA\|halt}}
	\|<math>> 1.~~589~~ \times 10^{20}</math>		\|<math>> 1.6 \times 10^{20}</math>
	\|prurq and LegionMammal978		\|prurq and LegionMammal978
	\|-		\|-

Yves30.: Add a Rocq-proved halting TM in the halting list with a lower bound and a note that the precise info of nb of steps is yet to be given ; add "probviously halting potential cryptid" to the champion contender in the list.

2026-09-18T09:59:47Z

Add a Rocq-proved halting TM in the halting list with a lower bound and a note that the precise info of nb of steps is yet to be given ; add "probviously halting potential cryptid" to the champion contender in the list.

← Older revision		Revision as of 09:59, 18 September 2026
Line 16:		Line 16:
	* {{TM\|1RB3LA1LA1RA1RA_2LB2RA---4RB1LB\|undecided}}.		* {{TM\|1RB3LA1LA1RA1RA_2LB2RA---4RB1LB\|undecided}}.
	* {{TM\|1RB3LB---4LA1RB_2LA4LA4LB3RB1RA\|undecided}}. [https://discord.com/channels/960643023006490684/1375584513777995957 Analysis by @mxdys]		* {{TM\|1RB3LB---4LA1RB_2LA4LA4LB3RB1RA\|undecided}}. [https://discord.com/channels/960643023006490684/1375584513777995957 Analysis by @mxdys]
	* {{TM\|1RB2RA3LB---2LB_2LA0LA4RB0RB1LA}}. Probviously halting. Estimated 25 to 50% chance of beating ~~champ~~.		* {{TM\|1RB2RA3LB---2LB_2LA0LA4RB0RB1LA}}. Probviously halting. Estimated 25 to 50% chance of beating champion.

	==Top Halters==		==Top Halters==
Line 57:		Line 57:
	\|<math>>7 \times 10^{21}</math>		\|<math>>7 \times 10^{21}</math>
	\|Terry and Shawn Ligocki		\|Terry and Shawn Ligocki
			\|-
			\|{{TM\|1RB3LA4LA1LA2RA_2LA4RB---0RA0LA\|undecided}}
			\|> 6 X 10<sup>21</sup> (halting nb of steps yet to be precised)
			\|LegionMammal978
	\|-		\|-
	\|{{TM\|1RB2RA3LA4LA2RB_2LA---1LA1RA3RA\|halt}}		\|{{TM\|1RB2RA3LA4LA2RB_2LA---1LA1RA3RA\|halt}}
	\|<math>>6.04 \times 10^{21}</math>		\|<math>>6.0 \times 10^{21}</math>
	\|prurq and LegionMammal978		\|prurq and LegionMammal978
	\|-		\|-
Line 152:		Line 156:
	* {{TM\|1RB3LA1LA1RA1RA_2LB2RA---4RB1LB\|undecided}}. Potential Cryptid		* {{TM\|1RB3LA1LA1RA1RA_2LB2RA---4RB1LB\|undecided}}. Potential Cryptid
	* {{TM\|1RB---0RB0LA2RA_2LB2LA3RA4LB0LB\|undecided}}. Potential Cryptid - [https://discord.com/channels/960643023006490684/1354037062830919690/1354037062830919690 Shift overflow counter]		* {{TM\|1RB---0RB0LA2RA_2LB2LA3RA4LB0LB\|undecided}}. Potential Cryptid - [https://discord.com/channels/960643023006490684/1354037062830919690/1354037062830919690 Shift overflow counter]
	* {{TM\|1RB2RA3LB---2LB_2LA0LA4RB0RB1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1329808777754706046 Estimated 25 to 50% chance of beating current champion]		* {{TM\|1RB2RA3LB---2LB_2LA0LA4RB0RB1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1329808777754706046 Probviously halting potential cryptid. Estimated 25 to 50% chance of beating current champion]
	* {{TM\|1RB3LA1LA2RB2LB_1LB2RA4RA0RB---\|undecided}}. [https://discord.com/channels/960643023006490684/1395820706050080869/1395820706050080869 Block analysis by @dyuan by "impurity score"]		* {{TM\|1RB3LA1LA2RB2LB_1LB2RA4RA0RB---\|undecided}}. [https://discord.com/channels/960643023006490684/1395820706050080869/1395820706050080869 Block analysis by @dyuan by "impurity score"]
	* {{TM\|1RB---4LB1RA4RA_2LB2LA3RA4LB0RB\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1378248683161653289 Analysis by Andrew Ducharme and @mxdys]		* {{TM\|1RB---4LB1RA4RA_2LB2LA3RA4LB0RB\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1378248683161653289 Analysis by Andrew Ducharme and @mxdys]

C1: Synchronized a more precise lower bound for the runtime of the current BB(2,5) champion.

2026-09-16T04:55:01Z

Synchronized a more precise lower bound for the runtime of the current BB(2,5) champion.

← Older revision		Revision as of 04:55, 16 September 2026
Line 27:		Line 27:
	\|-		\|-
	\|{{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ\|halt}}		\|{{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ\|halt}}
	\|<math>10 \uparrow\uparrow 4.8142742</math>		\|<math>>10^{10^{10^{3\,314\,360}}} \approx 10 \uparrow\uparrow 4.8142742</math>
	\|Daniel Yuan		\|Daniel Yuan
	\|-		\|-

Sligocki: /* Top Halters */ Move ref

2026-09-15T14:12:26Z

Top Halters: Move ref

← Older revision		Revision as of 14:12, 15 September 2026
Line 34:		Line 34:
	\|Pavel Kropitz		\|Pavel Kropitz
	\|-		\|-
	\|~~[https://discord.com/channels/960643023006490684/1259770421046411285/1379877629288644722]~~{{TM\|1RB2RA3LA4RB---_2LA3RB3RA1LB3LB\|halt}}		\|{{TM\|1RB2RA3LA4RB---_2LA3RB3RA1LB3LB\|halt}}
	\|<math>>6.9 \times 10^{933}</math>		\|<math>>6.9 \times 10^{933}</math>
	\|Daniel Yuan		\|Daniel Yuan [https://discord.com/channels/960643023006490684/1259770421046411285/1379877629288644722]
	\|-		\|-
	\|{{TM\|1RB2LA1RA2LB2LA_0LA2RB3RB4RA1RZ\|halt}}		\|{{TM\|1RB2LA1RA2LB2LA_0LA2RB3RB4RA1RZ\|halt}}

ADucharme: formally solved TMs in "Solved with moderate rigor" category moved to "Formally proven," links to mxdys's announcement included.

2026-09-14T21:46:44Z

formally solved TMs in "Solved with moderate rigor" category moved to "Formally proven," links to mxdys's announcement included.

← Older revision		Revision as of 21:46, 14 September 2026
Line 123:		Line 123:

	== Holdouts ==		== Holdouts ==
	This section is based on the list of 83 holdouts published by @mxdys, and includes further progress as of ~~1 June~~ 2026. ~~There were 65 Rocq~~-~~holdouts~~ at ~~this date~~, ~~or 60 when considering informal proofs.~~		This section is based on the list of 83 holdouts published by @mxdys, and includes further progress as of 8 September 2026. All TMs with known informal arguments for halting or non-halting, at that point, were formally decided.

	The 60 Rocq-holdouts published since then (cf. "certified progress") correspond to all the TMs listed below in the "Cryptid" and "Unsolved" subsections: all the 5 informal proofs listed in the subsection "solved with moderate rigor" have been formalized in Rocq.

	=== Cryptids ===		=== Cryptids ===
Line 198:		Line 196:
	* {{TM\|1RB2LA0RB1LB---_1LA3RA1RA4LB0LA\|undecided}}.		* {{TM\|1RB2LA0RB1LB---_1LA3RA1RA4LB0LA\|undecided}}.

	=== Solved with moderate rigor ~~as of June 1, 2026 (proven in Rocq since then)~~ ===		=== Solved with moderate rigor ===
			''None''

	* {{TM\|1RB2RA3LA4LA2RB_2LA---1LA1RA3RA\|undecided}}. [https://discord.com/channels/960643023006490684/1084047886494470185/1254518334406266964 Longitudinal analysis by @Legion implies halting], [https://discord.com/channels/960643023006490684/1259770421046411285/1492999358482874448 simulated until halt by prurq using Quick_Sim]		=== Formally proven ===
	* {{TM\|1RB3LA4LA1LA2RA_2LA4RB---0RA0LA\|undecided}}. [https://discord.com/channels/960643023006490684/1084047886494470185/1254518334406266964 Longitudinal analysis by @Legion implies halting]
	* {{TM\|1RB3LA4LA2RB1LA_2LA4RB---3RA3LA\|undecided}}. [https://discord.com/channels/960643023006490684/1084047886494470185/1254518334406266964 Longitudinal analysis by @Legion implies halting], [https://discord.com/channels/960643023006490684/1259770421046411285/1491830661512958185 simulated until halt by prurq using Quick_Sim]
	* {{TM\|1RB3RA2LB1LB1RB_2LA2RA4LA1LA---\|undecided}}. [[Dekaheptoid]] - [https://discord.com/channels/960643023006490684/1259770421046411285/1267650177389432913 Unverified nonhalting proof by @dyuan]
	* {{TM\|1RB3RB1LB---2RB_2LA1RA4LB2LA2RA\|undecided}}. [[Dekaheptoid]] - [https://discord.com/channels/960643023006490684/1259770421046411285/1267650177389432913 Unverified nonhalting proof by @dyuan]

	~~=== Formally proven ===~~		*{{TM\|1RB2RA3LA4LA2RB_2LA---1LA1RA3RA\|undecided}}. [https://discord.com/channels/960643023006490684/1084047886494470185/1254518334406266964 Longitudinal analysis by @Legion implies halting], [https://discord.com/channels/960643023006490684/1259770421046411285/1492999358482874448 simulated until halt by prurq using Quick_Sim]. [https://discord.com/channels/960643023006490684/1259770421046411285/1546880921318326282 Rocq-decided by @mxdys.]
			* {{TM\|1RB3LA4LA1LA2RA_2LA4RB---0RA0LA\|undecided}}. [https://discord.com/channels/960643023006490684/1084047886494470185/1254518334406266964 Longitudinal analysis by @Legion implies halting]. [https://discord.com/channels/960643023006490684/1259770421046411285/1546880921318326282 Rocq-decided by @mxdys.]
			* {{TM\|1RB3LA4LA2RB1LA_2LA4RB---3RA3LA\|undecided}}. [https://discord.com/channels/960643023006490684/1084047886494470185/1254518334406266964 Longitudinal analysis by @Legion implies halting], [https://discord.com/channels/960643023006490684/1259770421046411285/1491830661512958185 simulated until halt by prurq using Quick_Sim]. [https://discord.com/channels/960643023006490684/1259770421046411285/1546880921318326282 Rocq-decided by @mxdys.]
			* {{TM\|1RB3RA2LB1LB1RB_2LA2RA4LA1LA---\|undecided}}. [[Dekaheptoid]] - [https://discord.com/channels/960643023006490684/1259770421046411285/1267650177389432913 Unverified nonhalting proof by @dyuan]. [https://discord.com/channels/960643023006490684/1259770421046411285/1546880921318326282 Rocq-decided by @mxdys.]
			* {{TM\|1RB3RB1LB---2RB_2LA1RA4LB2LA2RA\|undecided}}. [[Dekaheptoid]] - [https://discord.com/channels/960643023006490684/1259770421046411285/1267650177389432913 Unverified nonhalting proof by @dyuan]. [https://discord.com/channels/960643023006490684/1259770421046411285/1546880921318326282 Rocq-decided by @mxdys.]

	* {{TM\|1RB2RA3LA4LA2RB_2LA0RA---0RA1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1355828077023854752 Rocq-decided by @mxdys]. [https://discord.com/channels/960643023006490684/1259770421046411285/1355714495326060706 Longitudinal analysis by Legion implies nonhalting]		* {{TM\|1RB2RA3LA4LA2RB_2LA0RA---0RA1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1355828077023854752 Rocq-decided by @mxdys]. [https://discord.com/channels/960643023006490684/1259770421046411285/1355714495326060706 Longitudinal analysis by Legion implies nonhalting]

Yves30.: Reformulation of "holdouts" section introduction in order to avoid repetitions vs the "certified progress" section

2026-09-14T14:55:28Z

Reformulation of "holdouts" section introduction in order to avoid repetitions vs the "certified progress" section

← Older revision		Revision as of 14:55, 14 September 2026
Line 125:		Line 125:
	This section is based on the list of 83 holdouts published by @mxdys, and includes further progress as of 1 June 2026. There were 65 Rocq-holdouts at this date, or 60 when considering informal proofs.		This section is based on the list of 83 holdouts published by @mxdys, and includes further progress as of 1 June 2026. There were 65 Rocq-holdouts at this date, or 60 when considering informal proofs.

	~~As of 8 September 2026 the~~ Rocq-holdouts ~~have been reduced to 60~~ (~~new list published by @mxdys~~) ~~corresponding~~ to all the TMs listed below in the "Cryptid" and "Unsolved" subsections~~, since~~ the ~~formerly~~ informal proofs have been formalized in Rocq.		The 60 Rocq-holdouts published since then (cf. "certified progress") correspond to all the TMs listed below in the "Cryptid" and "Unsolved" subsections: all the 5 informal proofs listed in the subsection "solved with moderate rigor" have been formalized in Rocq.

	=== Cryptids ===		=== Cryptids ===

Yves30.: Update of the proof status: the number of holdouts is now 60, all others TMs have been proven in Rocq, especially the 5 "solved with moderate rigor" ones. However, the full list based on previous 83 is conserved with precisions/annotations when necessary

2026-09-14T14:45:14Z

Update of the proof status: the number of holdouts is now 60, all others TMs have been proven in Rocq, especially the 5 "solved with moderate rigor" ones. However, the full list based on previous 83 is conserved with precisions/annotations when necessary

← Older revision		Revision as of 14:45, 14 September 2026
Line 123:		Line 123:

	== Holdouts ==		== Holdouts ==
	This section is based on the list of 83 holdouts published by @mxdys, and includes further progress as of 1 June 2026. There ~~are~~ 65 Rocq-holdouts, or 60 when considering informal proofs.		This section is based on the list of 83 holdouts published by @mxdys, and includes further progress as of 1 June 2026. There were 65 Rocq-holdouts at this date, or 60 when considering informal proofs.

			As of 8 September 2026 the Rocq-holdouts have been reduced to 60 (new list published by @mxdys) corresponding to all the TMs listed below in the "Cryptid" and "Unsolved" subsections, since the formerly informal proofs have been formalized in Rocq.

	=== Cryptids ===		=== Cryptids ===
Line 196:		Line 198:
	* {{TM\|1RB2LA0RB1LB---_1LA3RA1RA4LB0LA\|undecided}}.		* {{TM\|1RB2LA0RB1LB---_1LA3RA1RA4LB0LA\|undecided}}.

	=== Solved with moderate rigor ===		=== Solved with moderate rigor as of June 1, 2026 (proven in Rocq since then) ===

	* {{TM\|1RB2RA3LA4LA2RB_2LA---1LA1RA3RA\|undecided}}. [https://discord.com/channels/960643023006490684/1084047886494470185/1254518334406266964 Longitudinal analysis by @Legion implies halting], [https://discord.com/channels/960643023006490684/1259770421046411285/1492999358482874448 simulated until halt by prurq using Quick_Sim]		* {{TM\|1RB2RA3LA4LA2RB_2LA---1LA1RA3RA\|undecided}}. [https://discord.com/channels/960643023006490684/1084047886494470185/1254518334406266964 Longitudinal analysis by @Legion implies halting], [https://discord.com/channels/960643023006490684/1259770421046411285/1492999358482874448 simulated until halt by prurq using Quick_Sim]

Yves30.: For current champion and 3rd halter change the notation for number of steps until halting from S (capital) to s, according to the notation conventions in the field. Capital S is for the BB value only, thus S >= s(current champion)

2026-09-14T12:12:34Z

For current champion and 3rd halter change the notation for number of steps until halting from S (capital) to s, according to the notation conventions in the field. Capital S is for the BB value only, thus S >= s(current champion)

← Older revision		Revision as of 12:12, 14 September 2026
Line 207:		Line 207:

	* {{TM\|1RB2RA3LA4LA2RB_2LA0RA---0RA1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1355828077023854752 Rocq-decided by @mxdys]. [https://discord.com/channels/960643023006490684/1259770421046411285/1355714495326060706 Longitudinal analysis by Legion implies nonhalting]		* {{TM\|1RB2RA3LA4LA2RB_2LA0RA---0RA1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1355828077023854752 Rocq-decided by @mxdys]. [https://discord.com/channels/960643023006490684/1259770421046411285/1355714495326060706 Longitudinal analysis by Legion implies nonhalting]
	* {{TM\|1RB2RA3LA4RB---_2LA3RB3RA1LB3LB\|halt}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1379877629288644722 Rocq-decided by @mxdys]. S ~ 6.9 x 10<sup>933</sup>, halter ranked 3<sup>rd</sup>. [https://discord.com/channels/960643023006490684/1259770421046411285/1373347187836194898 Halting argument by @dyuan]		* {{TM\|1RB2RA3LA4RB---_2LA3RB3RA1LB3LB\|halt}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1379877629288644722 Rocq-decided by @mxdys]. s ~ 6.9 x 10<sup>933</sup>, halter ranked 3<sup>rd</sup>. [https://discord.com/channels/960643023006490684/1259770421046411285/1373347187836194898 Halting argument by @dyuan]
	* {{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA---\|halt}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1379877629288644722 Rocq-decided by @mxdys]. Current champion S ~ 10^^4.81		* {{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA---\|halt}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1379877629288644722 Rocq-decided by @mxdys]. Current champion s ~ 10^^4.81
	* {{TM\|1RB3RA4LB2RA2RB_2LA---3LA0LB1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 Rocq-decided by @mxdys.]		* {{TM\|1RB3RA4LB2RA2RB_2LA---3LA0LB1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 Rocq-decided by @mxdys.]
	* {{TM\|1RB3RB---0RA2RB_2LA4RA3LB1LB1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 Rocq-decided by @mxdys.]		* {{TM\|1RB3RB---0RA2RB_2LA4RA3LB1LB1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 Rocq-decided by @mxdys.]

Yves30.: Correct erratum

2026-09-14T09:34:01Z

Correct erratum

← Older revision		Revision as of 09:34, 14 September 2026
Line 207:		Line 207:

	* {{TM\|1RB2RA3LA4LA2RB_2LA0RA---0RA1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1355828077023854752 Rocq-decided by @mxdys]. [https://discord.com/channels/960643023006490684/1259770421046411285/1355714495326060706 Longitudinal analysis by Legion implies nonhalting]		* {{TM\|1RB2RA3LA4LA2RB_2LA0RA---0RA1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1355828077023854752 Rocq-decided by @mxdys]. [https://discord.com/channels/960643023006490684/1259770421046411285/1355714495326060706 Longitudinal analysis by Legion implies nonhalting]
	* {{TM\|1RB2RA3LA4RB---_2LA3RB3RA1LB3LB\|halt}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1379877629288644722 Rocq-decided by @mxdys]. S ~ 6.9 x 10<sup>~~932~~</sup>, halter ranked 3<sup>rd</sup>. [https://discord.com/channels/960643023006490684/1259770421046411285/1373347187836194898 Halting argument by @dyuan]		* {{TM\|1RB2RA3LA4RB---_2LA3RB3RA1LB3LB\|halt}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1379877629288644722 Rocq-decided by @mxdys]. S ~ 6.9 x 10<sup>933</sup>, halter ranked 3<sup>rd</sup>. [https://discord.com/channels/960643023006490684/1259770421046411285/1373347187836194898 Halting argument by @dyuan]
	* {{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA---\|halt}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1379877629288644722 Rocq-decided by @mxdys]. Current champion S ~ 10^^4.81		* {{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA---\|halt}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1379877629288644722 Rocq-decided by @mxdys]. Current champion S ~ 10^^4.81
	* {{TM\|1RB3RA4LB2RA2RB_2LA---3LA0LB1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 Rocq-decided by @mxdys.]		* {{TM\|1RB3RA4LB2RA2RB_2LA---3LA0LB1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 Rocq-decided by @mxdys.]

← Older revision		Revision as of 12:12, 14 September 2026
Line 207:		Line 207:

	* {{TM\|1RB2RA3LA4LA2RB_2LA0RA---0RA1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1355828077023854752 Rocq-decided by @mxdys]. [https://discord.com/channels/960643023006490684/1259770421046411285/1355714495326060706 Longitudinal analysis by Legion implies nonhalting]		* {{TM\|1RB2RA3LA4LA2RB_2LA0RA---0RA1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1355828077023854752 Rocq-decided by @mxdys]. [https://discord.com/channels/960643023006490684/1259770421046411285/1355714495326060706 Longitudinal analysis by Legion implies nonhalting]
	* {{TM\|1RB2RA3LA4RB---_2LA3RB3RA1LB3LB\|halt}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1379877629288644722 Rocq-decided by @mxdys]. S ~ 6.9 x 10<sup>933</sup>, halter ranked 3<sup>rd</sup>. [https://discord.com/channels/960643023006490684/1259770421046411285/1373347187836194898 Halting argument by @dyuan]		* {{TM\|1RB2RA3LA4RB---_2LA3RB3RA1LB3LB\|halt}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1379877629288644722 Rocq-decided by @mxdys]. s ~ 6.9 x 10<sup>933</sup>, halter ranked 3<sup>rd</sup>. [https://discord.com/channels/960643023006490684/1259770421046411285/1373347187836194898 Halting argument by @dyuan]
	* {{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA---\|halt}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1379877629288644722 Rocq-decided by @mxdys]. Current champion S ~ 10^^4.81		* {{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA---\|halt}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1379877629288644722 Rocq-decided by @mxdys]. Current champion s ~ 10^^4.81
	* {{TM\|1RB3RA4LB2RA2RB_2LA---3LA0LB1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 Rocq-decided by @mxdys.]		* {{TM\|1RB3RA4LB2RA2RB_2LA---3LA0LB1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 Rocq-decided by @mxdys.]
	* {{TM\|1RB3RB---0RA2RB_2LA4RA3LB1LB1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 Rocq-decided by @mxdys.]		* {{TM\|1RB3RB---0RA2RB_2LA4RA3LB1LB1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 Rocq-decided by @mxdys.]

← Older revision		Revision as of 09:34, 14 September 2026
Line 207:		Line 207:

	* {{TM\|1RB2RA3LA4LA2RB_2LA0RA---0RA1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1355828077023854752 Rocq-decided by @mxdys]. [https://discord.com/channels/960643023006490684/1259770421046411285/1355714495326060706 Longitudinal analysis by Legion implies nonhalting]		* {{TM\|1RB2RA3LA4LA2RB_2LA0RA---0RA1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1355828077023854752 Rocq-decided by @mxdys]. [https://discord.com/channels/960643023006490684/1259770421046411285/1355714495326060706 Longitudinal analysis by Legion implies nonhalting]
	* {{TM\|1RB2RA3LA4RB---_2LA3RB3RA1LB3LB\|halt}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1379877629288644722 Rocq-decided by @mxdys]. S ~ 6.9 x 10<sup>~~932~~</sup>, halter ranked 3<sup>rd</sup>. [https://discord.com/channels/960643023006490684/1259770421046411285/1373347187836194898 Halting argument by @dyuan]		* {{TM\|1RB2RA3LA4RB---_2LA3RB3RA1LB3LB\|halt}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1379877629288644722 Rocq-decided by @mxdys]. S ~ 6.9 x 10<sup>933</sup>, halter ranked 3<sup>rd</sup>. [https://discord.com/channels/960643023006490684/1259770421046411285/1373347187836194898 Halting argument by @dyuan]
	* {{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA---\|halt}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1379877629288644722 Rocq-decided by @mxdys]. Current champion S ~ 10^^4.81		* {{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA---\|halt}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1379877629288644722 Rocq-decided by @mxdys]. Current champion S ~ 10^^4.81
	* {{TM\|1RB3RA4LB2RA2RB_2LA---3LA0LB1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 Rocq-decided by @mxdys.]		* {{TM\|1RB3RA4LB2RA2RB_2LA---3LA0LB1LA\|undecided}}. [https://discord.com/channels/960643023006490684/1259770421046411285/1411488532500971631 Rocq-decided by @mxdys.]