src/datalog_conformance/_tests/recursion/souffle_example_hmmer.yaml::souffle_hmmer_CPtrLoad: _CaseVerificationError: nmo timed out after 120s for batch with 2 case(s)
