1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB - Revision history

Int-y1: add category BB(6)

2025-09-27T04:50:22Z

add category BB(6)

2025-08-31T10:09:18Z

grammar

← Older revision		Revision as of 10:09, 31 August 2025
Line 14:		Line 14:

	== Analysis ==		== Analysis ==
	~~It's~~ behavior can be described by the ~~python~~ code below:		Its behavior can be described by the Python code below:
	<syntaxhighlight lang="python" line="1">		<syntaxhighlight lang="python" line="1">
	def LBS(x):		def LBS(x):

2025-08-18T15:50:48Z

Add discord link to discovery

← Older revision		Revision as of 15:50, 18 August 2025
Line 1:		Line 1:
	{{machine\|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB}}		{{machine\|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB}}
	{{TM\|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB\|halt}} is a former [[BB(6)]] champion. It was discovered by mxdys on 16 June 2025.		{{TM\|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB\|halt}} is a former [[BB(6)]] champion. It was discovered by mxdys on 16 June 2025 ([https://discord.com/channels/960643023006490684/1384195691529633896/1384195691529633896 Discord link]).

	It's in a family of 7 machines with the halting time and sigma score between 10↑↑11010000 and 10↑↑11011000:		It's in a family of 7 machines with the halting time and sigma score between 10↑↑11010000 and 10↑↑11011000:

2025-08-10T20:43:07Z

Combined introduction with link to bbch

← Older revision		Revision as of 20:43, 10 August 2025
Line 1:		Line 1:
	{{machine\|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB}}		{{machine\|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB}}
	{{TM\|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB\|halt}}		{{TM\|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB\|halt}} is a former [[BB(6)]] champion. It was discovered by mxdys on 16 June 2025.

	~~Former~~ [[BB(6)]] champion. ~~Discovered~~ by mxdys on 16 June 2025.

	It's in a family of 7 machines with the halting time and sigma score between 10↑↑11010000 and 10↑↑11011000:		It's in a family of 7 machines with the halting time and sigma score between 10↑↑11010000 and 10↑↑11011000:

2025-08-06T21:48:48Z

Changed "champion" to lowercase

← Older revision		Revision as of 21:48, 6 August 2025
Line 2:		Line 2:
	{{TM\|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB\|halt}}		{{TM\|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB\|halt}}

	Former [[BB(6)]] ~~Champion~~. Discovered by mxdys on 16 June 2025.		Former [[BB(6)]] champion. Discovered by mxdys on 16 June 2025.

	It's in a family of 7 machines with the halting time and sigma score between 10↑↑11010000 and 10↑↑11011000:		It's in a family of 7 machines with the halting time and sigma score between 10↑↑11010000 and 10↑↑11011000:

2025-06-26T10:36:49Z

← Older revision		Revision as of 10:36, 26 June 2025
Line 2:		Line 2:
	{{TM\|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB\|halt}}		{{TM\|1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB\|halt}}

	~~Current~~ [[BB(6)]] Champion. Discovered by mxdys on 16 June 2025.		Former [[BB(6)]] Champion. Discovered by mxdys on 16 June 2025.

	It's in a family of 7 machines with the halting time and sigma score between 10↑↑11010000 and 10↑↑11011000:		It's in a family of 7 machines with the halting time and sigma score between 10↑↑11010000 and 10↑↑11011000:

2025-06-20T18:13:11Z

← Older revision		Revision as of 18:13, 20 June 2025
Line 67:		Line 67:
	</pre>		</pre>

	Execution process:		Execution process (shared by these 7 TMs):
	<pre>		<pre>
	(57,5,H1) -->		(57,5,H1) -->
Line 86:		Line 86:

	In each iteration of (a,b,x) --> (a',b',x'), a'≈2^a. It halts after 11010064 iterations of (a,b,x) --> (a',b',x'). The omitted numbers in x and b are much smaller than a, and much larger than 66060289.		In each iteration of (a,b,x) --> (a',b',x'), a'≈2^a. It halts after 11010064 iterations of (a,b,x) --> (a',b',x'). The omitted numbers in x and b are much smaller than a, and much larger than 66060289.

			The halting config (reversed):<pre>
			H3 = 0^inf 1 Z> 00110 110110^2
			(W1,n,l) = l 110110^n 11 110110^2
			(W2,n,l) = l 110110^n 1111 110110^3

			(a,b,x) = x 110110^b 11^1+a 0^inf
			</pre>

			where a is between 10↑↑11010000 and 10↑↑11011000.

			The first 6 TMs in this family have exactly the same halting config, while <code>1RB1LE_1LC0RA_1RB1LD_1LC0LC_1RF0LB_---1RE</code> has <code>H3 = 0^inf 1 Z> 11110 110110^2</code>, which results in a sigma score increase of 2.

			We can see by looking at the space-time diagram that <code>1RB1LC_1LA1RE_0RD0LA_---1LB_1LD0RF_0RD1RB</code> takes the longest time to halt.

	==References==		==References==
	<references />		<references />

	~~[[Category:Stub]]~~

2025-06-18T10:02:58Z

← Older revision		Revision as of 10:02, 18 June 2025
Line 4:		Line 4:
	Current [[BB(6)]] Champion. Discovered by mxdys on 16 June 2025.		Current [[BB(6)]] Champion. Discovered by mxdys on 16 June 2025.

	It's in a family of 6 machines with the halting time and sigma score between 10↑↑11010000 and 10↑↑11011000:		It's in a family of 7 machines with the halting time and sigma score between 10↑↑11010000 and 10↑↑11011000:
	<pre>		<pre>
	1RB1LC_1LA1RE_0RD0LA_---1LB_1LD0RF_0RD1RB		1RB1LC_1LA1RE_0RD0LA_---1LB_1LD0RF_0RD1RB

2025-06-18T05:47:07Z

2025-06-17T13:17:09Z

Analysis

← Older revision		Revision as of 13:17, 17 June 2025
Line 84:		Line 84:
	</pre>		</pre>

	In each iteration of (a,b,x) --> (a',b',x'), a'≈2^a. It halts after 11010064 iterations of (a,b,x) --> (a',b',x').The omitted numbers in x and b are much smaller than a, and much larger than 66060289.		In each iteration of (a,b,x) --> (a',b',x'), a'≈2^a. It halts after 11010064 iterations of (a,b,x) --> (a',b',x'). The omitted numbers in x and b are much smaller than a, and much larger than 66060289.

	==References==		==References==