Holdouts lists: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
← Older edit
VisualWikitext
Polygon (talk | contribs)
2,500 edits
→Fractran: added other two BBf(23) holdouts lists aswell
Polygon (talk | contribs)
2,500 edits
→Fractran: added new BBf(24) holdouts list
 
(122 intermediate revisions by 12 users not shown)
Line 16: Line 16:
|0
|0
|0
|0
|1104
|608
|17,823,260
|12,765,773
|-
|-
!3-symbol
!3-symbol
|0
|0
|4
|4 (formal: 6)
|5,127,263
|4,673,384
|
|
|
|
Line 36: Line 36:
|-
|-
!5-symbol
!5-symbol
|66
|37
|
|
|
|
Line 44: Line 44:
|-
|-
!6-symbol
!6-symbol
|413,513
|389,503
|
|
|
|
|
|-
!7-symbol
|3,125,433,611
|
|
|
|
Line 54: Line 62:
== Downloadable Holdouts Lists ==
== Downloadable Holdouts Lists ==
This is a table where people have added lists with no restriction or independent verification. For some of the entries there is a reference to a spreadsheet that documents what was run to achieve the result. For others, there is additional documentation on the specific BB pages.  
This is a table where people have added lists with no restriction or independent verification. For some of the entries there is a reference to a spreadsheet that documents what was run to achieve the result. For others, there is additional documentation on the specific BB pages.  
=== BB(5) ===
{| class="wikitable sortable"
!Date
!Shared by
!Number of holdouts
!File
!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]
|Georgi Georgiev (Skelet)
|43
|[https://bbchallenge.org/skelet List of 43 holdouts]
|
|}
=== BB(6) ===
{| class="wikitable sortable"
{| class="wikitable sortable"
|+
!BB space
!Date
!Date
!Shared by
!Shared by
Line 63: Line 92:
!Notes
!Notes
|-
|-
|[[BB(3,4)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1565584609176195113 October 30th, 2026]
|[https://drive.google.com/drive/folders/1uGWJMYYuVGJj581GX_vlm3Wv1adYbcRs May 11th, 2026]
|@mxdys
|@XnoobSpeakable
|608
|11,362,197
|[https://wiki.bbchallenge.org/w/images/5/5e/BB6_holdouts_608.txt BB6_holdouts_608.txt]
|[https://drive.google.com/file/d/1-Fnexjfq0mWyZDPa2MNFmU64EpSu-3Ig/view 3x4_holdouts_11362197.zip]
|
|Work done by XnoobSpeakable
|-
|[https://discord.com/channels/960643023006490684/1239205785913790465/1563505561905926175 October 24th, 2026]
|@mxdys
|623
|[https://wiki.bbchallenge.org/w/images/4/4c/BB6_holdouts_623.txt BB6_holdouts_623.txt]
|
|-
|[https://discord.com/channels/960643023006490684/1239205785913790465/1560559556164063242 October 16th, 2026]
|@mxdys
|663
|[https://wiki.bbchallenge.org/w/images/6/69/BB6_holdouts_663.txt BB6_holdouts_663.txt]
|
|-
|[https://discord.com/channels/960643023006490684/1239205785913790465/1560185889290985532 October 15th, 2026]
|@mxdys
|698
|[https://wiki.bbchallenge.org/w/images/f/ff/BB6_holdouts_698.txt BB6_holdouts_698.txt]
|
|-
|[https://discord.com/channels/960643023006490684/1239205785913790465/1558585686288891986 October 10th, 2026]
|@mxdys
|740
|[https://wiki.bbchallenge.org/w/images/8/80/BB6_holdouts_740.txt BB6_holdouts_740.txt]
|
|-
|[https://discord.com/channels/960643023006490684/1239205785913790465/1557353710101995550 October 7th, 2026]
|@mxdys
|778
|[https://wiki.bbchallenge.org/w/images/1/12/BB6_holdouts_778.txt BB6_holdouts_778.txt]
|
|-
|[https://discord.com/channels/960643023006490684/1239205785913790465/1554765260735512616 September 30th, 2026]
|@mxdys
|797
|[https://wiki.bbchallenge.org/w/images/9/94/BB6_holdouts_797.txt BB6_holdouts_797.txt]
|
|-
|[https://discord.com/channels/960643023006490684/1239205785913790465/1552681541401059350 September 24th, 2026]
|@mxdys
|815
|[https://wiki.bbchallenge.org/w/images/f/fe/BB6_holdouts_815.txt BB6_holdouts_815.txt]
|
|-
|[https://discord.com/channels/960643023006490684/1239205785913790465/1549771931677364264 September 16th, 2026]
|@mxdys
|855
|[https://wiki.bbchallenge.org/w/images/3/3e/BB6_holdouts_855.txt BB6_holdouts_855.txt]
|Most holdouts solved between holdout lists since November 28, 2025.
|-
|[https://discord.com/channels/960643023006490684/1239205785913790465/1546881471556620339 September 8th, 2026]
|@mxdys
|964
|[https://wiki.bbchallenge.org/w/images/6/60/BB6_holdouts_964.txt BB6_holdouts_964.txt]
|
|-
|[https://discord.com/channels/960643023006490684/1239205785913790465/1543878992195620884 August 31st, 2026]
|@mxdys
|999
|No independent file
|
|-
|[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]
|@mxdys
|1016
|[https://wiki.bbchallenge.org/w/images/c/cf/BB6_holdouts_1016.txt BB6_holdouts_1016.txt]
|
|-
|-
|[[BB(4,3)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1531681818439319604 July 28th, 2026]
|[https://drive.google.com/drive/folders/1HBPZ17llVE_8wCy5FvRUFQ5MJsaYXAW- May 9th, 2026]
|@mxdys
|@Andrew Ducharme
|1064
|5,127,263
|[https://wiki.bbchallenge.org/w/images/e/e9/BB6_holdouts_1064.txt BB6_holdouts_1064.txt]
|[https://drive.google.com/file/d/1xHukBgJnm1zctZkOMR0UzdQyzr4Fx5pC/view 4x3_holdouts_5127263.txt.zip]
|
|Work done by Andrew Ducharme
|-
|-
|[[BB(3,4)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1521203430046171146 June 29th, 2026]
|[https://drive.google.com/drive/folders/1lNKc_GF2sa5ZfosleAlMNBQ3uJV4qClo April 30th, 2026]
|@mxdys
|@Andrew Ducharme
|1094
|12,049,358
|[https://wiki.bbchallenge.org/w/images/9/90/BB6_holdouts_1094.txt BB6_holdouts_1094.txt]
|[https://drive.google.com/file/d/1xCtI58doiCoI3lU_oQjK_21zsLFLF9g3/view 3x4_holdouts_12049358.txt.zip]
|
|Work done by Andrew Ducharme
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1499000732236382358 April 29th, 2026]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1499000732236382358 April 29th, 2026]
|@mxdys
|@mxdys
Line 91: Line 188:
|More reduction by equivalences
|More reduction by equivalences
|-
|-
|[[BB(4,3)]]
|[https://drive.google.com/drive/folders/1HBPZ17llVE_8wCy5FvRUFQ5MJsaYXAW- April 26th, 2026]
|@Andrew Ducharme
|5,641,006
|[https://drive.google.com/file/d/1z8oBXUECL5dpUNAIqik2z_yI5JGmW79t/view 4x3_holdouts_5641006.txt.zip]
|Work done by Andrew Ducharme
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1497651809773289552 April 25th, 2026]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1497651809773289552 April 25th, 2026]
|@mxdys
|@mxdys
Line 105: Line 194:
|Reduction by equivalences, one halting TM
|Reduction by equivalences, one halting TM
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1486207538843222116 March 25th, 2026]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1486207538843222116 March 25th, 2026]
|@mxdys
|@mxdys
Line 112: Line 200:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1477224991136419983 February 28th, 2026]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1477224991136419983 February 28th, 2026]
|@mxdys
|@mxdys
Line 119: Line 206:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1473945366821998684 February 19th, 2026]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1473945366821998684 February 19th, 2026]
|@mxdys
|@mxdys
Line 126: Line 212:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1466438332677619956 January 29th, 2026]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1466438332677619956 January 29th, 2026]
|@mxdys
|@mxdys
Line 133: Line 218:
|
|
|-
|-
|[[BB(3,4)]]
|[https://drive.google.com/drive/folders/1pj0MJBCA1hk6NxSj0mYvu5iXbTtVRt64 December 31st, 2025]
|
|12,435,284
|[https://drive.google.com/file/d/15e-Lwl_F6Jn_HoYFPA2a94jLTjX1mmHd/view 3x4st10c_holdouts_12435284.txt]
|Work done by [[User:XnoobSpeakable|XnoobSpeakable]] and [[User:WarpedWartWars|Lúkos]].
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1455369448264568904 December 30th, 2025]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1455369448264568904 December 30th, 2025]
|@mxdys
|@mxdys
Line 147: Line 224:
|
|
|-
|-
|[[BB(6)]]
|November 22nd, 2025
|November 22nd, 2025
|Robin Rovenszky
|Robin Rovenszky
|Variable
|Variable
|[https://docs.google.com/spreadsheets/d/1mMp8bAcTFT91j7azn72liX8NSTwc2E_ozKnOGTfRCfw/edit?gid=1330361301#gid=1330361301 Google Sheets]
|[https://docs.google.com/spreadsheets/d/1mMp8bAcTFT91j7azn72liX8NSTwc2E_ozKnOGTfRCfw/edit?gid=1330361301#gid=1330361301 Google Sheets]
|Annotated list, including links to Discord discussions, always up-to-date.
|Annotated list, including links to Discord discussions, often up-to-date.
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1450455364179857410 December 16th, 2025]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1450455364179857410 December 16th, 2025]
|@mxdys
|@mxdys
Line 161: Line 236:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1443989662019354647 November 28th, 2025]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1443989662019354647 November 28th, 2025]
|@mxdys
|@mxdys
Line 168: Line 242:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1438983076662477004 November 14th, 2025]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1438983076662477004 November 14th, 2025]
|@mxdys
|@mxdys
Line 175: Line 248:
|
|
|-
|-
|[[BB(4,3)]]
|[https://drive.google.com/drive/folders/1HBPZ17llVE_8wCy5FvRUFQ5MJsaYXAW- October 26th, 2025]
|
|9,401,447
|[https://drive.google.com/file/d/1r99v3dcdNTgGkmaydLKiZCp5KD3jGWeE/view 4x3_holdouts_9401447.txt.gz]
|
|-
|[[BB(7)]]
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui October 25th, 2025]
|
|20,405,295
|[https://drive.google.com/file/d/12riXHC3Vz4tk_5mMV7__gZsF7hqAsZ_S/view bb7_holdouts_20405295.txt.gz]
|
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1429892916763033601 October 20th, 2025]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1429892916763033601 October 20th, 2025]
|@mxdys
|@mxdys
Line 196: Line 254:
|
|
|-
|-
|[[BB(4,3)]]
|[https://drive.google.com/drive/folders/1qNssnvK3W2jJ68VBq9FJZMy9TvwbQk4_ October 20th, 2025]
|@tjligocki
|18,138,027
|[https://drive.google.com/file/d/1vHufk09pI7JcTSAOj1XOzcZXJoX1Wa2a/view 4x3_holdouts_18138027.txt.gz]
|
|-
|[[BB(2,6)]]
|[https://drive.google.com/drive/folders/1TsSpW27x3LBlu5qmk-cjzCJzgo_3ehyT October 6th, 2025]
|@tjligocki
|870,085
|[https://drive.google.com/file/d/1xZqEZFPke02pwBHX0EYsyDVaNU5o_OuO/view 2x6_holdouts_870085.txt.zip]
|Work done by Andrew Ducharme.
|-
|[[BB(3,4)]]
|[https://drive.google.com/drive/folders/1_5j19qrvo1q7jN_c0pYnjBOrIXAP6b7i October 4th, 2025]
|@tjligocki
|64,777,377
|[https://drive.google.com/file/d/1I3s3w-T4NPLn-eCdaZLPgC2Mya51pyvH/view?usp=drive_link 3x4_holdouts_64777377.txt.gz]
|Work done by [[User:XnoobSpeakable|XnoobSpeakable]] and [[User:WarpedWartWars|Lúkos]].
|-
|[[BB(7)]]
|[https://discord.com/channels/960643023006490684/1369339127652159509/1423806362072256676 October 4th, 2025]
|Andrew Ducharme
|22,721,168
|[https://drive.google.com/file/d/1xAFSPh6qAR8VxsF4QVipmdc0UpdPC1hn/view bb7_holdouts_22721168.txt.zip]
|
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1419290767767240734 September 21, 2025]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1419290767767240734 September 21, 2025]
|@mxdys
|@mxdys
Line 231: Line 260:
|
|
|-
|-
|[[BB(2,6)]]
|[https://drive.google.com/drive/folders/1TsSpW27x3LBlu5qmk-cjzCJzgo_3ehyT September 16, 2025]
|
|970,101
|[https://drive.google.com/file/d/1Vjm3Qf-4a-Zr-E3EocjPWI5bjqH2YGil/view 2x6_holdouts_970101.txt.gz]
|Work done by Terry Ligocki
|-
|[[BB(2,6)]]
|[https://drive.google.com/drive/folders/1TsSpW27x3LBlu5qmk-cjzCJzgo_3ehyT September 12, 2025]
|
|20,358,011
|[https://drive.google.com/file/d/1YOoh4Zh2Jn5zaq9-C638S6VR_4jzd6pa/view 2x6_holdouts_20358011.zip]
|Work done by Andrew Ducharme
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1411308408220549140 August 30 2025]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1411308408220549140 August 30 2025]
|@mxdys
|@mxdys
|2592
|2592
|[[:File:BB6 holdouts 2592.txt|BB6 holdouts 2592.txt]]
|[[:File:BB6 holdouts 2592.txt|BB6 holdouts 2592.txt]]
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1399783936019664896 July 29 2025]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1399783936019664896 July 29 2025]
|@mxdys
|@mxdys
Line 258: Line 272:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1393808719615361205 July 13, 2025]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1393808719615361205 July 13, 2025]
|@mxdys
|@mxdys
Line 265: Line 278:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1390953522379489401 July 5, 2025]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1390953522379489401 July 5, 2025]
|@mxdys
|@mxdys
Line 272: Line 284:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1384957116376158228 June 18, 2025]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1384957116376158228 June 18, 2025]
|@mxdys
|@mxdys
Line 279: Line 290:
|
|
|-
|-
|[[BB(2,5)]]
|[https://discord.com/channels/960643023006490684/1259770421046411285/1355593937531961365 March 29 2025]
|@mxdys
|83
|[[:File:BB2x5 Coq holdouts 83.txt]]
|
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1345246656769163284 March 1, 2025]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1345246656769163284 March 1, 2025]
|@mxdys
|@mxdys
Line 293: Line 296:
|
|
|-
|-
|[[BB(4,3)]]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1320172124509311004  December 21, 2024]
|@tjligocki
|460,916,384
|[https://drive.google.com/file/d/1hKy0TuPuI62rN95j6ZLjXgE-Pue8tRsK/view?usp=drive_link 4x3_holdouts_460916384.txt.gz]
|[https://drive.google.com/drive/folders/1HBPZ17llVE_8wCy5FvRUFQ5MJsaYXAW-?usp=drive_link Google Drive directory for 4x3 TMs]
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1310648046576730124 November 25, 2024 (@icy)]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1310648046576730124 November 25, 2024 (@icy)]
|@tjligocki
|@tjligocki
Line 307: Line 302:
|Keeping track of BB(6) progress - informal.
|Keeping track of BB(6) progress - informal.
|-
|-
|[[BB(3,3)]]
|November 10, 2024
|
|6
|[[:File:3x3 holdout 6.txt|3x3 holdout 6.txt]]
|
|-
|[[BB(6)]]
|[https://discordapp.com/channels/960643023006490684/1239205785913790465/1304303803213942846 November 8, 2024]
|[https://discordapp.com/channels/960643023006490684/1239205785913790465/1304303803213942846 November 8, 2024]
|@mxdys
|@mxdys
Line 321: Line 308:
|
|
|-
|-
|[[BB(2,6)]]
|[https://discord.com/channels/960643023006490684/960643023530762341/1303219184221683733 November 4, 2024]
|@tjligocki
|22,302,296
|[https://drive.google.com/file/d/1xRLIjdiqImFP2SL38gvhxVlAaX0L1cYO/view?usp=drive_link 2x6_holdouts_22302296.txt.gz]
|[https://drive.google.com/drive/folders/1p9b5g-Id3WEMUYIwEnaKWRBGIW66ADjM?usp=drive_link Google Drive directory for 2x6 TMs]
|-
|[[BB(3,4)]]
|[https://discord.com/channels/960643023006490684/960643023530762341/1302767449476694188  November 3, 2024]
|@tjligocki
|434,787,751
|[https://drive.google.com/file/d/1PLzN3wLw-MRgk1OFmYh4RTwNc30nflR7/view?usp=drive_link 3x4_holdouts_434787751.txt.gz]
|[https://drive.google.com/drive/folders/1bZxl7jg5q9IVvHQNZwItx1kPusAWznZk?usp=drive_link Google Drive directory for 3x4 TMs]
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1297163115179278336 October 19, 2024]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1297163115179278336 October 19, 2024]
|@mxdys
|@mxdys
Line 342: Line 314:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1287580515938865225 September 23, 2024]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1287580515938865225 September 23, 2024]
|@mxdys
|@mxdys
Line 349: Line 320:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1282002734912110655 September 7, 2024]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1282002734912110655 September 7, 2024]
|@mxdys
|@mxdys
Line 356: Line 326:
|
|
|-
|-
|[[BB(6)]]
|[https://discordapp.com/channels/960643023006490684/1239205785913790465/1280185195877634098 September 2, 2024]
|[https://discordapp.com/channels/960643023006490684/1239205785913790465/1280185195877634098 September 2, 2024]
|@mxdys
|@mxdys
Line 363: Line 332:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1269612923127599164 August 4, 2024]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1269612923127599164 August 4, 2024]
|@mxdys
|@mxdys
Line 370: Line 338:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1267013907910758451 July 28, 2024]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1267013907910758451 July 28, 2024]
|@mxdys
|@mxdys
Line 377: Line 344:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1262276904887521300 July 15, 2024]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1262276904887521300 July 15, 2024]
|@mxdys
|@mxdys
Line 384: Line 350:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1262126923321180250 July 14, 2024]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1262126923321180250 July 14, 2024]
|@Justin Blanchard
|@Justin Blanchard
Line 391: Line 356:
|Work done by Justin Blanchard
|Work done by Justin Blanchard
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1259131753176498216 July 6, 2024]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1259131753176498216 July 6, 2024]
|@mxdys
|@mxdys
Line 398: Line 362:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1259011186192552068 July 6, 2024]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1259011186192552068 July 6, 2024]
|@Justin Blanchard
|@Justin Blanchard
Line 405: Line 368:
|Work done by Justin Blanchard
|Work done by Justin Blanchard
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1258810921879605298 July 5, 2024]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1258810921879605298 July 5, 2024]
|@mxdys
|@mxdys
Line 412: Line 374:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1256254912573079572 June 28, 2024]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1256254912573079572 June 28, 2024]
|@mxdys
|@mxdys
Line 419: Line 380:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1254684723955896362 June 24, 2024]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1254684723955896362 June 24, 2024]
|@Justin Blanchard
|@Justin Blanchard
Line 426: Line 386:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1253478694798884934 June 21, 2024]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1253478694798884934 June 21, 2024]
|@mxdys
|@mxdys
Line 433: Line 392:
|Work done by Justin Blanchard
|Work done by Justin Blanchard
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1253466035189846056 June 20, 2024]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1253466035189846056 June 20, 2024]
|@mxdys
|@mxdys
Line 440: Line 398:
|
|
|-
|-
|[[BB(2,5)]]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1252989316175499284 June 19, 2024]
|@mxdys
|217
|[[:File:2x5_holdouts_217.txt]]
|273 holdouts minus machines solved by CTL
|-
|[[BB(2,5)]]
|June 15th 2024
|@dyuan01
| 273
|[[:File:2x5_holdouts_273.txt]]
|@Justin Blanchard's 499 holdouts minus machines solved by @mxdys
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1250895665719148595 June 13, 2024]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1250895665719148595 June 13, 2024]
|@tjligocki
|@tjligocki
| 12,091
|12,091
|[[:File:BB6 holdouts 12091.txt]]
|[[:File:BB6 holdouts 12091.txt]]
|Work done with @Shawn Ligocki
|Work done with @Shawn Ligocki
|-
|-
|[[BB(3,3)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1248708916381220954 June 7, 2024]
|@mxdys
|12,325
|[[:File:BB6 holdouts 12325.txt]]
|Some equivalent machines are removed.
|-
|[https://discord.com/channels/960643023006490684/1239205785913790465/1245116022873264129 May 28, 2024]
|@mxdys
|18,560
|[https://discord.com/channels/960643023006490684/1239205785913790465/1245116022873264129 BB6_holdouts_18560.txt]
|
|-
|[https://discord.com/channels/960643023006490684/1239205785913790465/1239628496184279080 May 13, 2024]
|@mxdys
|35,788
|[https://discord.com/channels/960643023006490684/1239205785913790465/1239628496184279080 BB6_holdouts_35788.txt]
|C++ version of the deciders from [[Coq-BB5]] ran on Shawns 181,851 holdouts<ref>https://discord.com/channels/960643023006490684/1239205785913790465/1239275863699361813</ref>
|-
|May 27, 2023
|@sligocki
|181,851
|[https://drive.google.com/file/d/1YNwFCN6XJeDNKxxK5KbGHOAFOdIBvDb6/view?usp=drive_link 6x2.holdouts_181851.txt.gz]
|This was posted to the BBChallenge Forum (before Discord)
|-
|May 10, 2023
|@sligocki
|1,458,704
|[https://drive.google.com/file/d/14bDnBt0OwuHATFBiubc_5jub0220EyXf/view?usp=drive_link 6x2.holdouts_1458704.txt.gz]
|This was posted to the BBChallenge Forum (before Discord)
|}
 
=== BB(7) ===
{| class="wikitable sortable"
!Date
!Shared by
!Number of holdouts
!File
!Notes
|-
|?
|?
|15,743,264
|[https://drive.google.com/file/d/16gPFf6O5oz-JVFiDq43Hxe2AVTqX4VqX/view 7x2_holdouts_15743264.txt.zip]
|
|-
|[https://discord.com/channels/960643023006490684/1369339127652159509/1512553945837605016 June 5th, 2026]
|@davidsg7829
|16,949,557
|[https://drive.google.com/drive/folders/1mxNs8v9dg2V2TZ-lRRyWN0QdujM1Yh2s undecided_06.06.2026_16,949,557.txt.gz]
|
|-
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui May 25th, 2026]
|
|17,823,260
|[https://drive.google.com/file/d/1GFumm3tzm58Yxza_sD_BdJ3RMY_DKmRv/view 7x2_holdouts_17823260.txt.zip]
|Work done by Andrew Ducharme
|-
|[https://drive.google.com/drive/folders/1_lIqfvj4_J7WWl5LOBUp_pntoI99QYui October 25th, 2025]
|
|20,405,295
|[https://drive.google.com/file/d/12riXHC3Vz4tk_5mMV7__gZsF7hqAsZ_S/view bb7_holdouts_20405295.txt.gz]
|
|-
|[https://discord.com/channels/960643023006490684/1369339127652159509/1423806362072256676 October 4th, 2025]
|Andrew Ducharme
|22,721,168
|[https://drive.google.com/file/d/1xAFSPh6qAR8VxsF4QVipmdc0UpdPC1hn/view bb7_holdouts_22721168.txt.zip]
|
|}
 
=== BB(3,3) ===
{| class="wikitable sortable"
!Date
!Shared by
!Number of holdouts
!File
!Notes
|-
|November 10, 2024
|
|6
|[[:File:3x3 holdout 6.txt|3x3 holdout 6.txt]]
|4 holdouts up to equivalence (to be formalized)
|-
|[https://discord.com/channels/960643023006490684/1084047886494470185/1249142547217907772 June 9, 2024]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1249142547217907772 June 9, 2024]
|@Justin Blanchard
|@Justin Blanchard
Line 468: Line 494:
|
|
|-
|-
|BB(6)
|[https://discord.com/channels/960643023006490684/1084047886494470185/1116351783040716830 June 8, 2023]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1248708916381220954 June 7, 2024]
|@Iijil
|925
|[[:File:2023 06 08.3x3.holdouts intersect sligocki iijil 925.txt]]
|Intersection of @sligocki and @Iijil from below
|-
|[https://discord.com/channels/960643023006490684/1084047886494470185/1116351783040716830 June 8, 2023]
|@Iijil
|2,480
|[[:File:2023 06 08.3x3.holdouts iijil 2380.txt]]
|
|-
|[https://discord.com/channels/960643023006490684/1084047886494470185/1116178334620070000 June 7, 2023]
|@sligocki
|2,417
|[[:File:2023 06 07.3x3.holdouts 2417.txt]]
|
|}
 
=== BB(4,3) ===
{| class="wikitable sortable"
!Date
!Shared by
!Number of holdouts
!File
!Notes
|-
|[https://drive.google.com/drive/folders/1HBPZ17llVE_8wCy5FvRUFQ5MJsaYXAW- May 9th, 2026]
|@Andrew Ducharme
|5,127,263
|[https://drive.google.com/file/d/1xHukBgJnm1zctZkOMR0UzdQyzr4Fx5pC/view 4x3_holdouts_5127263.txt.zip]
|Work done by Andrew Ducharme
|-
|[https://drive.google.com/drive/folders/1HBPZ17llVE_8wCy5FvRUFQ5MJsaYXAW- April 26th, 2026]
|@Andrew Ducharme
|5,641,006
|[https://drive.google.com/file/d/1z8oBXUECL5dpUNAIqik2z_yI5JGmW79t/view 4x3_holdouts_5641006.txt.zip]
|Work done by Andrew Ducharme
|-
|[https://drive.google.com/drive/folders/1HBPZ17llVE_8wCy5FvRUFQ5MJsaYXAW- October 26th, 2025]
|
|9,401,447
|[https://drive.google.com/file/d/1r99v3dcdNTgGkmaydLKiZCp5KD3jGWeE/view 4x3_holdouts_9401447.txt.gz]
|
|-
|[https://drive.google.com/drive/folders/1qNssnvK3W2jJ68VBq9FJZMy9TvwbQk4_ October 20th, 2025]
|@tjligocki
|18,138,027
|[https://drive.google.com/file/d/1vHufk09pI7JcTSAOj1XOzcZXJoX1Wa2a/view 4x3_holdouts_18138027.txt.gz]
|
|-
|[https://discord.com/channels/960643023006490684/1084047886494470185/1320172124509311004 December 21, 2024]
|@tjligocki
|460,916,384
|[https://drive.google.com/file/d/1hKy0TuPuI62rN95j6ZLjXgE-Pue8tRsK/view?usp=drive_link 4x3_holdouts_460916384.txt.gz]
|[https://drive.google.com/drive/folders/1HBPZ17llVE_8wCy5FvRUFQ5MJsaYXAW-?usp=drive_link Google Drive directory for 4x3 TMs]
|}
 
=== BB(3,4) ===
{| class="wikitable sortable"
!Date
!Shared by
!Number of holdouts
!File
!Notes
|-
|[https://drive.google.com/drive/folders/1uGWJMYYuVGJj581GX_vlm3Wv1adYbcRs May 11th, 2026]
|@XnoobSpeakable
|11,362,197
|[https://drive.google.com/file/d/1-Fnexjfq0mWyZDPa2MNFmU64EpSu-3Ig/view 3x4_holdouts_11362197.zip]
|Work done by [[User:XnoobSpeakable|XnoobSpeakable]]
|-
|[https://drive.google.com/drive/folders/1lNKc_GF2sa5ZfosleAlMNBQ3uJV4qClo April 30th, 2026]
|@Andrew Ducharme
|12,049,358
|[https://drive.google.com/file/d/1xCtI58doiCoI3lU_oQjK_21zsLFLF9g3/view 3x4_holdouts_12049358.txt.zip]
|Work done by Andrew Ducharme
|-
|[https://drive.google.com/drive/folders/1pj0MJBCA1hk6NxSj0mYvu5iXbTtVRt64 December 31st, 2025]
|
|12,435,284
|[https://drive.google.com/file/d/15e-Lwl_F6Jn_HoYFPA2a94jLTjX1mmHd/view 3x4st10c_holdouts_12435284.txt]
|Work done by [[User:XnoobSpeakable|XnoobSpeakable]] and [[User:WarpedWartWars|Lúkos]].
|-
|[https://drive.google.com/drive/folders/1_5j19qrvo1q7jN_c0pYnjBOrIXAP6b7i October 4th, 2025]
|@tjligocki
|64,777,377
|[https://drive.google.com/file/d/1I3s3w-T4NPLn-eCdaZLPgC2Mya51pyvH/view?usp=drive_link 3x4_holdouts_64777377.txt.gz]
|Work done by [[User:XnoobSpeakable|XnoobSpeakable]] and [[User:WarpedWartWars|Lúkos]].
|-
|[https://discord.com/channels/960643023006490684/960643023530762341/1302767449476694188 November 3, 2024]
|@tjligocki
|434,787,751
|[https://drive.google.com/file/d/1PLzN3wLw-MRgk1OFmYh4RTwNc30nflR7/view?usp=drive_link 3x4_holdouts_434787751.txt.gz]
|[https://drive.google.com/drive/folders/1bZxl7jg5q9IVvHQNZwItx1kPusAWznZk?usp=drive_link Google Drive directory for 3x4 TMs]
|}
 
=== BB(2,5) ===
{| class="wikitable sortable"
!Date
!Shared by
!Number of holdouts
!File
!Notes
|-
|[https://discord.com/channels/960643023006490684/1259770421046411285/1567052029430595584 November 3, 2026]
|@mxdys
|@mxdys
|12,325
|37
|[[:File:BB6 holdouts 12325.txt]]
|[https://wiki.bbchallenge.org/w/images/c/cc/BB2x5_Rocq_holdouts_37.txt BB2x5_Rocq_holdouts_37.txt]
|Some equivalent machines are removed.
|Identical to informal list: Rocq-confirmation of the previous 22 proofs in Lean
|-
|[https://discord.com/channels/960643023006490684/1259770421046411285/1558248567800336394 October 9, 2026]
|@Andrew Ducharme
|37
|[https://wiki.bbchallenge.org/w/images/9/9b/Bb2x5_informalLast37.txt Bb2x5_informalLast37.txt]
|Unofficial: 22 proofs in Lean using GPT6 and Aristotle, to be independently
verified. Official count is 59, including the last halting TM found in Oct. 9.
|-
|[https://discord.com/channels/960643023006490684/1259770421046411285/1555690509245087827 October 2, 2026]
|@prurq
|38
|(To be done)
|
|-
|[https://discord.com/channels/960643023006490684/1259770421046411285/1553433274762919997 September 26, 2026]
|@prurq
|39
|(To be done)
|
|-
|[https://discord.com/channels/960643023006490684/1259770421046411285/1552990521650319453 September 25, 2026]
|@prurq
|40
|(To be done)
|
|-
|-
|[[BB(5)]]
|[https://discord.com/channels/960643023006490684/1259770421046411285/1546880921318326282 September 8, 2026]
|June 2024
|@mxdys
|BBChallenge
|60
|0
|[[:File:BB2x5 Rocq holdouts 60.txt]]
|
|
|'''BB(5) is SOLVED!'''
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1259770421046411285/1355593937531961365 March 29, 2025]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1245116022873264129 May 28, 2024]
|@mxdys
|@mxdys
|18,560
|83
|[https://discord.com/channels/960643023006490684/1239205785913790465/1245116022873264129 BB6_holdouts_18560.txt]
|[[:File:BB2x5 Coq holdouts 83.txt]]
|
|
|-
|-
|[[BB(2,5)]]
|[https://discord.com/channels/960643023006490684/1259770421046411285/1355608270810648759 March 17, 2025]
|@Peacemaker II
|Variable (from 217 list)
|[https://docs.google.com/spreadsheets/d/1qiZ3PJb_q4j9kddm0zZMionJhYCI_uEHr1bSmsBOlZs/edit?usp=drivesdk Google sheets]
|Annotated spreadsheet of holdouts, often up-to-date
|-
|[https://discord.com/channels/960643023006490684/1084047886494470185/1252989316175499284 June 19, 2024]
|@mxdys
|217
|[[:File:2x5_holdouts_217.txt]]
|273 holdouts minus machines solved by CTL
|-
|June 15th 2024
|@dyuan01
| 273
|[[:File:2x5_holdouts_273.txt]]
|@Justin Blanchard's 499 holdouts minus machines solved by @mxdys
|-
|[https://discord.com/channels/960643023006490684/1084047886494470185/1242679236142170203 May 22, 2024]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1242679236142170203 May 22, 2024]
|@Justin Blanchard
|@Justin Blanchard
Line 496: Line 666:
|
|
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1239628496184279080 May 13, 2024]
|@mxdys
|35,788
|[https://discord.com/channels/960643023006490684/1239205785913790465/1239628496184279080 BB6_holdouts_35788.txt]
|C++ version of the deciders from [[Coq-BB5]] ran on Shawns 181,851 holdouts<ref>https://discord.com/channels/960643023006490684/1239205785913790465/1239275863699361813</ref>
|-
|[[BB(2,5)]]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1233154495635259543 April 25, 2024]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1233154495635259543 April 25, 2024]
|@Justin Blanchard
|@Justin Blanchard
Line 510: Line 672:
|
|
|-
|-
|[[BB(2,5)]]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1232667326126489710 April 24, 2024]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1232667326126489710 April 24, 2024]
|@Justin Blanchard
|@Justin Blanchard
Line 517: Line 678:
|
|
|-
|-
|[[BB(2,5)]]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1231941302975987844 April 22, 2024]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1231941302975987844 April 22, 2024]
|@Justin Blanchard
|@Justin Blanchard
Line 524: Line 684:
|
|
|-
|-
|[[BB(2,5)]]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1230737657076650066 April 19, 2024]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1230737657076650066 April 19, 2024]
|@Justin Blanchard
|@Justin Blanchard
Line 531: Line 690:
|
|
|-
|-
|[[BB(2,5)]]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1230491507287523409 April 18, 2024]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1230491507287523409 April 18, 2024]
|@Justin Blanchard
|@Justin Blanchard
Line 538: Line 696:
|
|
|-
|-
|[[BB(2,5)]]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1230132897583857756 April 17, 2024]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1230132897583857756 April 17, 2024]
|@Justin Blanchard
|@Justin Blanchard
Line 545: Line 702:
|
|
|-
|-
|[[BB(2,5)]]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1229770471898087506 April 16, 2024]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1229770471898087506 April 16, 2024]
|@Justin Blanchard
|@Justin Blanchard
Line 552: Line 708:
|
|
|-
|-
|[[BB(2,5)]]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1229406059274305546 April 15, 2024]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1229406059274305546 April 15, 2024]
|@Justin Blanchard
|@Justin Blanchard
Line 559: Line 714:
|
|
|-
|-
|[[BB(2,5)]]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1228351493745152083 April 12, 2024]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1228351493745152083 April 12, 2024]
|@Justin Blanchard
|@Justin Blanchard
Line 565: Line 719:
|[https://discord.com/channels/960643023006490684/1084047886494470185/1228351493745152083 2x5.todo.txt]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1228351493745152083 2x5.todo.txt]
|
|
|}
=== BB(2,6) ===
{| class="wikitable sortable"
|+
!Date
!Shared by
!Number of holdouts
!File
!Notes
|-
|-
|[[BB(3,3)]]
|[https://drive.google.com/drive/folders/1TsSpW27x3LBlu5qmk-cjzCJzgo_3ehyT October 6th, 2025]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1116351783040716830 June 8, 2023]
|@tjligocki
|@Iijil
|870,085
|925
|[https://drive.google.com/file/d/1xZqEZFPke02pwBHX0EYsyDVaNU5o_OuO/view 2x6_holdouts_870085.txt.zip]
|[[:File:2023 06 08.3x3.holdouts intersect sligocki iijil 925.txt]]
|Work done by Andrew Ducharme.
|Intersection of @sligocki and @Iijil from below
|-
|-
|[[BB(3,3)]]
|[https://drive.google.com/drive/folders/1TsSpW27x3LBlu5qmk-cjzCJzgo_3ehyT September 16, 2025]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1116351783040716830 June 8, 2023]
|@Iijil
|2,480
|[[:File:2023 06 08.3x3.holdouts iijil 2380.txt]]
|
|
|970,101
|[https://drive.google.com/file/d/1Vjm3Qf-4a-Zr-E3EocjPWI5bjqH2YGil/view 2x6_holdouts_970101.txt.gz]
|Work done by Terry Ligocki
|-
|-
|[[BB(3,3)]]
|[https://drive.google.com/drive/folders/1TsSpW27x3LBlu5qmk-cjzCJzgo_3ehyT September 12, 2025]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1116178334620070000 June 7, 2023]
|@sligocki
|2,417
|[[:File:2023 06 07.3x3.holdouts 2417.txt]]
|
|
|20,358,011
|[https://drive.google.com/file/d/1YOoh4Zh2Jn5zaq9-C638S6VR_4jzd6pa/view 2x6_holdouts_20358011.zip]
|Work done by Andrew Ducharme
|-
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/960643023530762341/1303219184221683733 November 4, 2024]
|May 27, 2023
|@tjligocki
|@sligocki
|22,302,296
|181,851
|[https://drive.google.com/file/d/1xRLIjdiqImFP2SL38gvhxVlAaX0L1cYO/view?usp=drive_link 2x6_holdouts_22302296.txt.gz]
|[https://drive.google.com/file/d/1YNwFCN6XJeDNKxxK5KbGHOAFOdIBvDb6/view?usp=drive_link 6x2.holdouts_181851.txt.gz]
|[https://drive.google.com/drive/folders/1p9b5g-Id3WEMUYIwEnaKWRBGIW66ADjM?usp=drive_link Google Drive directory for 2x6 TMs]
|This was posted to the BBChallenge Forum (before Discord)
|-
|[[BB(6)]]
|May 10, 2023
|@sligocki
|1,458,704
|[https://drive.google.com/file/d/14bDnBt0OwuHATFBiubc_5jub0220EyXf/view?usp=drive_link 6x2.holdouts_1458704.txt.gz]
|This was posted to the BBChallenge Forum (before Discord)
|-
|[[BB(5)]]
|[https://skelet.ludost.net/bb/nreg.html circa May 13th, 2003]
|Georgi Georgiev (Skelet)
|43
|[https://bbchallenge.org/skelet List of 43 holdouts]
|
|}
|}


Line 620: Line 766:
!File
!File
!Notes
!Notes
|-
|BBB(4)
|August 2nd, 2026
|bbchallenge
|0
|
|BBB(4) had been proven to be 32,779,478 by August 2nd, 2026. See [https://github.com/carrino/Coq-BBB4 Coq-BBB4] for more details.
|-
|-
|BBB(4)
|BBB(4)
Line 663: Line 816:
!File
!File
!Notes
!Notes
|-
|BBi(8)
|[https://discord.com/channels/960643023006490684/1084047886494470185/1565202912903438408 October 29, 2026]
|@hipparcos
|8
|
|
|-
|BBi(8)
|[https://discord.com/channels/960643023006490684/1084047886494470185/1563758346396237935 October 25, 2026]
|@nickdrozd
|9
|[[File:BBi(8)_holdouts_9.txt]]
|
|-
|-
|BBi(8)
|BBi(8)
Line 676: Line 843:
|441
|441
|[https://discord.com/channels/960643023006490684/1084047886494470185/1424786698537271347 BBi8_holdouts_441.txt]
|[https://discord.com/channels/960643023006490684/1084047886494470185/1424786698537271347 BBi8_holdouts_441.txt]
|
|}
=== Instruction-limited Greedy Busy Beaver ===
{| class="wikitable sortable"
|+
!Domain
!Date
!Shared by
!Number of holdouts
!File
!Notes
|-
|gBBi(14)
|[https://discord.com/channels/960643023006490684/1084047886494470185/1404557883487551529 Aug 12, 2025]
|@MrBrain
|4
|[[File:gBBi(14) Holdouts 4.txt]]
|
|
|}
|}
Line 688: Line 873:
!File
!File
!Notes
!Notes
|-
|BBf(24)
|[https://github.com/int-y1/BBFractran/tree/main/holdout November 6, 2026]
|@-d
|2,117
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz24_2117.txt sz24_2117.txt]
|
|-
|BBf(24)
|[https://github.com/int-y1/BBFractran/tree/main/holdout October 27, 2026]
|@-d
|3,580
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz24_3580.txt sz24_3580.txt]
|nrdpc results made official
|-
|BBf(24)
|[https://github.com/int-y1/BBFractran/tree/main/holdout October 17, 2026]
|@-d
|10,572
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz24_10572.txt sz24_10572.txt]
|ndpc results made official
|-
|BBf(24)
|[https://github.com/int-y1/BBFractran/tree/main/holdout October 17, 2026]
|@-d
|10,678
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz24_10678.txt sz24_10678.txt]
|ndpc results made official
|-
|BBf(24)
|[https://discord.com/channels/960643023006490684/1438019511155691521/1548561426262790144 September 12, 2026]
|@-d
|85,726
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz24_85726.txt sz24_85726.txt]
|1dpc results made official
|-
|BBf(24)
|[https://discord.com/channels/960643023006490684/1438019511155691521/1548561426262790144 September 12, 2026]
|@-d
|231,432
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz24_231432.txt sz24_231432.txt]
|
|-
|BBf(24)
|[https://github.com/int-y1/BBFractran/tree/main/holdout September 6, 2026]
|@-d
|231,444
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz24_231444.txt sz24_231444.txt]
|
|-
|BBf(24)
|[https://github.com/int-y1/BBFractran/tree/main/holdout September 6, 2026]
|@-d
|298,146
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz24_298146.txt sz24_298146.txt]
|
|-
|BBf(24)
|[https://github.com/int-y1/BBFractran/tree/main/holdout September 5, 2026]
|@-d
|945,600
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz24_945600.zip sz24_945600.zip]
|
|-
|BBf(24)
|[https://github.com/int-y1/BBFractran/tree/main/holdout August 30, 2026]
|@-d
|6,733,785
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz24_6733785.zip sz24_6733785.zip]
|
|-
|BBf(23)
|[https://github.com/int-y1/BBFractran/tree/main/holdout August 5, 2026]
|@-d
|13
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz23_13_unofficial.txt sz23_13_unofficial.txt]
|Unofficial holdouts list, up to equivalences and implications (only hardest cases listed from 24 holdouts up to equivalences)
|-
|BBf(23)
|[https://github.com/int-y1/BBFractran/tree/main/holdout July 25, 2026]
|@-d
|694
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz23_694_unofficial.txt sz23_694_unofficial.txt]
|Unofficial holdouts list, reduction by Claude
|-
|BBf(23)
|[https://github.com/int-y1/BBFractran/tree/main/holdout July 25, 2026]
|@-d
|703
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz23_703_unofficial.txt sz23_703_unofficial.txt]
|Unofficial holdouts list, reduction by Claude
|-
|BBf(23)
|[https://github.com/int-y1/BBFractran/tree/main/holdout July 24, 2026]
|@-d
|8,021
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz23_8021_unofficial.txt sz23_8021_unofficial.txt]
|Unofficial holdouts list, reduction by Claude
|-
|BBf(23)
|[https://github.com/int-y1/BBFractran/tree/main/holdout July 11, 2026]
|@-d
|21,233
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz23_21233.txt sz23_21233.txt]
|Programs simulated to halting were removed
|-
|BBf(23)
|[https://github.com/int-y1/BBFractran/tree/main/holdout June 3, 2026]
|@-d
|21,295
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz23_21295.txt sz23_21295.txt]
|Programs simulated to halting were removed
|-
|BBf(23)
|[https://github.com/int-y1/BBFractran/tree/main/holdout June 2, 2026]
|@-d
|21,320
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz23_21320.txt sz23_21320.txt]
|Programs simluated to halting were removed
|-
|BBf(23)
|[https://github.com/int-y1/BBFractran/tree/main/holdout June 2, 2026]
|@-d
|28,100
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz23_28100.txt sz23_28100.txt]
|
|-
|BBf(23)
|[https://github.com/int-y1/BBFractran/tree/main/holdout June 2, 2026]
|@-d
|29,188
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz23_29188.txt sz23_29188.txt]
|
|-
|-
|BBf(23)
|BBf(23)
|[https://discord.com/channels/960643023006490684/1438019511155691521/1510749997392724190 May 31, 2026]
|[https://discord.com/channels/960643023006490684/1438019511155691521/1510749997392724190 May 31, 2026]
|@-d
|@-d
|29250
|29,250
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz23_29250.txt sz23_29250.txt]
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz23_29250.txt sz23_29250.txt]
|
|
Line 699: Line 1,017:
|[https://discord.com/channels/960643023006490684/1438019511155691521/1510749997392724190 May 31, 2026]
|[https://discord.com/channels/960643023006490684/1438019511155691521/1510749997392724190 May 31, 2026]
|@-d
|@-d
|94367
|94,367
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz23_94367.txt sz23_94367.txt]
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz23_94367.txt sz23_94367.txt]
|
|
Line 709: Line 1,027:
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz23_790335.txt sz23_790335.txt]
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz23_790335.txt sz23_790335.txt]
|
|
|-
|BBf(22)
|[https://github.com/int-y1/BBFractran/tree/main/holdout April 4, 2026]
|@-d
|3
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz22_3.txt sz22_3.txt]
|Holdout reduction by Claude Opus 4.6
|-
|BBf(21)
|[https://discord.com/channels/960643023006490684/1438019511155691521/1485168251997786173 March 28, 2026]
|@-d
|0
|
|Claude Opus 4.6's proof of nonhalting of all the 140 remaining BBf(21) holdouts: [https://discord.com/channels/960643023006490684/1438019511155691521/1485168251997786173 March 28th, 2026]
|-
|-
|BBf(22)
|BBf(22)
|[https://discord.com/channels/960643023006490684/1438019511155691521/1464873923647639703 January 25, 2026]
|[https://discord.com/channels/960643023006490684/1438019511155691521/1464873923647639703 January 25, 2026]
|@-d
|@-d
|2003
|2,003
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz22_2003_unofficial.txt sz22_2003_unofficial.txt]
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz22_2003_unofficial.txt sz22_2003_unofficial.txt]
|Result of the beeping permutation decider being run on sz22_5682.txt
|Result of the beeping permutation decider being run on sz22_5682.txt
Line 734: Line 1,066:
|[https://discord.com/channels/960643023006490684/1438019511155691521/1456498841334317210 January 2, 2026]
|[https://discord.com/channels/960643023006490684/1438019511155691521/1456498841334317210 January 2, 2026]
|@-d
|@-d
|5682
|5,682
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz22_5682.txt sz22_5682.txt]
|[https://github.com/int-y1/BBFractran/blob/main/holdout/sz22_5682.txt sz22_5682.txt]
|
|
Line 762: Line 1,094:
|[https://discord.com/channels/960643023006490684/1438019511155691521/1449536000098308236 December 13, 2025]
|[https://discord.com/channels/960643023006490684/1438019511155691521/1449536000098308236 December 13, 2025]
|@Sligocki
|@Sligocki
|10441
|10,441
|[https://discord.com/channels/960643023006490684/1438019511155691521/1449536000098308236 sz22_10441.txt]
|[https://discord.com/channels/960643023006490684/1438019511155691521/1449536000098308236 sz22_10441.txt]
|17 known halters are removed
|17 known halters are removed
Line 769: Line 1,101:
|[https://discord.com/channels/960643023006490684/1438019511155691521/1448806255261913199 December 11, 2025]
|[https://discord.com/channels/960643023006490684/1438019511155691521/1448806255261913199 December 11, 2025]
|@Sligocki
|@Sligocki
|10458
|10,458
|[https://discord.com/channels/960643023006490684/1438019511155691521/1448806255261913199 sz22_10457.txt]
|[https://discord.com/channels/960643023006490684/1438019511155691521/1448806255261913199 sz22_10457.txt]
|Known halters are removed
|Known halters are removed
Line 776: Line 1,108:
|[https://discord.com/channels/960643023006490684/1438019511155691521/1448729669263163596 December 11, 2025]
|[https://discord.com/channels/960643023006490684/1438019511155691521/1448729669263163596 December 11, 2025]
|@dyuan01
|@dyuan01
|11130
|11,130
|[https://discord.com/channels/960643023006490684/1438019511155691521/1448729669263163596 message.txt]
|[https://discord.com/channels/960643023006490684/1438019511155691521/1448729669263163596 message.txt]
|
|
Line 783: Line 1,115:
|[https://discord.com/channels/960643023006490684/1438019511155691521/1448214077028569098 December 10, 2025]
|[https://discord.com/channels/960643023006490684/1438019511155691521/1448214077028569098 December 10, 2025]
|@-d
|@-d
|91123
|91,123
|[https://raw.githubusercontent.com/int-y1/BBFractran/refs/heads/main/holdout/sz22_91123.txt sz22_91123.txt]
|[https://raw.githubusercontent.com/int-y1/BBFractran/refs/heads/main/holdout/sz22_91123.txt sz22_91123.txt]
|Initial enumeration
|Initial enumeration
Line 825: Line 1,157:
!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)
|[https://discord.com/channels/960643023006490684/1243312334907375676/1533832727441178644 August 3, 2026]
|@creeperman7002
|630
|[https://discord.com/channels/960643023006490684/1243312334907375676/1533832727441178644 TT2x4_holdouts_630.txt]
|
|-
|-
|TT(2,4)
|TT(2,4)
Line 850: Line 1,196:
!File
!File
!Notes
!Notes
|-
|BBλ(42)
|[https://discord.com/channels/960643023006490684/1355653587824283678/1517130491512492083 June 18, 2026]
|@C++DSucker
|Variable (137)
|[https://docs.google.com/spreadsheets/d/1jZ6TK9m3xmXUlC69727T-8WwvhALcsp8FrK6DzgThtw/edit?gid=1544675322#gid=1544675322 Spreadsheet]
|
|-
|BBλ(41)
|[https://discord.com/channels/960643023006490684/1355653587824283678/1516447472044478574 June 17, 2026]
|@C++DSucker
|0
|[https://docs.google.com/spreadsheets/d/1jZ6TK9m3xmXUlC69727T-8WwvhALcsp8FrK6DzgThtw/edit?gid=1502335946#gid=1502335946 Spreadsheet]
|'''BBλ(41) was solved on August 7th, 2026'''
|-
|BBλ(40)
|[https://discord.com/channels/960643023006490684/1355653587824283678/1514278632695005224 June 10, 2026]
|@C++DSucker
|0
|[https://docs.google.com/spreadsheets/d/1jZ6TK9m3xmXUlC69727T-8WwvhALcsp8FrK6DzgThtw/edit?gid=741510300#gid=741510300 Spreadsheet]
|'''BBλ(40) was solved on July 20th, 2026'''
|-
|-
|BBλ(39)
|BBλ(39)
|[https://discord.com/channels/960643023006490684/1355653587824283678/1492187654429868062 April 10, 2026]
|[https://discord.com/channels/960643023006490684/1355653587824283678/1492187654429868062 April 10, 2026]
|@Sligocki
|@Sligocki
|Variable (49)
|0
|[https://docs.google.com/spreadsheets/d/1jZ6TK9m3xmXUlC69727T-8WwvhALcsp8FrK6DzgThtw/edit?gid=1717120706#gid=1717120706 Spreadsheet]
|[https://docs.google.com/spreadsheets/d/1jZ6TK9m3xmXUlC69727T-8WwvhALcsp8FrK6DzgThtw/edit?gid=1717120706#gid=1717120706 Spreadsheet]
|
|'''BBλ(39) was solved on June 10th, 2026'''
|-
|-
|BBλ(38)
|BBλ(38)
Line 870: Line 1,237:
|92
|92
|[https://docs.google.com/spreadsheets/d/1yoiez7lDjZ-vRzj8NFWKWOxGlkK9IE_KWMUjeSWYWkw/edit?gid=0#gid=0 BBλ(37) 92 holdouts progress]
|[https://docs.google.com/spreadsheets/d/1yoiez7lDjZ-vRzj8NFWKWOxGlkK9IE_KWMUjeSWYWkw/edit?gid=0#gid=0 BBλ(37) 92 holdouts progress]
|BBλ(37) has since been solved
|'''BBλ(37) was solved on April 19th, 2025'''
|-
|-
|BBλ(37)
|BBλ(37)
Line 899: Line 1,266:
|[https://discord.com/channels/960643023006490684/1243312334907375676/1354352262562189344 BBL(37).txt]
|[https://discord.com/channels/960643023006490684/1243312334907375676/1354352262562189344 BBL(37).txt]
|
|
|}
=== CounterScript ===
{| class="wikitable sortable"
|+
!Domain
!Date
!Shared by
!Number of holdouts
!File
!Notes
|-
|BBCS(11)
|September 15, 2026
|@Etalon
|0
|[https://cable.ayra.ch/empty/?id=0 Empty]
|The holdout was resolved by hand.
|-
|BBCS(11)
|[https://github.com/AzertyWasTaken/CounterScript/tree/main/Holdouts July 10, 2026]
|@Azerty
|1
|[https://github.com/AzertyWasTaken/CounterScript/blob/main/Holdouts/11.txt 11.txt]
|The holdout may be resolved by hand.
|}
|}


== References ==
== References ==

Latest revision as of 11:57, 8 November 2026

A holdout (or undecided machine) is a Turing machine for which it is not known whether the machine halts or not from an all-0 input tape. Holdouts are the machines which deciders are yet unable to decide. Contributors have shared lists of holdouts. Some lists exclude known equivalent machines, i.e., machines whose halting status is implied by the halting status of another machine. If a holdout machine with more than one undefined transitions is found to reach a undefined transition, the number of holdouts may increase as a consequence of TNF enumeration.

Number of holdouts
2-state 3-state 4-state 5-state 6-state 7-state
2-symbol 0 0 0 0 608 12,765,773
3-symbol 0 4 (formal: 6) 4,673,384
4-symbol 0 11,362,197
5-symbol 37
6-symbol 389,503
7-symbol 3,125,433,611

Downloadable Holdouts Lists

This is a table where people have added lists with no restriction or independent verification. For some of the entries there is a reference to a spreadsheet that documents what was run to achieve the result. For others, there is additional documentation on the specific BB pages.

BB(5)

Date Shared by Number of holdouts File Notes
July 2nd, 2024 bbchallenge 0 List of 0 holdouts BB(5) is solved!
circa May 13th, 2003 Georgi Georgiev (Skelet) 43 List of 43 holdouts

BB(6)

Date Shared by Number of holdouts File Notes
October 30th, 2026 @mxdys 608 BB6_holdouts_608.txt
October 24th, 2026 @mxdys 623 BB6_holdouts_623.txt
October 16th, 2026 @mxdys 663 BB6_holdouts_663.txt
October 15th, 2026 @mxdys 698 BB6_holdouts_698.txt
October 10th, 2026 @mxdys 740 BB6_holdouts_740.txt
October 7th, 2026 @mxdys 778 BB6_holdouts_778.txt
September 30th, 2026 @mxdys 797 BB6_holdouts_797.txt
September 24th, 2026 @mxdys 815 BB6_holdouts_815.txt
September 16th, 2026 @mxdys 855 BB6_holdouts_855.txt Most holdouts solved between holdout lists since November 28, 2025.
September 8th, 2026 @mxdys 964 BB6_holdouts_964.txt
August 31st, 2026 @mxdys 999 No independent file
August 30th, 2026 @mxdys 1003 BB6_holdouts_1003.txt
August 15th, 2026 @mxdys 1016 BB6_holdouts_1016.txt
July 28th, 2026 @mxdys 1064 BB6_holdouts_1064.txt
June 29th, 2026 @mxdys 1094 BB6_holdouts_1094.txt
April 29th, 2026 @mxdys 1104 BB6_holdouts_1104.txt More reduction by equivalences
April 25th, 2026 @mxdys 1119 BB6_holdouts_1119.txt Reduction by equivalences, one halting TM
March 25th, 2026 @mxdys 1161 BB6_holdouts_1161.txt
February 28th, 2026 @mxdys 1214 BB6_holdouts_1214.txt
February 19th, 2026 @mxdys 1226 BB6_holdouts_1226.txt
January 29th, 2026 @mxdys 1314 BB6_holdouts_1314.txt
December 30th, 2025 @mxdys 1326 BB6_holdouts_1326.txt
November 22nd, 2025 Robin Rovenszky Variable Google Sheets Annotated list, including links to Discord discussions, often up-to-date.
December 16th, 2025 @mxdys 1343 BB6_holdouts_1343.txt
November 28th, 2025 @mxdys 1416 BB6_holdouts_1416.txt
November 14th, 2025 @mxdys 1534 BB6_holdouts_1534.txt
October 20th, 2025 @mxdys 1618 BB6 holdouts 1618.txt
September 21, 2025 @mxdys 1691 BB6_holdouts_1691.txt
August 30 2025 @mxdys 2592 BB6 holdouts 2592.txt
July 29 2025 @mxdys 2728 BB6 holdouts 2728.txt
July 13, 2025 @mxdys 2891 BB6_holdouts_2891.txt
July 5, 2025 @mxdys 3094 BB6_holdouts_3094.txt
June 18, 2025 @mxdys 3335 BB6_holdouts_3335.txt
March 1, 2025 @mxdys 3571 BB6_holdouts_3571.txt
November 25, 2024 (@icy) @tjligocki 4319 Spreadsheet of holdouts Keeping track of BB(6) progress - informal.
November 8, 2024 @mxdys 4408 BB6_holdouts_4408.txt
October 19, 2024 @mxdys 4521 BB6_holdouts_4521.txt
September 23, 2024 @mxdys 4741 BB6_holdouts_4741.txt
September 7, 2024 @mxdys 4986 BB6_holdouts_4986.txt
September 2, 2024 @mxdys 5394 File:BB6 holdouts 5394.txt
August 4, 2024 @mxdys 5877 File:BB6 holdouts 5877.txt
July 28, 2024 @mxdys 6417 BB6_holdouts_6417.txt
July 15, 2024 @mxdys 7013 BB6_holdouts_7013.txt
July 14, 2024 @Justin Blanchard 7255 BB6_holdouts_7255.txt Work done by Justin Blanchard
July 6, 2024 @mxdys 7296 File:BB6 holdouts 7296.txt
July 6, 2024 @Justin Blanchard 7430 BB6_holdouts_7430.txt Work done by Justin Blanchard
July 5, 2024 @mxdys 7449 BB6_holdouts_7449.txt
June 28, 2024 @mxdys 9366 BB6_holdouts_9366.txt
June 24, 2024 @Justin Blanchard 9853 BB6_holdouts_9853.txt
June 21, 2024 @mxdys 10,020 BB6_holdouts_10020.txt Work done by Justin Blanchard
June 20, 2024 @mxdys 10,944 BB6_holdouts_10944.txt
June 13, 2024 @tjligocki 12,091 File:BB6 holdouts 12091.txt Work done with @Shawn Ligocki
June 7, 2024 @mxdys 12,325 File:BB6 holdouts 12325.txt Some equivalent machines are removed.
May 28, 2024 @mxdys 18,560 BB6_holdouts_18560.txt
May 13, 2024 @mxdys 35,788 BB6_holdouts_35788.txt C++ version of the deciders from Coq-BB5 ran on Shawns 181,851 holdouts[1]
May 27, 2023 @sligocki 181,851 6x2.holdouts_181851.txt.gz This was posted to the BBChallenge Forum (before Discord)
May 10, 2023 @sligocki 1,458,704 6x2.holdouts_1458704.txt.gz This was posted to the BBChallenge Forum (before Discord)

BB(7)

Date Shared by Number of holdouts File Notes
? ? 15,743,264 7x2_holdouts_15743264.txt.zip
June 5th, 2026 @davidsg7829 16,949,557 undecided_06.06.2026_16,949,557.txt.gz
May 25th, 2026 17,823,260 7x2_holdouts_17823260.txt.zip Work done by Andrew Ducharme
October 25th, 2025 20,405,295 bb7_holdouts_20405295.txt.gz
October 4th, 2025 Andrew Ducharme 22,721,168 bb7_holdouts_22721168.txt.zip

BB(3,3)

Date Shared by Number of holdouts File Notes
November 10, 2024 6 3x3 holdout 6.txt 4 holdouts up to equivalence (to be formalized)
June 9, 2024 @Justin Blanchard 22 File:3x3.todo.txt, File:Mugshots small.pdf
June 8, 2023 @Iijil 925 File:2023 06 08.3x3.holdouts intersect sligocki iijil 925.txt Intersection of @sligocki and @Iijil from below
June 8, 2023 @Iijil 2,480 File:2023 06 08.3x3.holdouts iijil 2380.txt
June 7, 2023 @sligocki 2,417 File:2023 06 07.3x3.holdouts 2417.txt

BB(4,3)

Date Shared by Number of holdouts File Notes
May 9th, 2026 @Andrew Ducharme 5,127,263 4x3_holdouts_5127263.txt.zip Work done by Andrew Ducharme
April 26th, 2026 @Andrew Ducharme 5,641,006 4x3_holdouts_5641006.txt.zip Work done by Andrew Ducharme
October 26th, 2025 9,401,447 4x3_holdouts_9401447.txt.gz
October 20th, 2025 @tjligocki 18,138,027 4x3_holdouts_18138027.txt.gz
December 21, 2024 @tjligocki 460,916,384 4x3_holdouts_460916384.txt.gz Google Drive directory for 4x3 TMs

BB(3,4)

Date Shared by Number of holdouts File Notes
May 11th, 2026 @XnoobSpeakable 11,362,197 3x4_holdouts_11362197.zip Work done by XnoobSpeakable
April 30th, 2026 @Andrew Ducharme 12,049,358 3x4_holdouts_12049358.txt.zip Work done by Andrew Ducharme
December 31st, 2025 12,435,284 3x4st10c_holdouts_12435284.txt Work done by XnoobSpeakable and Lúkos.
October 4th, 2025 @tjligocki 64,777,377 3x4_holdouts_64777377.txt.gz Work done by XnoobSpeakable and Lúkos.
November 3, 2024 @tjligocki 434,787,751 3x4_holdouts_434787751.txt.gz Google Drive directory for 3x4 TMs

BB(2,5)

Date Shared by Number of holdouts File Notes
November 3, 2026 @mxdys 37 BB2x5_Rocq_holdouts_37.txt Identical to informal list: Rocq-confirmation of the previous 22 proofs in Lean
October 9, 2026 @Andrew Ducharme 37 Bb2x5_informalLast37.txt Unofficial: 22 proofs in Lean using GPT6 and Aristotle, to be independently

verified. Official count is 59, including the last halting TM found in Oct. 9.

October 2, 2026 @prurq 38 (To be done)
September 26, 2026 @prurq 39 (To be done)
September 25, 2026 @prurq 40 (To be done)
September 8, 2026 @mxdys 60 File:BB2x5 Rocq holdouts 60.txt
March 29, 2025 @mxdys 83 File:BB2x5 Coq holdouts 83.txt
March 17, 2025 @Peacemaker II Variable (from 217 list) Google sheets Annotated spreadsheet of holdouts, often up-to-date
June 19, 2024 @mxdys 217 File:2x5_holdouts_217.txt 273 holdouts minus machines solved by CTL
June 15th 2024 @dyuan01 273 File:2x5_holdouts_273.txt @Justin Blanchard's 499 holdouts minus machines solved by @mxdys
May 22, 2024 @Justin Blanchard 499 File:2x5.todo.txt
April 25, 2024 @Justin Blanchard 920 2x5.todo.txt
April 24, 2024 @Justin Blanchard 1045 2x5.todo.txt
April 22, 2024 @Justin Blanchard 1588 2x5.todo.txt
April 19, 2024 @Justin Blanchard 1835 2x5.todo.txt
April 18, 2024 @Justin Blanchard 1921 2x5.todo.txt
April 17, 2024 @Justin Blanchard 2354 2x5.todo.txt
April 16, 2024 @Justin Blanchard 2438 2x5.todo.txt
April 15, 2024 @Justin Blanchard 2564 2x5.todo.txt
April 12, 2024 @Justin Blanchard 3364 2x5.todo.txt

BB(2,6)

Date Shared by Number of holdouts File Notes
October 6th, 2025 @tjligocki 870,085 2x6_holdouts_870085.txt.zip Work done by Andrew Ducharme.
September 16, 2025 970,101 2x6_holdouts_970101.txt.gz Work done by Terry Ligocki
September 12, 2025 20,358,011 2x6_holdouts_20358011.zip Work done by Andrew Ducharme
November 4, 2024 @tjligocki 22,302,296 2x6_holdouts_22302296.txt.gz Google Drive directory for 2x6 TMs

Busy Beaver adjacent holdouts lists

Beeping Busy Beaver

Domain Date Shared by Number of holdouts File Notes
BBB(4) August 2nd, 2026 bbchallenge 0 BBB(4) had been proven to be 32,779,478 by August 2nd, 2026. See Coq-BBB4 for more details.
BBB(4) June 26, 2025 @mxdys 3713 BBB4_holdouts_3713.txt

Reversible Turing machines

Domain Date Shared by Number of holdouts File Notes
BBrev(6) July 31, 2025 @Sligocki 388 BBrev6_holdouts_388.txt
BBrev(6) July 31, 2025 @Sligocki 409 BBrev6_holdouts_409.txt

Instruction-limited Busy Beaver

Domain Date Shared by Number of holdouts File Notes
BBi(8) October 29, 2026 @hipparcos 8
BBi(8) October 25, 2026 @nickdrozd 9 File:BBi(8) holdouts 9.txt
BBi(8) October 7, 2025 @Shawn Ligocki 348 bbi8_holdouts_348.txt
BBi(8) October 6, 2025 @Peacemaker II 441 BBi8_holdouts_441.txt

Instruction-limited Greedy Busy Beaver

Domain Date Shared by Number of holdouts File Notes
gBBi(14) Aug 12, 2025 @MrBrain 4 File:GBBi(14) Holdouts 4.txt

Fractran

Domain Date Shared by Number of holdouts File Notes
BBf(24) November 6, 2026 @-d 2,117 sz24_2117.txt
BBf(24) October 27, 2026 @-d 3,580 sz24_3580.txt nrdpc results made official
BBf(24) October 17, 2026 @-d 10,572 sz24_10572.txt ndpc results made official
BBf(24) October 17, 2026 @-d 10,678 sz24_10678.txt ndpc results made official
BBf(24) September 12, 2026 @-d 85,726 sz24_85726.txt 1dpc results made official
BBf(24) September 12, 2026 @-d 231,432 sz24_231432.txt
BBf(24) September 6, 2026 @-d 231,444 sz24_231444.txt
BBf(24) September 6, 2026 @-d 298,146 sz24_298146.txt
BBf(24) September 5, 2026 @-d 945,600 sz24_945600.zip
BBf(24) August 30, 2026 @-d 6,733,785 sz24_6733785.zip
BBf(23) August 5, 2026 @-d 13 sz23_13_unofficial.txt Unofficial holdouts list, up to equivalences and implications (only hardest cases listed from 24 holdouts up to equivalences)
BBf(23) July 25, 2026 @-d 694 sz23_694_unofficial.txt Unofficial holdouts list, reduction by Claude
BBf(23) July 25, 2026 @-d 703 sz23_703_unofficial.txt Unofficial holdouts list, reduction by Claude
BBf(23) July 24, 2026 @-d 8,021 sz23_8021_unofficial.txt Unofficial holdouts list, reduction by Claude
BBf(23) July 11, 2026 @-d 21,233 sz23_21233.txt Programs simulated to halting were removed
BBf(23) June 3, 2026 @-d 21,295 sz23_21295.txt Programs simulated to halting were removed
BBf(23) June 2, 2026 @-d 21,320 sz23_21320.txt Programs simluated to halting were removed
BBf(23) June 2, 2026 @-d 28,100 sz23_28100.txt
BBf(23) June 2, 2026 @-d 29,188 sz23_29188.txt
BBf(23) May 31, 2026 @-d 29,250 sz23_29250.txt
BBf(23) May 31, 2026 @-d 94,367 sz23_94367.txt
BBf(23) May 30, 2026 @-d 790,335 sz23_790335.txt
BBf(22) April 4, 2026 @-d 3 sz22_3.txt Holdout reduction by Claude Opus 4.6
BBf(21) March 28, 2026 @-d 0 Claude Opus 4.6's proof of nonhalting of all the 140 remaining BBf(21) holdouts: March 28th, 2026
BBf(22) January 25, 2026 @-d 2,003 sz22_2003_unofficial.txt Result of the beeping permutation decider being run on sz22_5682.txt
BBf(21) January 25, 2026 @-d 140 sz21_140_unofficial.txt Result of the beeping permutation decider being run on sz21_345.txt
BBf(21) January 22, 2026 @-d 143 sz21_143_workinprogress.txt
BBf(22) January 2, 2026 @-d 5,682 sz22_5682.txt
BBf(21) January 2, 2026 @-d 345 sz21_345.txt
BBf(21) December 15, 2025 @Sligocki 394 sz21_394.txt
BBf(20) December 15, 2025 @Sligocki 6 sz20_6.txt BBf(20) has since been solved
BBf(22) December 13, 2025 @Sligocki 10,441 sz22_10441.txt 17 known halters are removed
BBf(22) December 11, 2025 @Sligocki 10,458 sz22_10457.txt Known halters are removed
BBf(22) December 11, 2025 @dyuan01 11,130 message.txt
BBf(22) December 10, 2025 @-d 91,123 sz22_91123.txt Initial enumeration
BBf(21) November 17, 2025 @Sligocki 760 sz21_760.txt 23 halting machines are removed
BBf(21) November 16, 2025 @dyuan01 783 message.txt
BBf(20) November 13, 2025 @dyuan01 279 message.txt
BBf(20) November 13, 2025 @-d 902 sz20_902.txt

Terminating Turmites

Domain Date Shared by Number of holdouts File Notes
TT(3,3) August 11, 2026 @creeperman7002 19368 3x3_holdouts_19368.txt
TT(2,4) August 3, 2026 @creeperman7002 630 TT2x4_holdouts_630.txt
TT(2,4) August 1, 2025 @creeperman7002 2298 holdout_2x4_2298.txt
TT(4) July 12, 2025 @creeperman7002 99 holdout4x2.txt

Busy Beaver for Lambda Calculus

Domain Date Shared by Number of holdouts File Notes
BBλ(42) June 18, 2026 @C++DSucker Variable (137) Spreadsheet
BBλ(41) June 17, 2026 @C++DSucker 0 Spreadsheet BBλ(41) was solved on August 7th, 2026
BBλ(40) June 10, 2026 @C++DSucker 0 Spreadsheet BBλ(40) was solved on July 20th, 2026
BBλ(39) April 10, 2026 @Sligocki 0 Spreadsheet BBλ(39) was solved on June 10th, 2026
BBλ(38) April 19, 2025 @Sligocki 0 Spreadsheet BBλ(38) was solved on April 13th, 2026
BBλ(37) March 27, 2025 @Racheline 92 BBλ(37) 92 holdouts progress BBλ(37) was solved on April 19th, 2025
BBλ(37) March 26, 2025 @Racheline 216 BBL(37)_216.txt
BBλ(37) March 26, 2025 @Racheline 278 BBL2(37)_278.txt
BBλ(37) March 26, 2025 @Sam 317 BBL2(37)_317.txt
BBλ(37) March 26, 2025 @Sam 333 BBL(37).txt

CounterScript

Domain Date Shared by Number of holdouts File Notes
BBCS(11) September 15, 2026 @Etalon 0 Empty The holdout was resolved by hand.
BBCS(11) July 10, 2026 @Azerty 1 11.txt The holdout may be resolved by hand.

References

  1. ↑ https://discord.com/channels/960643023006490684/1239205785913790465/1239275863699361813
Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=Holdouts_lists&oldid=10407"