{"cases": {"opencypher:tck/features/expressions/quantifier/Quantifier12.feature:33": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:33", "suite": "opencypher", "name": "[1] All quantifier is always false if the predicate is statically false and the list is not empty", "feature": "Quantifier12 - All quantifier invariants", "path": "tck/features/expressions/quantifier/Quantifier12.feature", "line": 33, "source": "https://github.com/opencypher/openCypher/blob/677cbafabb8c3c5eed458fd3b1ec0daec8d67d23/tck/features/expressions/quantifier/Quantifier12.feature#L33", "source_sha256": "c84c4090b42763a053f177bc6ad9a525912e1703d4ea26583733580af37c4329", "tags": [], "steps": [{"text": "any graph"}, {"text": "executing query:", "doc": "WITH [1, null, true, 4.5, 'abc', false, '', [234, false], {a: null, b: true, c: 15.2}, {}, [], [null], [[{b: [null]}]]] AS inputList\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nWITH list WHERE size(list) > 0\nWITH all(x IN list WHERE false) AS result, count(*) AS cnt\nRETURN result"}, {"text": "the result should be, in any order:", "table": [["result"], ["false"]]}, {"text": "no side effects"}]}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:56": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:56", "suite": "opencypher", "name": "[2] All quantifier is always true if the predicate is statically true and the list is not empty", "feature": "Quantifier12 - All quantifier invariants", "path": "tck/features/expressions/quantifier/Quantifier12.feature", "line": 56, "source": "https://github.com/opencypher/openCypher/blob/677cbafabb8c3c5eed458fd3b1ec0daec8d67d23/tck/features/expressions/quantifier/Quantifier12.feature#L56", "source_sha256": "c84c4090b42763a053f177bc6ad9a525912e1703d4ea26583733580af37c4329", "tags": [], "steps": [{"text": "any graph"}, {"text": "executing query:", "doc": "WITH [1, null, true, 4.5, 'abc', false, '', [234, false], {a: null, b: true, c: 15.2}, {}, [], [null], [[{b: [null]}]]] AS inputList\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nWITH list WHERE size(list) > 0\nWITH all(x IN list WHERE true) AS result, count(*) AS cnt\nRETURN result"}, {"text": "the result should be, in any order:", "table": [["result"], ["true"]]}, {"text": "no side effects"}]}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:103": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:103", "suite": "opencypher", "name": "[3] All quantifier is always equal the none quantifier on the boolean negative of the predicate", "feature": "Quantifier12 - All quantifier invariants", "path": "tck/features/expressions/quantifier/Quantifier12.feature", "line": 103, "source": "https://github.com/opencypher/openCypher/blob/677cbafabb8c3c5eed458fd3b1ec0daec8d67d23/tck/features/expressions/quantifier/Quantifier12.feature#L103", "source_sha256": "c84c4090b42763a053f177bc6ad9a525912e1703d4ea26583733580af37c4329", "tags": [], "steps": [{"text": "any graph"}, {"text": "executing query:", "doc": "WITH [1, 2, 3, 4, 5, 6, 7, 8, 9] AS inputList\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nWITH all(x IN list WHERE x = 2) = none(x IN list WHERE NOT (x = 2)) AS result, count(*) AS cnt\nRETURN result"}, {"text": "the result should be, in any order:", "table": [["result"], ["true"]]}, {"text": "no side effects"}]}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:104": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:104", "suite": "opencypher", "name": "[3] All quantifier is always equal the none quantifier on the boolean negative of the predicate", "feature": "Quantifier12 - All quantifier invariants", "path": "tck/features/expressions/quantifier/Quantifier12.feature", "line": 104, "source": "https://github.com/opencypher/openCypher/blob/677cbafabb8c3c5eed458fd3b1ec0daec8d67d23/tck/features/expressions/quantifier/Quantifier12.feature#L104", "source_sha256": "c84c4090b42763a053f177bc6ad9a525912e1703d4ea26583733580af37c4329", "tags": [], "steps": [{"text": "any graph"}, {"text": "executing query:", "doc": "WITH [1, 2, 3, 4, 5, 6, 7, 8, 9] AS inputList\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nWITH all(x IN list WHERE x % 2 = 0) = none(x IN list WHERE NOT (x % 2 = 0)) AS result, count(*) AS cnt\nRETURN result"}, {"text": "the result should be, in any order:", "table": [["result"], ["true"]]}, {"text": "no side effects"}]}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:105": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:105", "suite": "opencypher", "name": "[3] All quantifier is always equal the none quantifier on the boolean negative of the predicate", "feature": "Quantifier12 - All quantifier invariants", "path": "tck/features/expressions/quantifier/Quantifier12.feature", "line": 105, "source": "https://github.com/opencypher/openCypher/blob/677cbafabb8c3c5eed458fd3b1ec0daec8d67d23/tck/features/expressions/quantifier/Quantifier12.feature#L105", "source_sha256": "c84c4090b42763a053f177bc6ad9a525912e1703d4ea26583733580af37c4329", "tags": [], "steps": [{"text": "any graph"}, {"text": "executing query:", "doc": "WITH [1, 2, 3, 4, 5, 6, 7, 8, 9] AS inputList\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nWITH all(x IN list WHERE x % 3 = 0) = none(x IN list WHERE NOT (x % 3 = 0)) AS result, count(*) AS cnt\nRETURN result"}, {"text": "the result should be, in any order:", "table": [["result"], ["true"]]}, {"text": "no side effects"}]}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:106": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:106", "suite": "opencypher", "name": "[3] All quantifier is always equal the none quantifier on the boolean negative of the predicate", "feature": "Quantifier12 - All quantifier invariants", "path": "tck/features/expressions/quantifier/Quantifier12.feature", "line": 106, "source": "https://github.com/opencypher/openCypher/blob/677cbafabb8c3c5eed458fd3b1ec0daec8d67d23/tck/features/expressions/quantifier/Quantifier12.feature#L106", "source_sha256": "c84c4090b42763a053f177bc6ad9a525912e1703d4ea26583733580af37c4329", "tags": [], "steps": [{"text": "any graph"}, {"text": "executing query:", "doc": "WITH [1, 2, 3, 4, 5, 6, 7, 8, 9] AS inputList\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nWITH all(x IN list WHERE x < 7) = none(x IN list WHERE NOT (x < 7)) AS result, count(*) AS cnt\nRETURN result"}, {"text": "the result should be, in any order:", "table": [["result"], ["true"]]}, {"text": "no side effects"}]}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:107": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:107", "suite": "opencypher", "name": "[3] All quantifier is always equal the none quantifier on the boolean negative of the predicate", "feature": "Quantifier12 - All quantifier invariants", "path": "tck/features/expressions/quantifier/Quantifier12.feature", "line": 107, "source": "https://github.com/opencypher/openCypher/blob/677cbafabb8c3c5eed458fd3b1ec0daec8d67d23/tck/features/expressions/quantifier/Quantifier12.feature#L107", "source_sha256": "c84c4090b42763a053f177bc6ad9a525912e1703d4ea26583733580af37c4329", "tags": [], "steps": [{"text": "any graph"}, {"text": "executing query:", "doc": "WITH [1, 2, 3, 4, 5, 6, 7, 8, 9] AS inputList\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nWITH all(x IN list WHERE x >= 3) = none(x IN list WHERE NOT (x >= 3)) AS result, count(*) AS cnt\nRETURN result"}, {"text": "the result should be, in any order:", "table": [["result"], ["true"]]}, {"text": "no side effects"}]}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:133": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:133", "suite": "opencypher", "name": "[4] All quantifier is always equal the boolean negative of the any quantifier on the boolean negative of the predicate", "feature": "Quantifier12 - All quantifier invariants", "path": "tck/features/expressions/quantifier/Quantifier12.feature", "line": 133, "source": "https://github.com/opencypher/openCypher/blob/677cbafabb8c3c5eed458fd3b1ec0daec8d67d23/tck/features/expressions/quantifier/Quantifier12.feature#L133", "source_sha256": "c84c4090b42763a053f177bc6ad9a525912e1703d4ea26583733580af37c4329", "tags": [], "steps": [{"text": "any graph"}, {"text": "executing query:", "doc": "WITH [1, 2, 3, 4, 5, 6, 7, 8, 9] AS inputList\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nWITH all(x IN list WHERE x = 2) = (NOT any(x IN list WHERE NOT (x = 2))) AS result, count(*) AS cnt\nRETURN result"}, {"text": "the result should be, in any order:", "table": [["result"], ["true"]]}, {"text": "no side effects"}]}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:134": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:134", "suite": "opencypher", "name": "[4] All quantifier is always equal the boolean negative of the any quantifier on the boolean negative of the predicate", "feature": "Quantifier12 - All quantifier invariants", "path": "tck/features/expressions/quantifier/Quantifier12.feature", "line": 134, "source": "https://github.com/opencypher/openCypher/blob/677cbafabb8c3c5eed458fd3b1ec0daec8d67d23/tck/features/expressions/quantifier/Quantifier12.feature#L134", "source_sha256": "c84c4090b42763a053f177bc6ad9a525912e1703d4ea26583733580af37c4329", "tags": [], "steps": [{"text": "any graph"}, {"text": "executing query:", "doc": "WITH [1, 2, 3, 4, 5, 6, 7, 8, 9] AS inputList\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nWITH all(x IN list WHERE x % 2 = 0) = (NOT any(x IN list WHERE NOT (x % 2 = 0))) AS result, count(*) AS cnt\nRETURN result"}, {"text": "the result should be, in any order:", "table": [["result"], ["true"]]}, {"text": "no side effects"}]}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:135": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:135", "suite": "opencypher", "name": "[4] All quantifier is always equal the boolean negative of the any quantifier on the boolean negative of the predicate", "feature": "Quantifier12 - All quantifier invariants", "path": "tck/features/expressions/quantifier/Quantifier12.feature", "line": 135, "source": "https://github.com/opencypher/openCypher/blob/677cbafabb8c3c5eed458fd3b1ec0daec8d67d23/tck/features/expressions/quantifier/Quantifier12.feature#L135", "source_sha256": "c84c4090b42763a053f177bc6ad9a525912e1703d4ea26583733580af37c4329", "tags": [], "steps": [{"text": "any graph"}, {"text": "executing query:", "doc": "WITH [1, 2, 3, 4, 5, 6, 7, 8, 9] AS inputList\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nWITH all(x IN list WHERE x % 3 = 0) = (NOT any(x IN list WHERE NOT (x % 3 = 0))) AS result, count(*) AS cnt\nRETURN result"}, {"text": "the result should be, in any order:", "table": [["result"], ["true"]]}, {"text": "no side effects"}]}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:136": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:136", "suite": "opencypher", "name": "[4] All quantifier is always equal the boolean negative of the any quantifier on the boolean negative of the predicate", "feature": "Quantifier12 - All quantifier invariants", "path": "tck/features/expressions/quantifier/Quantifier12.feature", "line": 136, "source": "https://github.com/opencypher/openCypher/blob/677cbafabb8c3c5eed458fd3b1ec0daec8d67d23/tck/features/expressions/quantifier/Quantifier12.feature#L136", "source_sha256": "c84c4090b42763a053f177bc6ad9a525912e1703d4ea26583733580af37c4329", "tags": [], "steps": [{"text": "any graph"}, {"text": "executing query:", "doc": "WITH [1, 2, 3, 4, 5, 6, 7, 8, 9] AS inputList\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nWITH all(x IN list WHERE x < 7) = (NOT any(x IN list WHERE NOT (x < 7))) AS result, count(*) AS cnt\nRETURN result"}, {"text": "the result should be, in any order:", "table": [["result"], ["true"]]}, {"text": "no side effects"}]}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:137": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:137", "suite": "opencypher", "name": "[4] All quantifier is always equal the boolean negative of the any quantifier on the boolean negative of the predicate", "feature": "Quantifier12 - All quantifier invariants", "path": "tck/features/expressions/quantifier/Quantifier12.feature", "line": 137, "source": "https://github.com/opencypher/openCypher/blob/677cbafabb8c3c5eed458fd3b1ec0daec8d67d23/tck/features/expressions/quantifier/Quantifier12.feature#L137", "source_sha256": "c84c4090b42763a053f177bc6ad9a525912e1703d4ea26583733580af37c4329", "tags": [], "steps": [{"text": "any graph"}, {"text": "executing query:", "doc": "WITH [1, 2, 3, 4, 5, 6, 7, 8, 9] AS inputList\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nWITH all(x IN list WHERE x >= 3) = (NOT any(x IN list WHERE NOT (x >= 3))) AS result, count(*) AS cnt\nRETURN result"}, {"text": "the result should be, in any order:", "table": [["result"], ["true"]]}, {"text": "no side effects"}]}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:169": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:169", "suite": "opencypher", "name": "[5] All quantifier is always equal whether the size of the list filtered with same the predicate is equal the size of the unfiltered list", "feature": "Quantifier12 - All quantifier invariants", "path": "tck/features/expressions/quantifier/Quantifier12.feature", "line": 169, "source": "https://github.com/opencypher/openCypher/blob/677cbafabb8c3c5eed458fd3b1ec0daec8d67d23/tck/features/expressions/quantifier/Quantifier12.feature#L169", "source_sha256": "c84c4090b42763a053f177bc6ad9a525912e1703d4ea26583733580af37c4329", "tags": [], "steps": [{"text": "any graph"}, {"text": "executing query:", "doc": "UNWIND [{list: [2], fixed: true},\n        {list: [6], fixed: true},\n        {list: [7], fixed: true},\n        {list: [1, 2, 3, 4, 5, 6, 7, 8, 9], fixed: false}] AS input\nWITH CASE WHEN input.fixed THEN input.list ELSE null END AS fixedList,\n     CASE WHEN NOT input.fixed THEN input.list ELSE [1] END AS inputList\nUNWIND inputList AS x\nWITH fixedList, inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH fixedList, inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH fixedList, inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH fixedList, inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH fixedList, inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH fixedList, inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nWITH coalesce(fixedList, list) AS list\nWITH all(x IN list WHERE x = 2) = (size([x IN list WHERE x = 2 | x]) = size(list)) AS result, count(*) AS cnt\nRETURN result"}, {"text": "the result should be, in any order:", "table": [["result"], ["true"]]}, {"text": "no side effects"}]}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:170": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:170", "suite": "opencypher", "name": "[5] All quantifier is always equal whether the size of the list filtered with same the predicate is equal the size of the unfiltered list", "feature": "Quantifier12 - All quantifier invariants", "path": "tck/features/expressions/quantifier/Quantifier12.feature", "line": 170, "source": "https://github.com/opencypher/openCypher/blob/677cbafabb8c3c5eed458fd3b1ec0daec8d67d23/tck/features/expressions/quantifier/Quantifier12.feature#L170", "source_sha256": "c84c4090b42763a053f177bc6ad9a525912e1703d4ea26583733580af37c4329", "tags": [], "steps": [{"text": "any graph"}, {"text": "executing query:", "doc": "UNWIND [{list: [2], fixed: true},\n        {list: [6], fixed: true},\n        {list: [7], fixed: true},\n        {list: [1, 2, 3, 4, 5, 6, 7, 8, 9], fixed: false}] AS input\nWITH CASE WHEN input.fixed THEN input.list ELSE null END AS fixedList,\n     CASE WHEN NOT input.fixed THEN input.list ELSE [1] END AS inputList\nUNWIND inputList AS x\nWITH fixedList, inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH fixedList, inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH fixedList, inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH fixedList, inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH fixedList, inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH fixedList, inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nWITH coalesce(fixedList, list) AS list\nWITH all(x IN list WHERE x % 2 = 0) = (size([x IN list WHERE x % 2 = 0 | x]) = size(list)) AS result, count(*) AS cnt\nRETURN result"}, {"text": "the result should be, in any order:", "table": [["result"], ["true"]]}, {"text": "no side effects"}]}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:171": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:171", "suite": "opencypher", "name": "[5] All quantifier is always equal whether the size of the list filtered with same the predicate is equal the size of the unfiltered list", "feature": "Quantifier12 - All quantifier invariants", "path": "tck/features/expressions/quantifier/Quantifier12.feature", "line": 171, "source": "https://github.com/opencypher/openCypher/blob/677cbafabb8c3c5eed458fd3b1ec0daec8d67d23/tck/features/expressions/quantifier/Quantifier12.feature#L171", "source_sha256": "c84c4090b42763a053f177bc6ad9a525912e1703d4ea26583733580af37c4329", "tags": [], "steps": [{"text": "any graph"}, {"text": "executing query:", "doc": "UNWIND [{list: [2], fixed: true},\n        {list: [6], fixed: true},\n        {list: [7], fixed: true},\n        {list: [1, 2, 3, 4, 5, 6, 7, 8, 9], fixed: false}] AS input\nWITH CASE WHEN input.fixed THEN input.list ELSE null END AS fixedList,\n     CASE WHEN NOT input.fixed THEN input.list ELSE [1] END AS inputList\nUNWIND inputList AS x\nWITH fixedList, inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH fixedList, inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH fixedList, inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH fixedList, inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH fixedList, inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH fixedList, inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nWITH coalesce(fixedList, list) AS list\nWITH all(x IN list WHERE x % 3 = 0) = (size([x IN list WHERE x % 3 = 0 | x]) = size(list)) AS result, count(*) AS cnt\nRETURN result"}, {"text": "the result should be, in any order:", "table": [["result"], ["true"]]}, {"text": "no side effects"}]}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:172": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:172", "suite": "opencypher", "name": "[5] All quantifier is always equal whether the size of the list filtered with same the predicate is equal the size of the unfiltered list", "feature": "Quantifier12 - All quantifier invariants", "path": "tck/features/expressions/quantifier/Quantifier12.feature", "line": 172, "source": "https://github.com/opencypher/openCypher/blob/677cbafabb8c3c5eed458fd3b1ec0daec8d67d23/tck/features/expressions/quantifier/Quantifier12.feature#L172", "source_sha256": "c84c4090b42763a053f177bc6ad9a525912e1703d4ea26583733580af37c4329", "tags": [], "steps": [{"text": "any graph"}, {"text": "executing query:", "doc": "UNWIND [{list: [2], fixed: true},\n        {list: [6], fixed: true},\n        {list: [7], fixed: true},\n        {list: [1, 2, 3, 4, 5, 6, 7, 8, 9], fixed: false}] AS input\nWITH CASE WHEN input.fixed THEN input.list ELSE null END AS fixedList,\n     CASE WHEN NOT input.fixed THEN input.list ELSE [1] END AS inputList\nUNWIND inputList AS x\nWITH fixedList, inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH fixedList, inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH fixedList, inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH fixedList, inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH fixedList, inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH fixedList, inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nWITH coalesce(fixedList, list) AS list\nWITH all(x IN list WHERE x < 7) = (size([x IN list WHERE x < 7 | x]) = size(list)) AS result, count(*) AS cnt\nRETURN result"}, {"text": "the result should be, in any order:", "table": [["result"], ["true"]]}, {"text": "no side effects"}]}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:173": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:173", "suite": "opencypher", "name": "[5] All quantifier is always equal whether the size of the list filtered with same the predicate is equal the size of the unfiltered list", "feature": "Quantifier12 - All quantifier invariants", "path": "tck/features/expressions/quantifier/Quantifier12.feature", "line": 173, "source": "https://github.com/opencypher/openCypher/blob/677cbafabb8c3c5eed458fd3b1ec0daec8d67d23/tck/features/expressions/quantifier/Quantifier12.feature#L173", "source_sha256": "c84c4090b42763a053f177bc6ad9a525912e1703d4ea26583733580af37c4329", "tags": [], "steps": [{"text": "any graph"}, {"text": "executing query:", "doc": "UNWIND [{list: [2], fixed: true},\n        {list: [6], fixed: true},\n        {list: [7], fixed: true},\n        {list: [1, 2, 3, 4, 5, 6, 7, 8, 9], fixed: false}] AS input\nWITH CASE WHEN input.fixed THEN input.list ELSE null END AS fixedList,\n     CASE WHEN NOT input.fixed THEN input.list ELSE [1] END AS inputList\nUNWIND inputList AS x\nWITH fixedList, inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH fixedList, inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH fixedList, inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH fixedList, inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nUNWIND inputList AS x\nWITH fixedList, inputList, x, [ y IN inputList WHERE rand() > 0.5 | y] AS list\nWITH fixedList, inputList, CASE WHEN rand() < 0.5 THEN reverse(list) ELSE list END + x AS list\nWITH coalesce(fixedList, list) AS list\nWITH all(x IN list WHERE x >= 3) = (size([x IN list WHERE x >= 3 | x]) = size(list)) AS result, count(*) AS cnt\nRETURN result"}, {"text": "the result should be, in any order:", "table": [["result"], ["true"]]}, {"text": "no side effects"}]}}, "results": {"orchiddb": {"opencypher:tck/features/expressions/quantifier/Quantifier12.feature:33": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:33", "case_sha256": "cf37d4d3518d39414d53da510ae3d51c3bb8fa02422377a84316d1f3bf12802f", "status": "pass", "elapsed_ms": 68.703, "query_cost": {"metric_version": 1, "attribution_version": 2, "helper_query_count": 2, "query_count": 1, "measured_queries": 1, "coverage": "boundary_work", "request_elapsed_micros": 67144, "work_units": 4059}}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:56": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:56", "case_sha256": "531cb8192f327b513784268f62bda04e664840c7e1b83496c937ac1242eda585", "status": "pass", "elapsed_ms": 69.174, "query_cost": {"metric_version": 1, "attribution_version": 2, "helper_query_count": 2, "query_count": 1, "measured_queries": 1, "coverage": "boundary_work", "request_elapsed_micros": 67546, "work_units": 4059}}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:103": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:103", "case_sha256": "3156af7433df05f53fb2afadc44bd3f762cb098314712300a0cd5f966bf84eb8", "status": "pass", "elapsed_ms": 18.465, "query_cost": {"metric_version": 1, "attribution_version": 2, "helper_query_count": 2, "query_count": 1, "measured_queries": 1, "coverage": "boundary_work", "request_elapsed_micros": 17046, "work_units": 1580}}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:104": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:104", "case_sha256": "7b87e1a879023fd1f488db752bb9a16cf3cd04869b1fed5b77684fdf35f2645d", "status": "pass", "elapsed_ms": 19.382, "query_cost": {"metric_version": 1, "attribution_version": 2, "helper_query_count": 2, "query_count": 1, "measured_queries": 1, "coverage": "boundary_work", "request_elapsed_micros": 17940, "work_units": 1580}}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:105": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:105", "case_sha256": "70c2fa8faab37e8aea29ef5e6de08fbba588ca4727cd5bbb3b1a0487339b4b42", "status": "pass", "elapsed_ms": 19.059, "query_cost": {"metric_version": 1, "attribution_version": 2, "helper_query_count": 2, "query_count": 1, "measured_queries": 1, "coverage": "boundary_work", "request_elapsed_micros": 17673, "work_units": 1580}}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:106": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:106", "case_sha256": "cf10a599333d466285863855447a434ade83c2426a12b797779a7d721ddb447b", "status": "pass", "elapsed_ms": 17.283, "query_cost": {"metric_version": 1, "attribution_version": 2, "helper_query_count": 2, "query_count": 1, "measured_queries": 1, "coverage": "boundary_work", "request_elapsed_micros": 15884, "work_units": 1580}}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:107": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:107", "case_sha256": "b7cc2911dbaf04a348181e55afe84ecddb0882425b9c3fa29f9a519ee8f19b78", "status": "pass", "elapsed_ms": 18.525, "query_cost": {"metric_version": 1, "attribution_version": 2, "helper_query_count": 2, "query_count": 1, "measured_queries": 1, "coverage": "boundary_work", "request_elapsed_micros": 16881, "work_units": 1580}}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:133": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:133", "case_sha256": "d44084ad18c9b2314ee24e3f563781bb5beb89ddb9c99a7b84d6e3745b101345", "status": "pass", "elapsed_ms": 20.036, "query_cost": {"metric_version": 1, "attribution_version": 2, "helper_query_count": 2, "query_count": 1, "measured_queries": 1, "coverage": "boundary_work", "request_elapsed_micros": 18356, "work_units": 1580}}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:134": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:134", "case_sha256": "151c52208858413d95e75771bec743ee50ee9a86e539060a5911233918ff54a9", "status": "pass", "elapsed_ms": 19.51, "query_cost": {"metric_version": 1, "attribution_version": 2, "helper_query_count": 2, "query_count": 1, "measured_queries": 1, "coverage": "boundary_work", "request_elapsed_micros": 18112, "work_units": 1580}}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:135": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:135", "case_sha256": "808051c2ce56687c2a1146aac205bac29d052b5e9f6d31121eda0cd8561b0bfe", "status": "pass", "elapsed_ms": 19.293, "query_cost": {"metric_version": 1, "attribution_version": 2, "helper_query_count": 2, "query_count": 1, "measured_queries": 1, "coverage": "boundary_work", "request_elapsed_micros": 17747, "work_units": 1580}}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:136": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:136", "case_sha256": "2611c5e87f610d1359a9641c11046f0f0eca44c03f025137a130553a09e69e7a", "status": "pass", "elapsed_ms": 17.34, "query_cost": {"metric_version": 1, "attribution_version": 2, "helper_query_count": 2, "query_count": 1, "measured_queries": 1, "coverage": "boundary_work", "request_elapsed_micros": 15932, "work_units": 1580}}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:137": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:137", "case_sha256": "0f27341023d933bc7858d9d9ed4a900f6414be1d5e0fceebb9eec2474cf02346", "status": "pass", "elapsed_ms": 17.486, "query_cost": {"metric_version": 1, "attribution_version": 2, "helper_query_count": 2, "query_count": 1, "measured_queries": 1, "coverage": "boundary_work", "request_elapsed_micros": 15945, "work_units": 1580}}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:169": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:169", "case_sha256": "e717d8a93f9915fc76ade838edd42e55e55ce390139a990d5b9eb69dffd545a3", "status": "pass", "elapsed_ms": 17.264, "query_cost": {"metric_version": 1, "attribution_version": 2, "helper_query_count": 2, "query_count": 1, "measured_queries": 1, "coverage": "boundary_work", "request_elapsed_micros": 15896, "work_units": 1467}}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:170": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:170", "case_sha256": "2d1b204d227926930d80806b475e70d5ec4400f7d3e9a2433288f5c871d2fb02", "status": "pass", "elapsed_ms": 19.527, "query_cost": {"metric_version": 1, "attribution_version": 2, "helper_query_count": 2, "query_count": 1, "measured_queries": 1, "coverage": "boundary_work", "request_elapsed_micros": 17961, "work_units": 1467}}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:171": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:171", "case_sha256": "67e6e1feff4e5c559c7b7df1c78dc49fbc71f3ec3f35188884cb87a63d12a3af", "status": "pass", "elapsed_ms": 19.439, "query_cost": {"metric_version": 1, "attribution_version": 2, "helper_query_count": 2, "query_count": 1, "measured_queries": 1, "coverage": "boundary_work", "request_elapsed_micros": 17845, "work_units": 1467}}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:172": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:172", "case_sha256": "573b9dc3105c243921adb27c58adf6194e4eeba747c293aa579a07d19a66bb0d", "status": "pass", "elapsed_ms": 17.245, "query_cost": {"metric_version": 1, "attribution_version": 2, "helper_query_count": 2, "query_count": 1, "measured_queries": 1, "coverage": "boundary_work", "request_elapsed_micros": 15927, "work_units": 1467}}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:173": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:173", "case_sha256": "8566c20e3e7dc9a46830d25a37a791e4edbbe0095ce5d7791512f4e40081cdf9", "status": "pass", "elapsed_ms": 16.648, "query_cost": {"metric_version": 1, "attribution_version": 2, "helper_query_count": 2, "query_count": 1, "measured_queries": 1, "coverage": "boundary_work", "request_elapsed_micros": 15370, "work_units": 1467}}}, "neo4j": {"opencypher:tck/features/expressions/quantifier/Quantifier12.feature:33": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:33", "case_sha256": "cf37d4d3518d39414d53da510ae3d51c3bb8fa02422377a84316d1f3bf12802f", "status": "pass", "elapsed_ms": 46.067}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:56": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:56", "case_sha256": "531cb8192f327b513784268f62bda04e664840c7e1b83496c937ac1242eda585", "status": "pass", "elapsed_ms": 37.481}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:103": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:103", "case_sha256": "3156af7433df05f53fb2afadc44bd3f762cb098314712300a0cd5f966bf84eb8", "status": "pass", "elapsed_ms": 29.973}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:104": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:104", "case_sha256": "7b87e1a879023fd1f488db752bb9a16cf3cd04869b1fed5b77684fdf35f2645d", "status": "pass", "elapsed_ms": 22.374}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:105": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:105", "case_sha256": "70c2fa8faab37e8aea29ef5e6de08fbba588ca4727cd5bbb3b1a0487339b4b42", "status": "pass", "elapsed_ms": 17.566}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:106": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:106", "case_sha256": "cf10a599333d466285863855447a434ade83c2426a12b797779a7d721ddb447b", "status": "pass", "elapsed_ms": 23.476}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:107": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:107", "case_sha256": "b7cc2911dbaf04a348181e55afe84ecddb0882425b9c3fa29f9a519ee8f19b78", "status": "pass", "elapsed_ms": 37.946}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:133": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:133", "case_sha256": "d44084ad18c9b2314ee24e3f563781bb5beb89ddb9c99a7b84d6e3745b101345", "status": "pass", "elapsed_ms": 32.058}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:134": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:134", "case_sha256": "151c52208858413d95e75771bec743ee50ee9a86e539060a5911233918ff54a9", "status": "pass", "elapsed_ms": 20.501}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:135": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:135", "case_sha256": "808051c2ce56687c2a1146aac205bac29d052b5e9f6d31121eda0cd8561b0bfe", "status": "pass", "elapsed_ms": 29.951}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:136": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:136", "case_sha256": "2611c5e87f610d1359a9641c11046f0f0eca44c03f025137a130553a09e69e7a", "status": "pass", "elapsed_ms": 34.255}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:137": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:137", "case_sha256": "0f27341023d933bc7858d9d9ed4a900f6414be1d5e0fceebb9eec2474cf02346", "status": "pass", "elapsed_ms": 30.087}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:169": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:169", "case_sha256": "e717d8a93f9915fc76ade838edd42e55e55ce390139a990d5b9eb69dffd545a3", "status": "pass", "elapsed_ms": 72.135}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:170": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:170", "case_sha256": "2d1b204d227926930d80806b475e70d5ec4400f7d3e9a2433288f5c871d2fb02", "status": "pass", "elapsed_ms": 69.342}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:171": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:171", "case_sha256": "67e6e1feff4e5c559c7b7df1c78dc49fbc71f3ec3f35188884cb87a63d12a3af", "status": "pass", "elapsed_ms": 145.478}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:172": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:172", "case_sha256": "573b9dc3105c243921adb27c58adf6194e4eeba747c293aa579a07d19a66bb0d", "status": "pass", "elapsed_ms": 52.283}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:173": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:173", "case_sha256": "8566c20e3e7dc9a46830d25a37a791e4edbbe0095ce5d7791512f4e40081cdf9", "status": "pass", "elapsed_ms": 54.512}}, "puppygraph": {"opencypher:tck/features/expressions/quantifier/Quantifier12.feature:33": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:33", "case_sha256": "cf37d4d3518d39414d53da510ae3d51c3bb8fa02422377a84316d1f3bf12802f", "status": "fail", "elapsed_ms": 36.867}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:56": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:56", "case_sha256": "531cb8192f327b513784268f62bda04e664840c7e1b83496c937ac1242eda585", "status": "fail", "elapsed_ms": 36.854}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:103": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:103", "case_sha256": "3156af7433df05f53fb2afadc44bd3f762cb098314712300a0cd5f966bf84eb8", "status": "fail", "elapsed_ms": 24.642}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:104": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:104", "case_sha256": "7b87e1a879023fd1f488db752bb9a16cf3cd04869b1fed5b77684fdf35f2645d", "status": "fail", "elapsed_ms": 31.57}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:105": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:105", "case_sha256": "70c2fa8faab37e8aea29ef5e6de08fbba588ca4727cd5bbb3b1a0487339b4b42", "status": "fail", "elapsed_ms": 42.195}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:106": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:106", "case_sha256": "cf10a599333d466285863855447a434ade83c2426a12b797779a7d721ddb447b", "status": "fail", "elapsed_ms": 48.563}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:107": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:107", "case_sha256": "b7cc2911dbaf04a348181e55afe84ecddb0882425b9c3fa29f9a519ee8f19b78", "status": "fail", "elapsed_ms": 49.666}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:133": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:133", "case_sha256": "d44084ad18c9b2314ee24e3f563781bb5beb89ddb9c99a7b84d6e3745b101345", "status": "fail", "elapsed_ms": 22.953}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:134": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:134", "case_sha256": "151c52208858413d95e75771bec743ee50ee9a86e539060a5911233918ff54a9", "status": "fail", "elapsed_ms": 20.791}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:135": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:135", "case_sha256": "808051c2ce56687c2a1146aac205bac29d052b5e9f6d31121eda0cd8561b0bfe", "status": "fail", "elapsed_ms": 22.744}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:136": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:136", "case_sha256": "2611c5e87f610d1359a9641c11046f0f0eca44c03f025137a130553a09e69e7a", "status": "fail", "elapsed_ms": 20.544}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:137": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:137", "case_sha256": "0f27341023d933bc7858d9d9ed4a900f6414be1d5e0fceebb9eec2474cf02346", "status": "fail", "elapsed_ms": 16.133}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:169": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:169", "case_sha256": "e717d8a93f9915fc76ade838edd42e55e55ce390139a990d5b9eb69dffd545a3", "status": "fail", "elapsed_ms": 16.163}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:170": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:170", "case_sha256": "2d1b204d227926930d80806b475e70d5ec4400f7d3e9a2433288f5c871d2fb02", "status": "fail", "elapsed_ms": 19.619}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:171": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:171", "case_sha256": "67e6e1feff4e5c559c7b7df1c78dc49fbc71f3ec3f35188884cb87a63d12a3af", "status": "fail", "elapsed_ms": 20.438}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:172": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:172", "case_sha256": "573b9dc3105c243921adb27c58adf6194e4eeba747c293aa579a07d19a66bb0d", "status": "fail", "elapsed_ms": 17.914}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:173": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:173", "case_sha256": "8566c20e3e7dc9a46830d25a37a791e4edbbe0095ce5d7791512f4e40081cdf9", "status": "fail", "elapsed_ms": 21.738}}, "arcadedb": {"opencypher:tck/features/expressions/quantifier/Quantifier12.feature:33": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:33", "case_sha256": "cf37d4d3518d39414d53da510ae3d51c3bb8fa02422377a84316d1f3bf12802f", "status": "pass", "elapsed_ms": 40.719}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:56": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:56", "case_sha256": "531cb8192f327b513784268f62bda04e664840c7e1b83496c937ac1242eda585", "status": "pass", "elapsed_ms": 20.0}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:103": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:103", "case_sha256": "3156af7433df05f53fb2afadc44bd3f762cb098314712300a0cd5f966bf84eb8", "status": "pass", "elapsed_ms": 24.07}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:104": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:104", "case_sha256": "7b87e1a879023fd1f488db752bb9a16cf3cd04869b1fed5b77684fdf35f2645d", "status": "pass", "elapsed_ms": 20.432}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:105": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:105", "case_sha256": "70c2fa8faab37e8aea29ef5e6de08fbba588ca4727cd5bbb3b1a0487339b4b42", "status": "pass", "elapsed_ms": 8.773}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:106": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:106", "case_sha256": "cf10a599333d466285863855447a434ade83c2426a12b797779a7d721ddb447b", "status": "pass", "elapsed_ms": 9.005}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:107": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:107", "case_sha256": "b7cc2911dbaf04a348181e55afe84ecddb0882425b9c3fa29f9a519ee8f19b78", "status": "pass", "elapsed_ms": 16.801}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:133": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:133", "case_sha256": "d44084ad18c9b2314ee24e3f563781bb5beb89ddb9c99a7b84d6e3745b101345", "status": "pass", "elapsed_ms": 32.07}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:134": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:134", "case_sha256": "151c52208858413d95e75771bec743ee50ee9a86e539060a5911233918ff54a9", "status": "pass", "elapsed_ms": 9.064}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:135": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:135", "case_sha256": "808051c2ce56687c2a1146aac205bac29d052b5e9f6d31121eda0cd8561b0bfe", "status": "pass", "elapsed_ms": 9.231}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:136": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:136", "case_sha256": "2611c5e87f610d1359a9641c11046f0f0eca44c03f025137a130553a09e69e7a", "status": "pass", "elapsed_ms": 8.315}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:137": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:137", "case_sha256": "0f27341023d933bc7858d9d9ed4a900f6414be1d5e0fceebb9eec2474cf02346", "status": "pass", "elapsed_ms": 27.679}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:169": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:169", "case_sha256": "e717d8a93f9915fc76ade838edd42e55e55ce390139a990d5b9eb69dffd545a3", "status": "pass", "elapsed_ms": 13.896}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:170": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:170", "case_sha256": "2d1b204d227926930d80806b475e70d5ec4400f7d3e9a2433288f5c871d2fb02", "status": "pass", "elapsed_ms": 10.905}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:171": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:171", "case_sha256": "67e6e1feff4e5c559c7b7df1c78dc49fbc71f3ec3f35188884cb87a63d12a3af", "status": "pass", "elapsed_ms": 10.154}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:172": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:172", "case_sha256": "573b9dc3105c243921adb27c58adf6194e4eeba747c293aa579a07d19a66bb0d", "status": "pass", "elapsed_ms": 28.9}, "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:173": {"id": "opencypher:tck/features/expressions/quantifier/Quantifier12.feature:173", "case_sha256": "8566c20e3e7dc9a46830d25a37a791e4edbbe0095ce5d7791512f4e40081cdf9", "status": "pass", "elapsed_ms": 13.846}}}}