|
The 30 to 34 CTL holdouts from BB(5)
|
|
11
|
3826
|
February 26, 2024
|
|
[Decider] Halting Segment
|
|
19
|
4015
|
November 24, 2023
|
|
[Decider] Bouncers
|
|
24
|
4448
|
May 3, 2024
|
|
[Decider] Finite Automata Reduction
|
|
20
|
4627
|
April 9, 2023
|
|
Validating Finite Automata Reduction results
|
|
12
|
872
|
April 10, 2023
|
|
[Decider] Backward reasoning
|
|
24
|
4766
|
November 20, 2023
|
|
Standard TM Text format
|
|
30
|
2260
|
April 9, 2023
|
|
[Decider] Translated cyclers
|
|
10
|
3560
|
July 29, 2023
|
|
Shawn's BB(6) Holdouts
|
|
10
|
1341
|
March 27, 2023
|
|
#7410754 does not halt
|
|
10
|
634
|
September 27, 2022
|
|
Req: List Reason on Machine pages
|
|
9
|
1150
|
June 12, 2022
|
|
Choose (software) licenses for the project
|
|
10
|
689
|
October 14, 2022
|
|
[July 2nd 2024] We have proved "BB(5) = 47,176,870"
|
|
1
|
36320
|
July 2, 2024
|
|
[April 9th 2023] 503,169 new machines have been decided! Only 32,632 left to go!
|
|
5
|
2874
|
May 2, 2024
|
|
10756090 (Finned #3) is irregular
|
|
0
|
1080
|
March 17, 2023
|
|
Skelet #34 and #35 – Coq proof
|
|
1
|
808
|
August 2, 2023
|
|
Skelet #1 is a translated cycler – Coq agrees
|
|
3
|
1584
|
August 8, 2023
|
|
Proving BB(5) in Coq
|
|
5
|
2503
|
April 26, 2024
|
|
Pipelining, Venn Diagrams, and the Late Middlegame of BB(5)
|
|
3
|
1125
|
April 5, 2024
|
|
Skelet #17 does not halt
|
|
2
|
2171
|
July 3, 2024
|
|
[Debate & Vote] Deciders' validation process
|
|
4
|
1367
|
September 13, 2022
|
|
Skelet #33 doesn't halt - Coq proof
|
|
0
|
736
|
December 24, 2023
|
|
[May 2nd 2024] Releasing bouncers: only 2,833 machines to go!
|
|
2
|
2766
|
July 2, 2024
|
|
Skelet's machine #32 does not halt
|
|
0
|
417
|
October 3, 2022
|
|
I think that #43.374.927 is infinite
|
|
2
|
743
|
September 12, 2022
|
|
Closed state/transition cluster
|
|
3
|
630
|
July 16, 2022
|
|
[Decider] Cyclers
|
|
7
|
4015
|
July 27, 2023
|
|
Closed Tape Languages: asymmetric automata construction
|
|
1
|
511
|
October 9, 2022
|
|
Skelet #26 and #15 do not halt - Coq proof
|
|
4
|
885
|
January 30, 2024
|
|
[July 16th 2022] Standard text format for TMs and 2 deciders in review
|
|
0
|
1007
|
July 16, 2022
|
|
Shawn's Holdouts
|
|
8
|
935
|
October 11, 2022
|
|
N-gram frequencies
|
|
3
|
440
|
October 12, 2022
|
|
Currently applied deciders
|
|
1
|
3425
|
April 9, 2023
|
|
BB5's "finned" machines (summary)
|
|
0
|
830
|
May 19, 2024
|
|
Antihydra simulation status?
|
|
5
|
1065
|
July 23, 2024
|
|
[Decider] Unilateral Bouncers
|
|
4
|
1038
|
August 7, 2022
|
|
Skelet machines that are Translated Cyclers
|
|
3
|
1152
|
June 5, 2022
|
|
Current zoology
|
|
1
|
2770
|
April 9, 2023
|
|
#8210683 does hot halt
|
|
1
|
486
|
July 30, 2023
|
|
Deciphering Skelet's BL_Proof
|
|
5
|
757
|
April 20, 2023
|
|
HOWTO: run finite-automata-reduction decider with independent implementations
|
|
0
|
541
|
January 27, 2023
|
|
Skelet #10 Backtracking?
|
|
5
|
1223
|
June 4, 2022
|
|
Replication of backward reasoning decider
|
|
0
|
366
|
June 26, 2022
|
|
Machines with more than 1 undefined transition
|
|
5
|
793
|
September 10, 2023
|
|
[April 5th 2022] Discord Server
|
|
3
|
895
|
April 9, 2023
|
|
Translated Cyclers Decider
|
|
6
|
662
|
September 4, 2022
|
|
[December 25th 2022] 1,002,823 new machines have been decided!
|
|
2
|
991
|
April 9, 2023
|
|
Can we really discard machines after 107 steps if they have only visited four states?
|
|
5
|
696
|
November 18, 2022
|
|
Families organized by lowest state appearance
|
|
2
|
547
|
July 19, 2022
|
|
#5807483 infinite by CTL
|
|
3
|
466
|
October 6, 2022
|