BB(4,3) - Revision history

Polygon: /* Phase 1 */ fixed percent reduction

2026-04-29T16:32:59Z

Phase 1: fixed percent reduction

← Older revision		Revision as of 16:32, 29 April 2026
Line 127:		Line 127:

	== Phase 1 ==		== Phase 1 ==
	The initial phase of enumeration and reduction of [[holdouts]] took place in December 2024 and was done by Terry Ligocki using the Ligockis' C++ and Python codes. The initial enumerations generated ~633B(illion) TMs of which ~34.4B TMs were holdouts. Also found were ~206B halting TMs and ~392B infinite TMs. The number of holdouts was reduced to ~461M TMs (a 98.66% reduction).		The initial phase of enumeration and reduction of [[holdouts]] took place in December 2024 and was done by Terry Ligocki using the Ligockis' C++ and Python codes. The initial enumerations generated ~633B(illion) TMs of which ~34.4B TMs were holdouts. Also found were ~206B halting TMs and ~392B infinite TMs. The number of holdouts was reduced to ~461M TMs (a 99.93% reduction).

	Two C++ programs were run before the filters in the table.		Two C++ programs were run before the filters in the table.
Line 238:		Line 238:
	\|'''632,656,365,801'''		\|'''632,656,365,801'''
	\|'''460,916,384'''		\|'''460,916,384'''
	\|'''98.66%'''		\|'''99.93%'''
	\| ---		\| ---
	\| ---		\| ---

Polygon: /* Phase 1 */ linked TNF

2026-04-26T18:20:39Z

Phase 1: linked TNF

← Older revision		Revision as of 18:20, 26 April 2026
Line 134:		Line 134:
	00 <= XX < 47: lr_enum_continue 4x3.in.XX 1000 /dev/null /dev/null 4x3.unk.txt.XX XX false		00 <= XX < 47: lr_enum_continue 4x3.in.XX 1000 /dev/null /dev/null 4x3.unk.txt.XX XX false
	</pre>		</pre>
	Both do the initial enumeration and simple filtering. The "/dev/null" in both commands would be files where the halting and infinite TMs would be stored. The first command generates the TMs from a TNF tree for BB(4,3) of depth 8 and outputs the holdouts to 4x3.unk.txt. This file was then divided into 48 pieces, 4x3.in.XX, 0 <= XX < 47. The second commands (one for each XX) continues the enumeration by running each TM for 1,000 steps. It classifies each as halting, infinite, or unknown/holdout. Again, the halting and infinite TMs are "written" to /dev/null, i.e., they aren't saved. The holdouts are stored in 48 files: 4x3.unk.txt.XX.		Both do the initial enumeration and simple filtering. The "/dev/null" in both commands would be files where the halting and infinite TMs would be stored. The first command generates the TMs from a [[TNF]] tree for BB(4,3) of depth 8 and outputs the holdouts to 4x3.unk.txt. This file was then divided into 48 pieces, 4x3.in.XX, 0 <= XX < 47. The second commands (one for each XX) continues the enumeration by running each TM for 1,000 steps. It classifies each as halting, infinite, or unknown/holdout. Again, the halting and infinite TMs are "written" to /dev/null, i.e., they aren't saved. The holdouts are stored in 48 files: 4x3.unk.txt.XX.

	For these runs the first command generated a total of ~45M TMs: ~1.86M halting, ~774K infinite, and ~42.0M holdouts. The second took the ~42.0M holdout TMs and generated a total of ~633B TMs: ~206B halting, ~392B infinite, and ~34.4B holdouts. These holdouts were used as a starting point of the filters below.		For these runs the first command generated a total of ~45M TMs: ~1.86M halting, ~774K infinite, and ~42.0M holdouts. The second took the ~42.0M holdout TMs and generated a total of ~633B TMs: ~206B halting, ~392B infinite, and ~34.4B holdouts. These holdouts were used as a starting point of the filters below.

