User:XnoobSpeakable/Xnoobs-testing-page - Revision history

XnoobSpeakable: blanked out page

2025-10-27T17:33:59Z

blanked out page

XnoobSpeakable: /* Top Halters */ credited 10^^2048 tm

2025-10-27T17:30:41Z

Top Halters: credited 10^^2048 tm

← Older revision		Revision as of 17:30, 27 October 2025
Line 29:		Line 29:
	\|{{TM\|1RB0LB1RZ3LA_0LC3RB3RC1LB_2RB2LA3RA1LC\|halt}}		\|{{TM\|1RB0LB1RZ3LA_0LC3RB3RC1LB_2RB2LA3RA1LC\|halt}}
	\|<math>10 \uparrow\uparrow {2\,048}</math>		\|<math>10 \uparrow\uparrow {2\,048}</math>
	\|~~???~~		\|Pavel Kropitz
	\|-		\|-
	\|{{TM\|1RB1RZ1LA2RB_2RC3RC3LB2RA_2LB3RB3LC1LA\|halt}}		\|{{TM\|1RB1RZ1LA2RB_2RC3RC3LB2RA_2LB3RB3LC1LA\|halt}}

XnoobSpeakable: don't need categories on a testing page

2025-10-27T17:27:44Z

don't need categories on a testing page

← Older revision		Revision as of 17:27, 27 October 2025
Line 426:		Line 426:
	</pre>		</pre>
	</div></div>		</div></div>
	~~[[Category:BB Domains]][[Category:BB(3,4)]]~~

XnoobSpeakable: stuff

2025-10-27T17:25:14Z

stuff

