Holdouts lists: Difference between revisions
(Updated number of BB(7) holdouts and removed BB(4,3) holdout number which was affected by bugs) |
(→Downloadable Holdout Lists: BB(7)) |
||
| (3 intermediate revisions by the same user not shown) | |||
| Line 21: | Line 21: | ||
|0 | |0 | ||
|1,691 | |1,691 | ||
|22,721, | |22,721,168 | ||
|- | |- | ||
!3-symbol | !3-symbol | ||
|0 | |0 | ||
|6 | |6 | ||
| | |40,836,159 | ||
| | | | ||
| | | | ||
| Line 33: | Line 33: | ||
!4-symbol | !4-symbol | ||
|0 | |0 | ||
| | |64,777,377 | ||
| | | | ||
| | | | ||
| Line 65: | Line 65: | ||
!File | !File | ||
!Notes | !Notes | ||
|- | |||
|[[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(2,6)]] | |||
|[https://drive.google.com/drive/folders/1TsSpW27x3LBlu5qmk-cjzCJzgo_3ehyT September 22nd, 2025] | |||
|@tjligocki | |||
|873,469 | |||
|[http://2x6_holdouts_873469.txt.zip 2x6_holdouts_873469.txt.zip] | |||
|Work done by Andrew Ducharme. | |||
|- | |- | ||
|[[BB(6)]] | |[[BB(6)]] | ||
| Line 84: | Line 105: | ||
|83 | |83 | ||
|[[:File:BB2x5 Coq holdouts 83.txt]] | |[[:File:BB2x5 Coq holdouts 83.txt]] | ||
| | |||
|- | |- | ||
|[[BB(4,3)]] | |[[BB(4,3)]] | ||
Latest revision as of 06:47, 5 October 2025
A holdout (or undecided machine) is a Turing machine for which it is not known whether the machine halts or not from all-0 input tape. Holdouts are the machines which deciders are yet unable to decide.
Holdout lists are often shared by contributors. There is a Downloadable Holdout Lists 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.
The table with the "Number of holdouts" is based on the holdout lists listed in the table below it. Thus, some of these numbers have not been independently verified. All the zero entries (no remaining holdouts) have been verified.
| 2-state | 3-state | 4-state | 5-state | 6-state | 7-state | |
|---|---|---|---|---|---|---|
| 2-symbol | 0 | 0 | 0 | 0 | 1,691 | 22,721,168 |
| 3-symbol | 0 | 6 | 40,836,159 | |||
| 4-symbol | 0 | 64,777,377 | ||||
| 5-symbol | 75 | |||||
| 6-symbol | 873,469 |