User:ADucharme - Revision history

ADucharme: /* BB(4,3) */ new top 10 halters

2026-08-14T10:24:40Z

BB(4,3): new top 10 halters

← Older revision		Revision as of 10:24, 14 August 2026
Line 147:		Line 147:
	==== BB(4,3) ====		==== BB(4,3) ====
	{\| class="wikitable"		{\| class="wikitable"
	\|Place		\|Current Place
			\|Highest Place
	\|TM		\|TM
	\|Score		\|Score
	\|-		\|-
			\|4
	\|4		\|4
	\|{{TM\|1RB1LD2LA_0RC1RZ0RA_1LD2LA0LC_2RD2RC0LD\|halt}}		\|{{TM\|1RB1LD2LA_0RC1RZ0RA_1LD2LA0LC_2RD2RC0LD\|halt}}
	\|~10 ↑↑ 1023.47221		\|~10 ↑↑ 1023.47221
	\|-		\|-
			\|5
	\|5		\|5
	\|{{TM\|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ\|halt}}		\|{{TM\|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ\|halt}}
	\|~10 ↑↑ 619.07737		\|~10 ↑↑ 619.07737
	\|-		\|-
			\|6
	\|6		\|6
	\|{{TM\|1RB1RZ2RD_1LC0RD0RC_2LC1LA0RB_2RC0RC2RA\|halt}}		\|{{TM\|1RB1RZ2RD_1LC0RD0RC_2LC1LA0RB_2RC0RC2RA\|halt}}
	\|~10 ↑↑ 512.10945		\|~10 ↑↑ 512.10945
	\|-		\|-
			\|7
	\|7		\|7
	\|{{TM\|1RB1RZ0RC_1RC1RA0LD_2RD2RB0RD_1LB2LD2RA\|halt}}		\|{{TM\|1RB1RZ0RC_1RC1RA0LD_2RD2RB0RD_1LB2LD2RA\|halt}}
	\|~10 ↑↑ 439.02781		\|~10 ↑↑ 439.02781
	\|-		\|-
			\|8
			\|8
			\|{{TM\|1RB2LC1RZ_1RC0LA1RA_1RD0LD1RC_2LA2LB0LB\|halt}}
			\|~10 ↑↑ 254.27506
			\|-
			\|9
			\|9
			\|{{TM\|1RB2RD1LA_1RC2RC1RZ_0LA0RB1RD_2LA2RA1LD\|halt}}
			\|~10 ↑↑ 253.66239
			\|-
			\|10
			\|10
			\|{{TM\|1RB2RC1LA_2RC2RD1RZ_2LA2RA1LC_0LA0RB1RC\|halt}}
			\|~10 ↑↑ 253.66239
			\|-
			\|11
	\|8		\|8
	\|{{TM\|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ\|halt}}		\|{{TM\|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ\|halt}}
	\|~10 ↑↑ 234.06408		\|~10 ↑↑ 234.06408
	\|}		\|}

ADucharme: add links to acknowledgement.

2026-08-10T12:09:18Z

add links to acknowledgement.

