{"abstract":"The matrix contains reversed and self pairs.","category":"Exam timetabling constraints","checks":8,"contract":"enrol rows [student, exam] (may repeat). For every unordered pair of distinct exams (a < b) count the students enrolled in both. Return [a, b, count] rows sorted, omitting zero counts.","contract_signature":"enrol","evaluation_group":"w2-exam-timetabling-constraints-conflict-matrix","failed_approach":"Starting at i still adds self pairs.","family":"w2-exam-timetabling-constraints-conflict-matrix-pair-loop-bounds","id":"FA-94686","implementations":{"attempt":{"sha256":"572b4d917c8d562bee099636cc5ff060a52fca4af7e301f7bbe956b3273b3299","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(enrol):\n    by = {}\n    for st, ex in enrol:\n        by.setdefault(st, set()).add(ex)\n    cnt = {}\n    for st in by:\n        exs = sorted(by[st])\n        for i in range(len(exs)):\n            for j in range(i, len(exs)):\n                k = (exs[i], exs[j])\n                cnt[k] = cnt.get(k, 0) + 1\n    return [[a, b, n] for (a, b), n in sorted(cnt.items())]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: pair loop bounds 1', [[['s1', 'A'], ['s1', 'B'], ['s2', 'A'], ['s2', 'B']]], [['A', 'B', 2]]),\n  ('regression variant: pair loop bounds 2', [[['s5', 'BIO130'], ['s5', 'HIST140']]],\n   [['BIO130', 'HIST140', 1]]),\n  ('partial repair guard 3',\n   [[['s2', 'BIO130'], ['s1', 'MATH101H'], ['s1', 'HIST140'], ['s1', 'CHEM120'], ['s1', 'PHYS110'],\n     ['s3', 'ECON150']]],\n   [['CHEM120', 'HIST140', 1], ['CHEM120', 'MATH101H', 1], ['CHEM120', 'PHYS110', 1],\n    ['HIST140', 'MATH101H', 1], ['HIST140', 'PHYS110', 1], ['MATH101H', 'PHYS110', 1]]),\n  ('boundary control 4', [[['s1', 'B'], ['s1', 'A'], ['s1', 'C']]],\n   [['A', 'B', 1], ['A', 'C', 1], ['B', 'C', 1]]),\n  ('normal control 5', [[['s2', 'BIO130'], ['s2', 'CHEM120'], ['s2', 'MATH101']]],\n   [['BIO130', 'CHEM120', 1], ['BIO130', 'MATH101', 1], ['CHEM120', 'MATH101', 1]]),\n  ('normal control 6',\n   [[['s4', 'MATH101'], ['s1', 'PHYS110'], ['s2', 'BIO130'], ['s4', 'PHYS110'], ['s1', 'CHEM120'],\n     ['s2', 'PHYS110'], ['s4', 'ECON150'], ['s1', 'MATH101'], ['s3', 'MATH101H'], ['s4', 'MATH101H'],\n     ['s4', 'MATH101H']]],\n   [['BIO130', 'PHYS110', 1], ['CHEM120', 'MATH101', 1], ['CHEM120', 'PHYS110', 1], ['ECON150', 'MATH101', 1],\n    ['ECON150', 'MATH101H', 1], ['ECON150', 'PHYS110', 1], ['MATH101', 'MATH101H', 1],\n    ['MATH101', 'PHYS110', 2], ['MATH101H', 'PHYS110', 1]]),\n  ('normal control 7',\n   [[['s1', 'MATH101H'], ['s4', 'MATH101'], ['s1', 'HIST140'], ['s4', 'CHEM120'], ['s2', 'MATH101'],\n     ['s2', 'BIO130']]],\n   [['BIO130', 'MATH101', 1], ['CHEM120', 'MATH101', 1], ['HIST140', 'MATH101H', 1]]),\n  ('normal control 8',\n   [[['s4', 'BIO130'], ['s3', 'ECON150'], ['s3', 'CHEM120'], ['s3', 'BIO130'], ['s4', 'HIST140'],\n     ['s3', 'PHYS110']]],\n   [['BIO130', 'CHEM120', 1], ['BIO130', 'ECON150', 1], ['BIO130', 'HIST140', 1], ['BIO130', 'PHYS110', 1],\n    ['CHEM120', 'ECON150', 1], ['CHEM120', 'PHYS110', 1], ['ECON150', 'PHYS110', 1]])],\n [('regression: pair loop bounds 1', [[['s1', 'A'], ['s1', 'A'], ['s1', 'B']]], [['A', 'B', 1]]),\n  ('regression variant: pair loop bounds 2',\n   [[['s2', 'MATH101'], ['s3', 'CHEM120'], ['s5', 'MATH101H'], ['s5', 'ECON150'], ['s3', 'MATH101H'],\n     ['s3', 'HIST140'], ['s2', 'PHYS110'], ['s3', 'MATH101']]],\n   [['CHEM120', 'HIST140', 1], ['CHEM120', 'MATH101', 1], ['CHEM120', 'MATH101H', 1],\n    ['ECON150', 'MATH101H', 1], ['HIST140', 'MATH101', 1], ['HIST140', 'MATH101H', 1],\n    ['MATH101', 'MATH101H', 1], ['MATH101', 'PHYS110', 1]]),\n  ('partial repair guard 3', [[['s5', 'MATH101'], ['s5', 'HIST140']]], [['HIST140', 'MATH101', 1]]),\n  ('boundary control 4', [[['s1', 'A'], ['s1', 'B'], ['s2', 'A'], ['s2', 'B']]], [['A', 'B', 2]]),\n  ('boundary control 5', [[['s1', 'B'], ['s1', 'A'], ['s1', 'C']]],\n   [['A', 'B', 1], ['A', 'C', 1], ['B', 'C', 1]]),\n  ('normal control 6',\n   [[['s1', 'PHYS110'], ['s3', 'PHYS110'], ['s3', 'MATH101'], ['s4', 'HIST140'], ['s5', 'CHEM120'],\n     ['s5', 'PHYS110'], ['s1', 'BIO130']]],\n   [['BIO130', 'PHYS110', 1], ['CHEM120', 'PHYS110', 1], ['MATH101', 'PHYS110', 1]]),\n  ('normal control 7',\n   [[['s1', 'BIO130'], ['s4', 'BIO130'], ['s4', 'HIST140'], ['s4', 'MATH101H'], ['s1', 'MATH101H'],\n     ['s1', 'HIST140'], ['s1', 'BIO130']]],\n   [['BIO130', 'HIST140', 2], ['BIO130', 'MATH101H', 2], ['HIST140', 'MATH101H', 2]]),\n  ('normal control 8',\n   [[['s5', 'MATH101H'], ['s5', 'ECON150'], ['s3', 'MATH101H'], ['s1', 'HIST140'], ['s2', 'BIO130'],\n     ['s3', 'HIST140'], ['s3', 'PHYS110'], ['s3', 'MATH101'], ['s3', 'MATH101H'], ['s5', 'BIO130']]],\n   [['BIO130', 'ECON150', 1], ['BIO130', 'MATH101H', 1], ['ECON150', 'MATH101H', 1],\n    ['HIST140', 'MATH101', 1], ['HIST140', 'MATH101H', 1], ['HIST140', 'PHYS110', 1],\n    ['MATH101', 'MATH101H', 1], ['MATH101', 'PHYS110', 1], ['MATH101H', 'PHYS110', 1]])],\n [('regression: pair loop bounds 1', [[['s1', 'B'], ['s1', 'A'], ['s1', 'C']]],\n   [['A', 'B', 1], ['A', 'C', 1], ['B', 'C', 1]]),\n  ('regression variant: pair loop bounds 2',\n   [[['s1', 'BIO130'], ['s2', 'HIST140'], ['s2', 'ECON150'], ['s1', 'ECON150'], ['s1', 'MATH101'],\n     ['s5', 'MATH101'], ['s5', 'BIO130'], ['s1', 'HIST140']]],\n   [['BIO130', 'ECON150', 1], ['BIO130', 'HIST140', 1], ['BIO130', 'MATH101', 2], ['ECON150', 'HIST140', 2],\n    ['ECON150', 'MATH101', 1], ['HIST140', 'MATH101', 1]]),\n  ('partial repair guard 3',\n   [[['s3', 'MATH101'], ['s3', 'MATH101H'], ['s1', 'CHEM120'], ['s3', 'ECON150'], ['s2', 'MATH101H'],\n     ['s1', 'ECON150'], ['s2', 'ECON150']]],\n   [['CHEM120', 'ECON150', 1], ['ECON150', 'MATH101', 1], ['ECON150', 'MATH101H', 2],\n    ['MATH101', 'MATH101H', 1]]),\n  ('boundary control 4', [[['s1', 'A'], ['s1', 'B'], ['s2', 'A'], ['s2', 'B']]], [['A', 'B', 2]]),\n  ('normal control 5',\n   [[['s5', 'MATH101'], ['s1', 'CHEM120'], ['s3', 'PHYS110'], ['s3', 'MATH101H'], ['s4', 'PHYS110'],\n     ['s3', 'CHEM120'], ['s5', 'PHYS110'], ['s3', 'BIO130'], ['s5', 'MATH101H'], ['s5', 'ECON150'],\n     ['s4', 'PHYS110'], ['s2', 'ECON150']]],\n   [['BIO130', 'CHEM120', 1], ['BIO130', 'MATH101H', 1], ['BIO130', 'PHYS110', 1], ['CHEM120', 'MATH101H', 1],\n    ['CHEM120', 'PHYS110', 1], ['ECON150', 'MATH101', 1], ['ECON150', 'MATH101H', 1],\n    ['ECON150', 'PHYS110', 1], ['MATH101', 'MATH101H', 1], ['MATH101', 'PHYS110', 1],\n    ['MATH101H', 'PHYS110', 2]]),\n  ('normal control 6', [[['s5', 'PHYS110']]], []),\n  ('normal control 7',\n   [[['s3', 'ECON150'], ['s2', 'CHEM120'], ['s5', 'BIO130'], ['s3', 'CHEM120'], ['s4', 'BIO130'],\n     ['s5', 'PHYS110'], ['s5', 'MATH101H'], ['s1', 'PHYS110'], ['s5', 'CHEM120'], ['s3', 'BIO130'],\n     ['s4', 'MATH101H'], ['s4', 'PHYS110'], ['s3', 'HIST140']]],\n   [['BIO130', 'CHEM120', 2], ['BIO130', 'ECON150', 1], ['BIO130', 'HIST140', 1], ['BIO130', 'MATH101H', 2],\n    ['BIO130', 'PHYS110', 2], ['CHEM120', 'ECON150', 1], ['CHEM120', 'HIST140', 1],\n    ['CHEM120', 'MATH101H', 1], ['CHEM120', 'PHYS110', 1], ['ECON150', 'HIST140', 1],\n    ['MATH101H', 'PHYS110', 2]]),\n  ('normal control 8',\n   [[['s4', 'CHEM120'], ['s3', 'BIO130'], ['s5', 'PHYS110'], ['s3', 'ECON150'], ['s5', 'MATH101'],\n     ['s5', 'BIO130'], ['s4', 'MATH101'], ['s1', 'MATH101H'], ['s3', 'MATH101H'], ['s4', 'ECON150'],\n     ['s1', 'BIO130'], ['s4', 'BIO130'], ['s1', 'CHEM120']]],\n   [['BIO130', 'CHEM120', 2], ['BIO130', 'ECON150', 2], ['BIO130', 'MATH101', 2], ['BIO130', 'MATH101H', 2],\n    ['BIO130', 'PHYS110', 1], ['CHEM120', 'ECON150', 1], ['CHEM120', 'MATH101', 1],\n    ['CHEM120', 'MATH101H', 1], ['ECON150', 'MATH101', 1], ['ECON150', 'MATH101H', 1],\n    ['MATH101', 'PHYS110', 1]])],\n [('regression: pair loop bounds 1',\n   [[['s4', 'CHEM120'], ['s2', 'ECON150'], ['s5', 'HIST140'], ['s1', 'ECON150'], ['s3', 'HIST140'],\n     ['s3', 'MATH101'], ['s5', 'MATH101'], ['s2', 'MATH101H'], ['s3', 'PHYS110'], ['s4', 'HIST140'],\n     ['s2', 'PHYS110'], ['s2', 'BIO130'], ['s3', 'ECON150'], ['s1', 'CHEM120']]],\n   [['BIO130', 'ECON150', 1], ['BIO130', 'MATH101H', 1], ['BIO130', 'PHYS110', 1], ['CHEM120', 'ECON150', 1],\n    ['CHEM120', 'HIST140', 1], ['ECON150', 'HIST140', 1], ['ECON150', 'MATH101', 1],\n    ['ECON150', 'MATH101H', 1], ['ECON150', 'PHYS110', 2], ['HIST140', 'MATH101', 2],\n    ['HIST140', 'PHYS110', 1], ['MATH101', 'PHYS110', 1], ['MATH101H', 'PHYS110', 1]]),\n  ('regression variant: pair loop bounds 2',\n   [[['s2', 'BIO130'], ['s5', 'MATH101'], ['s3', 'ECON150'], ['s5', 'PHYS110'], ['s3', 'BIO130'],\n     ['s5', 'MATH101H'], ['s3', 'HIST140'], ['s5', 'BIO130']]],\n   [['BIO130', 'ECON150', 1], ['BIO130', 'HIST140', 1], ['BIO130', 'MATH101', 1], ['BIO130', 'MATH101H', 1],\n    ['BIO130', 'PHYS110', 1], ['ECON150', 'HIST140', 1], ['MATH101', 'MATH101H', 1],\n    ['MATH101', 'PHYS110', 1], ['MATH101H', 'PHYS110', 1]]),\n  ('partial repair guard 3',\n   [[['s5', 'HIST140'], ['s3', 'MATH101H'], ['s1', 'MATH101H'], ['s5', 'ECON150'], ['s3', 'HIST140'],\n     ['s3', 'BIO130'], ['s3', 'ECON150'], ['s3', 'ECON150']]],\n   [['BIO130', 'ECON150', 1], ['BIO130', 'HIST140', 1], ['BIO130', 'MATH101H', 1], ['ECON150', 'HIST140', 2],\n    ['ECON150', 'MATH101H', 1], ['HIST140', 'MATH101H', 1]]),\n  ('boundary control 4', [[['s1', 'A'], ['s1', 'B'], ['s2', 'A'], ['s2', 'B']]], [['A', 'B', 2]]),\n  ('boundary control 5', [[['s1', 'B'], ['s1', 'A'], ['s1', 'C']]],\n   [['A', 'B', 1], ['A', 'C', 1], ['B', 'C', 1]]),\n  ('normal control 6', [[['s1', 'CHEM120'], ['s1', 'PHYS110'], ['s1', 'MATH101']]],\n   [['CHEM120', 'MATH101', 1], ['CHEM120', 'PHYS110', 1], ['MATH101', 'PHYS110', 1]]),\n  ('normal control 7',\n   [[['s3', 'MATH101H'], ['s2', 'PHYS110'], ['s2', 'ECON150'], ['s4', 'ECON150'], ['s2', 'MATH101H'],\n     ['s2', 'BIO130'], ['s4', 'HIST140'], ['s4', 'MATH101H'], ['s3', 'PHYS110'], ['s3', 'BIO130']]],\n   [['BIO130', 'ECON150', 1], ['BIO130', 'MATH101H', 2], ['BIO130', 'PHYS110', 2], ['ECON150', 'HIST140', 1],\n    ['ECON150', 'MATH101H', 2], ['ECON150', 'PHYS110', 1], ['HIST140', 'MATH101H', 1],\n    ['MATH101H', 'PHYS110', 2]]),\n  ('normal control 8', [[['s2', 'BIO130'], ['s2', 'HIST140'], ['s2', 'ECON150'], ['s2', 'CHEM120']]],\n   [['BIO130', 'CHEM120', 1], ['BIO130', 'ECON150', 1], ['BIO130', 'HIST140', 1], ['CHEM120', 'ECON150', 1],\n    ['CHEM120', 'HIST140', 1], ['ECON150', 'HIST140', 1]])],\n [('regression: pair loop bounds 1',\n   [[['s3', 'MATH101'], ['s1', 'BIO130'], ['s4', 'ECON150'], ['s1', 'ECON150'], ['s5', 'MATH101'],\n     ['s4', 'CHEM120'], ['s3', 'CHEM120'], ['s5', 'BIO130']]],\n   [['BIO130', 'ECON150', 1], ['BIO130', 'MATH101', 1], ['CHEM120', 'ECON150', 1],\n    ['CHEM120', 'MATH101', 1]]),\n  ('regression variant: pair loop bounds 2',\n   [[['s3', 'BIO130'], ['s3', 'HIST140'], ['s3', 'MATH101H'], ['s3', 'MATH101'], ['s3', 'HIST140']]],\n   [['BIO130', 'HIST140', 1], ['BIO130', 'MATH101', 1], ['BIO130', 'MATH101H', 1], ['HIST140', 'MATH101', 1],\n    ['HIST140', 'MATH101H', 1], ['MATH101', 'MATH101H', 1]]),\n  ('partial repair guard 3', [[['s1', 'HIST140'], ['s1', 'MATH101'], ['s1', 'CHEM120'], ['s1', 'CHEM120']]],\n   [['CHEM120', 'HIST140', 1], ['CHEM120', 'MATH101', 1], ['HIST140', 'MATH101', 1]]),\n  ('boundary control 4', [[['s1', 'A'], ['s1', 'B'], ['s2', 'A'], ['s2', 'B']]], [['A', 'B', 2]]),\n  ('boundary control 5', [[['s1', 'B'], ['s1', 'A'], ['s1', 'C']]],\n   [['A', 'B', 1], ['A', 'C', 1], ['B', 'C', 1]]),\n  ('normal control 6', [[['s5', 'MATH101H'], ['s5', 'HIST140'], ['s5', 'MATH101'], ['s5', 'HIST140']]],\n   [['HIST140', 'MATH101', 1], ['HIST140', 'MATH101H', 1], ['MATH101', 'MATH101H', 1]]),\n  ('normal control 7',\n   [[['s1', 'PHYS110'], ['s4', 'PHYS110'], ['s3', 'ECON150'], ['s5', 'MATH101H'], ['s1', 'CHEM120'],\n     ['s1', 'MATH101'], ['s4', 'BIO130'], ['s1', 'ECON150'], ['s2', 'MATH101H'], ['s4', 'MATH101H']]],\n   [['BIO130', 'MATH101H', 1], ['BIO130', 'PHYS110', 1], ['CHEM120', 'ECON150', 1], ['CHEM120', 'MATH101', 1],\n    ['CHEM120', 'PHYS110', 1], ['ECON150', 'MATH101', 1], ['ECON150', 'PHYS110', 1],\n    ['MATH101', 'PHYS110', 1], ['MATH101H', 'PHYS110', 1]]),\n  ('normal control 8', [[['s2', 'CHEM120'], ['s2', 'BIO130'], ['s5', 'MATH101H'], ['s2', 'ECON150']]],\n   [['BIO130', 'CHEM120', 1], ['BIO130', 'ECON150', 1], ['CHEM120', 'ECON150', 1]])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"dba40963738467a24bc172745335b9775b7c2abf65c01e51e0889dd7d8002e94","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(enrol):\n    by = {}\n    for st, ex in enrol:\n        by.setdefault(st, set()).add(ex)\n    cnt = {}\n    for st in by:\n        exs = sorted(by[st])\n        for i in range(len(exs)):\n            for j in range(len(exs)):\n                k = (exs[i], exs[j])\n                cnt[k] = cnt.get(k, 0) + 1\n    return [[a, b, n] for (a, b), n in sorted(cnt.items())]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: pair loop bounds 1', [[['s1', 'A'], ['s1', 'B'], ['s2', 'A'], ['s2', 'B']]], [['A', 'B', 2]]),\n  ('regression variant: pair loop bounds 2', [[['s5', 'BIO130'], ['s5', 'HIST140']]],\n   [['BIO130', 'HIST140', 1]]),\n  ('partial repair guard 3',\n   [[['s2', 'BIO130'], ['s1', 'MATH101H'], ['s1', 'HIST140'], ['s1', 'CHEM120'], ['s1', 'PHYS110'],\n     ['s3', 'ECON150']]],\n   [['CHEM120', 'HIST140', 1], ['CHEM120', 'MATH101H', 1], ['CHEM120', 'PHYS110', 1],\n    ['HIST140', 'MATH101H', 1], ['HIST140', 'PHYS110', 1], ['MATH101H', 'PHYS110', 1]]),\n  ('boundary control 4', [[['s1', 'B'], ['s1', 'A'], ['s1', 'C']]],\n   [['A', 'B', 1], ['A', 'C', 1], ['B', 'C', 1]]),\n  ('normal control 5', [[['s2', 'BIO130'], ['s2', 'CHEM120'], ['s2', 'MATH101']]],\n   [['BIO130', 'CHEM120', 1], ['BIO130', 'MATH101', 1], ['CHEM120', 'MATH101', 1]]),\n  ('normal control 6',\n   [[['s4', 'MATH101'], ['s1', 'PHYS110'], ['s2', 'BIO130'], ['s4', 'PHYS110'], ['s1', 'CHEM120'],\n     ['s2', 'PHYS110'], ['s4', 'ECON150'], ['s1', 'MATH101'], ['s3', 'MATH101H'], ['s4', 'MATH101H'],\n     ['s4', 'MATH101H']]],\n   [['BIO130', 'PHYS110', 1], ['CHEM120', 'MATH101', 1], ['CHEM120', 'PHYS110', 1], ['ECON150', 'MATH101', 1],\n    ['ECON150', 'MATH101H', 1], ['ECON150', 'PHYS110', 1], ['MATH101', 'MATH101H', 1],\n    ['MATH101', 'PHYS110', 2], ['MATH101H', 'PHYS110', 1]]),\n  ('normal control 7',\n   [[['s1', 'MATH101H'], ['s4', 'MATH101'], ['s1', 'HIST140'], ['s4', 'CHEM120'], ['s2', 'MATH101'],\n     ['s2', 'BIO130']]],\n   [['BIO130', 'MATH101', 1], ['CHEM120', 'MATH101', 1], ['HIST140', 'MATH101H', 1]]),\n  ('normal control 8',\n   [[['s4', 'BIO130'], ['s3', 'ECON150'], ['s3', 'CHEM120'], ['s3', 'BIO130'], ['s4', 'HIST140'],\n     ['s3', 'PHYS110']]],\n   [['BIO130', 'CHEM120', 1], ['BIO130', 'ECON150', 1], ['BIO130', 'HIST140', 1], ['BIO130', 'PHYS110', 1],\n    ['CHEM120', 'ECON150', 1], ['CHEM120', 'PHYS110', 1], ['ECON150', 'PHYS110', 1]])],\n [('regression: pair loop bounds 1', [[['s1', 'A'], ['s1', 'A'], ['s1', 'B']]], [['A', 'B', 1]]),\n  ('regression variant: pair loop bounds 2',\n   [[['s2', 'MATH101'], ['s3', 'CHEM120'], ['s5', 'MATH101H'], ['s5', 'ECON150'], ['s3', 'MATH101H'],\n     ['s3', 'HIST140'], ['s2', 'PHYS110'], ['s3', 'MATH101']]],\n   [['CHEM120', 'HIST140', 1], ['CHEM120', 'MATH101', 1], ['CHEM120', 'MATH101H', 1],\n    ['ECON150', 'MATH101H', 1], ['HIST140', 'MATH101', 1], ['HIST140', 'MATH101H', 1],\n    ['MATH101', 'MATH101H', 1], ['MATH101', 'PHYS110', 1]]),\n  ('partial repair guard 3', [[['s5', 'MATH101'], ['s5', 'HIST140']]], [['HIST140', 'MATH101', 1]]),\n  ('boundary control 4', [[['s1', 'A'], ['s1', 'B'], ['s2', 'A'], ['s2', 'B']]], [['A', 'B', 2]]),\n  ('boundary control 5', [[['s1', 'B'], ['s1', 'A'], ['s1', 'C']]],\n   [['A', 'B', 1], ['A', 'C', 1], ['B', 'C', 1]]),\n  ('normal control 6',\n   [[['s1', 'PHYS110'], ['s3', 'PHYS110'], ['s3', 'MATH101'], ['s4', 'HIST140'], ['s5', 'CHEM120'],\n     ['s5', 'PHYS110'], ['s1', 'BIO130']]],\n   [['BIO130', 'PHYS110', 1], ['CHEM120', 'PHYS110', 1], ['MATH101', 'PHYS110', 1]]),\n  ('normal control 7',\n   [[['s1', 'BIO130'], ['s4', 'BIO130'], ['s4', 'HIST140'], ['s4', 'MATH101H'], ['s1', 'MATH101H'],\n     ['s1', 'HIST140'], ['s1', 'BIO130']]],\n   [['BIO130', 'HIST140', 2], ['BIO130', 'MATH101H', 2], ['HIST140', 'MATH101H', 2]]),\n  ('normal control 8',\n   [[['s5', 'MATH101H'], ['s5', 'ECON150'], ['s3', 'MATH101H'], ['s1', 'HIST140'], ['s2', 'BIO130'],\n     ['s3', 'HIST140'], ['s3', 'PHYS110'], ['s3', 'MATH101'], ['s3', 'MATH101H'], ['s5', 'BIO130']]],\n   [['BIO130', 'ECON150', 1], ['BIO130', 'MATH101H', 1], ['ECON150', 'MATH101H', 1],\n    ['HIST140', 'MATH101', 1], ['HIST140', 'MATH101H', 1], ['HIST140', 'PHYS110', 1],\n    ['MATH101', 'MATH101H', 1], ['MATH101', 'PHYS110', 1], ['MATH101H', 'PHYS110', 1]])],\n [('regression: pair loop bounds 1', [[['s1', 'B'], ['s1', 'A'], ['s1', 'C']]],\n   [['A', 'B', 1], ['A', 'C', 1], ['B', 'C', 1]]),\n  ('regression variant: pair loop bounds 2',\n   [[['s1', 'BIO130'], ['s2', 'HIST140'], ['s2', 'ECON150'], ['s1', 'ECON150'], ['s1', 'MATH101'],\n     ['s5', 'MATH101'], ['s5', 'BIO130'], ['s1', 'HIST140']]],\n   [['BIO130', 'ECON150', 1], ['BIO130', 'HIST140', 1], ['BIO130', 'MATH101', 2], ['ECON150', 'HIST140', 2],\n    ['ECON150', 'MATH101', 1], ['HIST140', 'MATH101', 1]]),\n  ('partial repair guard 3',\n   [[['s3', 'MATH101'], ['s3', 'MATH101H'], ['s1', 'CHEM120'], ['s3', 'ECON150'], ['s2', 'MATH101H'],\n     ['s1', 'ECON150'], ['s2', 'ECON150']]],\n   [['CHEM120', 'ECON150', 1], ['ECON150', 'MATH101', 1], ['ECON150', 'MATH101H', 2],\n    ['MATH101', 'MATH101H', 1]]),\n  ('boundary control 4', [[['s1', 'A'], ['s1', 'B'], ['s2', 'A'], ['s2', 'B']]], [['A', 'B', 2]]),\n  ('normal control 5',\n   [[['s5', 'MATH101'], ['s1', 'CHEM120'], ['s3', 'PHYS110'], ['s3', 'MATH101H'], ['s4', 'PHYS110'],\n     ['s3', 'CHEM120'], ['s5', 'PHYS110'], ['s3', 'BIO130'], ['s5', 'MATH101H'], ['s5', 'ECON150'],\n     ['s4', 'PHYS110'], ['s2', 'ECON150']]],\n   [['BIO130', 'CHEM120', 1], ['BIO130', 'MATH101H', 1], ['BIO130', 'PHYS110', 1], ['CHEM120', 'MATH101H', 1],\n    ['CHEM120', 'PHYS110', 1], ['ECON150', 'MATH101', 1], ['ECON150', 'MATH101H', 1],\n    ['ECON150', 'PHYS110', 1], ['MATH101', 'MATH101H', 1], ['MATH101', 'PHYS110', 1],\n    ['MATH101H', 'PHYS110', 2]]),\n  ('normal control 6', [[['s5', 'PHYS110']]], []),\n  ('normal control 7',\n   [[['s3', 'ECON150'], ['s2', 'CHEM120'], ['s5', 'BIO130'], ['s3', 'CHEM120'], ['s4', 'BIO130'],\n     ['s5', 'PHYS110'], ['s5', 'MATH101H'], ['s1', 'PHYS110'], ['s5', 'CHEM120'], ['s3', 'BIO130'],\n     ['s4', 'MATH101H'], ['s4', 'PHYS110'], ['s3', 'HIST140']]],\n   [['BIO130', 'CHEM120', 2], ['BIO130', 'ECON150', 1], ['BIO130', 'HIST140', 1], ['BIO130', 'MATH101H', 2],\n    ['BIO130', 'PHYS110', 2], ['CHEM120', 'ECON150', 1], ['CHEM120', 'HIST140', 1],\n    ['CHEM120', 'MATH101H', 1], ['CHEM120', 'PHYS110', 1], ['ECON150', 'HIST140', 1],\n    ['MATH101H', 'PHYS110', 2]]),\n  ('normal control 8',\n   [[['s4', 'CHEM120'], ['s3', 'BIO130'], ['s5', 'PHYS110'], ['s3', 'ECON150'], ['s5', 'MATH101'],\n     ['s5', 'BIO130'], ['s4', 'MATH101'], ['s1', 'MATH101H'], ['s3', 'MATH101H'], ['s4', 'ECON150'],\n     ['s1', 'BIO130'], ['s4', 'BIO130'], ['s1', 'CHEM120']]],\n   [['BIO130', 'CHEM120', 2], ['BIO130', 'ECON150', 2], ['BIO130', 'MATH101', 2], ['BIO130', 'MATH101H', 2],\n    ['BIO130', 'PHYS110', 1], ['CHEM120', 'ECON150', 1], ['CHEM120', 'MATH101', 1],\n    ['CHEM120', 'MATH101H', 1], ['ECON150', 'MATH101', 1], ['ECON150', 'MATH101H', 1],\n    ['MATH101', 'PHYS110', 1]])],\n [('regression: pair loop bounds 1',\n   [[['s4', 'CHEM120'], ['s2', 'ECON150'], ['s5', 'HIST140'], ['s1', 'ECON150'], ['s3', 'HIST140'],\n     ['s3', 'MATH101'], ['s5', 'MATH101'], ['s2', 'MATH101H'], ['s3', 'PHYS110'], ['s4', 'HIST140'],\n     ['s2', 'PHYS110'], ['s2', 'BIO130'], ['s3', 'ECON150'], ['s1', 'CHEM120']]],\n   [['BIO130', 'ECON150', 1], ['BIO130', 'MATH101H', 1], ['BIO130', 'PHYS110', 1], ['CHEM120', 'ECON150', 1],\n    ['CHEM120', 'HIST140', 1], ['ECON150', 'HIST140', 1], ['ECON150', 'MATH101', 1],\n    ['ECON150', 'MATH101H', 1], ['ECON150', 'PHYS110', 2], ['HIST140', 'MATH101', 2],\n    ['HIST140', 'PHYS110', 1], ['MATH101', 'PHYS110', 1], ['MATH101H', 'PHYS110', 1]]),\n  ('regression variant: pair loop bounds 2',\n   [[['s2', 'BIO130'], ['s5', 'MATH101'], ['s3', 'ECON150'], ['s5', 'PHYS110'], ['s3', 'BIO130'],\n     ['s5', 'MATH101H'], ['s3', 'HIST140'], ['s5', 'BIO130']]],\n   [['BIO130', 'ECON150', 1], ['BIO130', 'HIST140', 1], ['BIO130', 'MATH101', 1], ['BIO130', 'MATH101H', 1],\n    ['BIO130', 'PHYS110', 1], ['ECON150', 'HIST140', 1], ['MATH101', 'MATH101H', 1],\n    ['MATH101', 'PHYS110', 1], ['MATH101H', 'PHYS110', 1]]),\n  ('partial repair guard 3',\n   [[['s5', 'HIST140'], ['s3', 'MATH101H'], ['s1', 'MATH101H'], ['s5', 'ECON150'], ['s3', 'HIST140'],\n     ['s3', 'BIO130'], ['s3', 'ECON150'], ['s3', 'ECON150']]],\n   [['BIO130', 'ECON150', 1], ['BIO130', 'HIST140', 1], ['BIO130', 'MATH101H', 1], ['ECON150', 'HIST140', 2],\n    ['ECON150', 'MATH101H', 1], ['HIST140', 'MATH101H', 1]]),\n  ('boundary control 4', [[['s1', 'A'], ['s1', 'B'], ['s2', 'A'], ['s2', 'B']]], [['A', 'B', 2]]),\n  ('boundary control 5', [[['s1', 'B'], ['s1', 'A'], ['s1', 'C']]],\n   [['A', 'B', 1], ['A', 'C', 1], ['B', 'C', 1]]),\n  ('normal control 6', [[['s1', 'CHEM120'], ['s1', 'PHYS110'], ['s1', 'MATH101']]],\n   [['CHEM120', 'MATH101', 1], ['CHEM120', 'PHYS110', 1], ['MATH101', 'PHYS110', 1]]),\n  ('normal control 7',\n   [[['s3', 'MATH101H'], ['s2', 'PHYS110'], ['s2', 'ECON150'], ['s4', 'ECON150'], ['s2', 'MATH101H'],\n     ['s2', 'BIO130'], ['s4', 'HIST140'], ['s4', 'MATH101H'], ['s3', 'PHYS110'], ['s3', 'BIO130']]],\n   [['BIO130', 'ECON150', 1], ['BIO130', 'MATH101H', 2], ['BIO130', 'PHYS110', 2], ['ECON150', 'HIST140', 1],\n    ['ECON150', 'MATH101H', 2], ['ECON150', 'PHYS110', 1], ['HIST140', 'MATH101H', 1],\n    ['MATH101H', 'PHYS110', 2]]),\n  ('normal control 8', [[['s2', 'BIO130'], ['s2', 'HIST140'], ['s2', 'ECON150'], ['s2', 'CHEM120']]],\n   [['BIO130', 'CHEM120', 1], ['BIO130', 'ECON150', 1], ['BIO130', 'HIST140', 1], ['CHEM120', 'ECON150', 1],\n    ['CHEM120', 'HIST140', 1], ['ECON150', 'HIST140', 1]])],\n [('regression: pair loop bounds 1',\n   [[['s3', 'MATH101'], ['s1', 'BIO130'], ['s4', 'ECON150'], ['s1', 'ECON150'], ['s5', 'MATH101'],\n     ['s4', 'CHEM120'], ['s3', 'CHEM120'], ['s5', 'BIO130']]],\n   [['BIO130', 'ECON150', 1], ['BIO130', 'MATH101', 1], ['CHEM120', 'ECON150', 1],\n    ['CHEM120', 'MATH101', 1]]),\n  ('regression variant: pair loop bounds 2',\n   [[['s3', 'BIO130'], ['s3', 'HIST140'], ['s3', 'MATH101H'], ['s3', 'MATH101'], ['s3', 'HIST140']]],\n   [['BIO130', 'HIST140', 1], ['BIO130', 'MATH101', 1], ['BIO130', 'MATH101H', 1], ['HIST140', 'MATH101', 1],\n    ['HIST140', 'MATH101H', 1], ['MATH101', 'MATH101H', 1]]),\n  ('partial repair guard 3', [[['s1', 'HIST140'], ['s1', 'MATH101'], ['s1', 'CHEM120'], ['s1', 'CHEM120']]],\n   [['CHEM120', 'HIST140', 1], ['CHEM120', 'MATH101', 1], ['HIST140', 'MATH101', 1]]),\n  ('boundary control 4', [[['s1', 'A'], ['s1', 'B'], ['s2', 'A'], ['s2', 'B']]], [['A', 'B', 2]]),\n  ('boundary control 5', [[['s1', 'B'], ['s1', 'A'], ['s1', 'C']]],\n   [['A', 'B', 1], ['A', 'C', 1], ['B', 'C', 1]]),\n  ('normal control 6', [[['s5', 'MATH101H'], ['s5', 'HIST140'], ['s5', 'MATH101'], ['s5', 'HIST140']]],\n   [['HIST140', 'MATH101', 1], ['HIST140', 'MATH101H', 1], ['MATH101', 'MATH101H', 1]]),\n  ('normal control 7',\n   [[['s1', 'PHYS110'], ['s4', 'PHYS110'], ['s3', 'ECON150'], ['s5', 'MATH101H'], ['s1', 'CHEM120'],\n     ['s1', 'MATH101'], ['s4', 'BIO130'], ['s1', 'ECON150'], ['s2', 'MATH101H'], ['s4', 'MATH101H']]],\n   [['BIO130', 'MATH101H', 1], ['BIO130', 'PHYS110', 1], ['CHEM120', 'ECON150', 1], ['CHEM120', 'MATH101', 1],\n    ['CHEM120', 'PHYS110', 1], ['ECON150', 'MATH101', 1], ['ECON150', 'PHYS110', 1],\n    ['MATH101', 'PHYS110', 1], ['MATH101H', 'PHYS110', 1]]),\n  ('normal control 8', [[['s2', 'CHEM120'], ['s2', 'BIO130'], ['s5', 'MATH101H'], ['s2', 'ECON150']]],\n   [['BIO130', 'CHEM120', 1], ['BIO130', 'ECON150', 1], ['CHEM120', 'ECON150', 1]])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"Stipulated toy exam-timetabling rule set for a bounded model; it does not claim conformance with any institution's regulations or a benchmark specification, and it performs no search or optimisation. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-exam-timetabling-constraints-conflict-matrix-pair-loop-bounds","generated_at":"2026-09-29T14:52:06.644464+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"The conflict matrix is the input to every exam timetabling algorithm; count errors silently change weights.","root_cause":"The inner loop starts at zero.","sha256":"7c3593803e0c93d041d45713a6947bc8efcbb25ae829ad9c9e0854d8d38aad32","title":"Conflict pairs counted in both orders and with themselves · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":38.91,"exit_code":1,"observations":[{"actual":[["A","A",2],["A","B",2],["B","B",2]],"check":"regression: pair loop bounds 1","expected":[["A","B",2]],"passed":false},{"actual":[["BIO130","BIO130",1],["BIO130","HIST140",1],["HIST140","HIST140",1]],"check":"regression variant: pair loop bounds 2","expected":[["BIO130","HIST140",1]],"passed":false},{"actual":[["BIO130","BIO130",1],["CHEM120","CHEM120",1],["CHEM120","HIST140",1],["CHEM120","MATH101H",1],["CHEM120","PHYS110",1],["ECON150","ECON150",1],["HIST140","HIST140",1],["HIST140","MATH101H",1],["HIST140","PHYS110",1],["MATH101H","MATH101H",1],["MATH101H","PHYS110",1],["PHYS110","PHYS110",1]],"check":"partial repair guard 3","expected":[["CHEM120","HIST140",1],["CHEM120","MATH101H",1],["CHEM120","PHYS110",1],["HIST140","MATH101H",1],["HIST140","PHYS110",1],["MATH101H","PHYS110",1]],"passed":false},{"actual":[["A","A",1],["A","B",1],["A","C",1],["B","B",1],["B","C",1],["C","C",1]],"check":"boundary control 4","expected":[["A","B",1],["A","C",1],["B","C",1]],"passed":false},{"actual":[["BIO130","BIO130",1],["BIO130","CHEM120",1],["BIO130","MATH101",1],["CHEM120","CHEM120",1],["CHEM120","MATH101",1],["MATH101","MATH101",1]],"check":"normal control 5","expected":[["BIO130","CHEM120",1],["BIO130","MATH101",1],["CHEM120","MATH101",1]],"passed":false},{"actual":[["BIO130","BIO130",1],["BIO130","PHYS110",1],["CHEM120","CHEM120",1],["CHEM120","MATH101",1],["CHEM120","PHYS110",1],["ECON150","ECON150",1],["ECON150","MATH101",1],["ECON150","MATH101H",1],["ECON150","PHYS110",1],["MATH101","MATH101",2],["MATH101","MATH101H",1],["MATH101","PHYS110",2],["MATH101H","MATH101H",2],["MATH101H","PHYS110",1],["PHYS110","PHYS110",3]],"check":"normal control 6","expected":[["BIO130","PHYS110",1],["CHEM120","MATH101",1],["CHEM120","PHYS110",1],["ECON150","MATH101",1],["ECON150","MATH101H",1],["ECON150","PHYS110",1],["MATH101","MATH101H",1],["MATH101","PHYS110",2],["MATH101H","PHYS110",1]],"passed":false},{"actual":[["BIO130","BIO130",1],["BIO130","MATH101",1],["CHEM120","CHEM120",1],["CHEM120","MATH101",1],["HIST140","HIST140",1],["HIST140","MATH101H",1],["MATH101","MATH101",2],["MATH101H","MATH101H",1]],"check":"normal control 7","expected":[["BIO130","MATH101",1],["CHEM120","MATH101",1],["HIST140","MATH101H",1]],"passed":false},{"actual":[["BIO130","BIO130",2],["BIO130","CHEM120",1],["BIO130","ECON150",1],["BIO130","HIST140",1],["BIO130","PHYS110",1],["CHEM120","CHEM120",1],["CHEM120","ECON150",1],["CHEM120","PHYS110",1],["ECON150","ECON150",1],["ECON150","PHYS110",1],["HIST140","HIST140",1],["PHYS110","PHYS110",1]],"check":"normal control 8","expected":[["BIO130","CHEM120",1],["BIO130","ECON150",1],["BIO130","HIST140",1],["BIO130","PHYS110",1],["CHEM120","ECON150",1],["CHEM120","PHYS110",1],["ECON150","PHYS110",1]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: pair loop bounds 1\", \"actual\": [[\"A\", \"A\", 2], [\"A\", \"B\", 2], [\"B\", \"B\", 2]], \"expected\": [[\"A\", \"B\", 2]], \"passed\": false}, {\"check\": \"regression variant: pair loop bounds 2\", \"actual\": [[\"BIO130\", \"BIO130\", 1], [\"BIO130\", \"HIST140\", 1], [\"HIST140\", \"HIST140\", 1]], \"expected\": [[\"BIO130\", \"HIST140\", 1]], \"passed\": false}, {\"check\": \"partial repair guard 3\", \"actual\": [[\"BIO130\", \"BIO130\", 1], [\"CHEM120\", \"CHEM120\", 1], [\"CHEM120\", \"HIST140\", 1], [\"CHEM120\", \"MATH101H\", 1], [\"CHEM120\", \"PHYS110\", 1], [\"ECON150\", \"ECON150\", 1], [\"HIST140\", \"HIST140\", 1], [\"HIST140\", \"MATH101H\", 1], [\"HIST140\", \"PHYS110\", 1], [\"MATH101H\", \"MATH101H\", 1], [\"MATH101H\", \"PHYS110\", 1], [\"PHYS110\", \"PHYS110\", 1]], \"expected\": [[\"CHEM120\", \"HIST140\", 1], [\"CHEM120\", \"MATH101H\", 1], [\"CHEM120\", \"PHYS110\", 1], [\"HIST140\", \"MATH101H\", 1], [\"HIST140\", \"PHYS110\", 1], [\"MATH101H\", \"PHYS110\", 1]], \"passed\": false}, {\"check\": \"boundary control 4\", \"actual\": [[\"A\", \"A\", 1], [\"A\", \"B\", 1], [\"A\", \"C\", 1], [\"B\", \"B\", 1], [\"B\", \"C\", 1], [\"C\", \"C\", 1]], \"expected\": [[\"A\", \"B\", 1], [\"A\", \"C\", 1], [\"B\", \"C\", 1]], \"passed\": false}, {\"check\": \"normal control 5\", \"actual\": [[\"BIO130\", \"BIO130\", 1], [\"BIO130\", \"CHEM120\", 1], [\"BIO130\", \"MATH101\", 1], [\"CHEM120\", \"CHEM120\", 1], [\"CHEM120\", \"MATH101\", 1], [\"MATH101\", \"MATH101\", 1]], \"expected\": [[\"BIO130\", \"CHEM120\", 1], [\"BIO130\", \"MATH101\", 1], [\"CHEM120\", \"MATH101\", 1]], \"passed\": false}, {\"check\": \"normal control 6\", \"actual\": [[\"BIO130\", \"BIO130\", 1], [\"BIO130\", \"PHYS110\", 1], [\"CHEM120\", \"CHEM120\", 1], [\"CHEM120\", \"MATH101\", 1], [\"CHEM120\", \"PHYS110\", 1], [\"ECON150\", \"ECON150\", 1], [\"ECON150\", \"MATH101\", 1], [\"ECON150\", \"MATH101H\", 1], [\"ECON150\", \"PHYS110\", 1], [\"MATH101\", \"MATH101\", 2], [\"MATH101\", \"MATH101H\", 1], [\"MATH101\", \"PHYS110\", 2], [\"MATH101H\", \"MATH101H\", 2], [\"MATH101H\", \"PHYS110\", 1], [\"PHYS110\", \"PHYS110\", 3]], \"expected\": [[\"BIO130\", \"PHYS110\", 1], [\"CHEM120\", \"MATH101\", 1], [\"CHEM120\", \"PHYS110\", 1], [\"ECON150\", \"MATH101\", 1], [\"ECON150\", \"MATH101H\", 1], [\"ECON150\", \"PHYS110\", 1], [\"MATH101\", \"MATH101H\", 1], [\"MATH101\", \"PHYS110\", 2], [\"MATH101H\", \"PHYS110\", 1]], \"passed\": false}, {\"check\": \"normal control 7\", \"actual\": [[\"BIO130\", \"BIO130\", 1], [\"BIO130\", \"MATH101\", 1], [\"CHEM120\", \"CHEM120\", 1], [\"CHEM120\", \"MATH101\", 1], [\"HIST140\", \"HIST140\", 1], [\"HIST140\", \"MATH101H\", 1], [\"MATH101\", \"MATH101\", 2], [\"MATH101H\", \"MATH101H\", 1]], \"expected\": [[\"BIO130\", \"MATH101\", 1], [\"CHEM120\", \"MATH101\", 1], [\"HIST140\", \"MATH101H\", 1]], \"passed\": false}, {\"check\": \"normal control 8\", \"actual\": [[\"BIO130\", \"BIO130\", 2], [\"BIO130\", \"CHEM120\", 1], [\"BIO130\", \"ECON150\", 1], [\"BIO130\", \"HIST140\", 1], [\"BIO130\", \"PHYS110\", 1], [\"CHEM120\", \"CHEM120\", 1], [\"CHEM120\", \"ECON150\", 1], [\"CHEM120\", \"PHYS110\", 1], [\"ECON150\", \"ECON150\", 1], [\"ECON150\", \"PHYS110\", 1], [\"HIST140\", \"HIST140\", 1], [\"PHYS110\", \"PHYS110\", 1]], \"expected\": [[\"BIO130\", \"CHEM120\", 1], [\"BIO130\", \"ECON150\", 1], [\"BIO130\", \"HIST140\", 1], [\"BIO130\", \"PHYS110\", 1], [\"CHEM120\", \"ECON150\", 1], [\"CHEM120\", \"PHYS110\", 1], [\"ECON150\", \"PHYS110\", 1]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.184,"exit_code":1,"observations":[{"actual":[["A","A",2],["A","B",2],["B","A",2],["B","B",2]],"check":"regression: pair loop bounds 1","expected":[["A","B",2]],"passed":false},{"actual":[["BIO130","BIO130",1],["BIO130","HIST140",1],["HIST140","BIO130",1],["HIST140","HIST140",1]],"check":"regression variant: pair loop bounds 2","expected":[["BIO130","HIST140",1]],"passed":false},{"actual":[["BIO130","BIO130",1],["CHEM120","CHEM120",1],["CHEM120","HIST140",1],["CHEM120","MATH101H",1],["CHEM120","PHYS110",1],["ECON150","ECON150",1],["HIST140","CHEM120",1],["HIST140","HIST140",1],["HIST140","MATH101H",1],["HIST140","PHYS110",1],["MATH101H","CHEM120",1],["MATH101H","HIST140",1],["MATH101H","MATH101H",1],["MATH101H","PHYS110",1],["PHYS110","CHEM120",1],["PHYS110","HIST140",1],["PHYS110","MATH101H",1],["PHYS110","PHYS110",1]],"check":"partial repair guard 3","expected":[["CHEM120","HIST140",1],["CHEM120","MATH101H",1],["CHEM120","PHYS110",1],["HIST140","MATH101H",1],["HIST140","PHYS110",1],["MATH101H","PHYS110",1]],"passed":false},{"actual":[["A","A",1],["A","B",1],["A","C",1],["B","A",1],["B","B",1],["B","C",1],["C","A",1],["C","B",1],["C","C",1]],"check":"boundary control 4","expected":[["A","B",1],["A","C",1],["B","C",1]],"passed":false},{"actual":[["BIO130","BIO130",1],["BIO130","CHEM120",1],["BIO130","MATH101",1],["CHEM120","BIO130",1],["CHEM120","CHEM120",1],["CHEM120","MATH101",1],["MATH101","BIO130",1],["MATH101","CHEM120",1],["MATH101","MATH101",1]],"check":"normal control 5","expected":[["BIO130","CHEM120",1],["BIO130","MATH101",1],["CHEM120","MATH101",1]],"passed":false},{"actual":[["BIO130","BIO130",1],["BIO130","PHYS110",1],["CHEM120","CHEM120",1],["CHEM120","MATH101",1],["CHEM120","PHYS110",1],["ECON150","ECON150",1],["ECON150","MATH101",1],["ECON150","MATH101H",1],["ECON150","PHYS110",1],["MATH101","CHEM120",1],["MATH101","ECON150",1],["MATH101","MATH101",2],["MATH101","MATH101H",1],["MATH101","PHYS110",2],["MATH101H","ECON150",1],["MATH101H","MATH101",1],["MATH101H","MATH101H",2],["MATH101H","PHYS110",1],["PHYS110","BIO130",1],["PHYS110","CHEM120",1],["PHYS110","ECON150",1],["PHYS110","MATH101",2],["PHYS110","MATH101H",1],["PHYS110","PHYS110",3]],"check":"normal control 6","expected":[["BIO130","PHYS110",1],["CHEM120","MATH101",1],["CHEM120","PHYS110",1],["ECON150","MATH101",1],["ECON150","MATH101H",1],["ECON150","PHYS110",1],["MATH101","MATH101H",1],["MATH101","PHYS110",2],["MATH101H","PHYS110",1]],"passed":false},{"actual":[["BIO130","BIO130",1],["BIO130","MATH101",1],["CHEM120","CHEM120",1],["CHEM120","MATH101",1],["HIST140","HIST140",1],["HIST140","MATH101H",1],["MATH101","BIO130",1],["MATH101","CHEM120",1],["MATH101","MATH101",2],["MATH101H","HIST140",1],["MATH101H","MATH101H",1]],"check":"normal control 7","expected":[["BIO130","MATH101",1],["CHEM120","MATH101",1],["HIST140","MATH101H",1]],"passed":false},{"actual":[["BIO130","BIO130",2],["BIO130","CHEM120",1],["BIO130","ECON150",1],["BIO130","HIST140",1],["BIO130","PHYS110",1],["CHEM120","BIO130",1],["CHEM120","CHEM120",1],["CHEM120","ECON150",1],["CHEM120","PHYS110",1],["ECON150","BIO130",1],["ECON150","CHEM120",1],["ECON150","ECON150",1],["ECON150","PHYS110",1],["HIST140","BIO130",1],["HIST140","HIST140",1],["PHYS110","BIO130",1],["PHYS110","CHEM120",1],["PHYS110","ECON150",1],["PHYS110","PHYS110",1]],"check":"normal control 8","expected":[["BIO130","CHEM120",1],["BIO130","ECON150",1],["BIO130","HIST140",1],["BIO130","PHYS110",1],["CHEM120","ECON150",1],["CHEM120","PHYS110",1],["ECON150","PHYS110",1]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: pair loop bounds 1\", \"actual\": [[\"A\", \"A\", 2], [\"A\", \"B\", 2], [\"B\", \"A\", 2], [\"B\", \"B\", 2]], \"expected\": [[\"A\", \"B\", 2]], \"passed\": false}, {\"check\": \"regression variant: pair loop bounds 2\", \"actual\": [[\"BIO130\", \"BIO130\", 1], [\"BIO130\", \"HIST140\", 1], [\"HIST140\", \"BIO130\", 1], [\"HIST140\", \"HIST140\", 1]], \"expected\": [[\"BIO130\", \"HIST140\", 1]], \"passed\": false}, {\"check\": \"partial repair guard 3\", \"actual\": [[\"BIO130\", \"BIO130\", 1], [\"CHEM120\", \"CHEM120\", 1], [\"CHEM120\", \"HIST140\", 1], [\"CHEM120\", \"MATH101H\", 1], [\"CHEM120\", \"PHYS110\", 1], [\"ECON150\", \"ECON150\", 1], [\"HIST140\", \"CHEM120\", 1], [\"HIST140\", \"HIST140\", 1], [\"HIST140\", \"MATH101H\", 1], [\"HIST140\", \"PHYS110\", 1], [\"MATH101H\", \"CHEM120\", 1], [\"MATH101H\", \"HIST140\", 1], [\"MATH101H\", \"MATH101H\", 1], [\"MATH101H\", \"PHYS110\", 1], [\"PHYS110\", \"CHEM120\", 1], [\"PHYS110\", \"HIST140\", 1], [\"PHYS110\", \"MATH101H\", 1], [\"PHYS110\", \"PHYS110\", 1]], \"expected\": [[\"CHEM120\", \"HIST140\", 1], [\"CHEM120\", \"MATH101H\", 1], [\"CHEM120\", \"PHYS110\", 1], [\"HIST140\", \"MATH101H\", 1], [\"HIST140\", \"PHYS110\", 1], [\"MATH101H\", \"PHYS110\", 1]], \"passed\": false}, {\"check\": \"boundary control 4\", \"actual\": [[\"A\", \"A\", 1], [\"A\", \"B\", 1], [\"A\", \"C\", 1], [\"B\", \"A\", 1], [\"B\", \"B\", 1], [\"B\", \"C\", 1], [\"C\", \"A\", 1], [\"C\", \"B\", 1], [\"C\", \"C\", 1]], \"expected\": [[\"A\", \"B\", 1], [\"A\", \"C\", 1], [\"B\", \"C\", 1]], \"passed\": false}, {\"check\": \"normal control 5\", \"actual\": [[\"BIO130\", \"BIO130\", 1], [\"BIO130\", \"CHEM120\", 1], [\"BIO130\", \"MATH101\", 1], [\"CHEM120\", \"BIO130\", 1], [\"CHEM120\", \"CHEM120\", 1], [\"CHEM120\", \"MATH101\", 1], [\"MATH101\", \"BIO130\", 1], [\"MATH101\", \"CHEM120\", 1], [\"MATH101\", \"MATH101\", 1]], \"expected\": [[\"BIO130\", \"CHEM120\", 1], [\"BIO130\", \"MATH101\", 1], [\"CHEM120\", \"MATH101\", 1]], \"passed\": false}, {\"check\": \"normal control 6\", \"actual\": [[\"BIO130\", \"BIO130\", 1], [\"BIO130\", \"PHYS110\", 1], [\"CHEM120\", \"CHEM120\", 1], [\"CHEM120\", \"MATH101\", 1], [\"CHEM120\", \"PHYS110\", 1], [\"ECON150\", \"ECON150\", 1], [\"ECON150\", \"MATH101\", 1], [\"ECON150\", \"MATH101H\", 1], [\"ECON150\", \"PHYS110\", 1], [\"MATH101\", \"CHEM120\", 1], [\"MATH101\", \"ECON150\", 1], [\"MATH101\", \"MATH101\", 2], [\"MATH101\", \"MATH101H\", 1], [\"MATH101\", \"PHYS110\", 2], [\"MATH101H\", \"ECON150\", 1], [\"MATH101H\", \"MATH101\", 1], [\"MATH101H\", \"MATH101H\", 2], [\"MATH101H\", \"PHYS110\", 1], [\"PHYS110\", \"BIO130\", 1], [\"PHYS110\", \"CHEM120\", 1], [\"PHYS110\", \"ECON150\", 1], [\"PHYS110\", \"MATH101\", 2], [\"PHYS110\", \"MATH101H\", 1], [\"PHYS110\", \"PHYS110\", 3]], \"expected\": [[\"BIO130\", \"PHYS110\", 1], [\"CHEM120\", \"MATH101\", 1], [\"CHEM120\", \"PHYS110\", 1], [\"ECON150\", \"MATH101\", 1], [\"ECON150\", \"MATH101H\", 1], [\"ECON150\", \"PHYS110\", 1], [\"MATH101\", \"MATH101H\", 1], [\"MATH101\", \"PHYS110\", 2], [\"MATH101H\", \"PHYS110\", 1]], \"passed\": false}, {\"check\": \"normal control 7\", \"actual\": [[\"BIO130\", \"BIO130\", 1], [\"BIO130\", \"MATH101\", 1], [\"CHEM120\", \"CHEM120\", 1], [\"CHEM120\", \"MATH101\", 1], [\"HIST140\", \"HIST140\", 1], [\"HIST140\", \"MATH101H\", 1], [\"MATH101\", \"BIO130\", 1], [\"MATH101\", \"CHEM120\", 1], [\"MATH101\", \"MATH101\", 2], [\"MATH101H\", \"HIST140\", 1], [\"MATH101H\", \"MATH101H\", 1]], \"expected\": [[\"BIO130\", \"MATH101\", 1], [\"CHEM120\", \"MATH101\", 1], [\"HIST140\", \"MATH101H\", 1]], \"passed\": false}, {\"check\": \"normal control 8\", \"actual\": [[\"BIO130\", \"BIO130\", 2], [\"BIO130\", \"CHEM120\", 1], [\"BIO130\", \"ECON150\", 1], [\"BIO130\", \"HIST140\", 1], [\"BIO130\", \"PHYS110\", 1], [\"CHEM120\", \"BIO130\", 1], [\"CHEM120\", \"CHEM120\", 1], [\"CHEM120\", \"ECON150\", 1], [\"CHEM120\", \"PHYS110\", 1], [\"ECON150\", \"BIO130\", 1], [\"ECON150\", \"CHEM120\", 1], [\"ECON150\", \"ECON150\", 1], [\"ECON150\", \"PHYS110\", 1], [\"HIST140\", \"BIO130\", 1], [\"HIST140\", \"HIST140\", 1], [\"PHYS110\", \"BIO130\", 1], [\"PHYS110\", \"CHEM120\", 1], [\"PHYS110\", \"ECON150\", 1], [\"PHYS110\", \"PHYS110\", 1]], \"expected\": [[\"BIO130\", \"CHEM120\", 1], [\"BIO130\", \"ECON150\", 1], [\"BIO130\", \"HIST140\", 1], [\"BIO130\", \"PHYS110\", 1], [\"CHEM120\", \"ECON150\", 1], [\"CHEM120\", \"PHYS110\", 1], [\"ECON150\", \"PHYS110\", 1]], \"passed\": false}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}