User:RobinCodes/Work on BB Domains: Difference between revisions
RobinCodes (talk | contribs) Added BB3,4 results |
RobinCodes (talk | contribs) Updated table and current work. |
||
| Line 3: | Line 3: | ||
As of 08/10/2025 | As of 08/10/2025 | ||
Only domains with active filtering going on (decider-wise): BB(3,4) [Stage 6] Xnoob and Lúkos | Only domains with active filtering going on (decider-wise): BB(3,4) [Stage 6] Xnoob and Lúkos | ||
{| class="wikitable" | {| class="wikitable" | ||
|+ | |+ | ||
| Line 21: | Line 21: | ||
|0 | |0 | ||
July 2, 2024 | July 2, 2024 | ||
|1, | |1,617 | ||
( | (1 informal) | ||
Exhausted (decider-wise) | Exhausted (decider-wise) | ||
|22,721,168 Phase 2, Stage 4 | |22,721,168 Phase 2, Stage 4 | ||
|????? | |????? | ||
|- | |- | ||
| Line 36: | Line 35: | ||
1 Cryptid | 1 Cryptid | ||
| | | 9,401,447 | ||
Terry Ligocki Phase 2, Stage | Terry Ligocki Phase 2, Stage 2 | ||
|?????????????? | |?????????????? | ||
| | | | ||
| Line 49: | Line 48: | ||
[[User:XnoobSpeakable|XnoobSpeakable]] and [[User:WarpedWartWars|Lúkos]] currently filtering | [[User:XnoobSpeakable|XnoobSpeakable]] and [[User:WarpedWartWars|Lúkos]] currently filtering | ||
Phase 2, Stage 6 | Phase 2, Stage 6 in progress | ||
|????????????? | |????????????? | ||
| | | | ||
Revision as of 17:01, 23 October 2025
Page to collect the BB Domains and their status. Holdout counts are machines that do not have a formal Rocq proof. (Grouped by machine behaviour)
As of 08/10/2025
Only domains with active filtering going on (decider-wise): BB(3,4) [Stage 6] Xnoob and Lúkos
| Domain | 2-state | 3-state | 4-state | 5-state | 6-state | 7-state | 8-state |
|---|---|---|---|---|---|---|---|
| 2-symbol | 0 | 0 | 0 | 0
July 2, 2024 |
1,617
(1 informal) Exhausted (decider-wise) |
22,721,168 Phase 2, Stage 4 | ????? |
| 3-symbol | 0 | 4+3
Exhausted (decider-wise) (3 informal longitudinal proofs by @Legion) 1 Cryptid |
9,401,447
Terry Ligocki Phase 2, Stage 2 |
?????????????? | |||
| 4-symbol | 0
Aug. 22, 2024 |
17,983,810
XnoobSpeakable and Lúkos currently filtering Phase 2, Stage 6 in progress |
????????????? | ||||
| 5-symbol | 75
Exhausted (decider-wise) 7 informal => 68 holdouts 2+4 Cryptids (4 probable) |
????????????? | |||||
| 6-symbol | 870,085
Exhausted (decider-wise) |
????????????? | |||||
| 7-symbol | ????????? |
I also wanted to study at what point are domains infeasible with reasonable resources and time, but this is for the future of this page. ???? And after are almost completely unexplored.