src/datalog_conformance/_tests/recursion/souffle_example_lubm.yaml::souffle_lubm_memberOf: _CaseVerificationError: nmo timed out after 1s