ADucharme: /* Stage 3 */ new google drive link

2026-04-26T07:02:55Z

Stage 3: new google drive link

← Older revision		Revision as of 07:02, 26 April 2026
Line 596:		Line 596:
	\|		\|
	\| style="text-align:left" \|Enumerate.py -r --no-steps --exp-linear-rules --max-loops=100_000 --block-mult=3 --time=0.5 --lin-steps=0 --no-ctl		\| style="text-align:left" \|Enumerate.py -r --no-steps --exp-linear-rules --max-loops=100_000 --block-mult=3 --time=0.5 --lin-steps=0 --no-ctl
	\| rowspan="28" style="text-align:left" \|[https://drive.google.com/drive/folders/~~1qNssnvK3W2jJ68VBq9FJZMy9TvwbQk4_~~?usp=~~drive_link~~ Google Drive]		\| rowspan="28" style="text-align:left" \|[https://drive.google.com/drive/folders/11FYe0CVDPczcgt4put3vsdGbeMWkM1S1?usp=sharing Google Drive]
	\|-		\|-
	\| style="text-align:left" \|Andrew Ducharme		\| style="text-align:left" \|Andrew Ducharme

ADucharme: /* Top Halters */ spaces

2026-04-26T05:24:49Z

Top Halters: spaces

← Older revision		Revision as of 05:24, 26 April 2026
Line 26:		Line 26:
	\|-		\|-
	\|{{TM\|1RB1LD2LA_0RC1RZ0RA_1LD2LA0LC_2RD2RC0LD\|halt}}		\|{{TM\|1RB1LD2LA_0RC1RZ0RA_1LD2LA0LC_2RD2RC0LD\|halt}}
	\|~~~10↑↑1023~~.47221		\|~10 ↑↑ 1023.47221
	\|Andrew Ducharme		\|Andrew Ducharme
	\|-		\|-
	\|{{TM\|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ\|halt}}		\|{{TM\|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ\|halt}}
	\|~~~10↑↑619~~.07737		\|~10 ↑↑ 619.07737
	\|Andrew Ducharme		\|Andrew Ducharme
	\|-		\|-
	\|{{TM\|1RB1RZ2RD_1LC0RD0RC_2LC1LA0RB_2RC0RC2RA\|halt}}		\|{{TM\|1RB1RZ2RD_1LC0RD0RC_2LC1LA0RB_2RC0RC2RA\|halt}}
	\|~~~10↑↑512~~.10945		\|~10 ↑↑ 512.10945
	\|Andrew Ducharme		\|Andrew Ducharme
	\|-		\|-
	\|{{TM\|1RB1RZ0RC_1RC1RA0LD_2RD2RB0RD_1LB2LD2RA\|halt}}		\|{{TM\|1RB1RZ0RC_1RC1RA0LD_2RD2RB0RD_1LB2LD2RA\|halt}}
	\|~~~10↑↑439~~.02781		\|~10 ↑↑ 439.02781
	\|Andrew Ducharme		\|Andrew Ducharme
	\|-		\|-
	\|{{TM\|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ\|halt}}		\|{{TM\|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ\|halt}}
	\|~~~10↑↑234~~.06408		\|~10 ↑↑ 234.06408
	\|Andrew Ducharme		\|Andrew Ducharme
	\|-		\|-

ADucharme: /* Phase 2 */ Phase 2, Stage 3 table added

2026-04-25T22:18:42Z

Phase 2: Phase 2, Stage 3 table added

Show changes

ADucharme: /* Top Halters */ templating TMs

2026-04-25T21:59:32Z

Top Halters: templating TMs

← Older revision		Revision as of 21:59, 25 April 2026
Line 25:		Line 25:
	!Discoverer		!Discoverer
	\|-		\|-
	\|1RB1LD2LA_0RC1RZ0RA_1LD2LA0LC_2RD2RC0LD		\|{{TM\|1RB1LD2LA_0RC1RZ0RA_1LD2LA0LC_2RD2RC0LD\|halt}}
	\|~10↑↑1023.47221		\|~10↑↑1023.47221
	\|Andrew Ducharme		\|Andrew Ducharme
	\|-		\|-
	\|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ		\|{{TM\|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ\|halt}}
	\|~10↑↑619.07737		\|~10↑↑619.07737
	\|Andrew Ducharme		\|Andrew Ducharme
	\|-		\|-
	\|1RB1RZ2RD_1LC0RD0RC_2LC1LA0RB_2RC0RC2RA		\|{{TM\|1RB1RZ2RD_1LC0RD0RC_2LC1LA0RB_2RC0RC2RA\|halt}}
	\|~10↑↑512.10945		\|~10↑↑512.10945
	\|Andrew Ducharme		\|Andrew Ducharme
	\|-		\|-
	\|1RB1RZ0RC_1RC1RA0LD_2RD2RB0RD_1LB2LD2RA		\|{{TM\|1RB1RZ0RC_1RC1RA0LD_2RD2RB0RD_1LB2LD2RA\|halt}}
	\|~10↑↑439.02781		\|~10↑↑439.02781
	\|Andrew Ducharme		\|Andrew Ducharme
	\|-		\|-
	\|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ		\|{{TM\|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ\|halt}}
	\|~10↑↑234.06408		\|~10↑↑234.06408
	\|Andrew Ducharme		\|Andrew Ducharme
Line 53:		Line 53:
	\|Terry Ligocki		\|Terry Ligocki
	\|-		\|-
	\|1RB2LC1RA_2RC1LB2RD_1LD2LA0LB_0LA1RZ0LC		\|{{TM\|1RB2LC1RA_2RC1LB2RD_1LD2LA0LB_0LA1RZ0LC\|halt}}
	\|~10 ↑↑ 178.48320		\|~10 ↑↑ 178.48320
	\|Andrew Ducharme		\|Andrew Ducharme
Line 77:		Line 77:
	\|Terry Ligocki		\|Terry Ligocki
	\|-		\|-
	\|1RB1LD0RC_2LC0RB1RA_1RA0LB1RD_0LA2LA1RZ		\|{{TM\|1RB1LD0RC_2LC0RB1RA_1RA0LB1RD_0LA2LA1RZ\|halt}}
	\|~10 ↑↑ 158.81916		\|~10 ↑↑ 158.81916
	\|Andrew Ducharme		\|Andrew Ducharme
	\|-		\|-
	\|1RB1RC1RB_1LC0RA2LD_2RA0LD1RZ_0LB2LD1RD		\|{{TM\|1RB1RC1RB_1LC0RA2LD_2RA0LD1RZ_0LB2LD1RD\|halt}}
	\|~10 ↑↑ 154.52968		\|~10 ↑↑ 154.52968
	\|Andrew Ducharme		\|Andrew Ducharme
	\|-		\|-
	\|1RB1LA1RD_2LA0LC2LD_1RZ2RA2LB_0LC2RC1RA		\|{{TM\|1RB1LA1RD_2LA0LC2LD_1RZ2RA2LB_0LC2RC1RA\|halt}}
	\|~10 ↑↑ 147.26175		\|~10 ↑↑ 147.26175
	\|Andrew Ducharme		\|Andrew Ducharme
	\|-		\|-
	\|{{TM\|1RB0RB1LC_2LC0LD1RA_2RB2LD1RZ_2LA2LB0LD}}		\|{{TM\|1RB0RB1LC_2LC0LD1RA_2RB2LD1RZ_2LA2LB0LD\|halt}}
	\|~10 ↑↑ 141.44248		\|~10 ↑↑ 141.44248
	\|Andrew Ducharme		\|Andrew Ducharme
	\|-		\|-
	\|1RB0RC2LB_2LC2RD1LC_1RC0LC1LB_1RZ1RA1RA		\|{{TM\|1RB0RC2LB_2LC2RD1LC_1RC0LC1LB_1RZ1RA1RA\|halt}}
	\|~10 ↑↑ 139.06217		\|~10 ↑↑ 139.06217
	\|Andrew Ducharme		\|Andrew Ducharme
	\|-		\|-
	\|1RB0RC2LB_2LC2RD1LC_1RC0LC1LB_1RZ2LD1RA		\|{{TM\|1RB0RC2LB_2LC2RD1LC_1RC0LC1LB_1RZ2LD1RA\|halt}}
	\|~10 ↑↑ 139.06217		\|~10 ↑↑ 139.06217
	\|Andrew Ducharme		\|Andrew Ducharme
	\|-		\|-
	\|1RB0RC1LB_2LC2RD1LC_1RC0LC1LB_1RZ1RA---		\|{{TM\|1RB0RC1LB_2LC2RD1LC_1RC0LC1LB_1RZ1RA---\|halt}}
	\|~10 ↑↑ 139.06217		\|~10 ↑↑ 139.06217
	\|Andrew Ducharme		\|Andrew Ducharme

ADucharme: /* Top Halters */ adding a bunch of new top 20 halters found by comprehensive search

2026-04-25T21:57:58Z

Top Halters: adding a bunch of new top 20 halters found by comprehensive search

← Older revision		Revision as of 21:57, 25 April 2026
Line 24:		Line 24:
	!Approximate sigma score		!Approximate sigma score
	!Discoverer		!Discoverer
			\|-
			\|1RB1LD2LA_0RC1RZ0RA_1LD2LA0LC_2RD2RC0LD
			\|~10↑↑1023.47221
			\|Andrew Ducharme
			\|-
			\|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ
			\|~10↑↑619.07737
			\|Andrew Ducharme
			\|-
			\|1RB1RZ2RD_1LC0RD0RC_2LC1LA0RB_2RC0RC2RA
			\|~10↑↑512.10945
			\|Andrew Ducharme
			\|-
			\|1RB1RZ0RC_1RC1RA0LD_2RD2RB0RD_1LB2LD2RA
			\|~10↑↑439.02781
			\|Andrew Ducharme
			\|-
			\|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ
			\|~10↑↑234.06408
			\|Andrew Ducharme
	\|-		\|-
	\|{{TM\|1RB0LC1RC_1LA2RB1LB_1RC2LA0RD_2LB1RZ2LC\|halt}}		\|{{TM\|1RB0LC1RC_1LA2RB1LB_1RC2LA0RD_2LB1RZ2LC\|halt}}
Line 32:		Line 52:
	\|~10 ↑↑ 190.21359		\|~10 ↑↑ 190.21359
	\|Terry Ligocki		\|Terry Ligocki
			\|-
			\|1RB2LC1RA_2RC1LB2RD_1LD2LA0LB_0LA1RZ0LC
			\|~10 ↑↑ 178.48320
			\|Andrew Ducharme
	\|-		\|-
	\|{{TM\|1RB2LC1RA_1LA0RD2RB_2LD0RC2LD_2LA1RZ0RD\|halt}}		\|{{TM\|1RB2LC1RA_1LA0RD2RB_2LD0RC2LD_2LA1RZ0RD\|halt}}
Line 53:		Line 77:
	\|Terry Ligocki		\|Terry Ligocki
	\|-		\|-
	\|~~{{TM\|1RB0RB1LC_2LC0LD1RA_2RB2LD1RZ_2LA2LB0LD}}~~		\|1RB1LD0RC_2LC0RB1RA_1RA0LB1RD_0LA2LA1RZ
	\|~10 ↑↑ ~~141~~.~~44248~~		\|~10 ↑↑ 158.81916
	\|Andrew Ducharme		\|Andrew Ducharme
	\|-		\|-
	\|~~{{TM\|1RB1RC2RB_2LC2LB0LC_1RA1LD0RB_2RA0LC1RZ\|halt}}~~		\|1RB1RC1RB_1LC0RA2LD_2RA0LD1RZ_0LB2LD1RD
	\|~10 ↑↑ ~~128~~.~~27662~~		\|~10 ↑↑ 154.52968
	\|~~Terry Ligocki~~		\|Andrew Ducharme
	\|-		\|-
	\|~~{{TM\|1RB2LC1RA_1LA2RA2RB_1LD2LA0RC_1RA1RZ0RB\|halt}}~~		\|1RB1LA1RD_2LA0LC2LD_1RZ2RA2LB_0LC2RC1RA
	\|~10 ↑↑ ~~127~~.~~14811~~		\|~10 ↑↑ 147.26175
	\|~~Terry Ligocki~~		\|Andrew Ducharme
	\|-		\|-
	\|{{TM\|~~1RB1RC2LA_2LC0LA1LD_0LD0LB1RZ_2RA2RD1LB\|halt~~}}		\|{{TM\|1RB0RB1LC_2LC0LD1RA_2RB2LD1RZ_2LA2LB0LD}}
	\|~10 ↑↑ ~~107~~.~~56135~~		\|~10 ↑↑ 141.44248
	\|~~Terry Ligocki~~		\|Andrew Ducharme
	\|-		\|-
	\|~~{{TM\|1RB2LB1LA_0LC2RA0RA_2LA2LD1RZ_2LB2LC2LC\|halt}}~~		\|1RB0RC2LB_2LC2RD1LC_1RC0LC1LB_1RZ1RA1RA
	\|~10 ↑↑ 86.~~27662~~		\|~10 ↑↑ 139.06217
	\|~~Terry Ligocki~~		\|Andrew Ducharme
	\|-		\|-
	\|~~{{TM\|1RB1LD1RC_0LC0RB0LD_2RA1LA1RZ_2LC2LB0LA\|halt}}~~		\|1RB0RC2LB_2LC2RD1LC_1RC0LC1LB_1RZ2LD1RA
	\|~10 ↑↑ 86.~~15130~~		\|~10 ↑↑ 139.06217
	\|~~Terry Ligocki~~		\|Andrew Ducharme
	\|-		\|-
	\|~~{{TM\|1RB0LD0RC_1RC1RZ0RB_1LA2RD2RC_2LD2LB0RD\|halt}}~~		\|1RB0RC1LB_2LC2RD1LC_1RC0LC1LB_1RZ1RA---
	~~\|~10 ↑↑ 85.27623~~		\|~10 ↑↑ 139.06217
	~~\|Terry Ligocki~~
	\|-
	~~\|{{TM\|1RB0LD0RC_2LC2LB1RZ_2LD0LC1RD_1RA1LA0LA}}~~
	\|~10 ↑↑ 83.~~24824~~
	\|Andrew Ducharme		\|Andrew Ducharme
	\|-
	~~\|{{TM\|1RB2RB1LC_2LB2RA0RB_0LC1RZ2LD_2LA2RA0LB\|halt}}~~
	~~\|~10 ↑↑ 83.00625~~
	~~\|Terry Ligocki~~
	\|-
	~~\|{{TM\|1RB2RB1LC_2LB2RA0RB_0RC1RZ2LD_2LA2RA0LB\|halt}}~~
	~~\|~10 ↑↑ 83.00625~~
	~~\|Terry Ligocki~~
	\|-
	~~\|{{TM\|1RB2RB1LC_2LB2RA0RB_1LC1RZ2LD_2LA2RA0LB\|halt}}~~
	~~\|~10 ↑↑ 83.00625~~
	~~\|Terry Ligocki~~
	\|-
	~~\|{{TM\|1RB2RB1LC_2LB2RA0RB_1RC1RZ2LD_2LA2RA0LB\|halt}}~~
	~~\|~10 ↑↑ 83.00625~~
	~~\|Terry Ligocki~~
	\|-
	~~\|{{TM\|1RB2RB1LC_2LB2RA0RB_1RZ---2LD_2LA2RA0LB\|halt}}~~
	~~\|~10 ↑↑ 83.00625~~
	~~\|Terry Ligocki~~
	\|}		\|}

