{"abstract":"Two candidates are given the same seat when the rooms are full.","category":"Exam timetabling constraints","checks":8,"contract":"Candidates [id, surname, given, access flag], rooms [room, rows, cols]. Non-access candidates are sorted by case-folded surname, case-folded given name, then id, and take alternate seats (even row and even column indices) room by room in row-major order, labelled room-<row letter><column number>; candidates beyond the seats are UNSEATED. Access candidates go to SEP-1, SEP-2... in the same order. Return id -> seat.","evaluation_group":"w2-exam-timetabling-constraints-alphabetical-alternate-seating","failed_approach":"Clamping to the last seat still double-books it.","family":"w2-exam-timetabling-constraints-alphabetical-alternate-seating-overflow-wraps","id":"FA-94536","implementations":{"attempt":{"sha256":"1cee3ff689369ff0a263bff714bbedcacd4388d6eab9917059182d9e6b9edbca","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cands, rooms):\n    def key(c):\n        return (c[1].casefold(), c[2].casefold(), c[0])\n    main = sorted([c for c in cands if not c[3]], key=key)\n    sep = sorted([c for c in cands if c[3]], key=key)\n    seats = []\n    for room, rows, cols in rooms:\n        for r in range(0, rows, 2):\n            for c in range(0, cols, 2):\n                seats.append('%s-%s%d' % (room, chr(65 + r), c + 1))\n    out = {}\n    for k, c in enumerate(main):\n        out[c[0]] = seats[min(k, len(seats) - 1)]\n    for k, c in enumerate(sep):\n        out[c[0]] = 'SEP-%d' % (k + 1)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: overflow wraps 1', [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 0]], [['H1', 1, 1]]],\n   {'C1': 'H1-A1', 'C2': 'UNSEATED'}),\n  ('regression variant: overflow wraps 2',\n   [[['C16', 'Mason', 'Zed', 1], ['C72', 'Adams', 'eve', 0], ['C74', 'adams', 'Dan', 0],\n     ['C42', 'Mason', 'Amy', 0], ['C96', 'Mason', 'amy', 0], ['C93', 'Zhou', 'Li', 0]],\n    [['H0', 1, 2], ['H1', 1, 1]]],\n   {'C74': 'H0-A1', 'C72': 'H1-A1', 'C42': 'UNSEATED', 'C96': 'UNSEATED', 'C93': 'UNSEATED', 'C16': 'SEP-1'}),\n  ('partial repair guard 3',\n   [[['C39', 'Strausz', 'Ben', 0], ['C53', 'Adams', 'eve', 0], ['C30', 'Mason', 'Amy', 0],\n     ['C88', 'Strauß', 'Anna', 0], ['C96', 'strauss', 'Cara', 0], ['C83', 'Öberg', 'Ola', 1],\n     ['C50', 'Zhou', 'Li', 0]],\n    [['H0', 3, 3]]],\n   {'C53': 'H0-A1',\n    'C30': 'H0-A3',\n    'C88': 'H0-C1',\n    'C96': 'H0-C3',\n    'C39': 'UNSEATED',\n    'C50': 'UNSEATED',\n    'C83': 'SEP-1'}),\n  ('boundary control 4', [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 1]], [['H1', 1, 1]]],\n   {'C1': 'H1-A1', 'C2': 'SEP-1'}),\n  ('boundary control 5',\n   [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 0], ['C3', 'Cole', 'Bo', 0]], [['H1', 3, 3]]],\n   {'C1': 'H1-A1', 'C2': 'H1-A3', 'C3': 'H1-C1'}),\n  ('normal control 6',\n   [[['C76', 'Strausz', 'Ben', 0], ['C33', 'Mason', 'Amy', 0], ['C21', 'strauss', 'Cara', 0]],\n    [['H0', 1, 3]]],\n   {'C33': 'H0-A1', 'C21': 'H0-A3', 'C76': 'UNSEATED'}),\n  ('normal control 7', [[['C64', 'Mason', 'Zed', 0], ['C40', 'Adams', 'eve', 0]], [['H0', 2, 5]]],\n   {'C40': 'H0-A1', 'C64': 'H0-A3'}),\n  ('normal control 8',\n   [[['C49', 'Mason', 'amy', 0], ['C07', 'Strausz', 'Ben', 0], ['C08', 'Strauß', 'Anna', 0],\n     ['C32', 'strauss', 'Cara', 0]],\n    [['H0', 4, 4], ['H1', 3, 5]]],\n   {'C49': 'H0-A1', 'C08': 'H0-A3', 'C32': 'H0-C1', 'C07': 'H0-C3'})],\n [('regression: overflow wraps 1',\n   [[['C29', 'Strausz', 'Ben', 0], ['C34', 'Strauß', 'Anna', 1], ['C35', 'Zhou', 'Li', 0],\n     ['C31', 'Mason', 'Amy', 0], ['C13', 'Mason', 'Zed', 0], ['C53', 'Öberg', 'Ola', 0],\n     ['C48', 'strauss', 'Cara', 0], ['C28', 'Mason', 'amy', 0]],\n    [['H0', 2, 4]]],\n   {'C28': 'H0-A1',\n    'C31': 'H0-A3',\n    'C13': 'UNSEATED',\n    'C48': 'UNSEATED',\n    'C29': 'UNSEATED',\n    'C35': 'UNSEATED',\n    'C53': 'UNSEATED',\n    'C34': 'SEP-1'}),\n  ('regression variant: overflow wraps 2',\n   [[['C86', 'Adams', 'eve', 0], ['C97', 'strauss', 'Cara', 0], ['C63', 'Strausz', 'Ben', 0],\n     ['C05', 'Strauß', 'Anna', 0], ['C99', 'Mason', 'Zed', 0]],\n    [['H0', 2, 3]]],\n   {'C86': 'H0-A1', 'C99': 'H0-A3', 'C05': 'UNSEATED', 'C97': 'UNSEATED', 'C63': 'UNSEATED'}),\n  ('partial repair guard 3',\n   [[['C36', 'Strausz', 'Ben', 1], ['C77', 'Mason', 'Amy', 1], ['C37', 'Mason', 'Zed', 0],\n     ['C48', 'Zhou', 'Li', 0], ['C68', 'Strauß', 'Anna', 0], ['C53', 'Mason', 'amy', 1],\n     ['C47', 'Adams', 'eve', 0], ['C66', 'Öberg', 'Ola', 0]],\n    [['H0', 1, 3]]],\n   {'C47': 'H0-A1',\n    'C37': 'H0-A3',\n    'C68': 'UNSEATED',\n    'C48': 'UNSEATED',\n    'C66': 'UNSEATED',\n    'C53': 'SEP-1',\n    'C77': 'SEP-2',\n    'C36': 'SEP-3'}),\n  ('boundary control 4', [[['C1', 'Strauß', 'Anna', 0], ['C2', 'Strausz', 'Ben', 0]], [['H1', 1, 3]]],\n   {'C1': 'H1-A1', 'C2': 'H1-A3'}),\n  ('boundary control 5', [[['C9', 'Mason', 'Amy', 0], ['C1', 'Mason', 'Amy', 0]], [['H1', 2, 3]]],\n   {'C1': 'H1-A1', 'C9': 'H1-A3'}),\n  ('normal control 6', [[['C87', 'Strausz', 'Ben', 0], ['C05', 'Öberg', 'Ola', 0]], [['H0', 5, 5]]],\n   {'C87': 'H0-A1', 'C05': 'H0-A3'}),\n  ('normal control 7',\n   [[['C95', 'Strauß', 'Anna', 0], ['C27', 'Zhou', 'Li', 0], ['C02', 'Mason', 'Amy', 0]], [['H0', 5, 1]]],\n   {'C02': 'H0-A1', 'C95': 'H0-C1', 'C27': 'H0-E1'}),\n  ('normal control 8',\n   [[['C94', 'Öberg', 'Ola', 0], ['C23', 'Mason', 'Zed', 0], ['C54', 'Strauß', 'Anna', 0],\n     ['C09', 'Mason', 'amy', 0], ['C24', 'Zhou', 'Li', 0]],\n    [['H0', 2, 5]]],\n   {'C09': 'H0-A1', 'C23': 'H0-A3', 'C54': 'H0-A5', 'C24': 'UNSEATED', 'C94': 'UNSEATED'})],\n [('regression: overflow wraps 1',\n   [[['C74', 'Mason', 'amy', 0], ['C73', 'Strausz', 'Ben', 0], ['C01', 'Zhou', 'Li', 0],\n     ['C14', 'Strauß', 'Anna', 1], ['C41', 'Mason', 'Amy', 0], ['C37', 'Öberg', 'Ola', 0],\n     ['C25', 'strauss', 'Cara', 0], ['C86', 'Mason', 'Zed', 0]],\n    [['H0', 5, 4]]],\n   {'C41': 'H0-A1',\n    'C74': 'H0-A3',\n    'C86': 'H0-C1',\n    'C25': 'H0-C3',\n    'C73': 'H0-E1',\n    'C01': 'H0-E3',\n    'C37': 'UNSEATED',\n    'C14': 'SEP-1'}),\n  ('regression variant: overflow wraps 2',\n   [[['C49', 'Strauß', 'Anna', 0], ['C46', 'strauss', 'Cara', 1], ['C55', 'Strausz', 'Ben', 0],\n     ['C79', 'Mason', 'Zed', 0], ['C74', 'Mason', 'amy', 0], ['C03', 'Zhou', 'Li', 0],\n     ['C29', 'Mason', 'Amy', 0], ['C11', 'adams', 'Dan', 0]],\n    [['H0', 2, 5]]],\n   {'C11': 'H0-A1',\n    'C29': 'H0-A3',\n    'C74': 'H0-A5',\n    'C79': 'UNSEATED',\n    'C49': 'UNSEATED',\n    'C55': 'UNSEATED',\n    'C03': 'UNSEATED',\n    'C46': 'SEP-1'}),\n  ('partial repair guard 3',\n   [[['C95', 'Öberg', 'Ola', 0], ['C52', 'Zhou', 'Li', 0], ['C96', 'Strauß', 'Anna', 0],\n     ['C39', 'Strausz', 'Ben', 0], ['C50', 'Adams', 'eve', 0], ['C28', 'strauss', 'Cara', 1]],\n    [['H0', 3, 4]]],\n   {'C50': 'H0-A1', 'C96': 'H0-A3', 'C39': 'H0-C1', 'C52': 'H0-C3', 'C95': 'UNSEATED', 'C28': 'SEP-1'}),\n  ('boundary control 4', [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 1]], [['H1', 1, 1]]],\n   {'C1': 'H1-A1', 'C2': 'SEP-1'}),\n  ('boundary control 5',\n   [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 0], ['C3', 'Cole', 'Bo', 0]], [['H1', 3, 3]]],\n   {'C1': 'H1-A1', 'C2': 'H1-A3', 'C3': 'H1-C1'}),\n  ('normal control 6',\n   [[['C03', 'Mason', 'amy', 0], ['C88', 'Mason', 'Zed', 0], ['C98', 'Strauß', 'Anna', 1]], [['H0', 5, 1]]],\n   {'C03': 'H0-A1', 'C88': 'H0-C1', 'C98': 'SEP-1'}),\n  ('normal control 7',\n   [[['C70', 'Mason', 'Zed', 0], ['C05', 'Mason', 'amy', 0], ['C61', 'Zhou', 'Li', 0]], [['H0', 1, 3]]],\n   {'C05': 'H0-A1', 'C70': 'H0-A3', 'C61': 'UNSEATED'}),\n  ('normal control 8',\n   [[['C46', 'Mason', 'Zed', 0], ['C28', 'strauss', 'Cara', 0], ['C11', 'Zhou', 'Li', 0],\n     ['C58', 'Mason', 'Amy', 1], ['C08', 'Strauß', 'Anna', 0], ['C07', 'Mason', 'amy', 0],\n     ['C09', 'Öberg', 'Ola', 1]],\n    [['H0', 1, 3]]],\n   {'C07': 'H0-A1',\n    'C46': 'H0-A3',\n    'C08': 'UNSEATED',\n    'C28': 'UNSEATED',\n    'C11': 'UNSEATED',\n    'C58': 'SEP-1',\n    'C09': 'SEP-2'})],\n [('regression: overflow wraps 1',\n   [[['C38', 'Strauß', 'Anna', 0], ['C46', 'Adams', 'eve', 0], ['C83', 'strauss', 'Cara', 0],\n     ['C55', 'Zhou', 'Li', 0], ['C21', 'adams', 'Dan', 0], ['C03', 'Mason', 'amy', 0]],\n    [['H0', 4, 4]]],\n   {'C21': 'H0-A1', 'C46': 'H0-A3', 'C03': 'H0-C1', 'C38': 'H0-C3', 'C83': 'UNSEATED', 'C55': 'UNSEATED'}),\n  ('regression variant: overflow wraps 2',\n   [[['C56', 'Strauß', 'Anna', 0], ['C61', 'Zhou', 'Li', 0], ['C53', 'Mason', 'Zed', 0],\n     ['C95', 'Adams', 'eve', 0]],\n    [['H0', 2, 3]]],\n   {'C95': 'H0-A1', 'C53': 'H0-A3', 'C56': 'UNSEATED', 'C61': 'UNSEATED'}),\n  ('partial repair guard 3',\n   [[['C83', 'strauss', 'Cara', 0], ['C89', 'Adams', 'eve', 0], ['C77', 'Strausz', 'Ben', 1],\n     ['C59', 'Mason', 'Amy', 0], ['C94', 'adams', 'Dan', 0], ['C90', 'Zhou', 'Li', 0],\n     ['C50', 'Mason', 'Zed', 0]],\n    [['H0', 3, 4]]],\n   {'C94': 'H0-A1',\n    'C89': 'H0-A3',\n    'C59': 'H0-C1',\n    'C50': 'H0-C3',\n    'C83': 'UNSEATED',\n    'C90': 'UNSEATED',\n    'C77': 'SEP-1'}),\n  ('boundary control 4', [[['C1', 'Strauß', 'Anna', 0], ['C2', 'Strausz', 'Ben', 0]], [['H1', 1, 3]]],\n   {'C1': 'H1-A1', 'C2': 'H1-A3'}),\n  ('boundary control 5', [[['C9', 'Mason', 'Amy', 0], ['C1', 'Mason', 'Amy', 0]], [['H1', 2, 3]]],\n   {'C1': 'H1-A1', 'C9': 'H1-A3'}),\n  ('normal control 6',\n   [[['C20', 'Mason', 'Amy', 0], ['C67', 'adams', 'Dan', 0], ['C12', 'strauss', 'Cara', 1],\n     ['C40', 'Öberg', 'Ola', 1], ['C46', 'Strausz', 'Ben', 0], ['C00', 'Zhou', 'Li', 0],\n     ['C94', 'Strauß', 'Anna', 0], ['C74', 'Mason', 'amy', 0]],\n    [['H0', 5, 2], ['H1', 5, 2]]],\n   {'C67': 'H0-A1',\n    'C20': 'H0-C1',\n    'C74': 'H0-E1',\n    'C94': 'H1-A1',\n    'C46': 'H1-C1',\n    'C00': 'H1-E1',\n    'C12': 'SEP-1',\n    'C40': 'SEP-2'}),\n  ('normal control 7',\n   [[['C82', 'Öberg', 'Ola', 1], ['C09', 'Mason', 'amy', 0], ['C88', 'Mason', 'Zed', 1],\n     ['C24', 'strauss', 'Cara', 0]],\n    [['H0', 4, 2]]],\n   {'C09': 'H0-A1', 'C24': 'H0-C1', 'C88': 'SEP-1', 'C82': 'SEP-2'}),\n  ('normal control 8',\n   [[['C46', 'Öberg', 'Ola', 1], ['C81', 'Mason', 'amy', 1], ['C07', 'Strauß', 'Anna', 0],\n     ['C30', 'Zhou', 'Li', 0], ['C83', 'adams', 'Dan', 0], ['C99', 'Strausz', 'Ben', 0],\n     ['C19', 'Adams', 'eve', 0]],\n    [['H0', 5, 4], ['H1', 2, 2]]],\n   {'C83': 'H0-A1',\n    'C19': 'H0-A3',\n    'C07': 'H0-C1',\n    'C99': 'H0-C3',\n    'C30': 'H0-E1',\n    'C81': 'SEP-1',\n    'C46': 'SEP-2'})],\n [('regression: overflow wraps 1',\n   [[['C18', 'Mason', 'Amy', 0], ['C17', 'strauss', 'Cara', 0], ['C06', 'Mason', 'Zed', 0],\n     ['C23', 'Zhou', 'Li', 0], ['C04', 'Strausz', 'Ben', 0]],\n    [['H0', 4, 4]]],\n   {'C18': 'H0-A1', 'C06': 'H0-A3', 'C17': 'H0-C1', 'C04': 'H0-C3', 'C23': 'UNSEATED'}),\n  ('regression variant: overflow wraps 2',\n   [[['C42', 'strauss', 'Cara', 0], ['C15', 'Mason', 'Zed', 0], ['C32', 'Zhou', 'Li', 0]], [['H0', 4, 2]]],\n   {'C15': 'H0-A1', 'C42': 'H0-C1', 'C32': 'UNSEATED'}),\n  ('partial repair guard 3',\n   [[['C57', 'Adams', 'eve', 0], ['C46', 'adams', 'Dan', 0], ['C67', 'Strausz', 'Ben', 0],\n     ['C05', 'Mason', 'Amy', 0], ['C42', 'Zhou', 'Li', 0], ['C90', 'Öberg', 'Ola', 0]],\n    [['H0', 2, 5]]],\n   {'C46': 'H0-A1', 'C57': 'H0-A3', 'C05': 'H0-A5', 'C67': 'UNSEATED', 'C42': 'UNSEATED', 'C90': 'UNSEATED'}),\n  ('boundary control 4', [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 1]], [['H1', 1, 1]]],\n   {'C1': 'H1-A1', 'C2': 'SEP-1'}),\n  ('boundary control 5',\n   [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 0], ['C3', 'Cole', 'Bo', 0]], [['H1', 3, 3]]],\n   {'C1': 'H1-A1', 'C2': 'H1-A3', 'C3': 'H1-C1'}),\n  ('normal control 6',\n   [[['C37', 'Mason', 'Zed', 0], ['C59', 'Zhou', 'Li', 0], ['C68', 'Öberg', 'Ola', 0],\n     ['C30', 'Strauß', 'Anna', 0], ['C48', 'Mason', 'Amy', 0]],\n    [['H0', 3, 4], ['H1', 1, 5]]],\n   {'C48': 'H0-A1', 'C37': 'H0-A3', 'C30': 'H0-C1', 'C59': 'H0-C3', 'C68': 'H1-A1'}),\n  ('normal control 7',\n   [[['C63', 'Mason', 'Zed', 0], ['C82', 'Strauß', 'Anna', 0], ['C15', 'Mason', 'amy', 1],\n     ['C67', 'strauss', 'Cara', 0], ['C90', 'Strausz', 'Ben', 1]],\n    [['H0', 5, 5], ['H1', 3, 4]]],\n   {'C63': 'H0-A1', 'C82': 'H0-A3', 'C67': 'H0-A5', 'C15': 'SEP-1', 'C90': 'SEP-2'}),\n  ('normal control 8',\n   [[['C08', 'Adams', 'eve', 0], ['C37', 'Strauß', 'Anna', 0], ['C55', 'strauss', 'Cara', 0],\n     ['C83', 'Öberg', 'Ola', 0], ['C11', 'Strausz', 'Ben', 0], ['C54', 'Mason', 'Amy', 1],\n     ['C63', 'Mason', 'amy', 0]],\n    [['H0', 2, 1], ['H1', 5, 2]]],\n   {'C08': 'H0-A1',\n    'C63': 'H1-A1',\n    'C37': 'H1-C1',\n    'C55': 'H1-E1',\n    'C11': 'UNSEATED',\n    'C83': 'UNSEATED',\n    'C54': 'SEP-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":"5c75bc2ad1af8b0cbd443e90c2f07641fa1814fb52c5fe64954ffcd4f95dc02d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cands, rooms):\n    def key(c):\n        return (c[1].casefold(), c[2].casefold(), c[0])\n    main = sorted([c for c in cands if not c[3]], key=key)\n    sep = sorted([c for c in cands if c[3]], key=key)\n    seats = []\n    for room, rows, cols in rooms:\n        for r in range(0, rows, 2):\n            for c in range(0, cols, 2):\n                seats.append('%s-%s%d' % (room, chr(65 + r), c + 1))\n    out = {}\n    for k, c in enumerate(main):\n        out[c[0]] = seats[k % len(seats)]\n    for k, c in enumerate(sep):\n        out[c[0]] = 'SEP-%d' % (k + 1)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: overflow wraps 1', [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 0]], [['H1', 1, 1]]],\n   {'C1': 'H1-A1', 'C2': 'UNSEATED'}),\n  ('regression variant: overflow wraps 2',\n   [[['C16', 'Mason', 'Zed', 1], ['C72', 'Adams', 'eve', 0], ['C74', 'adams', 'Dan', 0],\n     ['C42', 'Mason', 'Amy', 0], ['C96', 'Mason', 'amy', 0], ['C93', 'Zhou', 'Li', 0]],\n    [['H0', 1, 2], ['H1', 1, 1]]],\n   {'C74': 'H0-A1', 'C72': 'H1-A1', 'C42': 'UNSEATED', 'C96': 'UNSEATED', 'C93': 'UNSEATED', 'C16': 'SEP-1'}),\n  ('partial repair guard 3',\n   [[['C39', 'Strausz', 'Ben', 0], ['C53', 'Adams', 'eve', 0], ['C30', 'Mason', 'Amy', 0],\n     ['C88', 'Strauß', 'Anna', 0], ['C96', 'strauss', 'Cara', 0], ['C83', 'Öberg', 'Ola', 1],\n     ['C50', 'Zhou', 'Li', 0]],\n    [['H0', 3, 3]]],\n   {'C53': 'H0-A1',\n    'C30': 'H0-A3',\n    'C88': 'H0-C1',\n    'C96': 'H0-C3',\n    'C39': 'UNSEATED',\n    'C50': 'UNSEATED',\n    'C83': 'SEP-1'}),\n  ('boundary control 4', [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 1]], [['H1', 1, 1]]],\n   {'C1': 'H1-A1', 'C2': 'SEP-1'}),\n  ('boundary control 5',\n   [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 0], ['C3', 'Cole', 'Bo', 0]], [['H1', 3, 3]]],\n   {'C1': 'H1-A1', 'C2': 'H1-A3', 'C3': 'H1-C1'}),\n  ('normal control 6',\n   [[['C76', 'Strausz', 'Ben', 0], ['C33', 'Mason', 'Amy', 0], ['C21', 'strauss', 'Cara', 0]],\n    [['H0', 1, 3]]],\n   {'C33': 'H0-A1', 'C21': 'H0-A3', 'C76': 'UNSEATED'}),\n  ('normal control 7', [[['C64', 'Mason', 'Zed', 0], ['C40', 'Adams', 'eve', 0]], [['H0', 2, 5]]],\n   {'C40': 'H0-A1', 'C64': 'H0-A3'}),\n  ('normal control 8',\n   [[['C49', 'Mason', 'amy', 0], ['C07', 'Strausz', 'Ben', 0], ['C08', 'Strauß', 'Anna', 0],\n     ['C32', 'strauss', 'Cara', 0]],\n    [['H0', 4, 4], ['H1', 3, 5]]],\n   {'C49': 'H0-A1', 'C08': 'H0-A3', 'C32': 'H0-C1', 'C07': 'H0-C3'})],\n [('regression: overflow wraps 1',\n   [[['C29', 'Strausz', 'Ben', 0], ['C34', 'Strauß', 'Anna', 1], ['C35', 'Zhou', 'Li', 0],\n     ['C31', 'Mason', 'Amy', 0], ['C13', 'Mason', 'Zed', 0], ['C53', 'Öberg', 'Ola', 0],\n     ['C48', 'strauss', 'Cara', 0], ['C28', 'Mason', 'amy', 0]],\n    [['H0', 2, 4]]],\n   {'C28': 'H0-A1',\n    'C31': 'H0-A3',\n    'C13': 'UNSEATED',\n    'C48': 'UNSEATED',\n    'C29': 'UNSEATED',\n    'C35': 'UNSEATED',\n    'C53': 'UNSEATED',\n    'C34': 'SEP-1'}),\n  ('regression variant: overflow wraps 2',\n   [[['C86', 'Adams', 'eve', 0], ['C97', 'strauss', 'Cara', 0], ['C63', 'Strausz', 'Ben', 0],\n     ['C05', 'Strauß', 'Anna', 0], ['C99', 'Mason', 'Zed', 0]],\n    [['H0', 2, 3]]],\n   {'C86': 'H0-A1', 'C99': 'H0-A3', 'C05': 'UNSEATED', 'C97': 'UNSEATED', 'C63': 'UNSEATED'}),\n  ('partial repair guard 3',\n   [[['C36', 'Strausz', 'Ben', 1], ['C77', 'Mason', 'Amy', 1], ['C37', 'Mason', 'Zed', 0],\n     ['C48', 'Zhou', 'Li', 0], ['C68', 'Strauß', 'Anna', 0], ['C53', 'Mason', 'amy', 1],\n     ['C47', 'Adams', 'eve', 0], ['C66', 'Öberg', 'Ola', 0]],\n    [['H0', 1, 3]]],\n   {'C47': 'H0-A1',\n    'C37': 'H0-A3',\n    'C68': 'UNSEATED',\n    'C48': 'UNSEATED',\n    'C66': 'UNSEATED',\n    'C53': 'SEP-1',\n    'C77': 'SEP-2',\n    'C36': 'SEP-3'}),\n  ('boundary control 4', [[['C1', 'Strauß', 'Anna', 0], ['C2', 'Strausz', 'Ben', 0]], [['H1', 1, 3]]],\n   {'C1': 'H1-A1', 'C2': 'H1-A3'}),\n  ('boundary control 5', [[['C9', 'Mason', 'Amy', 0], ['C1', 'Mason', 'Amy', 0]], [['H1', 2, 3]]],\n   {'C1': 'H1-A1', 'C9': 'H1-A3'}),\n  ('normal control 6', [[['C87', 'Strausz', 'Ben', 0], ['C05', 'Öberg', 'Ola', 0]], [['H0', 5, 5]]],\n   {'C87': 'H0-A1', 'C05': 'H0-A3'}),\n  ('normal control 7',\n   [[['C95', 'Strauß', 'Anna', 0], ['C27', 'Zhou', 'Li', 0], ['C02', 'Mason', 'Amy', 0]], [['H0', 5, 1]]],\n   {'C02': 'H0-A1', 'C95': 'H0-C1', 'C27': 'H0-E1'}),\n  ('normal control 8',\n   [[['C94', 'Öberg', 'Ola', 0], ['C23', 'Mason', 'Zed', 0], ['C54', 'Strauß', 'Anna', 0],\n     ['C09', 'Mason', 'amy', 0], ['C24', 'Zhou', 'Li', 0]],\n    [['H0', 2, 5]]],\n   {'C09': 'H0-A1', 'C23': 'H0-A3', 'C54': 'H0-A5', 'C24': 'UNSEATED', 'C94': 'UNSEATED'})],\n [('regression: overflow wraps 1',\n   [[['C74', 'Mason', 'amy', 0], ['C73', 'Strausz', 'Ben', 0], ['C01', 'Zhou', 'Li', 0],\n     ['C14', 'Strauß', 'Anna', 1], ['C41', 'Mason', 'Amy', 0], ['C37', 'Öberg', 'Ola', 0],\n     ['C25', 'strauss', 'Cara', 0], ['C86', 'Mason', 'Zed', 0]],\n    [['H0', 5, 4]]],\n   {'C41': 'H0-A1',\n    'C74': 'H0-A3',\n    'C86': 'H0-C1',\n    'C25': 'H0-C3',\n    'C73': 'H0-E1',\n    'C01': 'H0-E3',\n    'C37': 'UNSEATED',\n    'C14': 'SEP-1'}),\n  ('regression variant: overflow wraps 2',\n   [[['C49', 'Strauß', 'Anna', 0], ['C46', 'strauss', 'Cara', 1], ['C55', 'Strausz', 'Ben', 0],\n     ['C79', 'Mason', 'Zed', 0], ['C74', 'Mason', 'amy', 0], ['C03', 'Zhou', 'Li', 0],\n     ['C29', 'Mason', 'Amy', 0], ['C11', 'adams', 'Dan', 0]],\n    [['H0', 2, 5]]],\n   {'C11': 'H0-A1',\n    'C29': 'H0-A3',\n    'C74': 'H0-A5',\n    'C79': 'UNSEATED',\n    'C49': 'UNSEATED',\n    'C55': 'UNSEATED',\n    'C03': 'UNSEATED',\n    'C46': 'SEP-1'}),\n  ('partial repair guard 3',\n   [[['C95', 'Öberg', 'Ola', 0], ['C52', 'Zhou', 'Li', 0], ['C96', 'Strauß', 'Anna', 0],\n     ['C39', 'Strausz', 'Ben', 0], ['C50', 'Adams', 'eve', 0], ['C28', 'strauss', 'Cara', 1]],\n    [['H0', 3, 4]]],\n   {'C50': 'H0-A1', 'C96': 'H0-A3', 'C39': 'H0-C1', 'C52': 'H0-C3', 'C95': 'UNSEATED', 'C28': 'SEP-1'}),\n  ('boundary control 4', [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 1]], [['H1', 1, 1]]],\n   {'C1': 'H1-A1', 'C2': 'SEP-1'}),\n  ('boundary control 5',\n   [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 0], ['C3', 'Cole', 'Bo', 0]], [['H1', 3, 3]]],\n   {'C1': 'H1-A1', 'C2': 'H1-A3', 'C3': 'H1-C1'}),\n  ('normal control 6',\n   [[['C03', 'Mason', 'amy', 0], ['C88', 'Mason', 'Zed', 0], ['C98', 'Strauß', 'Anna', 1]], [['H0', 5, 1]]],\n   {'C03': 'H0-A1', 'C88': 'H0-C1', 'C98': 'SEP-1'}),\n  ('normal control 7',\n   [[['C70', 'Mason', 'Zed', 0], ['C05', 'Mason', 'amy', 0], ['C61', 'Zhou', 'Li', 0]], [['H0', 1, 3]]],\n   {'C05': 'H0-A1', 'C70': 'H0-A3', 'C61': 'UNSEATED'}),\n  ('normal control 8',\n   [[['C46', 'Mason', 'Zed', 0], ['C28', 'strauss', 'Cara', 0], ['C11', 'Zhou', 'Li', 0],\n     ['C58', 'Mason', 'Amy', 1], ['C08', 'Strauß', 'Anna', 0], ['C07', 'Mason', 'amy', 0],\n     ['C09', 'Öberg', 'Ola', 1]],\n    [['H0', 1, 3]]],\n   {'C07': 'H0-A1',\n    'C46': 'H0-A3',\n    'C08': 'UNSEATED',\n    'C28': 'UNSEATED',\n    'C11': 'UNSEATED',\n    'C58': 'SEP-1',\n    'C09': 'SEP-2'})],\n [('regression: overflow wraps 1',\n   [[['C38', 'Strauß', 'Anna', 0], ['C46', 'Adams', 'eve', 0], ['C83', 'strauss', 'Cara', 0],\n     ['C55', 'Zhou', 'Li', 0], ['C21', 'adams', 'Dan', 0], ['C03', 'Mason', 'amy', 0]],\n    [['H0', 4, 4]]],\n   {'C21': 'H0-A1', 'C46': 'H0-A3', 'C03': 'H0-C1', 'C38': 'H0-C3', 'C83': 'UNSEATED', 'C55': 'UNSEATED'}),\n  ('regression variant: overflow wraps 2',\n   [[['C56', 'Strauß', 'Anna', 0], ['C61', 'Zhou', 'Li', 0], ['C53', 'Mason', 'Zed', 0],\n     ['C95', 'Adams', 'eve', 0]],\n    [['H0', 2, 3]]],\n   {'C95': 'H0-A1', 'C53': 'H0-A3', 'C56': 'UNSEATED', 'C61': 'UNSEATED'}),\n  ('partial repair guard 3',\n   [[['C83', 'strauss', 'Cara', 0], ['C89', 'Adams', 'eve', 0], ['C77', 'Strausz', 'Ben', 1],\n     ['C59', 'Mason', 'Amy', 0], ['C94', 'adams', 'Dan', 0], ['C90', 'Zhou', 'Li', 0],\n     ['C50', 'Mason', 'Zed', 0]],\n    [['H0', 3, 4]]],\n   {'C94': 'H0-A1',\n    'C89': 'H0-A3',\n    'C59': 'H0-C1',\n    'C50': 'H0-C3',\n    'C83': 'UNSEATED',\n    'C90': 'UNSEATED',\n    'C77': 'SEP-1'}),\n  ('boundary control 4', [[['C1', 'Strauß', 'Anna', 0], ['C2', 'Strausz', 'Ben', 0]], [['H1', 1, 3]]],\n   {'C1': 'H1-A1', 'C2': 'H1-A3'}),\n  ('boundary control 5', [[['C9', 'Mason', 'Amy', 0], ['C1', 'Mason', 'Amy', 0]], [['H1', 2, 3]]],\n   {'C1': 'H1-A1', 'C9': 'H1-A3'}),\n  ('normal control 6',\n   [[['C20', 'Mason', 'Amy', 0], ['C67', 'adams', 'Dan', 0], ['C12', 'strauss', 'Cara', 1],\n     ['C40', 'Öberg', 'Ola', 1], ['C46', 'Strausz', 'Ben', 0], ['C00', 'Zhou', 'Li', 0],\n     ['C94', 'Strauß', 'Anna', 0], ['C74', 'Mason', 'amy', 0]],\n    [['H0', 5, 2], ['H1', 5, 2]]],\n   {'C67': 'H0-A1',\n    'C20': 'H0-C1',\n    'C74': 'H0-E1',\n    'C94': 'H1-A1',\n    'C46': 'H1-C1',\n    'C00': 'H1-E1',\n    'C12': 'SEP-1',\n    'C40': 'SEP-2'}),\n  ('normal control 7',\n   [[['C82', 'Öberg', 'Ola', 1], ['C09', 'Mason', 'amy', 0], ['C88', 'Mason', 'Zed', 1],\n     ['C24', 'strauss', 'Cara', 0]],\n    [['H0', 4, 2]]],\n   {'C09': 'H0-A1', 'C24': 'H0-C1', 'C88': 'SEP-1', 'C82': 'SEP-2'}),\n  ('normal control 8',\n   [[['C46', 'Öberg', 'Ola', 1], ['C81', 'Mason', 'amy', 1], ['C07', 'Strauß', 'Anna', 0],\n     ['C30', 'Zhou', 'Li', 0], ['C83', 'adams', 'Dan', 0], ['C99', 'Strausz', 'Ben', 0],\n     ['C19', 'Adams', 'eve', 0]],\n    [['H0', 5, 4], ['H1', 2, 2]]],\n   {'C83': 'H0-A1',\n    'C19': 'H0-A3',\n    'C07': 'H0-C1',\n    'C99': 'H0-C3',\n    'C30': 'H0-E1',\n    'C81': 'SEP-1',\n    'C46': 'SEP-2'})],\n [('regression: overflow wraps 1',\n   [[['C18', 'Mason', 'Amy', 0], ['C17', 'strauss', 'Cara', 0], ['C06', 'Mason', 'Zed', 0],\n     ['C23', 'Zhou', 'Li', 0], ['C04', 'Strausz', 'Ben', 0]],\n    [['H0', 4, 4]]],\n   {'C18': 'H0-A1', 'C06': 'H0-A3', 'C17': 'H0-C1', 'C04': 'H0-C3', 'C23': 'UNSEATED'}),\n  ('regression variant: overflow wraps 2',\n   [[['C42', 'strauss', 'Cara', 0], ['C15', 'Mason', 'Zed', 0], ['C32', 'Zhou', 'Li', 0]], [['H0', 4, 2]]],\n   {'C15': 'H0-A1', 'C42': 'H0-C1', 'C32': 'UNSEATED'}),\n  ('partial repair guard 3',\n   [[['C57', 'Adams', 'eve', 0], ['C46', 'adams', 'Dan', 0], ['C67', 'Strausz', 'Ben', 0],\n     ['C05', 'Mason', 'Amy', 0], ['C42', 'Zhou', 'Li', 0], ['C90', 'Öberg', 'Ola', 0]],\n    [['H0', 2, 5]]],\n   {'C46': 'H0-A1', 'C57': 'H0-A3', 'C05': 'H0-A5', 'C67': 'UNSEATED', 'C42': 'UNSEATED', 'C90': 'UNSEATED'}),\n  ('boundary control 4', [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 1]], [['H1', 1, 1]]],\n   {'C1': 'H1-A1', 'C2': 'SEP-1'}),\n  ('boundary control 5',\n   [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 0], ['C3', 'Cole', 'Bo', 0]], [['H1', 3, 3]]],\n   {'C1': 'H1-A1', 'C2': 'H1-A3', 'C3': 'H1-C1'}),\n  ('normal control 6',\n   [[['C37', 'Mason', 'Zed', 0], ['C59', 'Zhou', 'Li', 0], ['C68', 'Öberg', 'Ola', 0],\n     ['C30', 'Strauß', 'Anna', 0], ['C48', 'Mason', 'Amy', 0]],\n    [['H0', 3, 4], ['H1', 1, 5]]],\n   {'C48': 'H0-A1', 'C37': 'H0-A3', 'C30': 'H0-C1', 'C59': 'H0-C3', 'C68': 'H1-A1'}),\n  ('normal control 7',\n   [[['C63', 'Mason', 'Zed', 0], ['C82', 'Strauß', 'Anna', 0], ['C15', 'Mason', 'amy', 1],\n     ['C67', 'strauss', 'Cara', 0], ['C90', 'Strausz', 'Ben', 1]],\n    [['H0', 5, 5], ['H1', 3, 4]]],\n   {'C63': 'H0-A1', 'C82': 'H0-A3', 'C67': 'H0-A5', 'C15': 'SEP-1', 'C90': 'SEP-2'}),\n  ('normal control 8',\n   [[['C08', 'Adams', 'eve', 0], ['C37', 'Strauß', 'Anna', 0], ['C55', 'strauss', 'Cara', 0],\n     ['C83', 'Öberg', 'Ola', 0], ['C11', 'Strausz', 'Ben', 0], ['C54', 'Mason', 'Amy', 1],\n     ['C63', 'Mason', 'amy', 0]],\n    [['H0', 2, 1], ['H1', 5, 2]]],\n   {'C08': 'H0-A1',\n    'C63': 'H1-A1',\n    'C37': 'H1-C1',\n    'C55': 'H1-E1',\n    'C11': 'UNSEATED',\n    'C83': 'UNSEATED',\n    'C54': 'SEP-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"},"fixed":{"sha256":"894e12ef8f035ab0c4de0c6ced93263eb67cfa93adb9bf9dcd12c8ee7cb38c79","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cands, rooms):\n    def key(c):\n        return (c[1].casefold(), c[2].casefold(), c[0])\n    main = sorted([c for c in cands if not c[3]], key=key)\n    sep = sorted([c for c in cands if c[3]], key=key)\n    seats = []\n    for room, rows, cols in rooms:\n        for r in range(0, rows, 2):\n            for c in range(0, cols, 2):\n                seats.append('%s-%s%d' % (room, chr(65 + r), c + 1))\n    out = {}\n    for k, c in enumerate(main):\n        out[c[0]] = seats[k] if k < len(seats) else 'UNSEATED'\n    for k, c in enumerate(sep):\n        out[c[0]] = 'SEP-%d' % (k + 1)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: overflow wraps 1', [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 0]], [['H1', 1, 1]]],\n   {'C1': 'H1-A1', 'C2': 'UNSEATED'}),\n  ('regression variant: overflow wraps 2',\n   [[['C16', 'Mason', 'Zed', 1], ['C72', 'Adams', 'eve', 0], ['C74', 'adams', 'Dan', 0],\n     ['C42', 'Mason', 'Amy', 0], ['C96', 'Mason', 'amy', 0], ['C93', 'Zhou', 'Li', 0]],\n    [['H0', 1, 2], ['H1', 1, 1]]],\n   {'C74': 'H0-A1', 'C72': 'H1-A1', 'C42': 'UNSEATED', 'C96': 'UNSEATED', 'C93': 'UNSEATED', 'C16': 'SEP-1'}),\n  ('partial repair guard 3',\n   [[['C39', 'Strausz', 'Ben', 0], ['C53', 'Adams', 'eve', 0], ['C30', 'Mason', 'Amy', 0],\n     ['C88', 'Strauß', 'Anna', 0], ['C96', 'strauss', 'Cara', 0], ['C83', 'Öberg', 'Ola', 1],\n     ['C50', 'Zhou', 'Li', 0]],\n    [['H0', 3, 3]]],\n   {'C53': 'H0-A1',\n    'C30': 'H0-A3',\n    'C88': 'H0-C1',\n    'C96': 'H0-C3',\n    'C39': 'UNSEATED',\n    'C50': 'UNSEATED',\n    'C83': 'SEP-1'}),\n  ('boundary control 4', [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 1]], [['H1', 1, 1]]],\n   {'C1': 'H1-A1', 'C2': 'SEP-1'}),\n  ('boundary control 5',\n   [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 0], ['C3', 'Cole', 'Bo', 0]], [['H1', 3, 3]]],\n   {'C1': 'H1-A1', 'C2': 'H1-A3', 'C3': 'H1-C1'}),\n  ('normal control 6',\n   [[['C76', 'Strausz', 'Ben', 0], ['C33', 'Mason', 'Amy', 0], ['C21', 'strauss', 'Cara', 0]],\n    [['H0', 1, 3]]],\n   {'C33': 'H0-A1', 'C21': 'H0-A3', 'C76': 'UNSEATED'}),\n  ('normal control 7', [[['C64', 'Mason', 'Zed', 0], ['C40', 'Adams', 'eve', 0]], [['H0', 2, 5]]],\n   {'C40': 'H0-A1', 'C64': 'H0-A3'}),\n  ('normal control 8',\n   [[['C49', 'Mason', 'amy', 0], ['C07', 'Strausz', 'Ben', 0], ['C08', 'Strauß', 'Anna', 0],\n     ['C32', 'strauss', 'Cara', 0]],\n    [['H0', 4, 4], ['H1', 3, 5]]],\n   {'C49': 'H0-A1', 'C08': 'H0-A3', 'C32': 'H0-C1', 'C07': 'H0-C3'})],\n [('regression: overflow wraps 1',\n   [[['C29', 'Strausz', 'Ben', 0], ['C34', 'Strauß', 'Anna', 1], ['C35', 'Zhou', 'Li', 0],\n     ['C31', 'Mason', 'Amy', 0], ['C13', 'Mason', 'Zed', 0], ['C53', 'Öberg', 'Ola', 0],\n     ['C48', 'strauss', 'Cara', 0], ['C28', 'Mason', 'amy', 0]],\n    [['H0', 2, 4]]],\n   {'C28': 'H0-A1',\n    'C31': 'H0-A3',\n    'C13': 'UNSEATED',\n    'C48': 'UNSEATED',\n    'C29': 'UNSEATED',\n    'C35': 'UNSEATED',\n    'C53': 'UNSEATED',\n    'C34': 'SEP-1'}),\n  ('regression variant: overflow wraps 2',\n   [[['C86', 'Adams', 'eve', 0], ['C97', 'strauss', 'Cara', 0], ['C63', 'Strausz', 'Ben', 0],\n     ['C05', 'Strauß', 'Anna', 0], ['C99', 'Mason', 'Zed', 0]],\n    [['H0', 2, 3]]],\n   {'C86': 'H0-A1', 'C99': 'H0-A3', 'C05': 'UNSEATED', 'C97': 'UNSEATED', 'C63': 'UNSEATED'}),\n  ('partial repair guard 3',\n   [[['C36', 'Strausz', 'Ben', 1], ['C77', 'Mason', 'Amy', 1], ['C37', 'Mason', 'Zed', 0],\n     ['C48', 'Zhou', 'Li', 0], ['C68', 'Strauß', 'Anna', 0], ['C53', 'Mason', 'amy', 1],\n     ['C47', 'Adams', 'eve', 0], ['C66', 'Öberg', 'Ola', 0]],\n    [['H0', 1, 3]]],\n   {'C47': 'H0-A1',\n    'C37': 'H0-A3',\n    'C68': 'UNSEATED',\n    'C48': 'UNSEATED',\n    'C66': 'UNSEATED',\n    'C53': 'SEP-1',\n    'C77': 'SEP-2',\n    'C36': 'SEP-3'}),\n  ('boundary control 4', [[['C1', 'Strauß', 'Anna', 0], ['C2', 'Strausz', 'Ben', 0]], [['H1', 1, 3]]],\n   {'C1': 'H1-A1', 'C2': 'H1-A3'}),\n  ('boundary control 5', [[['C9', 'Mason', 'Amy', 0], ['C1', 'Mason', 'Amy', 0]], [['H1', 2, 3]]],\n   {'C1': 'H1-A1', 'C9': 'H1-A3'}),\n  ('normal control 6', [[['C87', 'Strausz', 'Ben', 0], ['C05', 'Öberg', 'Ola', 0]], [['H0', 5, 5]]],\n   {'C87': 'H0-A1', 'C05': 'H0-A3'}),\n  ('normal control 7',\n   [[['C95', 'Strauß', 'Anna', 0], ['C27', 'Zhou', 'Li', 0], ['C02', 'Mason', 'Amy', 0]], [['H0', 5, 1]]],\n   {'C02': 'H0-A1', 'C95': 'H0-C1', 'C27': 'H0-E1'}),\n  ('normal control 8',\n   [[['C94', 'Öberg', 'Ola', 0], ['C23', 'Mason', 'Zed', 0], ['C54', 'Strauß', 'Anna', 0],\n     ['C09', 'Mason', 'amy', 0], ['C24', 'Zhou', 'Li', 0]],\n    [['H0', 2, 5]]],\n   {'C09': 'H0-A1', 'C23': 'H0-A3', 'C54': 'H0-A5', 'C24': 'UNSEATED', 'C94': 'UNSEATED'})],\n [('regression: overflow wraps 1',\n   [[['C74', 'Mason', 'amy', 0], ['C73', 'Strausz', 'Ben', 0], ['C01', 'Zhou', 'Li', 0],\n     ['C14', 'Strauß', 'Anna', 1], ['C41', 'Mason', 'Amy', 0], ['C37', 'Öberg', 'Ola', 0],\n     ['C25', 'strauss', 'Cara', 0], ['C86', 'Mason', 'Zed', 0]],\n    [['H0', 5, 4]]],\n   {'C41': 'H0-A1',\n    'C74': 'H0-A3',\n    'C86': 'H0-C1',\n    'C25': 'H0-C3',\n    'C73': 'H0-E1',\n    'C01': 'H0-E3',\n    'C37': 'UNSEATED',\n    'C14': 'SEP-1'}),\n  ('regression variant: overflow wraps 2',\n   [[['C49', 'Strauß', 'Anna', 0], ['C46', 'strauss', 'Cara', 1], ['C55', 'Strausz', 'Ben', 0],\n     ['C79', 'Mason', 'Zed', 0], ['C74', 'Mason', 'amy', 0], ['C03', 'Zhou', 'Li', 0],\n     ['C29', 'Mason', 'Amy', 0], ['C11', 'adams', 'Dan', 0]],\n    [['H0', 2, 5]]],\n   {'C11': 'H0-A1',\n    'C29': 'H0-A3',\n    'C74': 'H0-A5',\n    'C79': 'UNSEATED',\n    'C49': 'UNSEATED',\n    'C55': 'UNSEATED',\n    'C03': 'UNSEATED',\n    'C46': 'SEP-1'}),\n  ('partial repair guard 3',\n   [[['C95', 'Öberg', 'Ola', 0], ['C52', 'Zhou', 'Li', 0], ['C96', 'Strauß', 'Anna', 0],\n     ['C39', 'Strausz', 'Ben', 0], ['C50', 'Adams', 'eve', 0], ['C28', 'strauss', 'Cara', 1]],\n    [['H0', 3, 4]]],\n   {'C50': 'H0-A1', 'C96': 'H0-A3', 'C39': 'H0-C1', 'C52': 'H0-C3', 'C95': 'UNSEATED', 'C28': 'SEP-1'}),\n  ('boundary control 4', [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 1]], [['H1', 1, 1]]],\n   {'C1': 'H1-A1', 'C2': 'SEP-1'}),\n  ('boundary control 5',\n   [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 0], ['C3', 'Cole', 'Bo', 0]], [['H1', 3, 3]]],\n   {'C1': 'H1-A1', 'C2': 'H1-A3', 'C3': 'H1-C1'}),\n  ('normal control 6',\n   [[['C03', 'Mason', 'amy', 0], ['C88', 'Mason', 'Zed', 0], ['C98', 'Strauß', 'Anna', 1]], [['H0', 5, 1]]],\n   {'C03': 'H0-A1', 'C88': 'H0-C1', 'C98': 'SEP-1'}),\n  ('normal control 7',\n   [[['C70', 'Mason', 'Zed', 0], ['C05', 'Mason', 'amy', 0], ['C61', 'Zhou', 'Li', 0]], [['H0', 1, 3]]],\n   {'C05': 'H0-A1', 'C70': 'H0-A3', 'C61': 'UNSEATED'}),\n  ('normal control 8',\n   [[['C46', 'Mason', 'Zed', 0], ['C28', 'strauss', 'Cara', 0], ['C11', 'Zhou', 'Li', 0],\n     ['C58', 'Mason', 'Amy', 1], ['C08', 'Strauß', 'Anna', 0], ['C07', 'Mason', 'amy', 0],\n     ['C09', 'Öberg', 'Ola', 1]],\n    [['H0', 1, 3]]],\n   {'C07': 'H0-A1',\n    'C46': 'H0-A3',\n    'C08': 'UNSEATED',\n    'C28': 'UNSEATED',\n    'C11': 'UNSEATED',\n    'C58': 'SEP-1',\n    'C09': 'SEP-2'})],\n [('regression: overflow wraps 1',\n   [[['C38', 'Strauß', 'Anna', 0], ['C46', 'Adams', 'eve', 0], ['C83', 'strauss', 'Cara', 0],\n     ['C55', 'Zhou', 'Li', 0], ['C21', 'adams', 'Dan', 0], ['C03', 'Mason', 'amy', 0]],\n    [['H0', 4, 4]]],\n   {'C21': 'H0-A1', 'C46': 'H0-A3', 'C03': 'H0-C1', 'C38': 'H0-C3', 'C83': 'UNSEATED', 'C55': 'UNSEATED'}),\n  ('regression variant: overflow wraps 2',\n   [[['C56', 'Strauß', 'Anna', 0], ['C61', 'Zhou', 'Li', 0], ['C53', 'Mason', 'Zed', 0],\n     ['C95', 'Adams', 'eve', 0]],\n    [['H0', 2, 3]]],\n   {'C95': 'H0-A1', 'C53': 'H0-A3', 'C56': 'UNSEATED', 'C61': 'UNSEATED'}),\n  ('partial repair guard 3',\n   [[['C83', 'strauss', 'Cara', 0], ['C89', 'Adams', 'eve', 0], ['C77', 'Strausz', 'Ben', 1],\n     ['C59', 'Mason', 'Amy', 0], ['C94', 'adams', 'Dan', 0], ['C90', 'Zhou', 'Li', 0],\n     ['C50', 'Mason', 'Zed', 0]],\n    [['H0', 3, 4]]],\n   {'C94': 'H0-A1',\n    'C89': 'H0-A3',\n    'C59': 'H0-C1',\n    'C50': 'H0-C3',\n    'C83': 'UNSEATED',\n    'C90': 'UNSEATED',\n    'C77': 'SEP-1'}),\n  ('boundary control 4', [[['C1', 'Strauß', 'Anna', 0], ['C2', 'Strausz', 'Ben', 0]], [['H1', 1, 3]]],\n   {'C1': 'H1-A1', 'C2': 'H1-A3'}),\n  ('boundary control 5', [[['C9', 'Mason', 'Amy', 0], ['C1', 'Mason', 'Amy', 0]], [['H1', 2, 3]]],\n   {'C1': 'H1-A1', 'C9': 'H1-A3'}),\n  ('normal control 6',\n   [[['C20', 'Mason', 'Amy', 0], ['C67', 'adams', 'Dan', 0], ['C12', 'strauss', 'Cara', 1],\n     ['C40', 'Öberg', 'Ola', 1], ['C46', 'Strausz', 'Ben', 0], ['C00', 'Zhou', 'Li', 0],\n     ['C94', 'Strauß', 'Anna', 0], ['C74', 'Mason', 'amy', 0]],\n    [['H0', 5, 2], ['H1', 5, 2]]],\n   {'C67': 'H0-A1',\n    'C20': 'H0-C1',\n    'C74': 'H0-E1',\n    'C94': 'H1-A1',\n    'C46': 'H1-C1',\n    'C00': 'H1-E1',\n    'C12': 'SEP-1',\n    'C40': 'SEP-2'}),\n  ('normal control 7',\n   [[['C82', 'Öberg', 'Ola', 1], ['C09', 'Mason', 'amy', 0], ['C88', 'Mason', 'Zed', 1],\n     ['C24', 'strauss', 'Cara', 0]],\n    [['H0', 4, 2]]],\n   {'C09': 'H0-A1', 'C24': 'H0-C1', 'C88': 'SEP-1', 'C82': 'SEP-2'}),\n  ('normal control 8',\n   [[['C46', 'Öberg', 'Ola', 1], ['C81', 'Mason', 'amy', 1], ['C07', 'Strauß', 'Anna', 0],\n     ['C30', 'Zhou', 'Li', 0], ['C83', 'adams', 'Dan', 0], ['C99', 'Strausz', 'Ben', 0],\n     ['C19', 'Adams', 'eve', 0]],\n    [['H0', 5, 4], ['H1', 2, 2]]],\n   {'C83': 'H0-A1',\n    'C19': 'H0-A3',\n    'C07': 'H0-C1',\n    'C99': 'H0-C3',\n    'C30': 'H0-E1',\n    'C81': 'SEP-1',\n    'C46': 'SEP-2'})],\n [('regression: overflow wraps 1',\n   [[['C18', 'Mason', 'Amy', 0], ['C17', 'strauss', 'Cara', 0], ['C06', 'Mason', 'Zed', 0],\n     ['C23', 'Zhou', 'Li', 0], ['C04', 'Strausz', 'Ben', 0]],\n    [['H0', 4, 4]]],\n   {'C18': 'H0-A1', 'C06': 'H0-A3', 'C17': 'H0-C1', 'C04': 'H0-C3', 'C23': 'UNSEATED'}),\n  ('regression variant: overflow wraps 2',\n   [[['C42', 'strauss', 'Cara', 0], ['C15', 'Mason', 'Zed', 0], ['C32', 'Zhou', 'Li', 0]], [['H0', 4, 2]]],\n   {'C15': 'H0-A1', 'C42': 'H0-C1', 'C32': 'UNSEATED'}),\n  ('partial repair guard 3',\n   [[['C57', 'Adams', 'eve', 0], ['C46', 'adams', 'Dan', 0], ['C67', 'Strausz', 'Ben', 0],\n     ['C05', 'Mason', 'Amy', 0], ['C42', 'Zhou', 'Li', 0], ['C90', 'Öberg', 'Ola', 0]],\n    [['H0', 2, 5]]],\n   {'C46': 'H0-A1', 'C57': 'H0-A3', 'C05': 'H0-A5', 'C67': 'UNSEATED', 'C42': 'UNSEATED', 'C90': 'UNSEATED'}),\n  ('boundary control 4', [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 1]], [['H1', 1, 1]]],\n   {'C1': 'H1-A1', 'C2': 'SEP-1'}),\n  ('boundary control 5',\n   [[['C1', 'Adams', 'Eve', 0], ['C2', 'Baker', 'Al', 0], ['C3', 'Cole', 'Bo', 0]], [['H1', 3, 3]]],\n   {'C1': 'H1-A1', 'C2': 'H1-A3', 'C3': 'H1-C1'}),\n  ('normal control 6',\n   [[['C37', 'Mason', 'Zed', 0], ['C59', 'Zhou', 'Li', 0], ['C68', 'Öberg', 'Ola', 0],\n     ['C30', 'Strauß', 'Anna', 0], ['C48', 'Mason', 'Amy', 0]],\n    [['H0', 3, 4], ['H1', 1, 5]]],\n   {'C48': 'H0-A1', 'C37': 'H0-A3', 'C30': 'H0-C1', 'C59': 'H0-C3', 'C68': 'H1-A1'}),\n  ('normal control 7',\n   [[['C63', 'Mason', 'Zed', 0], ['C82', 'Strauß', 'Anna', 0], ['C15', 'Mason', 'amy', 1],\n     ['C67', 'strauss', 'Cara', 0], ['C90', 'Strausz', 'Ben', 1]],\n    [['H0', 5, 5], ['H1', 3, 4]]],\n   {'C63': 'H0-A1', 'C82': 'H0-A3', 'C67': 'H0-A5', 'C15': 'SEP-1', 'C90': 'SEP-2'}),\n  ('normal control 8',\n   [[['C08', 'Adams', 'eve', 0], ['C37', 'Strauß', 'Anna', 0], ['C55', 'strauss', 'Cara', 0],\n     ['C83', 'Öberg', 'Ola', 0], ['C11', 'Strausz', 'Ben', 0], ['C54', 'Mason', 'Amy', 1],\n     ['C63', 'Mason', 'amy', 0]],\n    [['H0', 2, 1], ['H1', 5, 2]]],\n   {'C08': 'H0-A1',\n    'C63': 'H1-A1',\n    'C37': 'H1-C1',\n    'C55': 'H1-E1',\n    'C11': 'UNSEATED',\n    'C83': 'UNSEATED',\n    'C54': 'SEP-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-alphabetical-alternate-seating-overflow-wraps","generated_at":"2026-09-29T14:52:05.253505+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Seating plans are generated from the timetable's room allocation and must be deterministic and fair.","repair":"Mark candidates beyond the available seats as UNSEATED.","root_cause":"Seat indices wrap modulo the seat count.","sha256":"2339924be24e05c24a4ccf608c14b3685b9b874200af1cd655b1e07ea1cb5510","title":"Overflow candidates wrap around to occupied seats · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.877,"exit_code":1,"observations":[{"actual":{"C1":"H1-A1","C2":"H1-A1"},"check":"regression: overflow wraps 1","expected":{"C1":"H1-A1","C2":"UNSEATED"},"passed":false},{"actual":{"C16":"SEP-1","C42":"H1-A1","C72":"H1-A1","C74":"H0-A1","C93":"H1-A1","C96":"H1-A1"},"check":"regression variant: overflow wraps 2","expected":{"C16":"SEP-1","C42":"UNSEATED","C72":"H1-A1","C74":"H0-A1","C93":"UNSEATED","C96":"UNSEATED"},"passed":false},{"actual":{"C30":"H0-A3","C39":"H0-C3","C50":"H0-C3","C53":"H0-A1","C83":"SEP-1","C88":"H0-C1","C96":"H0-C3"},"check":"partial repair guard 3","expected":{"C30":"H0-A3","C39":"UNSEATED","C50":"UNSEATED","C53":"H0-A1","C83":"SEP-1","C88":"H0-C1","C96":"H0-C3"},"passed":false},{"actual":{"C1":"H1-A1","C2":"SEP-1"},"check":"boundary control 4","expected":{"C1":"H1-A1","C2":"SEP-1"},"passed":true},{"actual":{"C1":"H1-A1","C2":"H1-A3","C3":"H1-C1"},"check":"boundary control 5","expected":{"C1":"H1-A1","C2":"H1-A3","C3":"H1-C1"},"passed":true},{"actual":{"C21":"H0-A3","C33":"H0-A1","C76":"H0-A3"},"check":"normal control 6","expected":{"C21":"H0-A3","C33":"H0-A1","C76":"UNSEATED"},"passed":false},{"actual":{"C40":"H0-A1","C64":"H0-A3"},"check":"normal control 7","expected":{"C40":"H0-A1","C64":"H0-A3"},"passed":true},{"actual":{"C07":"H0-C3","C08":"H0-A3","C32":"H0-C1","C49":"H0-A1"},"check":"normal control 8","expected":{"C07":"H0-C3","C08":"H0-A3","C32":"H0-C1","C49":"H0-A1"},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: overflow wraps 1\", \"actual\": {\"C1\": \"H1-A1\", \"C2\": \"H1-A1\"}, \"expected\": {\"C1\": \"H1-A1\", \"C2\": \"UNSEATED\"}, \"passed\": false}, {\"check\": \"regression variant: overflow wraps 2\", \"actual\": {\"C74\": \"H0-A1\", \"C72\": \"H1-A1\", \"C42\": \"H1-A1\", \"C96\": \"H1-A1\", \"C93\": \"H1-A1\", \"C16\": \"SEP-1\"}, \"expected\": {\"C74\": \"H0-A1\", \"C72\": \"H1-A1\", \"C42\": \"UNSEATED\", \"C96\": \"UNSEATED\", \"C93\": \"UNSEATED\", \"C16\": \"SEP-1\"}, \"passed\": false}, {\"check\": \"partial repair guard 3\", \"actual\": {\"C53\": \"H0-A1\", \"C30\": \"H0-A3\", \"C88\": \"H0-C1\", \"C96\": \"H0-C3\", \"C39\": \"H0-C3\", \"C50\": \"H0-C3\", \"C83\": \"SEP-1\"}, \"expected\": {\"C53\": \"H0-A1\", \"C30\": \"H0-A3\", \"C88\": \"H0-C1\", \"C96\": \"H0-C3\", \"C39\": \"UNSEATED\", \"C50\": \"UNSEATED\", \"C83\": \"SEP-1\"}, \"passed\": false}, {\"check\": \"boundary control 4\", \"actual\": {\"C1\": \"H1-A1\", \"C2\": \"SEP-1\"}, \"expected\": {\"C1\": \"H1-A1\", \"C2\": \"SEP-1\"}, \"passed\": true}, {\"check\": \"boundary control 5\", \"actual\": {\"C1\": \"H1-A1\", \"C2\": \"H1-A3\", \"C3\": \"H1-C1\"}, \"expected\": {\"C1\": \"H1-A1\", \"C2\": \"H1-A3\", \"C3\": \"H1-C1\"}, \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": {\"C33\": \"H0-A1\", \"C21\": \"H0-A3\", \"C76\": \"H0-A3\"}, \"expected\": {\"C33\": \"H0-A1\", \"C21\": \"H0-A3\", \"C76\": \"UNSEATED\"}, \"passed\": false}, {\"check\": \"normal control 7\", \"actual\": {\"C40\": \"H0-A1\", \"C64\": \"H0-A3\"}, \"expected\": {\"C40\": \"H0-A1\", \"C64\": \"H0-A3\"}, \"passed\": true}, {\"check\": \"normal control 8\", \"actual\": {\"C49\": \"H0-A1\", \"C08\": \"H0-A3\", \"C32\": \"H0-C1\", \"C07\": \"H0-C3\"}, \"expected\": {\"C49\": \"H0-A1\", \"C08\": \"H0-A3\", \"C32\": \"H0-C1\", \"C07\": \"H0-C3\"}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.318,"exit_code":1,"observations":[{"actual":{"C1":"H1-A1","C2":"H1-A1"},"check":"regression: overflow wraps 1","expected":{"C1":"H1-A1","C2":"UNSEATED"},"passed":false},{"actual":{"C16":"SEP-1","C42":"H0-A1","C72":"H1-A1","C74":"H0-A1","C93":"H0-A1","C96":"H1-A1"},"check":"regression variant: overflow wraps 2","expected":{"C16":"SEP-1","C42":"UNSEATED","C72":"H1-A1","C74":"H0-A1","C93":"UNSEATED","C96":"UNSEATED"},"passed":false},{"actual":{"C30":"H0-A3","C39":"H0-A1","C50":"H0-A3","C53":"H0-A1","C83":"SEP-1","C88":"H0-C1","C96":"H0-C3"},"check":"partial repair guard 3","expected":{"C30":"H0-A3","C39":"UNSEATED","C50":"UNSEATED","C53":"H0-A1","C83":"SEP-1","C88":"H0-C1","C96":"H0-C3"},"passed":false},{"actual":{"C1":"H1-A1","C2":"SEP-1"},"check":"boundary control 4","expected":{"C1":"H1-A1","C2":"SEP-1"},"passed":true},{"actual":{"C1":"H1-A1","C2":"H1-A3","C3":"H1-C1"},"check":"boundary control 5","expected":{"C1":"H1-A1","C2":"H1-A3","C3":"H1-C1"},"passed":true},{"actual":{"C21":"H0-A3","C33":"H0-A1","C76":"H0-A1"},"check":"normal control 6","expected":{"C21":"H0-A3","C33":"H0-A1","C76":"UNSEATED"},"passed":false},{"actual":{"C40":"H0-A1","C64":"H0-A3"},"check":"normal control 7","expected":{"C40":"H0-A1","C64":"H0-A3"},"passed":true},{"actual":{"C07":"H0-C3","C08":"H0-A3","C32":"H0-C1","C49":"H0-A1"},"check":"normal control 8","expected":{"C07":"H0-C3","C08":"H0-A3","C32":"H0-C1","C49":"H0-A1"},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: overflow wraps 1\", \"actual\": {\"C1\": \"H1-A1\", \"C2\": \"H1-A1\"}, \"expected\": {\"C1\": \"H1-A1\", \"C2\": \"UNSEATED\"}, \"passed\": false}, {\"check\": \"regression variant: overflow wraps 2\", \"actual\": {\"C74\": \"H0-A1\", \"C72\": \"H1-A1\", \"C42\": \"H0-A1\", \"C96\": \"H1-A1\", \"C93\": \"H0-A1\", \"C16\": \"SEP-1\"}, \"expected\": {\"C74\": \"H0-A1\", \"C72\": \"H1-A1\", \"C42\": \"UNSEATED\", \"C96\": \"UNSEATED\", \"C93\": \"UNSEATED\", \"C16\": \"SEP-1\"}, \"passed\": false}, {\"check\": \"partial repair guard 3\", \"actual\": {\"C53\": \"H0-A1\", \"C30\": \"H0-A3\", \"C88\": \"H0-C1\", \"C96\": \"H0-C3\", \"C39\": \"H0-A1\", \"C50\": \"H0-A3\", \"C83\": \"SEP-1\"}, \"expected\": {\"C53\": \"H0-A1\", \"C30\": \"H0-A3\", \"C88\": \"H0-C1\", \"C96\": \"H0-C3\", \"C39\": \"UNSEATED\", \"C50\": \"UNSEATED\", \"C83\": \"SEP-1\"}, \"passed\": false}, {\"check\": \"boundary control 4\", \"actual\": {\"C1\": \"H1-A1\", \"C2\": \"SEP-1\"}, \"expected\": {\"C1\": \"H1-A1\", \"C2\": \"SEP-1\"}, \"passed\": true}, {\"check\": \"boundary control 5\", \"actual\": {\"C1\": \"H1-A1\", \"C2\": \"H1-A3\", \"C3\": \"H1-C1\"}, \"expected\": {\"C1\": \"H1-A1\", \"C2\": \"H1-A3\", \"C3\": \"H1-C1\"}, \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": {\"C33\": \"H0-A1\", \"C21\": \"H0-A3\", \"C76\": \"H0-A1\"}, \"expected\": {\"C33\": \"H0-A1\", \"C21\": \"H0-A3\", \"C76\": \"UNSEATED\"}, \"passed\": false}, {\"check\": \"normal control 7\", \"actual\": {\"C40\": \"H0-A1\", \"C64\": \"H0-A3\"}, \"expected\": {\"C40\": \"H0-A1\", \"C64\": \"H0-A3\"}, \"passed\": true}, {\"check\": \"normal control 8\", \"actual\": {\"C49\": \"H0-A1\", \"C08\": \"H0-A3\", \"C32\": \"H0-C1\", \"C07\": \"H0-C3\"}, \"expected\": {\"C49\": \"H0-A1\", \"C08\": \"H0-A3\", \"C32\": \"H0-C1\", \"C07\": \"H0-C3\"}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.317,"exit_code":0,"observations":[{"actual":{"C1":"H1-A1","C2":"UNSEATED"},"check":"regression: overflow wraps 1","expected":{"C1":"H1-A1","C2":"UNSEATED"},"passed":true},{"actual":{"C16":"SEP-1","C42":"UNSEATED","C72":"H1-A1","C74":"H0-A1","C93":"UNSEATED","C96":"UNSEATED"},"check":"regression variant: overflow wraps 2","expected":{"C16":"SEP-1","C42":"UNSEATED","C72":"H1-A1","C74":"H0-A1","C93":"UNSEATED","C96":"UNSEATED"},"passed":true},{"actual":{"C30":"H0-A3","C39":"UNSEATED","C50":"UNSEATED","C53":"H0-A1","C83":"SEP-1","C88":"H0-C1","C96":"H0-C3"},"check":"partial repair guard 3","expected":{"C30":"H0-A3","C39":"UNSEATED","C50":"UNSEATED","C53":"H0-A1","C83":"SEP-1","C88":"H0-C1","C96":"H0-C3"},"passed":true},{"actual":{"C1":"H1-A1","C2":"SEP-1"},"check":"boundary control 4","expected":{"C1":"H1-A1","C2":"SEP-1"},"passed":true},{"actual":{"C1":"H1-A1","C2":"H1-A3","C3":"H1-C1"},"check":"boundary control 5","expected":{"C1":"H1-A1","C2":"H1-A3","C3":"H1-C1"},"passed":true},{"actual":{"C21":"H0-A3","C33":"H0-A1","C76":"UNSEATED"},"check":"normal control 6","expected":{"C21":"H0-A3","C33":"H0-A1","C76":"UNSEATED"},"passed":true},{"actual":{"C40":"H0-A1","C64":"H0-A3"},"check":"normal control 7","expected":{"C40":"H0-A1","C64":"H0-A3"},"passed":true},{"actual":{"C07":"H0-C3","C08":"H0-A3","C32":"H0-C1","C49":"H0-A1"},"check":"normal control 8","expected":{"C07":"H0-C3","C08":"H0-A3","C32":"H0-C1","C49":"H0-A1"},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: overflow wraps 1\", \"actual\": {\"C1\": \"H1-A1\", \"C2\": \"UNSEATED\"}, \"expected\": {\"C1\": \"H1-A1\", \"C2\": \"UNSEATED\"}, \"passed\": true}, {\"check\": \"regression variant: overflow wraps 2\", \"actual\": {\"C74\": \"H0-A1\", \"C72\": \"H1-A1\", \"C42\": \"UNSEATED\", \"C96\": \"UNSEATED\", \"C93\": \"UNSEATED\", \"C16\": \"SEP-1\"}, \"expected\": {\"C74\": \"H0-A1\", \"C72\": \"H1-A1\", \"C42\": \"UNSEATED\", \"C96\": \"UNSEATED\", \"C93\": \"UNSEATED\", \"C16\": \"SEP-1\"}, \"passed\": true}, {\"check\": \"partial repair guard 3\", \"actual\": {\"C53\": \"H0-A1\", \"C30\": \"H0-A3\", \"C88\": \"H0-C1\", \"C96\": \"H0-C3\", \"C39\": \"UNSEATED\", \"C50\": \"UNSEATED\", \"C83\": \"SEP-1\"}, \"expected\": {\"C53\": \"H0-A1\", \"C30\": \"H0-A3\", \"C88\": \"H0-C1\", \"C96\": \"H0-C3\", \"C39\": \"UNSEATED\", \"C50\": \"UNSEATED\", \"C83\": \"SEP-1\"}, \"passed\": true}, {\"check\": \"boundary control 4\", \"actual\": {\"C1\": \"H1-A1\", \"C2\": \"SEP-1\"}, \"expected\": {\"C1\": \"H1-A1\", \"C2\": \"SEP-1\"}, \"passed\": true}, {\"check\": \"boundary control 5\", \"actual\": {\"C1\": \"H1-A1\", \"C2\": \"H1-A3\", \"C3\": \"H1-C1\"}, \"expected\": {\"C1\": \"H1-A1\", \"C2\": \"H1-A3\", \"C3\": \"H1-C1\"}, \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": {\"C33\": \"H0-A1\", \"C21\": \"H0-A3\", \"C76\": \"UNSEATED\"}, \"expected\": {\"C33\": \"H0-A1\", \"C21\": \"H0-A3\", \"C76\": \"UNSEATED\"}, \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": {\"C40\": \"H0-A1\", \"C64\": \"H0-A3\"}, \"expected\": {\"C40\": \"H0-A1\", \"C64\": \"H0-A3\"}, \"passed\": true}, {\"check\": \"normal control 8\", \"actual\": {\"C49\": \"H0-A1\", \"C08\": \"H0-A3\", \"C32\": \"H0-C1\", \"C07\": \"H0-C3\"}, \"expected\": {\"C49\": \"H0-A1\", \"C08\": \"H0-A3\", \"C32\": \"H0-C1\", \"C07\": \"H0-C3\"}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}