Holdouts lists: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 10: | Line 10: | ||
!Number of holdouts | !Number of holdouts | ||
!File | !File | ||
!Notes | |||
|- | |||
|[[BB(2,5)]] | |||
|June 15th 2024 | |||
|@dyuan01 | |||
| | |||
| | |||
|@Justin Blanchard's 499 holdouts minus machines solved by @mxdys | |||
|- | |- | ||
|[[BB(6)]] | |[[BB(6)]] | ||
|[https://discord.com/channels/960643023006490684/1239205785913790465/1250895665719148595 June 13th 2024] | |[https://discord.com/channels/960643023006490684/1239205785913790465/1250895665719148595 June 13th 2024] | ||
|@tjligocki | |@tjligocki | ||
| 12,091 | | 12,091 | ||
|[[:File:BB6 holdouts 12091.txt]] | |[[:File:BB6 holdouts 12091.txt]] | ||
|Work done with @Shawn Ligocki | |||
|- | |- | ||
|[[BB(3,3)]] | |[[BB(3,3)]] | ||
| Line 22: | Line 31: | ||
|22 | |22 | ||
|[[:File:3x3.todo.txt]], [[:File:Mugshots small.pdf]] | |[[:File:3x3.todo.txt]], [[:File:Mugshots small.pdf]] | ||
| | |||
|- | |- | ||
|BB(6) | |BB(6) | ||
| Line 28: | Line 38: | ||
|12,325 | |12,325 | ||
|[[:File:BB6 holdouts 12325.txt]] | |[[:File:BB6 holdouts 12325.txt]] | ||
| | |||
|- | |- | ||
|[[BB(2,5)]] | |[[BB(2,5)]] | ||
| Line 34: | Line 45: | ||
|499 | |499 | ||
|[[:File:2x5.todo.txt]] | |[[:File:2x5.todo.txt]] | ||
| | |||
|- | |- | ||
|[[BB(5)]] | |[[BB(5)]] | ||
| Line 40: | Line 52: | ||
|43 | |43 | ||
|https://skelet.ludost.net/bb/nreg.html<nowiki/>https://bbchallenge.org/skelet | |https://skelet.ludost.net/bb/nreg.html<nowiki/>https://bbchallenge.org/skelet | ||
| | |||
|} | |} | ||
Revision as of 11:34, 16 June 2024
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 unable to decide.
Holdout lists are often shared by contributors:
| BB space | Date | Shared by | Number of holdouts | File | Notes |
|---|---|---|---|---|---|
| BB(2,5) | June 15th 2024 | @dyuan01 | @Justin Blanchard's 499 holdouts minus machines solved by @mxdys | ||
| BB(6) | June 13th 2024 | @tjligocki | 12,091 | File:BB6 holdouts 12091.txt | Work done with @Shawn Ligocki |
| BB(3,3) | June 9th 2024 | @Justin Blanchard | 22 | File:3x3.todo.txt, File:Mugshots small.pdf | |
| BB(6) | June 7th 2024 | @mxdys | 12,325 | File:BB6 holdouts 12325.txt | |
| BB(2,5) | May 22nd 2024 | @Justin Blanchard | 499 | File:2x5.todo.txt | |
| BB(5) | 2003 | Georgi Georgiev (Skelet) | 43 | https://skelet.ludost.net/bb/nreg.htmlhttps://bbchallenge.org/skelet |