[Decider] Translated cyclers

I have written a Translated Cyclers Decider in C++, which outputs a Decider Verification File (dvf) as well as an Undecided Machines File (umf). I also wrote a Verifier, which checks the dvf for correctness. You can find them at bbchallenge/TranslatedCyclers at main · TonyGuil/bbchallenge · GitHub.

The Decider was run on the output file Cyclers.umf from the Cyclers Decider, with time limit 10,000 and space limit 1,000. It found 73,860,604 Translated Cyclers, as expected. Afterwards I ran it with time limit 4,000,000, and it found 566 more Translated Cyclers (in about 12 hours). The longest of these Translated Cyclers was found after 3,092,791 steps, so there might well be more out there. TC_4000000.dvf is the Decider Verification File for this run; you can check the new Translated Cyclers for yourselves using the data in this file. The format of the dvf is described in the README file at the link. My TranslatedCyclersVerifier program takes about 0.4 seconds to verify this file.

See the README file at the link for the format of the dvf.

1 Like