← Older revision		Revision as of 12:09, 10 August 2026
Line 11:		Line 11:
	I've also tried pen-and-paper analysis of some TMs, most notably BMO #1 and the Bonus Cryptid, but have not ever solved a TM by hand. Below are the TMs I've solved for the most actively-studied BB domains.		I've also tried pen-and-paper analysis of some TMs, most notably BMO #1 and the Bonus Cryptid, but have not ever solved a TM by hand. Below are the TMs I've solved for the most actively-studied BB domains.

	Thank you to Research Advanced Computing Services ([https://racs.uoregon.edu RACS]) at the University of Oregon for providing computing resources that have contributed to my research results reported on this wiki.		Thank you to Research Advanced Computing Services ([https://racs.uoregon.edu RACS]) at the University of Oregon for providing computing resources that have contributed to my research results reported on the [[BB(6)]], [[BB(7)]], [[BB(3,3)]], [[BB(4,3)]], [[BB(2,5)]], and [[BB(2,6)]] pages of this wiki.

	== Holdout Reduction ==		== Holdout Reduction ==

ADucharme: Talapas acknowledgement

2026-08-10T12:07:25Z

Talapas acknowledgement

← Older revision		Revision as of 12:07, 10 August 2026
Line 10:		Line 10:

	I've also tried pen-and-paper analysis of some TMs, most notably BMO #1 and the Bonus Cryptid, but have not ever solved a TM by hand. Below are the TMs I've solved for the most actively-studied BB domains.		I've also tried pen-and-paper analysis of some TMs, most notably BMO #1 and the Bonus Cryptid, but have not ever solved a TM by hand. Below are the TMs I've solved for the most actively-studied BB domains.

			Thank you to Research Advanced Computing Services ([https://racs.uoregon.edu RACS]) at the University of Oregon for providing computing resources that have contributed to my research results reported on this wiki.

	== Holdout Reduction ==		== Holdout Reduction ==

ADucharme: /* BB(2,5) */ add 2x5 progress

2026-06-09T08:49:39Z

BB(2,5): add 2x5 progress

← Older revision		Revision as of 08:49, 9 June 2026
Line 4:		Line 4:

	* 67.27% of the last 86,129,304, and 12.65% of the last 20,405,295, BB(7) holdouts		* 67.27% of the last 86,129,304, and 12.65% of the last 20,405,295, BB(7) holdouts
			* 4% of the last 75 BB(2,5) holdouts
	* 44.74% of the last 970,101 BB(2,6) holdouts		* 44.74% of the last 970,101 BB(2,6) holdouts
	* 3.10% of the last 12,435,284 BB(3,4) holdouts		* 3.10% of the last 12,435,284 BB(3,4) holdouts
Line 86:		Line 87:

	==== BB(2,5) ====		==== BB(2,5) ====
	Of the last 75 2x5 holdouts, I have solved 2 (2.68%).		Of the last 75 2x5 holdouts, I have solved 3 (4.0%).

	Solved non-halting TM with decider		Solved non-halting TMs with decider
	1RB2LA0RB1LB0LB_1LA3RA1RA4RA--- FAR CPS_LRU maxT 10000000 LRUH 6 H 1 tH 0 n 2		1RB2LA0RB1LB0LB_1LA3RA1RA4RA--- FAR CPS_LRU maxT 10000000 LRUH 6 H 1 tH 0 n 2
	1RB2RB---0LB3LA_2LA2LB3RB4RB1LB FAR CPS_LRU maxT 10000000 LRUH 8 H 5 tH 0 n 2		1RB2RB---0LB3LA_2LA2LB3RB4RB1LB FAR CPS_LRU maxT 10000000 LRUH 8 H 5 tH 0 n 2
			1RB2LB---4LB0RB_1LA3RB4RB4RA1LB FAR RWL_mod maxT 10000000 H 5 mod 1 n 4

	== Busy Beaver Games ==		== Busy Beaver Games ==

ADucharme: add BB(3,4)

2026-05-04T17:31:59Z

add BB(3,4)

← Older revision		Revision as of 17:31, 4 May 2026
Line 5:		Line 5:
	* 67.27% of the last 86,129,304, and 12.65% of the last 20,405,295, BB(7) holdouts		* 67.27% of the last 86,129,304, and 12.65% of the last 20,405,295, BB(7) holdouts
	* 44.74% of the last 970,101 BB(2,6) holdouts		* 44.74% of the last 970,101 BB(2,6) holdouts
			* 3.10% of the last 12,435,284 BB(3,4) holdouts
	* 40.00% of the last 9,401,447 BB(4,3) holdouts		* 40.00% of the last 9,401,447 BB(4,3) holdouts

ADucharme at 23:01, 25 April 2026

2026-04-25T23:01:40Z

← Older revision		Revision as of 23:01, 25 April 2026
Line 1:		Line 1:
	Hi, I'm Andrew!		Hi, I'm Andrew!

	My main contribution to bbchallenge is applying the Ligocki and mxdys deciders to many of the next unsolved domains. I helped organize the initial BB(7) enumeration and solved over 50% of all holdouts ~~since~~ that ~~enumeration~~. Specifically, my enumeration work has solved		My main contribution to bbchallenge is applying the Ligocki and mxdys deciders to many of the next unsolved domains. I helped organize the initial BB(7) enumeration and solved over 50% of all holdouts remaining from that initial push. Specifically, my enumeration work has solved

	* 67.27% of the last 86,129,304, and 12.65% of the last 20,405,295, BB(7) holdouts		* 67.27% of the last 86,129,304, and 12.65% of the last 20,405,295, BB(7) holdouts
			* 44.74% of the last 970,101 BB(2,6) holdouts
	* 40.00% of the last 9,401,447 BB(4,3) holdouts		* 40.00% of the last 9,401,447 BB(4,3) holdouts
	* 44.74% of the last 970,101 BB(2,6) holdouts

	I've also tried pen-and-paper analysis of some TMs, most notably BMO #1 and the Bonus Cryptid, but have not ever solved a TM by hand. Below are the TMs I've solved for the most actively studied BB domains.		I've also tried pen-and-paper analysis of some TMs, most notably BMO #1 and the Bonus Cryptid, but have not ever solved a TM by hand. Below are the TMs I've solved for the most actively-studied BB domains.

	== Holdout Reduction ==		== Holdout Reduction ==

ADucharme: summary

2026-04-25T23:00:36Z

summary

← Older revision		Revision as of 23:00, 25 April 2026
Line 1:		Line 1:
	Hi, I'm Andrew!		Hi, I'm Andrew!

	My main contribution to bbchallenge is applying the Ligocki and mxdys deciders to many of the next unsolved domains. I helped organize the initial BB(7) enumeration and solved over 50% of all holdouts since that enumeration. I've also tried ~~my hand at the~~ analysis of some TMs, most notably BMO #1 and the Bonus Cryptid, but have not ever solved a TM by hand. Below are the TMs I've solved for the most actively studied BB domains.		My main contribution to bbchallenge is applying the Ligocki and mxdys deciders to many of the next unsolved domains. I helped organize the initial BB(7) enumeration and solved over 50% of all holdouts since that enumeration. Specifically, my enumeration work has solved

			* 67.27% of the last 86,129,304, and 12.65% of the last 20,405,295, BB(7) holdouts
			* 40.00% of the last 9,401,447 BB(4,3) holdouts
			* 44.74% of the last 970,101 BB(2,6) holdouts

			I've also tried pen-and-paper analysis of some TMs, most notably BMO #1 and the Bonus Cryptid, but have not ever solved a TM by hand. Below are the TMs I've solved for the most actively studied BB domains.

	== Holdout Reduction ==		== Holdout Reduction ==

ADucharme: /* BB(4,3) */

2026-04-25T22:04:00Z

BB(4,3)

← Older revision		Revision as of 22:04, 25 April 2026
Line 141:		Line 141:
	\|-		\|-
	\|4		\|4
	\|~~<code>~~1RB1LD2LA_0RC1RZ0RA_1LD2LA0LC_2RD2RC0LD~~</code> (bbch)~~		\|{{TM\|1RB1LD2LA_0RC1RZ0RA_1LD2LA0LC_2RD2RC0LD\|halt}}
	\|~10 ↑↑ 1023.47221		\|~10 ↑↑ 1023.47221
	\|-		\|-
	\|5		\|5
	\|~~<code>~~1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ~~</code> (bbch)~~		\|{{TM\|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ\|halt}}
	\|~10 ↑↑ 619.07737		\|~10 ↑↑ 619.07737
	\|-		\|-
	\|6		\|6
	\|~~<code>~~1RB1RZ2RD_1LC0RD0RC_2LC1LA0RB_2RC0RC2RA~~</code> (bbch)~~		\|{{TM\|1RB1RZ2RD_1LC0RD0RC_2LC1LA0RB_2RC0RC2RA\|halt}}
	\|~10 ↑↑ 512.10945		\|~10 ↑↑ 512.10945
	\|-		\|-
	\|7		\|7
	\|~~<code>~~1RB1RZ0RC_1RC1RA0LD_2RD2RB0RD_1LB2LD2RA~~</code> (bbch)~~		\|{{TM\|1RB1RZ0RC_1RC1RA0LD_2RD2RB0RD_1LB2LD2RA\|halt}}
	\|~10 ↑↑ 439.02781		\|~10 ↑↑ 439.02781
	\|-		\|-
	\|8		\|8
	\|~~<code>~~1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ~~</code> (bbch)~~		\|{{TM\|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ\|halt}}
	\|~10 ↑↑ 234.06408		\|~10 ↑↑ 234.06408
	\|}		\|}

ADucharme: /* Busy Beaver Games */ add BB(4,3) top 10 TMs

2026-04-25T22:03:04Z

Busy Beaver Games: add BB(4,3) top 10 TMs

@@ Line 132: / Line 132: @@
 |{{TM|1RB3LB0RB5RA1LB1RZ_2LB3LA4RA0RB0RA2LB|halt}}
 |10 ↑↑ 40.07
 |}

ADucharme: /* BB(6) */ add decider BB(6) machines

2026-03-13T05:34:36Z

BB(6): add decider BB(6) machines

← Older revision		Revision as of 05:34, 13 March 2026
Line 6:		Line 6:

	==== BB(6) ====		==== BB(6) ====
	Of the last ~1500 BB(6) holdouts, I solved 66 and counting. Partial credit for some of these machines goes to Peacemaker II, who identifies permutations of machines I solved in the holdout list. Because of the ~~often~~ shared behavior between permutations, I can apply the decider which solved to the original TM I found to the permutations, and often solve ~~all the~~ permutations too.		Of the last ~1500 BB(6) holdouts, I solved 67 and counting. Partial credit for some of these machines goes to Peacemaker II, who identifies permutations of machines I solved in the holdout list. Because of the shared behavior between permutations, I can apply the decider which solved to the original TM I found to the permutations, and often solve permutations too.

	Solved halting TMs (49) with sigma score		Solved halting TMs (49) with sigma score
Line 58:		Line 58:
	1RB1LA_1LC0RC_1LD1RC_1LD1LE_0LF0LA_1RZ0RA 19,694		1RB1LA_1LC0RC_1LD1RC_1LD1LE_0LF0LA_1RZ0RA 19,694
	1RB1LA_1LC0RC_1LD1RC_0LC1LE_0LF0LA_---0RA		1RB1LA_1LC0RC_1LD1RC_0LC1LE_0LF0LA_---0RA
	Solved non-halting TMs (19) with decider		Solved non-halting TMs (18) with decider
	1RB1RF_1LC0RD_1RE0RD_0RC0LE_1LB0RA_0RE--- Inf Proof_System		1RB1RF_1LC0RD_1RE0RD_0RC0LE_1LB0RA_0RE--- Inf Proof_System
	1RB0LF_0RC0RF_1RD---_1LE0LB_1LA0LD_1RA0RE Inf Proof_System		1RB0LF_0RC0RF_1RD---_1LE0LB_1LA0LD_1RA0RE Inf Proof_System
Line 74:		Line 74:
	1RB0LA_1RC1RA_0LD1LA_1LF1RE_0RD0RE_0LC--- FAR RWL_mod maxT 10000000 H 4 mod 1 n 8		1RB0LA_1RC1RA_0LD1LA_1LF1RE_0RD0RE_0LC--- FAR RWL_mod maxT 10000000 H 4 mod 1 n 8
	1RB1RF_1LC1LB_---0LD_1RE0LD_0RA1RA_0LE0RE FAR RWL_mod maxT 10000000 H 8 mod 3 n 6		1RB1RF_1LC1LB_---0LD_1RE0LD_0RA1RA_0LE0RE FAR RWL_mod maxT 10000000 H 8 mod 3 n 6
			1RB1RD_0RC1RE_1LD0RE_1LB---_0RA1LF_0LE0LF FAR CPS_LRU maxT 1000000 LRUH 32 H 1 tH 29 n 12
	~~These non~~-halters are permutations of a TM I solved. The permutations were identified by Peacemaker II, but mxdys was the one who actually applied the decider. These also required flipping every instruction's direction of travel to work.		1RB1RE_1LC0RF_1RE0LD_1LC0LB_1RA0RE_1RC--- FAR CPS_LRU maxT 1000000 LRUH 32 H 4 tH 20 n 24
	~~1LB0RD_1RC1LC_1LE1RA_~~---~~0RE_0RF0LC_0LC1RB~~ FAR CPS_LRU maxT 1000000 LRUH 7 H 3 tH 1 n 4		1RB0RE_1LC1RA_0LA1LD_1RE1LC_0RF1RB_---0LC FAR CPS_LRU maxT 1000000 LRUH 17 H 4 tH 13 n 3
	~~1LB1RE_0RC0LA_0LA1RD_1RA1LA_1LD0RF_~~---~~0RB~~ FAR CPS_LRU maxT 1000000 LRUH 7 H 3 tH 1 n 4

	==== BB(2,5) ====		==== BB(2,5) ====