← Older revision		Revision as of 17:25, 27 October 2025
Line 13:		Line 13:
	\|{{TM\|1RB3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC\|halt}}		\|{{TM\|1RB3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC\|halt}}
	\|<math>2 \uparrow^{15} 5</math>		\|<math>2 \uparrow^{15} 5</math>
	\|		\|Pavel Kropitz
	\|-		\|-
	\|{{TM\|1RB1RZ1LA2RB_1RC3RC1LA2LB_2LB2RC1LC3RB\|halt}}		\|{{TM\|1RB1RZ1LA2RB_1RC3RC1LA2LB_2LB2RC1LC3RB\|halt}}
	\|<math>2 \uparrow^{12} 4</math>		\|<math>2 \uparrow^{12} 4</math>
	\|		\|Pavel Kropitz
	\|-		\|-
	\|{{TM\|1RB3RB1LC2LA_2LA2RB1LB3RA_3LA1RZ1LC2RA}}		\|{{TM\|1RB3RB1LC2LA_2LA2RB1LB3RA_3LA1RZ1LC2RA}}
	\|<math>2 \uparrow^{6} 5</math>		\|<math>2 \uparrow^{6} 5</math>
	\|		\|Pavel Kropitz
	\|-		\|-
	\|{{TM\|1RB3RB1LC2LA_2LA2RB1LB3RA_1RA1RZ1LC2RA}}		\|{{TM\|1RB3RB1LC2LA_2LA2RB1LB3RA_1RA1RZ1LC2RA}}
	\|<math>2 \uparrow^{6} 4</math>		\|<math>2 \uparrow^{6} 4</math>
	\|		\|Pavel Kropitz
	\|-		\|-
	\|{{TM\|1RB0LB1RZ3LA_0LC3RB3RC1LB_2RB2LA3RA1LC\|halt}}		\|{{TM\|1RB0LB1RZ3LA_0LC3RB3RC1LB_2RB2LA3RA1LC\|halt}}
	\|<math>10 \uparrow\uparrow {2\,048}</math>		\|<math>10 \uparrow\uparrow {2\,048}</math>
	\|		\|???
	\|-		\|-
	\|{{TM\|1RB1RZ1LA2RB_2RC3RC3LB2RA_2LB3RB3LC1LA\|halt}}		\|{{TM\|1RB1RZ1LA2RB_2RC3RC3LB2RA_2LB3RB3LC1LA\|halt}}
	\|<math>10 \uparrow\uparrow {189.05690}</math>		\|<math>10 \uparrow\uparrow {189.05690}</math>
	\|		\|[[User:XnoobSpeakable\|XnoobSpeakable]]
	\|-		\|-
	\|{{TM\|1RB3LA1RA2LB_2LC1RA2RC3RB_1RZ1LA2RA3RA\|halt}}		\|{{TM\|1RB3LA1RA2LB_2LC1RA2RC3RB_1RZ1LA2RA3RA\|halt}}
	\|<math>10 \uparrow\uparrow {188.16168}</math>		\|<math>10 \uparrow\uparrow {188.16168}</math>
	\|		\|XnoobSpeakable
	\|-		\|-
	\|{{TM\|1RB1LB2LA3LC_1LA2RB3RA1LB_1RZ1RB2LB3LB\|halt}}		\|{{TM\|1RB1LB2LA3LC_1LA2RB3RA1LB_1RZ1RB2LB3LB\|halt}}
	\|<math>10 \uparrow\uparrow {188.16168}</math>		\|<math>10 \uparrow\uparrow {188.16168}</math>
	\|		\|XnoobSpeakable
	\|-		\|-
	\|{{TM\|1RB1RA3LA3RB_2LC2RC1LB2RA_2RA2RB0LB1RZ\|halt}}		\|{{TM\|1RB1RA3LA3RB_2LC2RC1LB2RA_2RA2RB0LB1RZ\|halt}}
	\|<math>10 \uparrow\uparrow {149.57147}</math>		\|<math>10 \uparrow\uparrow {149.57147}</math>
	\|		\|XnoobSpeakable
	\|-		\|-
	\|{{TM\|1RB2LB1RZ3LA_1LA3RC2LC1LC_2LA3RC0RA1LB\|halt}}		\|{{TM\|1RB2LB1RZ3LA_1LA3RC2LC1LC_2LA3RC0RA1LB\|halt}}
	\|<math>10 \uparrow\uparrow {130.20142}</math>		\|<math>10 \uparrow\uparrow {130.20142}</math>
	\|		\|XnoobSpeakable
	\|-		\|-
	\|{{TM\|1RB2LB1RZ3LA_1LA3RC3LB1LC_2RA3RC0RA1LB\|halt}}		\|{{TM\|1RB2LB1RZ3LA_1LA3RC3LB1LC_2RA3RC0RA1LB\|halt}}
	\|<math>10 \uparrow\uparrow {130.20142}</math>		\|<math>10 \uparrow\uparrow {130.20142}</math>
	\|		\|XnoobSpeakable
	\|-		\|-
	\|{{TM\|1RB2LC1RC2RA_1LA3RA2RB1RZ_3LB2LC1RA0LB\|halt}}		\|{{TM\|1RB2LC1RC2RA_1LA3RA2RB1RZ_3LB2LC1RA0LB\|halt}}
	\|<math>10 \uparrow\uparrow {130.20142}</math>		\|<math>10 \uparrow\uparrow {130.20142}</math>
	\|		\|[[User:WarpedWartWars\|Lúkos]]
	\|-		\|-
	\|{{TM\|1RB1RA1LB3RA_1RC3LB1LC1RC_2LA2RA1RZ0LA\|halt}}		\|{{TM\|1RB1RA1LB3RA_1RC3LB1LC1RC_2LA2RA1RZ0LA\|halt}}
	\|<math>10 \uparrow\uparrow {96.06390}</math>		\|<math>10 \uparrow\uparrow {96.06390}</math>
	\|		\|XnoobSpeakable
	\|-		\|-
	\|{{TM\|1RB1RA1LB3RA_1RC3LB1LC1RC_2LA2RA1RZ1RB\|halt}}		\|{{TM\|1RB1RA1LB3RA_1RC3LB1LC1RC_2LA2RA1RZ1RB\|halt}}
	\|<math>10 \uparrow\uparrow {96.06390}</math>		\|<math>10 \uparrow\uparrow {96.06390}</math>
	\|		\|XnoobSpeakable
	\|-		\|-
	\|{{TM\|1RB3LC0RA1RC_2LA1RZ3LA2RB_3LA0RA1LA0RA\|halt}}		\|{{TM\|1RB3LC0RA1RC_2LA1RZ3LA2RB_3LA0RA1LA0RA\|halt}}
	\|<math>10 \uparrow\uparrow {95.24590}</math>		\|<math>10 \uparrow\uparrow {95.24590}</math>
	\|		\|XnoobSpeakable
	\|-		\|-
	\|{{TM\|1RB3LC0RA1RC_2LA1RZ3LA2RB_3LA0RA3LB0RA\|halt}}		\|{{TM\|1RB3LC0RA1RC_2LA1RZ3LA2RB_3LA0RA3LB0RA\|halt}}
	\|<math>10 \uparrow\uparrow {95.24590}</math>		\|<math>10 \uparrow\uparrow {95.24590}</math>
	\|		\|XnoobSpeakable
	\|-		\|-
	\|{{TM\|1RB2LA1RA1RC_1LA3LC3RB1RC_3LA1RZ3LB2RC\|halt}}		\|{{TM\|1RB2LA1RA1RC_1LA3LC3RB1RC_3LA1RZ3LB2RC\|halt}}
	\|<math>10 \uparrow\uparrow {84.19957}</math>		\|<math>10 \uparrow\uparrow {84.19957}</math>
	\|		\|XnoobSpeakable
	\|-		\|-
	\|{{TM\|1RB0LB1RA2LB_2RC3LB3RB2LA_2LC1RZ1LA2RB\|halt}}		\|{{TM\|1RB0LB1RA2LB_2RC3LB3RB2LA_2LC1RZ1LA2RB\|halt}}
	\|<math>10 \uparrow\uparrow {76.17604}</math>		\|<math>10 \uparrow\uparrow {76.17604}</math>
	\|		\|XnoobSpeakable
	\|-		\|-
	\|{{TM\|1RB1LA1RZ0LB_2LC2LB1RC1RB_3LA3LC0LC0RA\|halt}}		\|{{TM\|1RB1LA1RZ0LB_2LC2LB1RC1RB_3LA3LC0LC0RA\|halt}}
	\|<math>10 \uparrow\uparrow {74.18390}</math>		\|<math>10 \uparrow\uparrow {74.18390}</math>
	\|		\|XnoobSpeakable
	\|-		\|-
	\|{{TM\|1RB2RA1LA1LB_2RC3RB1RZ3LC_2LA1RC1RB0RA\|halt}}		\|{{TM\|1RB2RA1LA1LB_2RC3RB1RZ3LC_2LA1RC1RB0RA\|halt}}
	\|<math>10 \uparrow\uparrow {69.55341}</math>		\|<math>10 \uparrow\uparrow {69.55341}</math>
	\|		\|Lúkos
	\|}		\|}

