BB(4,3) - Revision history

ADucharme: /* Stage 3 */ update cumulative progress

2026-10-17T17:42:33Z

Stage 3: update cumulative progress

← Older revision		Revision as of 17:42, 17 October 2026
Line 800:		Line 800:
	\| style="text-align:center" \|'''Cumulative'''		\| style="text-align:center" \|'''Cumulative'''
	\|'''9,401,447'''		\|'''9,401,447'''
	\|'''4,~~720~~,~~332~~'''		\|'''4,719,315'''
	\|'''49.79%'''		\|'''49.80%'''
	\| ---		\| ---
	\| ---		\| ---

ADucharme: /* Stage 3 */ text-align name

2026-10-17T17:41:21Z

Stage 3: text-align name

← Older revision		Revision as of 17:41, 17 October 2026
Line 789:		Line 789:
	\|FAR CPS_LRU maxT 100000 LRUH [5,6]		\|FAR CPS_LRU maxT 100000 LRUH [5,6]
	\|-		\|-
	\|Andrew Ducharme		\| style="text-align:left" \|Andrew Ducharme
	\|4,720,332		\|4,720,332
	\|4,719,315		\|4,719,315

ADucharme: /* Stage 3 */ add new (bad) decider run, enter some decider compute times

2026-10-17T17:40:21Z

Stage 3: add new (bad) decider run, enter some decider compute times

