User:XnoobSpeakable/Holdouts-temp
The top table may or may not match the one found at Holdouts lists depending on the timing of when these lists get updated. I will keep track of the list on this page seperately. The bottom list will include unfinished work that I have noticed on Discord that will not be in other wiki pages.
| 2-state | 3-state | 4-state | 5-state | 6-state | 7-state | |
|---|---|---|---|---|---|---|
| 2-symbol | 0 | 0 | 0 | 0 | 1691* | 23,314,388 |
| 3-symbol | 0 | 6 | 460,916,384 | |||
| 4-symbol | 0 | 434,787,751 | ||||
| 5-symbol | 75 | |||||
| 6-symbol | 873,469 |
*The 1691 holdouts are based on equivalence classes. The amount of individual unsolved TMs currently seems to be 3171.
| 2-state | 3-state | 4-state | 5-state | 6-state | 7-state | |
|---|---|---|---|---|---|---|
| 2-symbol | 0 | 0 | 0 | 0 | 1691 / 3171 | 23,314,388 |
| 3-symbol | 0 | 6 | ~96.6M | |||
| 4-symbol | 0 | <434,787,751** | ||||
| 5-symbol | 75 | |||||
| 6-symbol | 873,469 |
**I am currently working on BB(3,4) and have removed some holdouts, however, the partial progress has not been merged and the reduction has not been counted.
After the work is done, I will upload my results and update the value in the table. I suspect a reduction to ~65M will be achievable.
The was supposed to be done by the end of this week as I am typing (which is tomorrow, 2025-09-28), however, I have delayed it to the end of next week, which is 2025-10-05 to those reading in the future.