|
About the Individual machines category
|
|
0
|
705
|
March 27, 2022
|
|
Has anyone noticed these two machines look the same? Antihydra Copycat
|
|
2
|
614
|
April 21, 2026
|
|
More Antihydra analysis
|
|
1
|
490
|
March 21, 2026
|
|
BB5 MB 47million to 15 layers
|
|
1
|
402
|
February 12, 2026
|
|
BMO1 Type problems are Turing Complete
|
|
2
|
1096
|
November 2, 2025
|
|
10756090 (Finned #3) is irregular
|
|
0
|
1996
|
March 17, 2023
|
|
Antihydra simulation status?
|
|
5
|
1724
|
July 23, 2024
|
|
Skelet #17 does not halt
|
|
2
|
3114
|
July 3, 2024
|
|
BB5's "finned" machines (summary)
|
|
0
|
1497
|
May 19, 2024
|
|
Skelet machines that are Translated Cyclers
|
|
3
|
2076
|
June 5, 2022
|
|
Proving BB(5) in Coq
|
|
5
|
5077
|
April 26, 2024
|
|
Pipelining, Venn Diagrams, and the Late Middlegame of BB(5)
|
|
3
|
2005
|
April 5, 2024
|
|
The 30 to 34 CTL holdouts from BB(5)
|
|
11
|
7702
|
February 26, 2024
|
|
Skelet #26 and #15 do not halt - Coq proof
|
|
4
|
2044
|
January 30, 2024
|
|
Skelet #33 doesn't halt - Coq proof
|
|
0
|
1450
|
December 24, 2023
|
|
Machine config of the 23,554,764-halter found by bbchallenge
|
|
2
|
804
|
November 6, 2023
|
|
Halting Collatz-like machine
|
|
4
|
1047
|
November 5, 2023
|
|
Skelet #1 is a translated cycler – Coq agrees
|
|
3
|
2454
|
August 8, 2023
|
|
Skelet #34 and #35 – Coq proof
|
|
1
|
1837
|
August 2, 2023
|
|
#8210683 does hot halt
|
|
1
|
831
|
July 30, 2023
|
|
Deciphering Skelet's BL_Proof
|
|
5
|
1516
|
April 20, 2023
|
|
Some machines decided by Skelet's decider
|
|
2
|
855
|
October 9, 2022
|
|
#5807483 infinite by CTL
|
|
3
|
788
|
October 6, 2022
|
|
Skelet's machine #32 does not halt
|
|
0
|
765
|
October 3, 2022
|
|
#7410754 does not halt
|
|
10
|
1173
|
September 27, 2022
|
|
I think that #43.374.927 is infinite
|
|
2
|
1253
|
September 12, 2022
|
|
Skelet #10 Backtracking?
|
|
5
|
2618
|
June 4, 2022
|