User:ADucharme - Revision history

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) ====

ADucharme: /* BB(6) */ add solved BB6 TMs

2026-02-27T20:34:21Z

BB(6): add solved BB6 TMs

← Older revision		Revision as of 20:34, 27 February 2026
Line 6:		Line 6:

	==== BB(6) ====		==== BB(6) ====
	Of the last ~1500 BB(6) holdouts, I solved 63 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 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.

	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 (16) with decider		Solved non-halting TMs (19) 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 71:		Line 71:
	1RB1LB_1LC1RE_0RD0LB_0LB1RA_1LA0RF_---0RC FAR CPS_LRU maxT 10000000 LRUH 7 H 3 tH 1 n 4		1RB1LB_1LC1RE_0RD0LB_0LB1RA_1LA0RF_---0RC FAR CPS_LRU maxT 10000000 LRUH 7 H 3 tH 1 n 4
	1RB0LD_0RC1RF_1RD0RA_1LE1RB_1LC0LE_1RC--- FAR CPS_LRU maxT 10000000 LRUH 7 H 4 tH 1 n 24		1RB0LD_0RC1RF_1RD0RA_1LE1RB_1LC0LE_1RC--- FAR CPS_LRU maxT 10000000 LRUH 7 H 4 tH 1 n 24
			1RB0LA_0RC---_1RD1RE_1LA1LD_1RD0RF_0RC1RC FAR RWL_mod maxT 10000000 H 8 mod 3 n 6
			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

	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.		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.
	1LB0RD_1RC1LC_1LE1RA_---0RE_0RF0LC_0LC1RB FAR CPS_LRU maxT 1000000 LRUH 7 H 3 tH 1 n 4		1LB0RD_1RC1LC_1LE1RA_---0RE_0RF0LC_0LC1RB FAR CPS_LRU maxT 1000000 LRUH 7 H 3 tH 1 n 4

ADucharme: /* BB(6) */ credit Peacemaker, add LRUH 7 permutations

2026-02-22T19:50:13Z

BB(6): credit Peacemaker, add LRUH 7 permutations

← Older revision		Revision as of 19:50, 22 February 2026
Line 6:		Line 6:

	==== BB(6) ====		==== BB(6) ====
	Of the last ~1500 BB(6) holdouts, I solved 61 and counting.		Of the last ~1500 BB(6) holdouts, I solved 63 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.

	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 (12) with decider		Solved non-halting TMs (16) 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 71:		Line 71:
	1RB1LB_1LC1RE_0RD0LB_0LB1RA_1LA0RF_---0RC FAR CPS_LRU maxT 10000000 LRUH 7 H 3 tH 1 n 4		1RB1LB_1LC1RE_0RD0LB_0LB1RA_1LA0RF_---0RC FAR CPS_LRU maxT 10000000 LRUH 7 H 3 tH 1 n 4
	1RB0LD_0RC1RF_1RD0RA_1LE1RB_1LC0LE_1RC--- FAR CPS_LRU maxT 10000000 LRUH 7 H 4 tH 1 n 24		1RB0LD_0RC1RF_1RD0RA_1LE1RB_1LC0LE_1RC--- FAR CPS_LRU maxT 10000000 LRUH 7 H 4 tH 1 n 24
			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.
			1LB0RD_1RC1LC_1LE1RA_---0RE_0RF0LC_0LC1RB FAR CPS_LRU maxT 1000000 LRUH 7 H 3 tH 1 n 4
			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) ====

ADucharme: /* Holdout Reduction */ add nonhalting bb6 tms

2026-02-20T07:21:17Z

Holdout Reduction: add nonhalting bb6 tms

← Older revision		Revision as of 07:21, 20 February 2026
Line 6:		Line 6:

	==== BB(6) ====		==== BB(6) ====
	Of the last ~~2592~~ BB(6) holdouts, I solved ~~59 (2.28%)~~ and counting.		Of the last ~1500 BB(6) holdouts, I solved 61 and counting.

	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 (10) with decider		Solved non-halting TMs (12) 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
	1RB0LE_1LC0LE_1RA0LD_1LA1LF_0LB0RC_0LC--- Inf Proof_System		1RB0LE_1LC0LE_1RA0LD_1LA1LF_0LB0RC_0LC--- Inf Proof_System
			1RB1LA_0RC0LF_0RD---_1RE1RD_1LB1RA_0LD0LA FAR CPS_LRU maxT 10000000 LRUH 1 H 1 tH 0 n 20
	1RB0RF_1RC---_1RD1LF_1RE0RD_0LC1RA_1LC0LF FAR CPS_LRU maxT 10000000 LRUH 4 H 2 tH 0 n 6		1RB0RF_1RC---_1RD1LF_1RE0RD_0LC1RA_1LC0LF FAR CPS_LRU maxT 10000000 LRUH 4 H 2 tH 0 n 6
	1RB1LD_1RC0RB_0LA1RE_1LA0LD_1RF0RD_1RA--- FAR CPS_LRU maxT 10000000 LRUH 4 H 4 tH 0 n 6		1RB1LD_1RC0RB_0LA1RE_1LA0LD_1RF0RD_1RA--- FAR CPS_LRU maxT 10000000 LRUH 4 H 4 tH 0 n 6
	1RB1LD_1RC0RB_0LA1RE_1LA0LD_1RF0RD_0RC--- FAR CPS_LRU maxT 10000000 LRUH 4 H 3 tH 0 n 6		1RB1LD_1RC0RB_0LA1RE_1LA0LD_1RF0RD_0RC--- FAR CPS_LRU maxT 10000000 LRUH 4 H 3 tH 0 n 6
	~~1RB1LA_0RC0LF_0RD---_1RE1RD_1LB1RA_0LD0LA FAR CPS_LRU maxT 10000000 LRUH 1 H 1 tH 0 n 20~~
	1RB0RB_1LC0LE_0RF1LD_1RA0LB_1RA0RD_---0RC FAR CPS_LRU maxT 10000000 LRUH 4 H 1 tH 3 n 9		1RB0RB_1LC0LE_0RF1LD_1RA0LB_1RA0RD_---0RC FAR CPS_LRU maxT 10000000 LRUH 4 H 1 tH 3 n 9
	1RB0RB_1LC1RA_0LA1RD_1LA1LE_1LF1LD_---0LC FAR CPS_LRU maxT 10000000 LRUH 6 H 1 tH 3 n 12		1RB0RB_1LC1RA_0LA1RD_1LA1LE_1LF1LD_---0LC FAR CPS_LRU maxT 10000000 LRUH 6 H 1 tH 3 n 12
	1RB0LD_1RC0RE_0LA0RC_1LA1LD_0RF1RA_---1RC FAR CPS_LRU maxT 10000000 LRUH 6 H 3 tH 0 n 9		1RB0LD_1RC0RE_0LA0RC_1LA1LD_0RF1RA_---1RC FAR CPS_LRU maxT 10000000 LRUH 6 H 3 tH 0 n 9
			1RB1LB_1LC1RE_0RD0LB_0LB1RA_1LA0RF_---0RC FAR CPS_LRU maxT 10000000 LRUH 7 H 3 tH 1 n 4
			1RB0LD_0RC1RF_1RD0RA_1LE1RB_1LC0LE_1RC--- FAR CPS_LRU maxT 10000000 LRUH 7 H 4 tH 1 n 24

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

