The Busy Beaver Challenge

bbchallenge.org

08/15/2024 Terry Ligocki runs 6 deciders (Lin Recurrence/Translated Cyclers, CPS, CTL, and 3 others) on TNF-1RB BB(2,4) dataset, which leaves 12 holdouts 08/22/2024 Andrew Ducharme runs @lijil's meet-in-the-middle WFAR deciders on the 12 holdouts. This reproduces the discussion on April 10, 2023, where this code, using n = 13 dead transitions, decided all but two machines (1RB3LA1LA2RA_2LB3RA---0RB and 1RB3LA1LA1RA_2LB2RA---0RB). By increasing to n = 14, these two machines were decided. 08/22 Shawn Ligocki adapts Coq-BB(5) to separately solve all BB(2,4) machines