Waw. Thank you very much, it seems that you have uncovered yet another bug in my implementation of [Decider] Backward reasoning. We are going to un-apply the results (
), solve this bug and then require that the decider goes through the new verification process which was not in place at the time of this decider.
Thank you very much for this contribution.
Concerning Translated Cyclers, we are aware that there are a few thousands machine left in the DB when you run the decider with higher parameters (for instance see Skelet machines that are Translated Cyclers) but we did not apply the results officially because it concerned so few machines in proportion to the number of undecided machines.
Update: backward reasoning results have been un-applied on the offical github repository of the undecided index, we are back to 3,574,222 machines on https://bbchallenge.org/.