Line 207:		Line 207:
	Certain data such as TMs/sec/core is unavailable, because the amount of time the computation took was not kept track of.		Certain data such as TMs/sec/core is unavailable, because the amount of time the computation took was not kept track of.

	Stage 3 is a lr_enum_continue computation to 1 million steps. ~~While~~ Lúkos did not contribute to computing stage 3, ~~he did create~~ a Python script to compute it in bulk, which XnoobSpeakable used.		Stage 3 is a lr_enum_continue computation to 1 million steps. Lúkos did not contribute to computing stage 3, but rather created a Python script to compute it in bulk, which XnoobSpeakable used.

	For the "Contribution" column, the first number is the amount of subtasks solved by XnoobSpeakable, the 2nd is the amount solved by Lúkos. Note that the counts are unequal, because Lúkos has a slower CPU with a lower core count. According to XnoobSpeakable, the time contribution from both contributors is roughly equal. Lúkos also worked on the Python scripts used, while XnoobSpeakable worked on compiling holdouts lists and finding optimal deciders to apply.		For the "Contribution" column, the first number is the amount of subtasks solved by XnoobSpeakable, the 2nd is the amount solved by Lúkos. Note that the counts are unequal, because Lúkos has a slower CPU with a lower core count. According to XnoobSpeakable, the time contribution from both contributors is roughly equal. Lúkos also worked on the Python scripts used, while XnoobSpeakable worked on compiling holdouts lists and finding optimal deciders to apply.