← Older revision		Revision as of 17:40, 17 October 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="29" style="text-align:left" \|[https://drive.google.com/drive/folders/11FYe0CVDPczcgt4put3vsdGbeMWkM1S1?usp=sharing Google Drive]		\| rowspan="30" 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
Line 730:		Line 730:
	\|4,908,734		\|4,908,734
	\|4.26%		\|4.26%
	\|~~TODO~~		\|~6400
	\|		\|
	\|		\|
Line 739:		Line 739:
	\|4,794,262		\|4,794,262
	\|2.33%		\|2.33%
	\|~~TODO~~		\|~6500
	\|		\|
	\|		\|
Line 748:		Line 748:
	\|4,784,443		\|4,784,443
	\|0.20%		\|0.20%
	\|~~TODO~~		\|~6700
	\|		\|
	\|		\|
Line 757:		Line 757:
	\|4,776,646		\|4,776,646
	\|0.16%		\|0.16%
	\|~~TODO~~		\|~6300
	\|		\|
	\|		\|
Line 766:		Line 766:
	\|4,775,360		\|4,775,360
	\|0.03%		\|0.03%
	\|~~TODO~~		\|~14000
	\|		\|
	\|		\|
Line 775:		Line 775:
	\|4,747,566		\|4,747,566
	\|0.58%		\|0.58%
	\|~~TODO~~		\|~7200
	\|		\|
	\|		\|
Line 784:		Line 784:
	\|4,720,332		\|4,720,332
	\|0.57%		\|0.57%
	\|~~TODO~~		\|~18000
	\|		\|
	\|		\|
	\|FAR CPS_LRU maxT 100000 LRUH [5,6]		\|FAR CPS_LRU maxT 100000 LRUH [5,6]
			\|-
			\|Andrew Ducharme
			\|4,720,332
			\|4,719,315
			\|0.02%
			\|2687.8
			\|
			\|
			\|Enumerate.py -r --no-steps --exp-linear-rules --max-loops=10_000_000 --block-mult=2 -=max-block-mult=10 --time=2 --tape-limit=5000 --max-steps-per-macro=1_000_000 --lin-steps=0 --no-ctl
	\|-		\|-
	\| style="text-align:center" \|'''Cumulative'''		\| style="text-align:center" \|'''Cumulative'''

Polygon: /* Stage 3 */ added missing reduction

2026-10-17T13:27:03Z

Stage 3: added missing reduction

← Older revision		Revision as of 13:27, 17 October 2026
Line 573:		Line 573:

	==== Stage 3 ====		==== Stage 3 ====
	Starting from the results of Stage 2, Andrew Ducharme ran a variety of Ligocki and @mxdys deciders. Some of these runs generated new TMs due to the BB(4,3) TNF tree not being fully generated at this time. These reduced the number of holdouts from ~9.4M TMs to ~4.7M (a 49.50% reduction). The details are given in the table below, including links to the Google Drive with the holdouts, halting, and infinite TMs:		Starting from the results of Stage 2, Andrew Ducharme ran a variety of Ligocki and @mxdys deciders. Some of these runs generated new TMs due to the BB(4,3) TNF tree not being fully generated at this time. These reduced the number of holdouts from ~9.4M TMs to ~4.7M (a 49.79% reduction). The details are given in the table below, including links to the Google Drive with the holdouts, halting, and infinite TMs:
	{\| class="wikitable sortable" style="text-align: right"		{\| class="wikitable sortable" style="text-align: right"
	! rowspan="2" \|Done by		! rowspan="2" \|Done by
Line 779:		Line 779:
	\|		\|
	\|FAR CPS_LRU maxT 100000 LRUH [3,4]		\|FAR CPS_LRU maxT 100000 LRUH [3,4]
			\|-
			\| style="text-align:left" \|Andrew Ducharme
			\|4,747,566
			\|4,720,332
			\|0.57%
			\|TODO
			\|
			\|
			\|FAR CPS_LRU maxT 100000 LRUH [5,6]
	\|-		\|-
	\| style="text-align:center" \|'''Cumulative'''		\| style="text-align:center" \|'''Cumulative'''
	\|'''9,401,447'''		\|'''9,401,447'''
	\|'''4,~~747~~,~~566~~'''		\|'''4,720,332'''
	\|'''49.50%'''		\|'''49.79%'''
	\| ---		\| ---
	\| ---		\| ---

ADucharme: /* Top Halters */ added new top 8-10 scoring halters

2026-08-14T10:21:31Z

Top Halters: added new top 8-10 scoring halters

@@ Line 39: / Line 39: @@
 |{{TM|1RB1RZ0RC_1RC1RA0LD_2RD2RB0RD_1LB2LD2RA|halt}}
 |~10 ↑↑ 439.02781
 |Andrew Ducharme
 |-
@@ Line 91: / Line 103: @@
 |{{TM|1RB0RB1LC_2LC0LD1RA_2RB2LD1RZ_2LA2LB0LD|halt}}
 |~10 ↑↑ 141.44248
 |Andrew Ducharme
 |}

Polygon: /* Stage 3 */ Added new reductions

2026-07-25T09:39:57Z

Stage 3: Added new reductions

← Older revision		Revision as of 09:39, 25 July 2026
Line 573:		Line 573:

	==== Stage 3 ====		==== Stage 3 ====
	Starting from the results of Stage 2, Andrew Ducharme ran a variety of Ligocki and @mxdys deciders. Some of these runs generated new TMs due to the BB(4,3) TNF tree not being fully generated at this time. These reduced the number of holdouts from ~9.4M TMs to ~4.8M (a 49.19% reduction). The details are given in the table below, including links to the Google Drive with the holdouts, halting, and infinite TMs:		Starting from the results of Stage 2, Andrew Ducharme ran a variety of Ligocki and @mxdys deciders. Some of these runs generated new TMs due to the BB(4,3) TNF tree not being fully generated at this time. These reduced the number of holdouts from ~9.4M TMs to ~4.7M (a 49.50% reduction). The details are given in the table below, including links to the Google Drive with the holdouts, halting, and infinite TMs:
	{\| class="wikitable sortable" style="text-align: right"		{\| class="wikitable sortable" style="text-align: right"
	! rowspan="2" \|Done by		! rowspan="2" \|Done by
Line 761:		Line 761:
	\|		\|
	\|FAR RWL_mod maxT 100000 H [5,7] mod [1-6] n [1-10]		\|FAR RWL_mod maxT 100000 H [5,7] mod [1-6] n [1-10]
			\|-
			\| style="text-align:left" \|Andrew Ducharme
			\|4,776,646
			\|4,775,360
			\|0.03%
			\|TODO
			\|
			\|
			\|FAR RWL_mod maxT 1s H [1-2] mod [1-6] n [1-10]
			\|-
			\| style="text-align:left" \|Andrew Ducharme
			\|4,775,360
			\|4,747,566
			\|0.58%
			\|TODO
			\|
			\|
			\|FAR CPS_LRU maxT 100000 LRUH [3,4]
	\|-		\|-
	\| style="text-align:center" \|'''Cumulative'''		\| style="text-align:center" \|'''Cumulative'''
	\|'''9,401,447'''		\|'''9,401,447'''
	\|'''4,~~776~~,~~646~~'''		\|'''4,747,566'''
	\|'''49.19%'''		\|'''49.50%'''
	\| ---		\| ---
	\| ---		\| ---

ADucharme: /* Stage 3 */ correcting parameter maxT on some deciders

2026-07-18T14:02:35Z

Stage 3: correcting parameter maxT on some deciders

← Older revision		Revision as of 14:02, 18 July 2026
Line 643:		Line 643:
	\|		\|
	\|		\|
	\| style="text-align:left" \|FAR CPS_LRU maxT ~~100000~~ LRUH [3,4]		\| style="text-align:left" \|FAR CPS_LRU maxT 10000 LRUH [3,4]
	\|-		\|-
	\| style="text-align:left" \|Andrew Ducharme		\| style="text-align:left" \|Andrew Ducharme
Line 652:		Line 652:
	\|		\|
	\|		\|
	\|FAR CPS_LRU maxT ~~100000~~ LRUH 5		\|FAR CPS_LRU maxT 10000 LRUH 5
	\|-		\|-
	\| style="text-align:left" \|Andrew Ducharme		\| style="text-align:left" \|Andrew Ducharme
Line 661:		Line 661:
	\|		\|
	\|		\|
	\|FAR CPS_LRU maxT ~~100000~~ LRUH 6		\|FAR CPS_LRU maxT 10000 LRUH 6
	\|-		\|-
	\| style="text-align:left" \|Andrew Ducharme		\| style="text-align:left" \|Andrew Ducharme
Line 688:		Line 688:
	\|		\|
	\|		\|
	\|FAR CPS_LRU maxT ~~100000~~ LRUH 12		\|FAR CPS_LRU maxT 10000 LRUH 12
	\|-		\|-
	\| style="text-align:left" \|Andrew Ducharme		\| style="text-align:left" \|Andrew Ducharme

Polygon: /* Stage 3 */ Added new reduction

2026-07-02T15:06:18Z

Stage 3: Added new reduction

← Older revision		Revision as of 15:06, 2 July 2026
Line 573:		Line 573:

	==== Stage 3 ====		==== Stage 3 ====
	Starting from the results of Stage 2, Andrew Ducharme ran a variety of Ligocki and @mxdys deciders. Some of these runs generated new TMs due to the BB(4,3) TNF tree not being fully generated at this time. These reduced the number of holdouts from ~9.4M TMs to ~4.8M (a 49.1% reduction). The details are given in the table below, including links to the Google Drive with the holdouts, halting, and infinite TMs:		Starting from the results of Stage 2, Andrew Ducharme ran a variety of Ligocki and @mxdys deciders. Some of these runs generated new TMs due to the BB(4,3) TNF tree not being fully generated at this time. These reduced the number of holdouts from ~9.4M TMs to ~4.8M (a 49.19% reduction). The details are given in the table below, including links to the Google Drive with the holdouts, halting, and infinite TMs:
	{\| class="wikitable sortable" style="text-align: right"		{\| class="wikitable sortable" style="text-align: right"
	! rowspan="2" \|Done by		! rowspan="2" \|Done by
Line 752:		Line 752:
	\|		\|
	\|FAR RWL_mod maxT 100000 H [12,16] mod [1-6] n [1-10]		\|FAR RWL_mod maxT 100000 H [12,16] mod [1-6] n [1-10]
			\|-
			\| style="text-align:left" \|Andrew Ducharme
			\|4,784,443
			\|4,776,646
			\|0.16%
			\|TODO
			\|
			\|
			\|FAR RWL_mod maxT 100000 H [5,7] mod [1-6] n [1-10]
	\|-		\|-
	\| style="text-align:center" \|'''Cumulative'''		\| style="text-align:center" \|'''Cumulative'''
	\|'''9,401,447'''		\|'''9,401,447'''
	\|'''4,~~784~~,~~443~~'''		\|'''4,776,646'''
	\|'''49.11%'''		\|'''49.19%'''
	\| ---		\| ---
	\| ---		\| ---

Polygon: /* Stage 3 */ Added new reduction

2026-06-29T15:24:35Z

Stage 3: Added new reduction

← Older revision		Revision as of 15:24, 29 June 2026
Line 573:		Line 573:

	==== Stage 3 ====		==== Stage 3 ====
	Starting from the results of Stage 2, Andrew Ducharme ran a variety of Ligocki and @mxdys deciders. Some of these runs generated new TMs due to the BB(4,3) TNF tree not being fully generated at this time. These reduced the number of holdouts from ~9.4M TMs to ~4.8M (a 49.0% reduction). The details are given in the table below, including links to the Google Drive with the holdouts, halting, and infinite TMs:		Starting from the results of Stage 2, Andrew Ducharme ran a variety of Ligocki and @mxdys deciders. Some of these runs generated new TMs due to the BB(4,3) TNF tree not being fully generated at this time. These reduced the number of holdouts from ~9.4M TMs to ~4.8M (a 49.1% reduction). The details are given in the table below, including links to the Google Drive with the holdouts, halting, and infinite TMs:
	{\| class="wikitable sortable" style="text-align: right"		{\| class="wikitable sortable" style="text-align: right"
	! rowspan="2" \|Done by		! rowspan="2" \|Done by
Line 743:		Line 743:
	\|		\|
	\|FAR RWL_mod maxT 100000 H [6,8] mod [1-6] n [1-10]		\|FAR RWL_mod maxT 100000 H [6,8] mod [1-6] n [1-10]
			\|-
			\| style="text-align:left" \|Andrew Ducharme
			\|4,794,262
			\|4,784,443
			\|0.20%
			\|TODO
			\|
			\|
			\|FAR RWL_mod maxT 100000 H [12,16] mod [1-6] n [1-10]
	\|-		\|-
	\| style="text-align:center" \|'''Cumulative'''		\| style="text-align:center" \|'''Cumulative'''
	\|'''9,401,447'''		\|'''9,401,447'''
	\|'''4,~~794~~,~~262~~'''		\|'''4,784,443'''
	\|'''49.01%'''		\|'''49.11%'''
	\| ---		\| ---
	\| ---		\| ---

Polygon: /* Stage 3 */ Added new reduction

2026-06-25T12:24:18Z

Stage 3: Added new reduction

← Older revision		Revision as of 12:24, 25 June 2026
Line 573:		Line 573:

	==== Stage 3 ====		==== Stage 3 ====
	Starting from the results of Stage 2, Andrew Ducharme ran a variety of Ligocki and @mxdys deciders. Some of these runs generated new TMs due to the BB(4,3) TNF tree not being fully generated at this time. These reduced the number of holdouts from ~9.4M TMs to ~4.9M (a 47.8% reduction). The details are given in the table below, including links to the Google Drive with the holdouts, halting, and infinite TMs:		Starting from the results of Stage 2, Andrew Ducharme ran a variety of Ligocki and @mxdys deciders. Some of these runs generated new TMs due to the BB(4,3) TNF tree not being fully generated at this time. These reduced the number of holdouts from ~9.4M TMs to ~4.8M (a 49.0% reduction). The details are given in the table below, including links to the Google Drive with the holdouts, halting, and infinite TMs:
	{\| class="wikitable sortable" style="text-align: right"		{\| class="wikitable sortable" style="text-align: right"
	! rowspan="2" \|Done by		! rowspan="2" \|Done by
Line 734:		Line 734:
	\|		\|
	\|FAR RWL_mod maxT 100000 H [1-4] mod [1-6] n [1-10]		\|FAR RWL_mod maxT 100000 H [1-4] mod [1-6] n [1-10]
			\|-
			\| style="text-align:left" \|Andrew Ducharme
			\|4,908,734
			\|4,794,262
			\|2.33%
			\|TODO
			\|
			\|
			\|FAR RWL_mod maxT 100000 H [6,8] mod [1-6] n [1-10]
	\|-		\|-
	\| style="text-align:center" \|'''Cumulative'''		\| style="text-align:center" \|'''Cumulative'''
	\|'''9,401,447'''		\|'''9,401,447'''
	\|'''4,~~908~~,~~734~~'''		\|'''4,794,262'''
	\|'''47.79%'''		\|'''49.01%'''
	\| ---		\| ---
	\| ---		\| ---