Holdouts lists: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
← Older editNewer edit →
VisualWikitext
Polygon (talk | contribs)
1,847 edits
→Downloadable Holdouts Lists: Added BB(6) 9,853 holdouts list
Polygon (talk | contribs)
1,847 edits
→Downloadable Holdouts Lists: Added BB(6) 9366 holdouts list
Line 157: Line 157:
|[https://discord.com/channels/960643023006490684/1239205785913790465/1411308408220549140 August 30 2025]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1411308408220549140 August 30 2025]
|@mxdys
|@mxdys
|2,592
|2592
|[[:File:BB6 holdouts 2592.txt|BB6 holdouts 2592.txt]]
|[[:File:BB6 holdouts 2592.txt|BB6 holdouts 2592.txt]]
|-
|-
Line 163: Line 163:
|[https://discord.com/channels/960643023006490684/1239205785913790465/1399783936019664896 July 29 2025]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1399783936019664896 July 29 2025]
|@mxdys
|@mxdys
|2,728
|2728
|[[:File:BB6 holdouts 2728.txt|BB6 holdouts 2728.txt]]
|[[:File:BB6 holdouts 2728.txt|BB6 holdouts 2728.txt]]
|
|
Line 184: Line 184:
|[https://discord.com/channels/960643023006490684/1239205785913790465/1310648046576730124 November 25, 2024 (@icy)]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1310648046576730124 November 25, 2024 (@icy)]
|@tjligocki
|@tjligocki
|4,319
|4319
|[https://docs.google.com/spreadsheets/d/1grhW_0neb2I8TfceN5-v70_3W42Z2U159r9L6FhPGf8/edit?usp=sharing Spreadsheet of holdouts]
|[https://docs.google.com/spreadsheets/d/1grhW_0neb2I8TfceN5-v70_3W42Z2U159r9L6FhPGf8/edit?usp=sharing Spreadsheet of holdouts]
|Keeping track of BB(6) progress - informal.
|Keeping track of BB(6) progress - informal.
Line 198: Line 198:
|[https://discordapp.com/channels/960643023006490684/1239205785913790465/1304303803213942846 November 8, 2024]
|[https://discordapp.com/channels/960643023006490684/1239205785913790465/1304303803213942846 November 8, 2024]
|@mxdys
|@mxdys
|4,408
|4408
|[[:File:BB6 holdouts 4408.txt|BB6_holdouts_4408.txt]]
|[[:File:BB6 holdouts 4408.txt|BB6_holdouts_4408.txt]]
|
|
Line 235: Line 235:
|7296
|7296
|[[:File:BB6 holdouts 7296.txt]]
|[[:File:BB6 holdouts 7296.txt]]
|
|-
|[[BB(6)]]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1256254912573079572 June 28, 2024]
|@mxdys
|9366
|[https://discord.com/channels/960643023006490684/1239205785913790465/1256254912573079572 BB6_holdouts_9366.txt]
|
|
|-
|-
Line 240: Line 247:
|[https://discord.com/channels/960643023006490684/1239205785913790465/1254684723955896362 June 24, 2024]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1254684723955896362 June 24, 2024]
|@Justin Blanchard
|@Justin Blanchard
|9,853
|9853
|[https://discord.com/channels/960643023006490684/1239205785913790465/1254684723955896362 BB6_holdouts_9853.txt]
|[https://discord.com/channels/960643023006490684/1239205785913790465/1254684723955896362 BB6_holdouts_9853.txt]
|
|

Revision as of 12:01, 28 March 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 1161 18,036,852
3-symbol 0 4 9,401,447
4-symbol 0 12,435,284
5-symbol 69
6-symbol 548,993

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 space Date Shared by Number of holdouts File Notes
BB(6) March 25th, 2026 @mxdys 1161 BB6_holdouts_1161.txt
BB(6) February 28th, 2026 @mxdys 1214 BB6_holdouts_1214.txt
BB(6) February 19th, 2026 @mxdys 1226 BB6_holdouts_1226.txt
BB(6) January 29th, 2026 @mxdys 1314 BB6_holdouts_1314.txt
BB(6) December 30th, 2025 @mxdys 1326 BB6_holdouts_1326.txt
BB(6) November 22nd, 2025 Robin Rovenszky Variable Google Sheets Annotated list, including links to Discord discussions, always up-to-date.
BB(6) December 16th, 2025 @mxdys 1343 BB6_holdouts_1343.txt
BB(6) November 28th, 2025 @mxdys 1416 BB6_holdouts_1416.txt
BB(6) November 14th, 2025 @mxdys 1534 BB6_holdouts_1534.txt
BB(6) October 20th, 2025 @mxdys 1618 BB6 holdouts 1618.txt
BB(3,4) October 4th, 2025 @tjligocki 64,777,377 3x4_holdouts_64777377.txt.gz Work done by XnoobSpeakable and Lúkos.
BB(7) October 4th, 2025 Andrew Ducharme 22,721,168 bb7_holdouts_22721168.txt.zip
BB(2,6) September 22nd, 2025 @tjligocki 873,469 2x6_holdouts_873469.txt.zip Work done by Andrew Ducharme.
BB(6) August 30 2025 @mxdys 2592 BB6 holdouts 2592.txt
BB(6) July 29 2025 @mxdys 2728 BB6 holdouts 2728.txt
BB(2,5) March 29 2025 @mxdys 83 File:BB2x5 Coq holdouts 83.txt
BB(4,3) December 21, 2024 @tjligocki 460,916,384 4x3_holdouts_460916384.txt.gz Google Drive directory for 4x3 TMs
BB(6) November 25, 2024 (@icy) @tjligocki 4319 Spreadsheet of holdouts Keeping track of BB(6) progress - informal.
BB(3,3) November 10, 2024 6 3x3 holdout 6.txt
BB(6) November 8, 2024 @mxdys 4408 BB6_holdouts_4408.txt
BB(2,6) November 4, 2024 @tjligocki 22,302,296 2x6_holdouts_22302296.txt.gz Google Drive directory for 2x6 TMs
BB(3,4) November 3, 2024 @tjligocki 434,787,751 3x4_holdouts_434787751.txt.gz Google Drive directory for 3x4 TMs
BB(6) September 2, 2024 @mxdys 5394 File:BB6 holdouts 5394.txt
BB(6) August 4, 2024 @mxdys 5877 File:BB6 holdouts 5877.txt
BB(6) July 6, 2024 @mxdys 7296 File:BB6 holdouts 7296.txt
BB(6) June 28, 2024 @mxdys 9366 BB6_holdouts_9366.txt
BB(6) June 24, 2024 @Justin Blanchard 9853 BB6_holdouts_9853.txt
BB(6) June 21, 2024 @mxdys 10,020 BB6_holdouts_10020.txt Work done by Justin Blanchard
BB(6) June 20, 2024 @mxdys 10,944 BB6_holdouts_10944.txt
BB(2,5) 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) June 13, 2024 @tjligocki 12,091 File:BB6 holdouts 12091.txt Work done with @Shawn Ligocki
BB(3,3) June 9, 2024 @Justin Blanchard 22 File:3x3.todo.txt, File:Mugshots small.pdf
BB(6) June 7, 2024 @mxdys 12,325 File:BB6 holdouts 12325.txt Some equivalent machines are removed.
BB(5) June 2024 BBChallenge 0 BB(5) is SOLVED!
BB(6) May 28, 2024 @mxdys 18,560 BB6_holdouts_18560.txt
BB(2,5) May 22, 2024 @Justin Blanchard 499 File:2x5.todo.txt
BB(6) 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]
BB(3,3) June 8, 2023 @Iijil 925 File:2023 06 08.3x3.holdouts intersect sligocki iijil 925.txt Intersection of @sligocki and @Iijil from below
BB(3,3) June 8, 2023 @Iijil 2,480 File:2023 06 08.3x3.holdouts iijil 2380.txt
BB(3,3) June 7, 2023 @sligocki 2,417 File:2023 06 07.3x3.holdouts 2417.txt
BB(6) May 27, 2023 @sligocki 181,851 6x2.holdouts_181851.txt.gz This was posted to the BBChallenge Forum (before Discord)
BB(6) May 10, 2023 @sligocki 1,458,704 6x2.holdouts_1458704.txt.gz This was posted to the BBChallenge Forum (before Discord)
BB(5) circa May 13th, 2003 Georgi Georgiev (Skelet) 43 List of 43 holdouts

References

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