ADucharme: /* Holdout Reduction */ add BB(6) solved non-halters

2026-02-14T02:42:01Z

Holdout Reduction: add BB(6) solved non-halters

← Older revision		Revision as of 02:42, 14 February 2026
Line 6:		Line 6:

	==== BB(6) ====		==== BB(6) ====
	Of the last 2592 BB(6) holdouts, I solved 57 (2.19%) and counting.		Of the last 2592 BB(6) holdouts, I solved 59 (2.28%) and counting.

	Solved halting TMs with sigma score		Solved halting TMs (49) with sigma score
	1RB---_1LC0LA_1LD0RD_0RE0LB_1RC1RF_0RD1RF ~10^79.95448		1RB---_1LC0LA_1LD0RD_0RE0LB_1RC1RF_0RD1RF ~10^79.95448
	1RB0RA_1RC0LC_0LD0RA_1LB1LE_0LC0LF_1RD--- ~10^70.05261		1RB0RA_1RC0LC_0LD0RA_1LB1LE_0LC0LF_1RD--- ~10^70.05261
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 with decider		Solved non-halting TMs (10) 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
	1RB0LE_1LC0LE_1RA0LD_1LA1LF_0LB0RC_0LC--- Inf Proof_System		1RB0LE_1LC0LE_1RA0LD_1LA1LF_0LB0RC_0LC--- Inf Proof_System
	1RB0RF_1RC---_1RD1LF_1RE0RD_0LC1RA_1LC0LF FAR CPS_LRU maxT 10000000 LRUH 4 H 2 tH 0 n 6 ~~run~~		1RB0RF_1RC---_1RD1LF_1RE0RD_0LC1RA_1LC0LF FAR CPS_LRU maxT 10000000 LRUH 4 H 2 tH 0 n 6
	1RB1LD_1RC0RB_0LA1RE_1LA0LD_1RF0RD_1RA--- FAR CPS_LRU maxT 10000000 LRUH 4 H 4 tH 0 n 6 ~~run~~		1RB1LD_1RC0RB_0LA1RE_1LA0LD_1RF0RD_1RA--- FAR CPS_LRU maxT 10000000 LRUH 4 H 4 tH 0 n 6
	1RB1LD_1RC0RB_0LA1RE_1LA0LD_1RF0RD_0RC--- FAR CPS_LRU maxT 10000000 LRUH 4 H 3 tH 0 n 6 ~~run~~		1RB1LD_1RC0RB_0LA1RE_1LA0LD_1RF0RD_0RC--- FAR CPS_LRU maxT 10000000 LRUH 4 H 3 tH 0 n 6
	1RB1LA_0RC0LF_0RD---_1RE1RD_1LB1RA_0LD0LA FAR CPS_LRU maxT 10000000 LRUH 1 H 1 tH 0 n 20 ~~run~~		1RB1LA_0RC0LF_0RD---_1RE1RD_1LB1RA_0LD0LA FAR CPS_LRU maxT 10000000 LRUH 1 H 1 tH 0 n 20
	1RB0RB_1LC0LE_0RF1LD_1RA0LB_1RA0RD_---0RC FAR CPS_LRU maxT 10000000 LRUH 4 H 1 tH 3 n 9 ~~run~~		1RB0RB_1LC0LE_0RF1LD_1RA0LB_1RA0RD_---0RC FAR CPS_LRU maxT 10000000 LRUH 4 H 1 tH 3 n 9
			1RB0RB_1LC1RA_0LA1RD_1LA1LE_1LF1LD_---0LC FAR CPS_LRU maxT 10000000 LRUH 6 H 1 tH 3 n 12
			1RB0LD_1RC0RE_0LA0RC_1LA1LD_0RF1RA_---1RC FAR CPS_LRU maxT 10000000 LRUH 6 H 3 tH 0 n 9

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