Updated status information for Cyclist-derived satisfiability tests.