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