src/datalog_conformance/_tests/recursion/souffle_example_hmmer.yaml::souffle_hmmer_CPtrStore: _CaseVerificationError: nmo timed out after 120s