Line 292:		Line 292:

	== Phase 2 Data ==		== Phase 2 Data ==
	Here we will list the deciders applied during the various stages of Phase 2~~. Each line shows a decider and how many TMs that decider solved (last number; provided by Peacemaker II)~~. Each decider within a stage was not applied in a specific order.		Here we will list the deciders applied during the various stages of Phase 2. Each decider within a stage was not applied in a specific order. Some stages have a number of TMs solved by every decider at the end of each row, provided by Peacemaker II.

	<div class="toccolours mw-collapsible mw-collapsed">'''Details'''<div class="mw-collapsible-content">		<div class="toccolours mw-collapsible mw-collapsed">'''Details'''<div class="mw-collapsible-content">
Line 333:		Line 333:
	MitM_CTL CPS_LRU sim 1001 maxT 3000 LRUH 6 H 1 tH 1 n 2 run 288834		MitM_CTL CPS_LRU sim 1001 maxT 3000 LRUH 6 H 1 tH 1 n 2 run 288834
	</pre>		</pre>
	Phase 2 stage 3 ~~was not computed with mxdys' main.exe, but rather with~~ lr_enum_continue from [https://github.com/sligocki/busy-beaver busy-beaver] for 1 million steps~~; the command is provided below~~:		Phase 2 stage 3 (lr_enum_continue from [https://github.com/sligocki/busy-beaver busy-beaver] for 1 million steps):
	<pre>		<pre>
	lr_enum_continue ./in.txt 100000 ./halt.txt ./inf.txt ./unknown.txt "" false		lr_enum_continue ./in.txt 100000 ./halt.txt ./inf.txt ./unknown.txt "" false
Line 347:		Line 347:
	MitM_CTL RWL_mod sim 1001 maxT 1000 H 4 mod 2 n 1 run 102052		MitM_CTL RWL_mod sim 1001 maxT 1000 H 4 mod 2 n 1 run 102052
	</pre>		</pre>
	Phase 2 stage 5 ~~(no TM count per decider is available at this time)~~:		Phase 2 stage 5:
	<pre>		<pre>
	MitM_CTL CPS_LRU sim 1001 maxT 3000 LRUH 6 H 0 tH 1 n 10 run		MitM_CTL CPS_LRU sim 1001 maxT 3000 LRUH 6 H 0 tH 1 n 10 run

XnoobSpeakable: discoverer in top halters

2025-10-26T14:01:55Z

discoverer in top halters

XnoobSpeakable: attempt collapsible bb(3,4)

2025-10-26T13:58:05Z

attempt collapsible bb(3,4)

Show changes

XnoobSpeakable: Created page with "TEMU ripoff of Polygon's "Page for testing""

2025-10-26T13:57:16Z

Created page with "TEMU ripoff of Polygon's "Page for testing""

New page

TEMU ripoff of Polygon's "Page for testing"

