BB(2,6) - Revision history

Polygon: /* Stage 4 */ Added new reduction

2026-10-19T13:24:29Z

Stage 4: Added new reduction

← Older revision		Revision as of 13:24, 19 October 2026
Line 1,164:		Line 1,164:
	\| ---		\| ---
	\|style="text-align:left" \|MitM_CTL RWL_mod maxT 3000 H 2 fold 4 2		\|style="text-align:left" \|MitM_CTL RWL_mod maxT 3000 H 2 fold 4 2
			\|-
			\|411,247
			\|393,659
			\|4.28%
			\| 12.6
			\| ---
			\| ---
			\|style="text-align:left" \|MitM_CTL RWL_mod maxT 10000 H [1-3] fold [1-4] [1-4]
	\|}		\|}

Polygon: /* Stage 4 */ Added new reduction

2026-10-18T13:05:14Z

Stage 4: Added new reduction

← Older revision		Revision as of 13:05, 18 October 2026
Line 1,156:		Line 1,156:
	\| ---		\| ---
	\|style="text-align:left" \|FAR RWL_mod maxT 1000000 H 5 mod [1-6] n [1-10]		\|style="text-align:left" \|FAR RWL_mod maxT 1000000 H 5 mod [1-6] n [1-10]
			\|-
			\|412,086
			\|411,247
			\|0.20%
			\| ~0.09
			\| ---
			\| ---
			\|style="text-align:left" \|MitM_CTL RWL_mod maxT 3000 H 2 fold 4 2
	\|}		\|}

ADucharme: /* Stage 4 */ added approximate run time for last three runs

2026-10-17T16:33:23Z

Stage 4: added approximate run time for last three runs

← Older revision		Revision as of 16:33, 17 October 2026
Line 1,136:		Line 1,136:
	\|413,513		\|413,513
	\|0.12%		\|0.12%
	\| ?		\| ~4600
	\| ---		\| ---
	\| ---		\| ---
Line 1,144:		Line 1,144:
	\|413,207		\|413,207
	\|0.07%		\|0.07%
	\| ?		\| ~3100
	\| ---		\| ---
	\| ---		\| ---
Line 1,152:		Line 1,152:
	\|412,086		\|412,086
	\|0.27%		\|0.27%
	\| ?		\| ~6200
	\| ---		\| ---
	\| ---		\| ---

C1: Synchronized a more precise lower bound for the sigma score of the current BB(2,6) champion.

2026-09-16T05:01:53Z

Synchronized a more precise lower bound for the sigma score of the current BB(2,6) champion.

← Older revision		Revision as of 05:01, 16 September 2026
Line 12:		Line 12:
	\|-		\|-
	\|{{TM\|1RB3RB5RA1LB5LA2LB_2LA2RA4RB1RZ3LB2LA\|halt}}		\|{{TM\|1RB3RB5RA1LB5LA2LB_2LA2RA4RB1RZ3LB2LA\|halt}}
	\|10 ~~↑↑↑~~ 3		\|<math>10 \uparrow \uparrow 10 \uparrow\uparrow 10^{10^{115}} > 10 \uparrow \uparrow \uparrow 3</math>
	\|Pavel Kropitz		\|Pavel Kropitz
	\|-		\|-

Tjligocki: /* Phase 1 */ Cleaned up the table a bit

2026-06-29T22:07:33Z

Phase 1: Cleaned up the table a bit

← Older revision		Revision as of 22:07, 29 June 2026
Line 111:		Line 111:
	!rowspan="2" \|Data		!rowspan="2" \|Data
	\|-		\|-
	\|style="text-align:~~left~~" \|Terry Ligocki		\|style="text-align:center" rowspan="100" \|Terry Ligocki
	\|2,278,655,696		\|2,278,655,696
	\|2,109,114,609		\|2,109,114,609
