Holdouts lists: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 7: | Line 7: | ||
!BB space | !BB space | ||
!Date | !Date | ||
! | !Shared by | ||
!Number of holdouts | !Number of holdouts | ||
!File | !File | ||
Revision as of 13:22, 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 | Shared by | 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 |