User:RobinCodes/Work on BB Domains: Difference between revisions
Jump to navigation
Jump to search
RobinCodes (talk | contribs) Rollback Tag: Manual revert |
RobinCodes (talk | contribs) m Fixed visual looks and removed redundant rows |
||
| Line 12: | Line 12: | ||
!7-state | !7-state | ||
!'''8-state''' | !'''8-state''' | ||
|- | |- | ||
!2-symbol | !2-symbol | ||
| Line 23: | Line 21: | ||
|1,691 Holdouts | |1,691 Holdouts | ||
|23,314,388 Holdouts, Phase 2 Stage 3 completed. | |23,314,388 Holdouts, Phase 2 Stage 3 completed. | ||
|??? | |??? | ||
|- | |- | ||
!3-symbol | !3-symbol | ||
|0 Holdouts | |0 Holdouts | ||
|4+4 Holdouts BB3x3 month October | |4+4 Holdouts | ||
BB3x3 month October | |||
(4 informal [[Longitudinal Analysis|longitudinal]] proofs by @Legion) | (4 informal [[Longitudinal Analysis|longitudinal]] proofs by @Legion) | ||
1 Cryptid | 1 Cryptid | ||
|88,914,343 | |88,914,343 | ||
|??? | |??? | ||
| | | | ||
| | | | ||
| Line 43: | Line 38: | ||
|0 Holdouts | |0 Holdouts | ||
Aug. 22, 2024 | Aug. 22, 2024 | ||
|434,787,751[[User:XnoobSpeakable|XnoobSpeakable]] and Lúkos currently filtering | |434,787,751 | ||
[[User:XnoobSpeakable|XnoobSpeakable]] and Lúkos currently filtering | |||
|??? | |??? | ||
| | | | ||
| | | | ||
| Line 58: | Line 52: | ||
2+4 Cryptids (4 probable) | 2+4 Cryptids (4 probable) | ||
|??? | |??? | ||
| | | | ||
| | | | ||
| Line 70: | Line 62: | ||
Exhausted (decider-wise) | Exhausted (decider-wise) | ||
|??? | |??? | ||
| | | | ||
| | | | ||
| Line 80: | Line 70: | ||
!7-symbol | !7-symbol | ||
|???? | |???? | ||
| | | | ||
| | | | ||
Revision as of 15:49, 28 September 2025
Page to collect the BB Domains and their status. Holdout counts are machines that do not have a formal Rocq proof.
As of 28/09/2025
| Domain | 2-state | 3-state | 4-state | 5-state | 6-state | 7-state | 8-state |
|---|---|---|---|---|---|---|---|
| 2-symbol | 0 Holdouts | 0 Holdouts | 0 Holdouts | 0 Holdouts
July 2, 2024 |
1,691 Holdouts | 23,314,388 Holdouts, Phase 2 Stage 3 completed. | ??? |
| 3-symbol | 0 Holdouts | 4+4 Holdouts
BB3x3 month October (4 informal longitudinal proofs by @Legion) 1 Cryptid |
88,914,343 | ??? | |||
| 4-symbol | 0 Holdouts
Aug. 22, 2024 |
434,787,751
XnoobSpeakable and Lúkos currently filtering |
??? | ||||
| 5-symbol | 75 Holdouts
Exhausted (decider-wise) Some informal proofs exist 2+4 Cryptids (4 probable) |
??? | |||||
| 6-symbol | 873,469 Holdouts
Exhausted (decider-wise) |
??? | |||||
| 7-symbol | ???? |