Holdouts lists - Revision history

Polygon: Updated BB(6) and BBlambda(42) holdout counts

2026-08-31T09:34:05Z

Updated BB(6) and BBlambda(42) holdout counts

← Older revision		Revision as of 09:34, 31 August 2026
Line 16:		Line 16:
	\|0		\|0
	\|0		\|0
	\|~~1016~~		\|1003
	\|15,743,264		\|15,743,264
	\|-		\|-
Line 83:		Line 83:
	!File		!File
	!Notes		!Notes
			\|-
			\|[https://discord.com/channels/960643023006490684/1239205785913790465/1543436534831906926 August 30th, 2026]
			\|@mxdys
			\|1003
			\|[https://wiki.bbchallenge.org/w/images/e/e0/BB6_holdouts_1003.txt BB6_holdouts_1003.txt]
	\|-		\|-
	\|[https://discord.com/channels/960643023006490684/1239205785913790465/1538109685033607198 August 15th, 2026]		\|[https://discord.com/channels/960643023006490684/1239205785913790465/1538109685033607198 August 15th, 2026]
Line 962:		Line 967:
	\|[https://discord.com/channels/960643023006490684/1355653587824283678/1517130491512492083 June 18, 2026]		\|[https://discord.com/channels/960643023006490684/1355653587824283678/1517130491512492083 June 18, 2026]
	\|@C++DSucker		\|@C++DSucker
	\|Variable (~~207~~)		\|Variable (158)
	\|[https://docs.google.com/spreadsheets/d/1jZ6TK9m3xmXUlC69727T-8WwvhALcsp8FrK6DzgThtw/edit?gid=1544675322#gid=1544675322 Spreadsheet]		\|[https://docs.google.com/spreadsheets/d/1jZ6TK9m3xmXUlC69727T-8WwvhALcsp8FrK6DzgThtw/edit?gid=1544675322#gid=1544675322 Spreadsheet]
	\|		\|

2026-08-15T10:35:53Z

Updated BB(6), BB(4,3) and BBlambda(42) holdout counts

← Older revision		Revision as of 10:35, 15 August 2026
Line 16:		Line 16:
	\|0		\|0
	\|0		\|0
	\|~~1064~~		\|1016
	\|15,743,264		\|15,743,264
	\|-		\|-
Line 22:		Line 22:
	\|0		\|0
	\|4		\|4
	\|4,~~747~~,~~566~~		\|4,720,332
	\|		\|
	\|		\|
Line 83:		Line 83:
	!File		!File
	!Notes		!Notes
			\|-
			\|[https://discord.com/channels/960643023006490684/1239205785913790465/1538109685033607198 August 15th, 2026]
			\|@mxdys
			\|1016
			\|[https://wiki.bbchallenge.org/w/images/c/cf/BB6_holdouts_1016.txt BB6_holdouts_1016.txt]
			\|
	\|-		\|-
	\|[https://discord.com/channels/960643023006490684/1239205785913790465/1531681818439319604 July 28th, 2026]		\|[https://discord.com/channels/960643023006490684/1239205785913790465/1531681818439319604 July 28th, 2026]
Line 956:		Line 962:
	\|[https://discord.com/channels/960643023006490684/1355653587824283678/1517130491512492083 June 18, 2026]		\|[https://discord.com/channels/960643023006490684/1355653587824283678/1517130491512492083 June 18, 2026]
	\|@C++DSucker		\|@C++DSucker
	\|Variable (~~240~~)		\|Variable (207)
	\|[https://docs.google.com/spreadsheets/d/1jZ6TK9m3xmXUlC69727T-8WwvhALcsp8FrK6DzgThtw/edit?gid=1544675322#gid=1544675322 Spreadsheet]		\|[https://docs.google.com/spreadsheets/d/1jZ6TK9m3xmXUlC69727T-8WwvhALcsp8FrK6DzgThtw/edit?gid=1544675322#gid=1544675322 Spreadsheet]
	\|		\|

2026-08-15T08:41:35Z

Busy Beaver adjacent holdouts lists: BBf(23) 21233

← Older revision		Revision as of 08:41, 15 August 2026
Line 733:		Line 733:
	\|21233		\|21233
	\|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz23_21233.txt sz23_21233.txt]		\|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz23_21233.txt sz23_21233.txt]
	\|		\|Programs simulated to halting were removed
	\|-		\|-
	\|BBf(23)		\|BBf(23)
Line 1,041:		Line 1,041:
	\|The holdout may be resolved by hand.		\|The holdout may be resolved by hand.
	\|}		\|}

	== References ==		== References ==

2026-08-12T10:20:27Z

Terminating Turmites: Added new TT(3,3) holdouts list

← Older revision		Revision as of 10:20, 12 August 2026
Line 913:		Line 913:
	!File		!File
	!Notes		!Notes
			\|-
			\|TT(3,3)
			\|[https://discord.com/channels/960643023006490684/1243312334907375676/1536748429089448036 August 11, 2026]
			\|@creeperman7002
			\|19368
			\|[https://discord.com/channels/960643023006490684/1243312334907375676/1536748429089448036 3x3_holdouts_19368.txt]
			\|
	\|-		\|-
	\|TT(2,4)		\|TT(2,4)

2026-08-08T11:08:17Z

Busy Beaver for Lambda Calculus: 40 --> 41

← Older revision		Revision as of 11:08, 8 August 2026
Line 958:		Line 958:
	\|0		\|0
	\|[https://docs.google.com/spreadsheets/d/1jZ6TK9m3xmXUlC69727T-8WwvhALcsp8FrK6DzgThtw/edit?gid=1502335946#gid=1502335946 Spreadsheet]		\|[https://docs.google.com/spreadsheets/d/1jZ6TK9m3xmXUlC69727T-8WwvhALcsp8FrK6DzgThtw/edit?gid=1502335946#gid=1502335946 Spreadsheet]
	\|'''BBλ(40) was solved on August 7th, 2026'''		\|'''BBλ(41) was solved on August 7th, 2026'''
	\|-		\|-
	\|BBλ(40)		\|BBλ(40)

2026-08-08T11:08:00Z

Busy Beaver for Lambda Calculus: BBlambda(41) solved

← Older revision		Revision as of 11:08, 8 August 2026
Line 956:		Line 956:
	\|		\|
	\|		\|
	\|~~Variable (6)~~		\|0
	\|[https://docs.google.com/spreadsheets/d/1jZ6TK9m3xmXUlC69727T-8WwvhALcsp8FrK6DzgThtw/edit?gid=1502335946#gid=1502335946 Spreadsheet]		\|[https://docs.google.com/spreadsheets/d/1jZ6TK9m3xmXUlC69727T-8WwvhALcsp8FrK6DzgThtw/edit?gid=1502335946#gid=1502335946 Spreadsheet]
	\|		\|'''BBλ(40) was solved on August 7th, 2026'''
	\|-		\|-
	\|BBλ(40)		\|BBλ(40)

2026-08-07T04:32:11Z

Added two more rows

@@ Line 624: / Line 624: @@
 !File
 !Notes
 |-
 |BBB(4)
@@ Line 783: / Line 790: @@
 |[https://github.com/int-y1/BBFractran/blob/main/holdout/sz22_3.txt sz22_3.txt]
 |Holdout reduction by Claude Opus 4.6
 |-
 |BBf(22)

2026-08-05T21:20:03Z

Add one more BB(2,5)

← Older revision		Revision as of 21:20, 5 August 2026
Line 500:		Line 500:
	!File		!File
	!Notes		!Notes
			\|-
			\|[https://discord.com/channels/960643023006490684/1259770421046411285/1355593937531961365 March 29, 2025]
			\|@mxdys
			\|83
			\|[[:File:BB2x5 Coq holdouts 83.txt]]
	\|-		\|-
	\|[https://discord.com/channels/960643023006490684/1084047886494470185/1252989316175499284 June 19, 2024]		\|[https://discord.com/channels/960643023006490684/1084047886494470185/1252989316175499284 June 19, 2024]

2026-08-05T20:05:37Z

BB(5): Moved rows into chronological order

← Older revision		Revision as of 20:05, 5 August 2026
Line 62:		Line 62:
	!File		!File
	!Notes		!Notes
			\|-
			\|July 2nd, 2024
			\|bbchallenge
			\|0
			\|[https://cable.ayra.ch/empty/?id=0 List of 0 holdouts]
			\|'''BB(5) is solved!'''
	\|-		\|-
	\|[https://skelet.ludost.net/bb/nreg.html circa May 13th, 2003]		\|[https://skelet.ludost.net/bb/nreg.html circa May 13th, 2003]
Line 68:		Line 74:
	\|[https://bbchallenge.org/skelet List of 43 holdouts]		\|[https://bbchallenge.org/skelet List of 43 holdouts]
	\|		\|
	\|-
	~~\|July 2nd, 2024~~
	~~\|bbchallenge~~
	\|0
	~~\|[https://cable.ayra.ch/empty/?id=0 List of 0 holdouts]~~
	~~\|'''BB(5) is solved!'''~~
	\|}		\|}

2026-08-05T18:18:53Z

End domain with length-0 list since it's solved

← Older revision		Revision as of 18:18, 5 August 2026
Line 68:		Line 68:
	\|[https://bbchallenge.org/skelet List of 43 holdouts]		\|[https://bbchallenge.org/skelet List of 43 holdouts]
	\|		\|
			\|-
			\|July 2nd, 2024
			\|bbchallenge
			\|0
			\|[https://cable.ayra.ch/empty/?id=0 List of 0 holdouts]
			\|'''BB(5) is solved!'''
	\|}		\|}