ADucharme: /* Top Halters */ TMify

2026-03-17T20:21:23Z

Top Halters: TMify

← Older revision		Revision as of 20:21, 17 March 2026
Line 53:		Line 53:
	\|Terry Ligocki		\|Terry Ligocki
	\|-		\|-
	\|1RB0RB1LC_2LC0LD1RA_2RB2LD1RZ_2LA2LB0LD		\|{{TM\|1RB0RB1LC_2LC0LD1RA_2RB2LD1RZ_2LA2LB0LD}}
	\|~10 ↑↑ 141.44248		\|~10 ↑↑ 141.44248
	\|Andrew Ducharme		\|Andrew Ducharme
Line 81:		Line 81:
	\|Terry Ligocki		\|Terry Ligocki
	\|-		\|-
	\|1RB0LD0RC_2LC2LB1RZ_2LD0LC1RD_1RA1LA0LA		\|{{TM\|1RB0LD0RC_2LC2LB1RZ_2LD0LC1RD_1RA1LA0LA}}
	\|~10 ↑↑ 83.24824		\|~10 ↑↑ 83.24824
	\|Andrew Ducharme		\|Andrew Ducharme

ADucharme: /* Top Halters */ add discoverer column, two new top 20 halters

2026-03-17T20:20:52Z

