The bug that was found in [Decider] Backward reasoning by @atticuscul, @modderme123, @pg132 and @DunDunDunDone, has been debugged by @modderme123!!
This resulted in 2,243,340 machines to be decided! There now remain “only” 1,330,882 machines to decide 
. The index file of undecided machines has been updated and is available here.
Less importantly:
- Files containing the indices of the machines currently decided by our deciders have been released here. Similarily to the index file of undecided machines, each machine’s index is encoded as a 4-byte int (big endian).
- “Pongs” families of the zoology have been renamed “bouncers”: e.g. [Family] Unilateral bouncers