Line 119:		Line 119:
	\|15,468.23		\|15,468.23
	\|style="text-align:left" \|Reverse_Engineer_Filter.py		\|style="text-align:left" \|Reverse_Engineer_Filter.py
	\|style="text-align:~~left~~", rowspan="100" \|[https://drive.google.com/drive/folders/1p9b5g-Id3WEMUYIwEnaKWRBGIW66ADjM?usp=drive_link Google Drive]		\|style="text-align:center" rowspan="100" \|[https://drive.google.com/drive/folders/1p9b5g-Id3WEMUYIwEnaKWRBGIW66ADjM?usp=drive_link Google Drive]
	\|-		\|-
	~~\|style="text-align:left" \|Terry Ligocki~~
	\|2,109,114,609		\|2,109,114,609
	\|683,067,538		\|683,067,538
Line 130:		Line 129:
	\|style="text-align:left" \|CPS_Filter.py --block-size=1		\|style="text-align:left" \|CPS_Filter.py --block-size=1
	\|-		\|-
	~~\|style="text-align:left" \|Terry Ligocki~~
	\|683,067,538		\|683,067,538
	\|210,993,434		\|210,993,434
Line 139:		Line 137:
	\|style="text-align:left" \|CPS_Filter.py --block-size=2		\|style="text-align:left" \|CPS_Filter.py --block-size=2
	\|-		\|-
	~~\|style="text-align:left" \|Terry Ligocki~~
	\|210,993,434		\|210,993,434
	\|141,680,232		\|141,680,232
Line 148:		Line 145:
	\|style="text-align:left" \|CPS_Filter.py --block-size=3 --max_steps=10_000		\|style="text-align:left" \|CPS_Filter.py --block-size=3 --max_steps=10_000
	\|-		\|-
	~~\|style="text-align:left" \|Terry Ligocki~~
	\|141,680,232		\|141,680,232
	\|66,029,536		\|66,029,536
Line 157:		Line 153:
	\|style="text-align:left" \|Enumerate.py --max-loops=1_000 --block-size=2 --time=10 --lin-steps=0 --no-reverse-engineer --save-freq=10_000		\|style="text-align:left" \|Enumerate.py --max-loops=1_000 --block-size=2 --time=10 --lin-steps=0 --no-reverse-engineer --save-freq=10_000
	\|-		\|-
	~~\|style="text-align:left" \|Terry Ligocki~~
	\|66,029,536		\|66,029,536
	\|46,119,004		\|46,119,004
Line 166:		Line 161:
	\|style="text-align:left" \|Enumerate.py --max-loops=10_000 --block-size=12 --no-steps --time=0.01 --lin-steps=0 --no-ctl --no-reverse-engineer --save-freq=10_000		\|style="text-align:left" \|Enumerate.py --max-loops=10_000 --block-size=12 --no-steps --time=0.01 --lin-steps=0 --no-ctl --no-reverse-engineer --save-freq=10_000
	\|-		\|-
	~~\|style="text-align:left" \|Terry Ligocki~~
	\|46,119,004		\|46,119,004
	\|39,034,142		\|39,034,142
Line 175:		Line 169:
	\|style="text-align:left" \|CPS_Filter.py --min-block-size=4 --max-block-size=12 --max-steps=1_000		\|style="text-align:left" \|CPS_Filter.py --min-block-size=4 --max-block-size=12 --max-steps=1_000
	\|-		\|-
	~~\|style="text-align:left" \|Terry Ligocki~~
	\|39,034,142		\|39,034,142
	\|29,109,512		\|29,109,512
Line 184:		Line 177:
	\|style="text-align:left" \|CPS_Filter.py --min-block-size=4 --max-block-size=6 --max-steps=10_000		\|style="text-align:left" \|CPS_Filter.py --min-block-size=4 --max-block-size=6 --max-steps=10_000
	\|-		\|-
	~~\|style="text-align:left" \|Terry Ligocki~~
	\|29,109,512		\|29,109,512
	\|24,536,819		\|24,536,819
Line 193:		Line 185:
	\|style="text-align:left" \|Enumerate.py --max-loops=10_000 --block-size=6 --recursive --no-steps --time=0.05 --lin-steps=0 --no-ctl --no-reverse-engineer --save-freq=10_000		\|style="text-align:left" \|Enumerate.py --max-loops=10_000 --block-size=6 --recursive --no-steps --time=0.05 --lin-steps=0 --no-ctl --no-reverse-engineer --save-freq=10_000
	\|-		\|-
	~~\|style="text-align:left" \|Terry Ligocki~~
	\|24,536,819		\|24,536,819
	\|22,302,296		\|22,302,296

Tjligocki: /* Stage 4 */ Cleaned up table a bit

2026-06-29T22:04:58Z

Stage 4: Cleaned up table a bit

Show changes

Tjligocki: /* Stage 3 */ Minor table change

2026-06-29T21:57:43Z

Stage 3: Minor table change

← Older revision		Revision as of 21:57, 29 June 2026
Line 684:		Line 684:
	!<math>*^4</math>		!<math>*^4</math>
	\|-		\|-
	\|style="text-align:~~left~~" \|Andrew Ducharme		\|style="text-align:center" rowspan="11" \|Andrew Ducharme
	\|970,101		\|970,101
	\|939,447		\|939,447
Line 692:		Line 692:
	\| --		\| --
	\|style="text-align:left" \|lr_enum_continue 100_000_000 steps		\|style="text-align:left" \|lr_enum_continue 100_000_000 steps
	\| rowspan="11" \|[https://drive.google.com/drive/folders/1TsSpW27x3LBlu5qmk-cjzCJzgo_3ehyT?usp=drive_link Google Drive]		\|style="text-align:center" rowspan="11" \|[https://drive.google.com/drive/folders/1TsSpW27x3LBlu5qmk-cjzCJzgo_3ehyT?usp=drive_link Google Drive]
	\|-		\|-
	~~\| style="text-align:left" \|Andrew Ducharme~~
	\|939,447		\|939,447
	\|903,224		\|903,224
Line 703:		Line 702:
	\|style="text-align:left" \|Enumerate.py --no-steps --exp-linear-rules --max_loops=1_000_000 --block-mult=4 --no-ctl --lin-steps=0 --time=2 --force --save-freq=1000		\|style="text-align:left" \|Enumerate.py --no-steps --exp-linear-rules --max_loops=1_000_000 --block-mult=4 --no-ctl --lin-steps=0 --time=2 --force --save-freq=1000
	\|-		\|-
	~~\| style="text-align:left" \|Andrew Ducharme~~
	\|903,224		\|903,224
	\|895,813		\|895,813
Line 712:		Line 710:
	\|style="text-align:left" \|Enumerate.py --no-steps --exp-linear-rules --max_loops=1_000_000 --block-mult=3 --no-ctl --lin-steps=0 --time=3 --force --save-freq=1000		\|style="text-align:left" \|Enumerate.py --no-steps --exp-linear-rules --max_loops=1_000_000 --block-mult=3 --no-ctl --lin-steps=0 --time=3 --force --save-freq=1000
	\|-		\|-
	~~\| style="text-align:left" \|Andrew Ducharme~~
	\|895,813		\|895,813
	\|889,838		\|889,838
Line 721:		Line 718:
	\| style="text-align:left" \|Enumerate.py --no-steps --exp-linear-rules --max_loops=1_000_000 --block-mult=8 --no-ctl --lin-steps=0 --time=4 --force --save-freq=1000		\| style="text-align:left" \|Enumerate.py --no-steps --exp-linear-rules --max_loops=1_000_000 --block-mult=8 --no-ctl --lin-steps=0 --time=4 --force --save-freq=1000
	\|-		\|-
	~~\|style="text-align:left" \|Andrew Ducharme~~
	\|889,838		\|889,838
	\|880,278		\|880,278
Line 730:		Line 726:
	\|style="text-align:left" \|Enumerate.py --no-steps --exp-linear-rules --max_loops=1_000_000 --block-mult=12 --no-ctl --lin-steps=0 --force --save-freq=1000		\|style="text-align:left" \|Enumerate.py --no-steps --exp-linear-rules --max_loops=1_000_000 --block-mult=12 --no-ctl --lin-steps=0 --force --save-freq=1000
	\|-		\|-
	~~\|style="text-align:left" \|Andrew Ducharme~~
	\|880,278		\|880,278
	\|877,485		\|877,485
Line 739:		Line 734:
	\|style="text-align:left" \|Enumerate.py --no-steps --exp-linear-rules --max_loops=1_000_000 --block-mult=6 --no-ctl --lin-steps=0 --force --save-freq=1000		\|style="text-align:left" \|Enumerate.py --no-steps --exp-linear-rules --max_loops=1_000_000 --block-mult=6 --no-ctl --lin-steps=0 --force --save-freq=1000
	\|-		\|-
	~~\|style="text-align:left" \|Andrew Ducharme~~
	\|877,485		\|877,485
	\|875,062		\|875,062
Line 748:		Line 742:
	\|style="text-align:left" \|Enumerate.py --no-steps --exp-linear-rules --max_loops=1_000_000 --block-mult=5 --no-ctl --lin-steps=0 --force --save-freq=1000		\|style="text-align:left" \|Enumerate.py --no-steps --exp-linear-rules --max_loops=1_000_000 --block-mult=5 --no-ctl --lin-steps=0 --force --save-freq=1000
	\|-		\|-
	~~\|style="text-align:left" \|Andrew Ducharme~~
	\|875,062		\|875,062
	\|873,469		\|873,469
Line 757:		Line 750:
	\|style="text-align:left" \|Enumerate.py --no-steps --exp-linear-rules --max_loops=1_000_000 --block-mult=7 --no-ctl --lin-steps=0 --force --save-freq=1000		\|style="text-align:left" \|Enumerate.py --no-steps --exp-linear-rules --max_loops=1_000_000 --block-mult=7 --no-ctl --lin-steps=0 --force --save-freq=1000
	\|-		\|-
	~~\|style="text-align:left" \|Andrew Ducharme~~
	\|873,469		\|873,469
	\|870,085		\|870,085
Line 766:		Line 758:
	\|style="text-align:left" \|Enumerate.py --no-steps --exp-linear-rules --max_loops=1_000_000 --block-mult=2 --tape-limit=500 --time=120 --no-ctl --lin-steps=0 --force --save-freq=1000		\|style="text-align:left" \|Enumerate.py --no-steps --exp-linear-rules --max_loops=1_000_000 --block-mult=2 --tape-limit=500 --time=120 --no-ctl --lin-steps=0 --force --save-freq=1000
	\|-		\|-
	~~\|style="text-align:left" \|Andrew Ducharme~~
	\|870,085		\|870,085
	\|869,001		\|869,001
Line 775:		Line 766:
	\|style="text-align:left" \|Enumerate.py --no-steps --exp-linear-rules --max_loops=10_000_000 --block-mult=60 --tape-limit=5000 --no-ctl --lin-steps=0 --force --save-freq=1000		\|style="text-align:left" \|Enumerate.py --no-steps --exp-linear-rules --max_loops=10_000_000 --block-mult=60 --tape-limit=5000 --no-ctl --lin-steps=0 --force --save-freq=1000
	\|-		\|-
	~~\|style="text-align:left" \|Andrew Ducharme~~
	\|869,001		\|869,001
	\|867,008		\|867,008

Tjligocki: /* Stage 2 */

2026-06-29T21:53:50Z

Stage 2

Show changes

Polygon: /* Stage 4 */ added new reductions

2026-06-05T10:39:37Z

Stage 4: added new reductions

@@ Line 1,198: / Line 1,198: @@
 | ---
 |chr_asth 0 chr_LRUH [x] chr_H [x] MitM_CTL NG maxT 1000000 NG_n [1-16], x=[8,12,16,24,32]
 |}

ADucharme: /* Stage 4 */ new decider results

2026-05-23T05:15:57Z

Stage 4: new decider results

← Older revision		Revision as of 05:15, 23 May 2026
Line 1,190:		Line 1,190:
	\| ---		\| ---
	\|chr_LRUH [17-22] chr_H 12 MitM_CTL NG maxT 1000000 NG_n [1-10]		\|chr_LRUH [17-22] chr_H 12 MitM_CTL NG maxT 1000000 NG_n [1-10]
			\|-
			\|415,414
			\|414,009
			\|0.34%
			\|~6600
			\| ---
			\| ---
			\|chr_asth 0 chr_LRUH [x] chr_H [x] MitM_CTL NG maxT 1000000 NG_n [1-16], x=[8,12,16,24,32]
	\|}		\|}