Top Halters: add discoverer column, two new top 20 halters

← Older revision		Revision as of 20:20, 17 March 2026
Line 23:		Line 23:
	!Standard format		!Standard format
	!Approximate sigma score		!Approximate sigma score
			!Discoverer
	\|-		\|-
	\|{{TM\|1RB0LC1RC_1LA2RB1LB_1RC2LA0RD_2LB1RZ2LC\|halt}}		\|{{TM\|1RB0LC1RC_1LA2RB1LB_1RC2LA0RD_2LB1RZ2LC\|halt}}
	\|~10 ↑↑ 190.21359		\|~10 ↑↑ 190.21359
			\|Terry Ligocki
	\|-		\|-
	\|{{TM\|1RB2LA1RA_1LA0RC1LC_1LC2RB0LD_2RA1RZ2RC\|halt}}		\|{{TM\|1RB2LA1RA_1LA0RC1LC_1LC2RB0LD_2RA1RZ2RC\|halt}}
	\|~10 ↑↑ 190.21359		\|~10 ↑↑ 190.21359
			\|Terry Ligocki
	\|-		\|-
	\|{{TM\|1RB2LC1RA_1LA0RD2RB_2LD0RC2LD_2LA1RZ0RD\|halt}}		\|{{TM\|1RB2LC1RA_1LA0RD2RB_2LD0RC2LD_2LA1RZ0RD\|halt}}
	\|~10 ↑↑ 166.03664		\|~10 ↑↑ 166.03664
			\|Terry Ligocki
	\|-		\|-
	\|{{TM\|1RB2LC1RA_1LA0RD2RB_2LD2LA2LD_2LA1RZ0RD\|halt}}		\|{{TM\|1RB2LC1RA_1LA0RD2RB_2LD2LA2LD_2LA1RZ0RD\|halt}}
	\|~10 ↑↑ 166.03664		\|~10 ↑↑ 166.03664
			\|Terry Ligocki
	\|-		\|-
	\|{{TM\|1RB2LC1RA_1LA2LD2RB_2LD0RC2LD_2LA1RZ0RD\|halt}}		\|{{TM\|1RB2LC1RA_1LA2LD2RB_2LD0RC2LD_2LA1RZ0RD\|halt}}
	\|~10 ↑↑ 166.03664		\|~10 ↑↑ 166.03664
			\|Terry Ligocki
	\|-		\|-
	\|{{TM\|1RB2LC1RA_1LA2LD2RB_2LD2LA1LB_2LA1RZ0RD\|halt}}		\|{{TM\|1RB2LC1RA_1LA2LD2RB_2LD2LA1LB_2LA1RZ0RD\|halt}}
	\|~10 ↑↑ 166.03664		\|~10 ↑↑ 166.03664
			\|Terry Ligocki
	\|-		\|-
	\|{{TM\|1RB2LC1RA_1LA2LD2RB_2LD2LA2LD_2LA1RZ0RD\|halt}}		\|{{TM\|1RB2LC1RA_1LA2LD2RB_2LD2LA2LD_2LA1RZ0RD\|halt}}
	\|~10 ↑↑ 166.03664		\|~10 ↑↑ 166.03664
			\|Terry Ligocki
			\|-
			\|1RB0RB1LC_2LC0LD1RA_2RB2LD1RZ_2LA2LB0LD
			\|~10 ↑↑ 141.44248
			\|Andrew Ducharme
	\|-		\|-
	\|{{TM\|1RB1RC2RB_2LC2LB0LC_1RA1LD0RB_2RA0LC1RZ\|halt}}		\|{{TM\|1RB1RC2RB_2LC2LB0LC_1RA1LD0RB_2RA0LC1RZ\|halt}}
	\|~10 ↑↑ 128.27662		\|~10 ↑↑ 128.27662
			\|Terry Ligocki
	\|-		\|-
	\|{{TM\|1RB2LC1RA_1LA2RA2RB_1LD2LA0RC_1RA1RZ0RB\|halt}}		\|{{TM\|1RB2LC1RA_1LA2RA2RB_1LD2LA0RC_1RA1RZ0RB\|halt}}
	\|~10 ↑↑ 127.14811		\|~10 ↑↑ 127.14811
			\|Terry Ligocki
	\|-		\|-
	\|{{TM\|1RB1RC2LA_2LC0LA1LD_0LD0LB1RZ_2RA2RD1LB\|halt}}		\|{{TM\|1RB1RC2LA_2LC0LA1LD_0LD0LB1RZ_2RA2RD1LB\|halt}}
	\|~10 ↑↑ 107.56135		\|~10 ↑↑ 107.56135
			\|Terry Ligocki
	\|-		\|-
	\|{{TM\|1RB2LB1LA_0LC2RA0RA_2LA2LD1RZ_2LB2LC2LC\|halt}}		\|{{TM\|1RB2LB1LA_0LC2RA0RA_2LA2LD1RZ_2LB2LC2LC\|halt}}
	\|~10 ↑↑ 86.27662		\|~10 ↑↑ 86.27662
			\|Terry Ligocki
	\|-		\|-
	\|{{TM\|1RB1LD1RC_0LC0RB0LD_2RA1LA1RZ_2LC2LB0LA\|halt}}		\|{{TM\|1RB1LD1RC_0LC0RB0LD_2RA1LA1RZ_2LC2LB0LA\|halt}}
	\|~10 ↑↑ 86.15130		\|~10 ↑↑ 86.15130
			\|Terry Ligocki
	\|-		\|-
	\|{{TM\|1RB0LD0RC_1RC1RZ0RB_1LA2RD2RC_2LD2LB0RD\|halt}}		\|{{TM\|1RB0LD0RC_1RC1RZ0RB_1LA2RD2RC_2LD2LB0RD\|halt}}
	\|~10 ↑↑ 85.27623		\|~10 ↑↑ 85.27623
			\|Terry Ligocki
			\|-
			\|1RB0LD0RC_2LC2LB1RZ_2LD0LC1RD_1RA1LA0LA
			\|~10 ↑↑ 83.24824
			\|Andrew Ducharme
	\|-		\|-
	\|{{TM\|1RB2RB1LC_2LB2RA0RB_0LC1RZ2LD_2LA2RA0LB\|halt}}		\|{{TM\|1RB2RB1LC_2LB2RA0RB_0LC1RZ2LD_2LA2RA0LB\|halt}}
	\|~10 ↑↑ 83.00625		\|~10 ↑↑ 83.00625
			\|Terry Ligocki
	\|-		\|-
	\|{{TM\|1RB2RB1LC_2LB2RA0RB_0RC1RZ2LD_2LA2RA0LB\|halt}}		\|{{TM\|1RB2RB1LC_2LB2RA0RB_0RC1RZ2LD_2LA2RA0LB\|halt}}
	\|~10 ↑↑ 83.00625		\|~10 ↑↑ 83.00625
			\|Terry Ligocki
	\|-		\|-
	\|{{TM\|1RB2RB1LC_2LB2RA0RB_1LC1RZ2LD_2LA2RA0LB\|halt}}		\|{{TM\|1RB2RB1LC_2LB2RA0RB_1LC1RZ2LD_2LA2RA0LB\|halt}}
	\|~10 ↑↑ 83.00625		\|~10 ↑↑ 83.00625
			\|Terry Ligocki
	\|-		\|-
	\|{{TM\|1RB2RB1LC_2LB2RA0RB_1RC1RZ2LD_2LA2RA0LB\|halt}}		\|{{TM\|1RB2RB1LC_2LB2RA0RB_1RC1RZ2LD_2LA2RA0LB\|halt}}
	\|~10 ↑↑ 83.00625		\|~10 ↑↑ 83.00625
			\|Terry Ligocki
	\|-		\|-
	\|{{TM\|1RB2RB1LC_2LB2RA0RB_1RZ---2LD_2LA2RA0LB\|halt}}		\|{{TM\|1RB2RB1LC_2LB2RA0RB_1RZ---2LD_2LA2RA0LB\|halt}}
	\|~10 ↑↑ 83.00625		\|~10 ↑↑ 83.00625
	\|-		\|Terry Ligocki
	~~\|{{TM\|1RB2RB1LC_2LB2RA0RB_1RZ2LD2LD_2LA1RA0LB\|halt}}~~
	~~\|~10 ↑↑ 83.00625~~
	\|-
	~~\|{{TM\|1RB2RB1LC_2LB2RA0RB_2LC1RZ2LD_2LA2RA0LB\|halt}}~~
	~~\|~10 ↑↑ 83.00625~~
	\|}		\|}

