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 | ||
|- | |||
|BB(6) | |||
|[https://discord.com/channels/960643023006490684/1239205785913790465/1250895665719148595 June 13th 2024] | |||
|@tjligocki, @Shawn Ligocki | |||
| | |||
|[[:File:BB6 holdouts 12091.txt]] | |||
|- | |- | ||
|BB(6) | |BB(6) | ||
| Line 16: | Line 22: | ||
|12,325 | |12,325 | ||
|[[:File:BB6 holdouts 12325.txt]] | |[[:File:BB6 holdouts 12325.txt]] | ||
|} | |} | ||
Revision as of 13:11, 14 June 2024
A holdout (or undediced machine) is a Turing machine for which it is not known whether the machine halts or not from all-0 input tape.
Holdout lists are often shared by contributors:
| BB space | Date | Credits | Number of holdouts | File |
|---|---|---|---|---|
| BB(6) | June 13th 2024 | @tjligocki, @Shawn Ligocki | File:BB6 holdouts 12091.txt | |
| BB(6) | June 7th 2024 | @mxdys | 12,325 | File:BB6 holdouts 12325.txt |