← Older revision		Revision as of 14:01, 26 October 2025
Line 1:		Line 1:
	~~TEMU ripoff of Polygon's "Page for testing"~~		BB(3,4) test:

	The Busy Beaver problem for 3 states and 4 symbols is unsolved, with the existence of [[Cryptids]] in the domain being given by the discovery of [[Bigfoot]] in [[BB(3,3)]]. The current BB(3,4) [[Champions#3-Symbol TMs\|champion]] is {{TM\|1RB3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC\|halt}}. It runs for <math>2 \uparrow^{15} 5</math> steps before halting. It was discovered by Pavel Kropitz in 2024 and was analysed by Shawn Ligocki in the same year.		The Busy Beaver problem for 3 states and 4 symbols is unsolved, with the existence of [[Cryptids]] in the domain being given by the discovery of [[Bigfoot]] in [[BB(3,3)]]. The current BB(3,4) [[Champions#3-Symbol TMs\|champion]] is {{TM\|1RB3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC\|halt}}. It runs for <math>2 \uparrow^{15} 5</math> steps before halting. It was discovered by Pavel Kropitz in 2024 and was analysed by Shawn Ligocki in the same year.
Line 9:		Line 9:
	!Standard format		!Standard format
	!(approximate) runtime		!(approximate) runtime
			!Discoverer
	\|-		\|-
	\|{{TM\|1RB3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC\|halt}}		\|{{TM\|1RB3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC\|halt}}
	\|<math>2 \uparrow^{15} 5</math>		\|<math>2 \uparrow^{15} 5</math>
			\|
	\|-		\|-
	\|{{TM\|1RB1RZ1LA2RB_1RC3RC1LA2LB_2LB2RC1LC3RB\|halt}}		\|{{TM\|1RB1RZ1LA2RB_1RC3RC1LA2LB_2LB2RC1LC3RB\|halt}}
	\|<math>2 \uparrow^{12} 4</math>		\|<math>2 \uparrow^{12} 4</math>
			\|
	\|-		\|-
	\|{{TM\|1RB3RB1LC2LA_2LA2RB1LB3RA_3LA1RZ1LC2RA}}		\|{{TM\|1RB3RB1LC2LA_2LA2RB1LB3RA_3LA1RZ1LC2RA}}
	\|<math>2 \uparrow^{6} 5</math>		\|<math>2 \uparrow^{6} 5</math>
			\|
	\|-		\|-
	\|{{TM\|1RB3RB1LC2LA_2LA2RB1LB3RA_1RA1RZ1LC2RA}}		\|{{TM\|1RB3RB1LC2LA_2LA2RB1LB3RA_1RA1RZ1LC2RA}}
	\|<math>2 \uparrow^{6} 4</math>		\|<math>2 \uparrow^{6} 4</math>
			\|
	\|-		\|-
	\|{{TM\|1RB0LB1RZ3LA_0LC3RB3RC1LB_2RB2LA3RA1LC\|halt}}		\|{{TM\|1RB0LB1RZ3LA_0LC3RB3RC1LB_2RB2LA3RA1LC\|halt}}
	\|<math>10 \uparrow\uparrow {2\,048}</math>		\|<math>10 \uparrow\uparrow {2\,048}</math>
			\|
	\|-		\|-
	\|{{TM\|1RB1RZ1LA2RB_2RC3RC3LB2RA_2LB3RB3LC1LA\|halt}}		\|{{TM\|1RB1RZ1LA2RB_2RC3RC3LB2RA_2LB3RB3LC1LA\|halt}}
	\|<math>10 \uparrow\uparrow {189.05690}</math>		\|<math>10 \uparrow\uparrow {189.05690}</math>
			\|
	\|-		\|-
	\|{{TM\|1RB3LA1RA2LB_2LC1RA2RC3RB_1RZ1LA2RA3RA\|halt}}		\|{{TM\|1RB3LA1RA2LB_2LC1RA2RC3RB_1RZ1LA2RA3RA\|halt}}
	\|<math>10 \uparrow\uparrow {188.16168}</math>		\|<math>10 \uparrow\uparrow {188.16168}</math>
			\|
	\|-		\|-
	\|{{TM\|1RB1LB2LA3LC_1LA2RB3RA1LB_1RZ1RB2LB3LB\|halt}}		\|{{TM\|1RB1LB2LA3LC_1LA2RB3RA1LB_1RZ1RB2LB3LB\|halt}}
	\|<math>10 \uparrow\uparrow {188.16168}</math>		\|<math>10 \uparrow\uparrow {188.16168}</math>
			\|
	\|-		\|-
	\|{{TM\|1RB1RA3LA3RB_2LC2RC1LB2RA_2RA2RB0LB1RZ\|halt}}		\|{{TM\|1RB1RA3LA3RB_2LC2RC1LB2RA_2RA2RB0LB1RZ\|halt}}
	\|<math>10 \uparrow\uparrow {149.57147}</math>		\|<math>10 \uparrow\uparrow {149.57147}</math>
			\|
	\|-		\|-
	\|{{TM\|1RB2LB1RZ3LA_1LA3RC2LC1LC_2LA3RC0RA1LB\|halt}}		\|{{TM\|1RB2LB1RZ3LA_1LA3RC2LC1LC_2LA3RC0RA1LB\|halt}}
	\|<math>10 \uparrow\uparrow {130.20142}</math>		\|<math>10 \uparrow\uparrow {130.20142}</math>
			\|
	\|-		\|-
	\|{{TM\|1RB2LB1RZ3LA_1LA3RC3LB1LC_2RA3RC0RA1LB\|halt}}		\|{{TM\|1RB2LB1RZ3LA_1LA3RC3LB1LC_2RA3RC0RA1LB\|halt}}
	\|<math>10 \uparrow\uparrow {130.20142}</math>		\|<math>10 \uparrow\uparrow {130.20142}</math>
			\|
	\|-		\|-
	\|{{TM\|1RB2LC1RC2RA_1LA3RA2RB1RZ_3LB2LC1RA0LB\|halt}}		\|{{TM\|1RB2LC1RC2RA_1LA3RA2RB1RZ_3LB2LC1RA0LB\|halt}}
	\|<math>10 \uparrow\uparrow {130.20142}</math>		\|<math>10 \uparrow\uparrow {130.20142}</math>
			\|
	\|-		\|-
	\|{{TM\|1RB1RA1LB3RA_1RC3LB1LC1RC_2LA2RA1RZ0LA\|halt}}		\|{{TM\|1RB1RA1LB3RA_1RC3LB1LC1RC_2LA2RA1RZ0LA\|halt}}
	\|<math>10 \uparrow\uparrow {96.06390}</math>		\|<math>10 \uparrow\uparrow {96.06390}</math>
			\|
	\|-		\|-
	\|{{TM\|1RB1RA1LB3RA_1RC3LB1LC1RC_2LA2RA1RZ1RB\|halt}}		\|{{TM\|1RB1RA1LB3RA_1RC3LB1LC1RC_2LA2RA1RZ1RB\|halt}}
	\|<math>10 \uparrow\uparrow {96.06390}</math>		\|<math>10 \uparrow\uparrow {96.06390}</math>
			\|
	\|-		\|-
	\|{{TM\|1RB3LC0RA1RC_2LA1RZ3LA2RB_3LA0RA1LA0RA\|halt}}		\|{{TM\|1RB3LC0RA1RC_2LA1RZ3LA2RB_3LA0RA1LA0RA\|halt}}
	\|<math>10 \uparrow\uparrow {95.24590}</math>		\|<math>10 \uparrow\uparrow {95.24590}</math>
			\|
	\|-		\|-
	\|{{TM\|1RB3LC0RA1RC_2LA1RZ3LA2RB_3LA0RA3LB0RA\|halt}}		\|{{TM\|1RB3LC0RA1RC_2LA1RZ3LA2RB_3LA0RA3LB0RA\|halt}}
	\|<math>10 \uparrow\uparrow {95.24590}</math>		\|<math>10 \uparrow\uparrow {95.24590}</math>
			\|
	\|-		\|-
	\|{{TM\|1RB2LA1RA1RC_1LA3LC3RB1RC_3LA1RZ3LB2RC\|halt}}		\|{{TM\|1RB2LA1RA1RC_1LA3LC3RB1RC_3LA1RZ3LB2RC\|halt}}
	\|<math>10 \uparrow\uparrow {84.19957}</math>		\|<math>10 \uparrow\uparrow {84.19957}</math>
			\|
	\|-		\|-
	\|{{TM\|1RB0LB1RA2LB_2RC3LB3RB2LA_2LC1RZ1LA2RB\|halt}}		\|{{TM\|1RB0LB1RA2LB_2RC3LB3RB2LA_2LC1RZ1LA2RB\|halt}}
	\|<math>10 \uparrow\uparrow {76.17604}</math>		\|<math>10 \uparrow\uparrow {76.17604}</math>
			\|
	\|-		\|-
	\|{{TM\|1RB1LA1RZ0LB_2LC2LB1RC1RB_3LA3LC0LC0RA\|halt}}		\|{{TM\|1RB1LA1RZ0LB_2LC2LB1RC1RB_3LA3LC0LC0RA\|halt}}
	\|<math>10 \uparrow\uparrow {74.18390}</math>		\|<math>10 \uparrow\uparrow {74.18390}</math>
			\|
	\|-		\|-
	\|{{TM\|1RB2RA1LA1LB_2RC3RB1RZ3LC_2LA1RC1RB0RA\|halt}}		\|{{TM\|1RB2RA1LA1LB_2RC3RB1RZ3LC_2LA1RC1RB0RA\|halt}}
	\|<math>10 \uparrow\uparrow {69.55341}</math>		\|<math>10 \uparrow\uparrow {69.55341}</math>
			\|
	\|}		\|}