ADucharme: /* Top Halters */ updating discoverer of top 4x3 halters

2025-10-26T22:20:27Z

Top Halters: updating discoverer of top 4x3 halters

← Older revision		Revision as of 22:20, 26 October 2025
Line 4:		Line 4:

	== Top Halters ==		== Top Halters ==
	The longest running halting BB(4,3) TMs are split amongst two classes: the pentational and hexational TMs found by Pavel Kropitz outlined in the Potential Champions section, and the tetrational TMs found by comprehensive holdout filtering by ~~Andrew Ducharme~~. The scores are given using [[wikipedia:Knuth's_up-arrow_notation\|Knuth's up-arrow notation]] with an extension to decimal tetration<ref>Shawn Ligocki. 2022. [https://www.sligocki.com/2022/06/25/ext-up-notation.html "Extending Up-arrow Notation"]</ref>. The longest running halters found by Pavel Kropitz are:		The longest running halting BB(4,3) TMs are split amongst two classes: the pentational and hexational TMs found by Pavel Kropitz outlined in the Potential Champions section, and the tetrational TMs found by comprehensive holdout filtering by Terry Ligocki. The scores are given using [[wikipedia:Knuth's_up-arrow_notation\|Knuth's up-arrow notation]] with an extension to decimal tetration<ref>Shawn Ligocki. 2022. [https://www.sligocki.com/2022/06/25/ext-up-notation.html "Extending Up-arrow Notation"]</ref>. The longest running halters found by Pavel Kropitz are:
	{\| class="wikitable"		{\| class="wikitable"
	!Standard format		!Standard format