User:RobinCodes/Work on BB Domains: Difference between revisions
Lúkos user page link; hope you're fine with me editing your page |
RobinCodes (talk | contribs) Updated page to be up-to-date with current results. |
||
| 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 | Only domains with active filtering going on (decider-wise): BB(3,4) [Stage 4] Xnoob and Lúkos, BB(4,3) [Stage 2] Terry Ligocki, BB(7) [Stage 4] Andrew Ducharme | ||
{| class="wikitable" | {| class="wikitable" | ||
|+ | |+ | ||
| Line 36: | Line 36: | ||
1 Cryptid | 1 Cryptid | ||
| | | 33,860,069 | ||
Terry Ligocki Phase 2, Stage 2 inprogress | Terry Ligocki Phase 2, Stage 2 inprogress | ||
|?????????????? | |?????????????? | ||
| Line 46: | Line 46: | ||
|0 | |0 | ||
Aug. 22, 2024 | Aug. 22, 2024 | ||
| | |26,266,261 | ||
[[User:XnoobSpeakable|XnoobSpeakable]] and [[User:WarpedWartWars|Lúkos]] currently filtering | [[User:XnoobSpeakable|XnoobSpeakable]] and [[User:WarpedWartWars|Lúkos]] currently filtering | ||
Phase 2, Stage | Phase 2, Stage 4 inprogress | ||
|????????????? | |????????????? | ||
| | | | ||
Revision as of 05:34, 10 October 2025
Page to collect the BB Domains and their status. Holdout counts are machines that do not have a formal Rocq proof.
As of 08/10/2025
Only domains with active filtering going on (decider-wise): BB(3,4) [Stage 4] Xnoob and Lúkos, BB(4,3) [Stage 2] Terry Ligocki, BB(7) [Stage 4] Andrew Ducharme
| 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,674
(2 informal) Exhausted (decider-wise) |
22,721,168 Phase 2, Stage 4
inprogress |
????? |
| 3-symbol | 0 | 4+4 Holdouts
Exhausted (decider-wise) (4 informal longitudinal proofs by @Legion) 1 Cryptid |
33,860,069
Terry Ligocki Phase 2, Stage 2 inprogress |
?????????????? | |||
| 4-symbol | 0
Aug. 22, 2024 |
26,266,261
XnoobSpeakable and Lúkos currently filtering Phase 2, Stage 4 inprogress |
????????????? | ||||
| 5-symbol | 75 Holdouts
Exhausted (decider-wise) Some informal proofs exist 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.