{"abstract":"Several exams sharing a room overfill it without a finding.","category":"Exam timetabling constraints","checks":8,"contract":"placements [exam, room, seats]; rooms room -> [capacity, features]; needs exam -> required features. Features compare case-insensitively. Report [exam, room, \"features\", sorted missing] for each placement lacking features, then [\"*\", room, \"capacity\", [load, capacity]] for rooms whose total placed seats exceed capacity.","evaluation_group":"w2-exam-timetabling-constraints-room-suitability-and-load","failed_approach":"Keeping the largest placement ignores sharing.","family":"w2-exam-timetabling-constraints-room-suitability-and-load-room-load-aggregation","id":"FA-94776","implementations":{"attempt":{"sha256":"8dee92f5f10fc8252f6215828e5c3ca0fc9d83cd3d1bacf557316df93894e0b5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(placements, rooms, needs):\n    out = []\n    load = {}\n    for ex, room, seats in placements:\n        cap, fl = rooms[room]\n        have = {f.lower() for f in fl}\n        miss = sorted({f.lower() for f in needs.get(ex, [])} - have)\n        if miss:\n            out.append([ex, room, 'features', miss])\n        load[room] = max(load.get(room, 0), seats)\n    for room in sorted(load):\n        if load[room] > rooms[room][0]:\n            out.append(['*', room, 'capacity', [load[room], rooms[room][0]]])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: room load aggregation 1',\n   [[['A', 'R2', 2], ['B', 'R2', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {}],\n   [['*', 'R2', 'capacity', [4, 3]]]),\n  ('regression variant: room load aggregation 2',\n   [[['MATH101', 'R3', 1], ['PHYS110', 'R4', 3], ['PHYS110', 'R3', 2], ['MATH101', 'R1', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101H': ['computers', 'Lab'], 'PHYS110': ['computers', 'Lab'], 'CHEM120': []}],\n   [['PHYS110', 'R4', 'features', ['computers']], ['PHYS110', 'R3', 'features', ['computers', 'lab']],\n    ['*', 'R1', 'capacity', [3, 2]], ['*', 'R3', 'capacity', [3, 1]]]),\n  ('partial repair guard 3',\n   [[['MATH101', 'R2', 2], ['MATH101H', 'R3', 2], ['MATH101', 'R4', 2], ['CHEM120', 'R3', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'], 'PHYS110': [], 'CHEM120': []}],\n   [['*', 'R3', 'capacity', [3, 1]]]),\n  ('boundary control 4',\n   [[['A', 'R2', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'A': ['Lab']}],\n   []),\n  ('normal control 5',\n   [[['MATH101', 'R4', 3], ['CHEM120', 'R3', 2], ['MATH101H', 'R4', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101H': ['computers', 'accessible'], 'PHYS110': ['Lab'], 'CHEM120': ['Lab', 'computers']}],\n   [['CHEM120', 'R3', 'features', ['computers', 'lab']], ['MATH101H', 'R4', 'features', ['computers']],\n    ['*', 'R3', 'capacity', [2, 1]], ['*', 'R4', 'capacity', [5, 4]]]),\n  ('normal control 6',\n   [[['MATH101H', 'R2', 3], ['PHYS110', 'R2', 3], ['CHEM120', 'R4', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['accessible'], 'PHYS110': [], 'CHEM120': ['computers']}],\n   [['CHEM120', 'R4', 'features', ['computers']], ['*', 'R2', 'capacity', [6, 3]]]),\n  ('normal control 7',\n   [[['MATH101H', 'R4', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'], 'MATH101H': ['computers'], 'PHYS110': ['computers', 'accessible'], 'CHEM120': []}],\n   [['MATH101H', 'R4', 'features', ['computers']]]),\n  ('normal control 8',\n   [[['MATH101', 'R4', 3], ['MATH101', 'R1', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['computers', 'Lab'], 'MATH101H': [], 'PHYS110': [], 'CHEM120': []}],\n   [['MATH101', 'R4', 'features', ['computers']], ['MATH101', 'R1', 'features', ['lab']]])],\n [('regression: room load aggregation 1',\n   [[['MATH101H', 'R3', 1], ['CHEM120', 'R3', 1], ['MATH101H', 'R4', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101H': [], 'CHEM120': []}],\n   [['*', 'R3', 'capacity', [2, 1]]]),\n  ('regression variant: room load aggregation 2',\n   [[['MATH101H', 'R3', 3], ['MATH101H', 'R1', 3], ['CHEM120', 'R3', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'MATH101H': ['Lab'], 'PHYS110': [], 'CHEM120': []}],\n   [['MATH101H', 'R3', 'features', ['lab']], ['MATH101H', 'R1', 'features', ['lab']],\n    ['*', 'R1', 'capacity', [3, 2]], ['*', 'R3', 'capacity', [6, 1]]]),\n  ('partial repair guard 3',\n   [[['PHYS110', 'R4', 2], ['MATH101', 'R1', 3], ['MATH101H', 'R1', 1], ['MATH101', 'R2', 3],\n     ['PHYS110', 'R1', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'MATH101H': []}],\n   [['*', 'R1', 'capacity', [5, 2]]]),\n  ('boundary control 4',\n   [[['A', 'R3', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'A': ['Lab']}],\n   [['A', 'R3', 'features', ['lab']]]),\n  ('normal control 5',\n   [[['CHEM120', 'R3', 3], ['MATH101H', 'R3', 2], ['MATH101', 'R2', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'],\n     'MATH101H': ['accessible', 'computers'],\n     'PHYS110': [],\n     'CHEM120': ['accessible', 'Lab']}],\n   [['CHEM120', 'R3', 'features', ['accessible', 'lab']],\n    ['MATH101H', 'R3', 'features', ['accessible', 'computers']], ['*', 'R3', 'capacity', [5, 1]]]),\n  ('normal control 6',\n   [[['CHEM120', 'R4', 1], ['CHEM120', 'R1', 2], ['MATH101', 'R1', 2], ['MATH101H', 'R1', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'CHEM120': ['accessible', 'computers']}],\n   [['CHEM120', 'R4', 'features', ['computers']], ['*', 'R1', 'capacity', [6, 2]]]),\n  ('normal control 7',\n   [[['PHYS110', 'R3', 3], ['MATH101', 'R3', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'], 'MATH101H': ['computers', 'Lab'], 'PHYS110': ['Lab'], 'CHEM120': ['computers']}],\n   [['PHYS110', 'R3', 'features', ['lab']], ['MATH101', 'R3', 'features', ['lab']],\n    ['*', 'R3', 'capacity', [4, 1]]]),\n  ('normal control 8',\n   [[['PHYS110', 'R1', 2], ['CHEM120', 'R3', 2], ['CHEM120', 'R1', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['accessible'], 'PHYS110': [], 'CHEM120': []}],\n   [['*', 'R1', 'capacity', [5, 2]], ['*', 'R3', 'capacity', [2, 1]]])],\n [('regression: room load aggregation 1',\n   [[['CHEM120', 'R1', 2], ['PHYS110', 'R1', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab', 'computers'], 'MATH101H': [], 'PHYS110': [], 'CHEM120': []}],\n   [['*', 'R1', 'capacity', [5, 2]]]),\n  ('regression variant: room load aggregation 2',\n   [[['PHYS110', 'R1', 2], ['PHYS110', 'R1', 1], ['MATH101H', 'R2', 3], ['PHYS110', 'R2', 1],\n     ['MATH101', 'R1', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101H': ['Lab'], 'CHEM120': ['computers', 'accessible']}],\n   [['*', 'R1', 'capacity', [4, 2]], ['*', 'R2', 'capacity', [4, 3]]]),\n  ('partial repair guard 3',\n   [[['MATH101H', 'R2', 2], ['MATH101H', 'R4', 1], ['PHYS110', 'R2', 2], ['MATH101H', 'R3', 2],\n     ['MATH101', 'R2', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'],\n     'MATH101H': ['computers', 'Lab'],\n     'PHYS110': ['Lab', 'computers'],\n     'CHEM120': ['computers', 'accessible']}],\n   [['MATH101H', 'R2', 'features', ['computers']], ['MATH101H', 'R4', 'features', ['computers']],\n    ['PHYS110', 'R2', 'features', ['computers']], ['MATH101H', 'R3', 'features', ['computers', 'lab']],\n    ['*', 'R2', 'capacity', [7, 3]], ['*', 'R3', 'capacity', [2, 1]]]),\n  ('boundary control 4',\n   [[['A', 'R4', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'A': ['accessible', 'Lab']}],\n   []),\n  ('normal control 5',\n   [[['MATH101', 'R2', 1], ['CHEM120', 'R4', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['accessible', 'computers'],\n     'MATH101H': ['Lab', 'accessible'],\n     'CHEM120': ['Lab', 'computers']}],\n   [['MATH101', 'R2', 'features', ['accessible', 'computers']],\n    ['CHEM120', 'R4', 'features', ['computers']]]),\n  ('normal control 6',\n   [[['PHYS110', 'R3', 3], ['PHYS110', 'R3', 2], ['MATH101', 'R4', 3], ['MATH101', 'R1', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['computers', 'accessible'], 'MATH101H': ['accessible'], 'PHYS110': ['Lab'], 'CHEM120': []}],\n   [['PHYS110', 'R3', 'features', ['lab']], ['PHYS110', 'R3', 'features', ['lab']],\n    ['MATH101', 'R4', 'features', ['computers']], ['*', 'R3', 'capacity', [5, 1]]]),\n  ('normal control 7',\n   [[['MATH101', 'R2', 1], ['PHYS110', 'R1', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [],\n     'MATH101H': ['Lab', 'accessible'],\n     'PHYS110': ['computers', 'accessible'],\n     'CHEM120': ['accessible']}],\n   [['*', 'R1', 'capacity', [3, 2]]]),\n  ('normal control 8',\n   [[['MATH101', 'R4', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'], 'MATH101H': ['Lab', 'computers'], 'CHEM120': ['Lab', 'computers']}],\n   [])],\n [('regression: room load aggregation 1',\n   [[['CHEM120', 'R3', 1], ['CHEM120', 'R1', 1], ['CHEM120', 'R1', 1], ['PHYS110', 'R1', 3],\n     ['PHYS110', 'R2', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'PHYS110': ['Lab', 'accessible'], 'CHEM120': ['accessible', 'computers']}],\n   [['CHEM120', 'R3', 'features', ['accessible', 'computers']], ['PHYS110', 'R1', 'features', ['lab']],\n    ['PHYS110', 'R2', 'features', ['accessible']], ['*', 'R1', 'capacity', [5, 2]]]),\n  ('regression variant: room load aggregation 2',\n   [[['PHYS110', 'R1', 3], ['MATH101H', 'R3', 2], ['MATH101H', 'R2', 1], ['PHYS110', 'R3', 2],\n     ['CHEM120', 'R2', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'MATH101H': ['accessible'], 'CHEM120': ['computers']}],\n   [['MATH101H', 'R3', 'features', ['accessible']], ['MATH101H', 'R2', 'features', ['accessible']],\n    ['CHEM120', 'R2', 'features', ['computers']], ['*', 'R1', 'capacity', [3, 2]],\n    ['*', 'R2', 'capacity', [4, 3]], ['*', 'R3', 'capacity', [4, 1]]]),\n  ('partial repair guard 3',\n   [[['CHEM120', 'R4', 3], ['MATH101H', 'R4', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101H': ['accessible'], 'PHYS110': ['Lab'], 'CHEM120': ['accessible', 'computers']}],\n   [['CHEM120', 'R4', 'features', ['computers']], ['*', 'R4', 'capacity', [6, 4]]]),\n  ('boundary control 4',\n   [[['A', 'R2', 2], ['B', 'R2', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {}],\n   [['*', 'R2', 'capacity', [4, 3]]]),\n  ('normal control 5',\n   [[['MATH101H', 'R3', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['computers'], 'MATH101H': [], 'PHYS110': ['Lab']}],\n   [['*', 'R3', 'capacity', [2, 1]]]),\n  ('normal control 6',\n   [[['MATH101H', 'R3', 1], ['MATH101', 'R3', 3], ['CHEM120', 'R4', 3], ['PHYS110', 'R3', 3],\n     ['MATH101', 'R1', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'MATH101H': ['accessible']}],\n   [['MATH101H', 'R3', 'features', ['accessible']], ['*', 'R3', 'capacity', [7, 1]]]),\n  ('normal control 7',\n   [[['PHYS110', 'R3', 2], ['CHEM120', 'R1', 2], ['MATH101', 'R2', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['accessible'], 'MATH101H': [], 'CHEM120': []}],\n   [['MATH101', 'R2', 'features', ['accessible']], ['*', 'R3', 'capacity', [2, 1]]]),\n  ('normal control 8',\n   [[['MATH101H', 'R1', 1], ['MATH101', 'R1', 3], ['CHEM120', 'R3', 2], ['PHYS110', 'R2', 1],\n     ['MATH101', 'R3', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'MATH101H': ['Lab'], 'PHYS110': ['accessible', 'computers'], 'CHEM120': ['Lab']}],\n   [['MATH101H', 'R1', 'features', ['lab']], ['CHEM120', 'R3', 'features', ['lab']],\n    ['PHYS110', 'R2', 'features', ['accessible', 'computers']], ['*', 'R1', 'capacity', [4, 2]],\n    ['*', 'R3', 'capacity', [4, 1]]])],\n [('regression: room load aggregation 1',\n   [[['CHEM120', 'R1', 3], ['MATH101H', 'R2', 3], ['PHYS110', 'R2', 3], ['CHEM120', 'R1', 3],\n     ['MATH101', 'R2', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101H': ['accessible', 'computers'], 'PHYS110': ['accessible', 'computers'], 'CHEM120': []}],\n   [['MATH101H', 'R2', 'features', ['accessible', 'computers']],\n    ['PHYS110', 'R2', 'features', ['accessible', 'computers']], ['*', 'R1', 'capacity', [6, 2]],\n    ['*', 'R2', 'capacity', [8, 3]]]),\n  ('regression variant: room load aggregation 2',\n   [[['CHEM120', 'R1', 3], ['MATH101', 'R4', 1], ['PHYS110', 'R1', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['computers'], 'MATH101H': [], 'CHEM120': ['accessible', 'computers']}],\n   [['MATH101', 'R4', 'features', ['computers']], ['*', 'R1', 'capacity', [4, 2]]]),\n  ('partial repair guard 3',\n   [[['MATH101', 'R3', 3], ['PHYS110', 'R3', 3], ['MATH101', 'R4', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'MATH101H': ['Lab', 'computers'], 'CHEM120': []}],\n   [['*', 'R3', 'capacity', [6, 1]]]),\n  ('boundary control 4',\n   [[['A', 'R1', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'A': ['computers']}],\n   []),\n  ('normal control 5',\n   [[['MATH101H', 'R4', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['accessible', 'Lab'], 'MATH101H': ['accessible', 'Lab'], 'CHEM120': []}],\n   []),\n  ('normal control 6',\n   [[['MATH101H', 'R3', 1], ['MATH101', 'R3', 2], ['PHYS110', 'R2', 3], ['MATH101H', 'R1', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'], 'MATH101H': [], 'PHYS110': ['accessible'], 'CHEM120': ['computers']}],\n   [['MATH101', 'R3', 'features', ['lab']], ['PHYS110', 'R2', 'features', ['accessible']],\n    ['*', 'R3', 'capacity', [3, 1]]]),\n  ('normal control 7',\n   [[['CHEM120', 'R4', 3], ['MATH101H', 'R1', 2], ['PHYS110', 'R3', 3], ['PHYS110', 'R3', 3],\n     ['MATH101H', 'R2', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'], 'MATH101H': ['accessible'], 'PHYS110': ['computers'], 'CHEM120': []}],\n   [['PHYS110', 'R3', 'features', ['computers']], ['PHYS110', 'R3', 'features', ['computers']],\n    ['MATH101H', 'R2', 'features', ['accessible']], ['*', 'R3', 'capacity', [6, 1]]]),\n  ('normal control 8',\n   [[['PHYS110', 'R3', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['computers'], 'CHEM120': ['accessible', 'Lab']}],\n   [['*', 'R3', 'capacity', [3, 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":"c7e5136d0ad21f7a13f3a50157561e6594dae779a333f3e692be0c4bfaa4bcca","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(placements, rooms, needs):\n    out = []\n    load = {}\n    for ex, room, seats in placements:\n        cap, fl = rooms[room]\n        have = {f.lower() for f in fl}\n        miss = sorted({f.lower() for f in needs.get(ex, [])} - have)\n        if miss:\n            out.append([ex, room, 'features', miss])\n        load[room] = seats\n    for room in sorted(load):\n        if load[room] > rooms[room][0]:\n            out.append(['*', room, 'capacity', [load[room], rooms[room][0]]])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: room load aggregation 1',\n   [[['A', 'R2', 2], ['B', 'R2', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {}],\n   [['*', 'R2', 'capacity', [4, 3]]]),\n  ('regression variant: room load aggregation 2',\n   [[['MATH101', 'R3', 1], ['PHYS110', 'R4', 3], ['PHYS110', 'R3', 2], ['MATH101', 'R1', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101H': ['computers', 'Lab'], 'PHYS110': ['computers', 'Lab'], 'CHEM120': []}],\n   [['PHYS110', 'R4', 'features', ['computers']], ['PHYS110', 'R3', 'features', ['computers', 'lab']],\n    ['*', 'R1', 'capacity', [3, 2]], ['*', 'R3', 'capacity', [3, 1]]]),\n  ('partial repair guard 3',\n   [[['MATH101', 'R2', 2], ['MATH101H', 'R3', 2], ['MATH101', 'R4', 2], ['CHEM120', 'R3', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'], 'PHYS110': [], 'CHEM120': []}],\n   [['*', 'R3', 'capacity', [3, 1]]]),\n  ('boundary control 4',\n   [[['A', 'R2', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'A': ['Lab']}],\n   []),\n  ('normal control 5',\n   [[['MATH101', 'R4', 3], ['CHEM120', 'R3', 2], ['MATH101H', 'R4', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101H': ['computers', 'accessible'], 'PHYS110': ['Lab'], 'CHEM120': ['Lab', 'computers']}],\n   [['CHEM120', 'R3', 'features', ['computers', 'lab']], ['MATH101H', 'R4', 'features', ['computers']],\n    ['*', 'R3', 'capacity', [2, 1]], ['*', 'R4', 'capacity', [5, 4]]]),\n  ('normal control 6',\n   [[['MATH101H', 'R2', 3], ['PHYS110', 'R2', 3], ['CHEM120', 'R4', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['accessible'], 'PHYS110': [], 'CHEM120': ['computers']}],\n   [['CHEM120', 'R4', 'features', ['computers']], ['*', 'R2', 'capacity', [6, 3]]]),\n  ('normal control 7',\n   [[['MATH101H', 'R4', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'], 'MATH101H': ['computers'], 'PHYS110': ['computers', 'accessible'], 'CHEM120': []}],\n   [['MATH101H', 'R4', 'features', ['computers']]]),\n  ('normal control 8',\n   [[['MATH101', 'R4', 3], ['MATH101', 'R1', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['computers', 'Lab'], 'MATH101H': [], 'PHYS110': [], 'CHEM120': []}],\n   [['MATH101', 'R4', 'features', ['computers']], ['MATH101', 'R1', 'features', ['lab']]])],\n [('regression: room load aggregation 1',\n   [[['MATH101H', 'R3', 1], ['CHEM120', 'R3', 1], ['MATH101H', 'R4', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101H': [], 'CHEM120': []}],\n   [['*', 'R3', 'capacity', [2, 1]]]),\n  ('regression variant: room load aggregation 2',\n   [[['MATH101H', 'R3', 3], ['MATH101H', 'R1', 3], ['CHEM120', 'R3', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'MATH101H': ['Lab'], 'PHYS110': [], 'CHEM120': []}],\n   [['MATH101H', 'R3', 'features', ['lab']], ['MATH101H', 'R1', 'features', ['lab']],\n    ['*', 'R1', 'capacity', [3, 2]], ['*', 'R3', 'capacity', [6, 1]]]),\n  ('partial repair guard 3',\n   [[['PHYS110', 'R4', 2], ['MATH101', 'R1', 3], ['MATH101H', 'R1', 1], ['MATH101', 'R2', 3],\n     ['PHYS110', 'R1', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'MATH101H': []}],\n   [['*', 'R1', 'capacity', [5, 2]]]),\n  ('boundary control 4',\n   [[['A', 'R3', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'A': ['Lab']}],\n   [['A', 'R3', 'features', ['lab']]]),\n  ('normal control 5',\n   [[['CHEM120', 'R3', 3], ['MATH101H', 'R3', 2], ['MATH101', 'R2', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'],\n     'MATH101H': ['accessible', 'computers'],\n     'PHYS110': [],\n     'CHEM120': ['accessible', 'Lab']}],\n   [['CHEM120', 'R3', 'features', ['accessible', 'lab']],\n    ['MATH101H', 'R3', 'features', ['accessible', 'computers']], ['*', 'R3', 'capacity', [5, 1]]]),\n  ('normal control 6',\n   [[['CHEM120', 'R4', 1], ['CHEM120', 'R1', 2], ['MATH101', 'R1', 2], ['MATH101H', 'R1', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'CHEM120': ['accessible', 'computers']}],\n   [['CHEM120', 'R4', 'features', ['computers']], ['*', 'R1', 'capacity', [6, 2]]]),\n  ('normal control 7',\n   [[['PHYS110', 'R3', 3], ['MATH101', 'R3', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'], 'MATH101H': ['computers', 'Lab'], 'PHYS110': ['Lab'], 'CHEM120': ['computers']}],\n   [['PHYS110', 'R3', 'features', ['lab']], ['MATH101', 'R3', 'features', ['lab']],\n    ['*', 'R3', 'capacity', [4, 1]]]),\n  ('normal control 8',\n   [[['PHYS110', 'R1', 2], ['CHEM120', 'R3', 2], ['CHEM120', 'R1', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['accessible'], 'PHYS110': [], 'CHEM120': []}],\n   [['*', 'R1', 'capacity', [5, 2]], ['*', 'R3', 'capacity', [2, 1]]])],\n [('regression: room load aggregation 1',\n   [[['CHEM120', 'R1', 2], ['PHYS110', 'R1', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab', 'computers'], 'MATH101H': [], 'PHYS110': [], 'CHEM120': []}],\n   [['*', 'R1', 'capacity', [5, 2]]]),\n  ('regression variant: room load aggregation 2',\n   [[['PHYS110', 'R1', 2], ['PHYS110', 'R1', 1], ['MATH101H', 'R2', 3], ['PHYS110', 'R2', 1],\n     ['MATH101', 'R1', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101H': ['Lab'], 'CHEM120': ['computers', 'accessible']}],\n   [['*', 'R1', 'capacity', [4, 2]], ['*', 'R2', 'capacity', [4, 3]]]),\n  ('partial repair guard 3',\n   [[['MATH101H', 'R2', 2], ['MATH101H', 'R4', 1], ['PHYS110', 'R2', 2], ['MATH101H', 'R3', 2],\n     ['MATH101', 'R2', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'],\n     'MATH101H': ['computers', 'Lab'],\n     'PHYS110': ['Lab', 'computers'],\n     'CHEM120': ['computers', 'accessible']}],\n   [['MATH101H', 'R2', 'features', ['computers']], ['MATH101H', 'R4', 'features', ['computers']],\n    ['PHYS110', 'R2', 'features', ['computers']], ['MATH101H', 'R3', 'features', ['computers', 'lab']],\n    ['*', 'R2', 'capacity', [7, 3]], ['*', 'R3', 'capacity', [2, 1]]]),\n  ('boundary control 4',\n   [[['A', 'R4', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'A': ['accessible', 'Lab']}],\n   []),\n  ('normal control 5',\n   [[['MATH101', 'R2', 1], ['CHEM120', 'R4', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['accessible', 'computers'],\n     'MATH101H': ['Lab', 'accessible'],\n     'CHEM120': ['Lab', 'computers']}],\n   [['MATH101', 'R2', 'features', ['accessible', 'computers']],\n    ['CHEM120', 'R4', 'features', ['computers']]]),\n  ('normal control 6',\n   [[['PHYS110', 'R3', 3], ['PHYS110', 'R3', 2], ['MATH101', 'R4', 3], ['MATH101', 'R1', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['computers', 'accessible'], 'MATH101H': ['accessible'], 'PHYS110': ['Lab'], 'CHEM120': []}],\n   [['PHYS110', 'R3', 'features', ['lab']], ['PHYS110', 'R3', 'features', ['lab']],\n    ['MATH101', 'R4', 'features', ['computers']], ['*', 'R3', 'capacity', [5, 1]]]),\n  ('normal control 7',\n   [[['MATH101', 'R2', 1], ['PHYS110', 'R1', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [],\n     'MATH101H': ['Lab', 'accessible'],\n     'PHYS110': ['computers', 'accessible'],\n     'CHEM120': ['accessible']}],\n   [['*', 'R1', 'capacity', [3, 2]]]),\n  ('normal control 8',\n   [[['MATH101', 'R4', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'], 'MATH101H': ['Lab', 'computers'], 'CHEM120': ['Lab', 'computers']}],\n   [])],\n [('regression: room load aggregation 1',\n   [[['CHEM120', 'R3', 1], ['CHEM120', 'R1', 1], ['CHEM120', 'R1', 1], ['PHYS110', 'R1', 3],\n     ['PHYS110', 'R2', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'PHYS110': ['Lab', 'accessible'], 'CHEM120': ['accessible', 'computers']}],\n   [['CHEM120', 'R3', 'features', ['accessible', 'computers']], ['PHYS110', 'R1', 'features', ['lab']],\n    ['PHYS110', 'R2', 'features', ['accessible']], ['*', 'R1', 'capacity', [5, 2]]]),\n  ('regression variant: room load aggregation 2',\n   [[['PHYS110', 'R1', 3], ['MATH101H', 'R3', 2], ['MATH101H', 'R2', 1], ['PHYS110', 'R3', 2],\n     ['CHEM120', 'R2', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'MATH101H': ['accessible'], 'CHEM120': ['computers']}],\n   [['MATH101H', 'R3', 'features', ['accessible']], ['MATH101H', 'R2', 'features', ['accessible']],\n    ['CHEM120', 'R2', 'features', ['computers']], ['*', 'R1', 'capacity', [3, 2]],\n    ['*', 'R2', 'capacity', [4, 3]], ['*', 'R3', 'capacity', [4, 1]]]),\n  ('partial repair guard 3',\n   [[['CHEM120', 'R4', 3], ['MATH101H', 'R4', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101H': ['accessible'], 'PHYS110': ['Lab'], 'CHEM120': ['accessible', 'computers']}],\n   [['CHEM120', 'R4', 'features', ['computers']], ['*', 'R4', 'capacity', [6, 4]]]),\n  ('boundary control 4',\n   [[['A', 'R2', 2], ['B', 'R2', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {}],\n   [['*', 'R2', 'capacity', [4, 3]]]),\n  ('normal control 5',\n   [[['MATH101H', 'R3', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['computers'], 'MATH101H': [], 'PHYS110': ['Lab']}],\n   [['*', 'R3', 'capacity', [2, 1]]]),\n  ('normal control 6',\n   [[['MATH101H', 'R3', 1], ['MATH101', 'R3', 3], ['CHEM120', 'R4', 3], ['PHYS110', 'R3', 3],\n     ['MATH101', 'R1', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'MATH101H': ['accessible']}],\n   [['MATH101H', 'R3', 'features', ['accessible']], ['*', 'R3', 'capacity', [7, 1]]]),\n  ('normal control 7',\n   [[['PHYS110', 'R3', 2], ['CHEM120', 'R1', 2], ['MATH101', 'R2', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['accessible'], 'MATH101H': [], 'CHEM120': []}],\n   [['MATH101', 'R2', 'features', ['accessible']], ['*', 'R3', 'capacity', [2, 1]]]),\n  ('normal control 8',\n   [[['MATH101H', 'R1', 1], ['MATH101', 'R1', 3], ['CHEM120', 'R3', 2], ['PHYS110', 'R2', 1],\n     ['MATH101', 'R3', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'MATH101H': ['Lab'], 'PHYS110': ['accessible', 'computers'], 'CHEM120': ['Lab']}],\n   [['MATH101H', 'R1', 'features', ['lab']], ['CHEM120', 'R3', 'features', ['lab']],\n    ['PHYS110', 'R2', 'features', ['accessible', 'computers']], ['*', 'R1', 'capacity', [4, 2]],\n    ['*', 'R3', 'capacity', [4, 1]]])],\n [('regression: room load aggregation 1',\n   [[['CHEM120', 'R1', 3], ['MATH101H', 'R2', 3], ['PHYS110', 'R2', 3], ['CHEM120', 'R1', 3],\n     ['MATH101', 'R2', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101H': ['accessible', 'computers'], 'PHYS110': ['accessible', 'computers'], 'CHEM120': []}],\n   [['MATH101H', 'R2', 'features', ['accessible', 'computers']],\n    ['PHYS110', 'R2', 'features', ['accessible', 'computers']], ['*', 'R1', 'capacity', [6, 2]],\n    ['*', 'R2', 'capacity', [8, 3]]]),\n  ('regression variant: room load aggregation 2',\n   [[['CHEM120', 'R1', 3], ['MATH101', 'R4', 1], ['PHYS110', 'R1', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['computers'], 'MATH101H': [], 'CHEM120': ['accessible', 'computers']}],\n   [['MATH101', 'R4', 'features', ['computers']], ['*', 'R1', 'capacity', [4, 2]]]),\n  ('partial repair guard 3',\n   [[['MATH101', 'R3', 3], ['PHYS110', 'R3', 3], ['MATH101', 'R4', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'MATH101H': ['Lab', 'computers'], 'CHEM120': []}],\n   [['*', 'R3', 'capacity', [6, 1]]]),\n  ('boundary control 4',\n   [[['A', 'R1', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'A': ['computers']}],\n   []),\n  ('normal control 5',\n   [[['MATH101H', 'R4', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['accessible', 'Lab'], 'MATH101H': ['accessible', 'Lab'], 'CHEM120': []}],\n   []),\n  ('normal control 6',\n   [[['MATH101H', 'R3', 1], ['MATH101', 'R3', 2], ['PHYS110', 'R2', 3], ['MATH101H', 'R1', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'], 'MATH101H': [], 'PHYS110': ['accessible'], 'CHEM120': ['computers']}],\n   [['MATH101', 'R3', 'features', ['lab']], ['PHYS110', 'R2', 'features', ['accessible']],\n    ['*', 'R3', 'capacity', [3, 1]]]),\n  ('normal control 7',\n   [[['CHEM120', 'R4', 3], ['MATH101H', 'R1', 2], ['PHYS110', 'R3', 3], ['PHYS110', 'R3', 3],\n     ['MATH101H', 'R2', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'], 'MATH101H': ['accessible'], 'PHYS110': ['computers'], 'CHEM120': []}],\n   [['PHYS110', 'R3', 'features', ['computers']], ['PHYS110', 'R3', 'features', ['computers']],\n    ['MATH101H', 'R2', 'features', ['accessible']], ['*', 'R3', 'capacity', [6, 1]]]),\n  ('normal control 8',\n   [[['PHYS110', 'R3', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['computers'], 'CHEM120': ['accessible', 'Lab']}],\n   [['*', 'R3', 'capacity', [3, 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":"025bbbe0a760348744bca77bb2a077d818236c3e90fb59ad2170634ee3243381","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(placements, rooms, needs):\n    out = []\n    load = {}\n    for ex, room, seats in placements:\n        cap, fl = rooms[room]\n        have = {f.lower() for f in fl}\n        miss = sorted({f.lower() for f in needs.get(ex, [])} - have)\n        if miss:\n            out.append([ex, room, 'features', miss])\n        load[room] = load.get(room, 0) + seats\n    for room in sorted(load):\n        if load[room] > rooms[room][0]:\n            out.append(['*', room, 'capacity', [load[room], rooms[room][0]]])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: room load aggregation 1',\n   [[['A', 'R2', 2], ['B', 'R2', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {}],\n   [['*', 'R2', 'capacity', [4, 3]]]),\n  ('regression variant: room load aggregation 2',\n   [[['MATH101', 'R3', 1], ['PHYS110', 'R4', 3], ['PHYS110', 'R3', 2], ['MATH101', 'R1', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101H': ['computers', 'Lab'], 'PHYS110': ['computers', 'Lab'], 'CHEM120': []}],\n   [['PHYS110', 'R4', 'features', ['computers']], ['PHYS110', 'R3', 'features', ['computers', 'lab']],\n    ['*', 'R1', 'capacity', [3, 2]], ['*', 'R3', 'capacity', [3, 1]]]),\n  ('partial repair guard 3',\n   [[['MATH101', 'R2', 2], ['MATH101H', 'R3', 2], ['MATH101', 'R4', 2], ['CHEM120', 'R3', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'], 'PHYS110': [], 'CHEM120': []}],\n   [['*', 'R3', 'capacity', [3, 1]]]),\n  ('boundary control 4',\n   [[['A', 'R2', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'A': ['Lab']}],\n   []),\n  ('normal control 5',\n   [[['MATH101', 'R4', 3], ['CHEM120', 'R3', 2], ['MATH101H', 'R4', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101H': ['computers', 'accessible'], 'PHYS110': ['Lab'], 'CHEM120': ['Lab', 'computers']}],\n   [['CHEM120', 'R3', 'features', ['computers', 'lab']], ['MATH101H', 'R4', 'features', ['computers']],\n    ['*', 'R3', 'capacity', [2, 1]], ['*', 'R4', 'capacity', [5, 4]]]),\n  ('normal control 6',\n   [[['MATH101H', 'R2', 3], ['PHYS110', 'R2', 3], ['CHEM120', 'R4', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['accessible'], 'PHYS110': [], 'CHEM120': ['computers']}],\n   [['CHEM120', 'R4', 'features', ['computers']], ['*', 'R2', 'capacity', [6, 3]]]),\n  ('normal control 7',\n   [[['MATH101H', 'R4', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'], 'MATH101H': ['computers'], 'PHYS110': ['computers', 'accessible'], 'CHEM120': []}],\n   [['MATH101H', 'R4', 'features', ['computers']]]),\n  ('normal control 8',\n   [[['MATH101', 'R4', 3], ['MATH101', 'R1', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['computers', 'Lab'], 'MATH101H': [], 'PHYS110': [], 'CHEM120': []}],\n   [['MATH101', 'R4', 'features', ['computers']], ['MATH101', 'R1', 'features', ['lab']]])],\n [('regression: room load aggregation 1',\n   [[['MATH101H', 'R3', 1], ['CHEM120', 'R3', 1], ['MATH101H', 'R4', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101H': [], 'CHEM120': []}],\n   [['*', 'R3', 'capacity', [2, 1]]]),\n  ('regression variant: room load aggregation 2',\n   [[['MATH101H', 'R3', 3], ['MATH101H', 'R1', 3], ['CHEM120', 'R3', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'MATH101H': ['Lab'], 'PHYS110': [], 'CHEM120': []}],\n   [['MATH101H', 'R3', 'features', ['lab']], ['MATH101H', 'R1', 'features', ['lab']],\n    ['*', 'R1', 'capacity', [3, 2]], ['*', 'R3', 'capacity', [6, 1]]]),\n  ('partial repair guard 3',\n   [[['PHYS110', 'R4', 2], ['MATH101', 'R1', 3], ['MATH101H', 'R1', 1], ['MATH101', 'R2', 3],\n     ['PHYS110', 'R1', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'MATH101H': []}],\n   [['*', 'R1', 'capacity', [5, 2]]]),\n  ('boundary control 4',\n   [[['A', 'R3', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'A': ['Lab']}],\n   [['A', 'R3', 'features', ['lab']]]),\n  ('normal control 5',\n   [[['CHEM120', 'R3', 3], ['MATH101H', 'R3', 2], ['MATH101', 'R2', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'],\n     'MATH101H': ['accessible', 'computers'],\n     'PHYS110': [],\n     'CHEM120': ['accessible', 'Lab']}],\n   [['CHEM120', 'R3', 'features', ['accessible', 'lab']],\n    ['MATH101H', 'R3', 'features', ['accessible', 'computers']], ['*', 'R3', 'capacity', [5, 1]]]),\n  ('normal control 6',\n   [[['CHEM120', 'R4', 1], ['CHEM120', 'R1', 2], ['MATH101', 'R1', 2], ['MATH101H', 'R1', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'CHEM120': ['accessible', 'computers']}],\n   [['CHEM120', 'R4', 'features', ['computers']], ['*', 'R1', 'capacity', [6, 2]]]),\n  ('normal control 7',\n   [[['PHYS110', 'R3', 3], ['MATH101', 'R3', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'], 'MATH101H': ['computers', 'Lab'], 'PHYS110': ['Lab'], 'CHEM120': ['computers']}],\n   [['PHYS110', 'R3', 'features', ['lab']], ['MATH101', 'R3', 'features', ['lab']],\n    ['*', 'R3', 'capacity', [4, 1]]]),\n  ('normal control 8',\n   [[['PHYS110', 'R1', 2], ['CHEM120', 'R3', 2], ['CHEM120', 'R1', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['accessible'], 'PHYS110': [], 'CHEM120': []}],\n   [['*', 'R1', 'capacity', [5, 2]], ['*', 'R3', 'capacity', [2, 1]]])],\n [('regression: room load aggregation 1',\n   [[['CHEM120', 'R1', 2], ['PHYS110', 'R1', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab', 'computers'], 'MATH101H': [], 'PHYS110': [], 'CHEM120': []}],\n   [['*', 'R1', 'capacity', [5, 2]]]),\n  ('regression variant: room load aggregation 2',\n   [[['PHYS110', 'R1', 2], ['PHYS110', 'R1', 1], ['MATH101H', 'R2', 3], ['PHYS110', 'R2', 1],\n     ['MATH101', 'R1', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101H': ['Lab'], 'CHEM120': ['computers', 'accessible']}],\n   [['*', 'R1', 'capacity', [4, 2]], ['*', 'R2', 'capacity', [4, 3]]]),\n  ('partial repair guard 3',\n   [[['MATH101H', 'R2', 2], ['MATH101H', 'R4', 1], ['PHYS110', 'R2', 2], ['MATH101H', 'R3', 2],\n     ['MATH101', 'R2', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'],\n     'MATH101H': ['computers', 'Lab'],\n     'PHYS110': ['Lab', 'computers'],\n     'CHEM120': ['computers', 'accessible']}],\n   [['MATH101H', 'R2', 'features', ['computers']], ['MATH101H', 'R4', 'features', ['computers']],\n    ['PHYS110', 'R2', 'features', ['computers']], ['MATH101H', 'R3', 'features', ['computers', 'lab']],\n    ['*', 'R2', 'capacity', [7, 3]], ['*', 'R3', 'capacity', [2, 1]]]),\n  ('boundary control 4',\n   [[['A', 'R4', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'A': ['accessible', 'Lab']}],\n   []),\n  ('normal control 5',\n   [[['MATH101', 'R2', 1], ['CHEM120', 'R4', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['accessible', 'computers'],\n     'MATH101H': ['Lab', 'accessible'],\n     'CHEM120': ['Lab', 'computers']}],\n   [['MATH101', 'R2', 'features', ['accessible', 'computers']],\n    ['CHEM120', 'R4', 'features', ['computers']]]),\n  ('normal control 6',\n   [[['PHYS110', 'R3', 3], ['PHYS110', 'R3', 2], ['MATH101', 'R4', 3], ['MATH101', 'R1', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['computers', 'accessible'], 'MATH101H': ['accessible'], 'PHYS110': ['Lab'], 'CHEM120': []}],\n   [['PHYS110', 'R3', 'features', ['lab']], ['PHYS110', 'R3', 'features', ['lab']],\n    ['MATH101', 'R4', 'features', ['computers']], ['*', 'R3', 'capacity', [5, 1]]]),\n  ('normal control 7',\n   [[['MATH101', 'R2', 1], ['PHYS110', 'R1', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [],\n     'MATH101H': ['Lab', 'accessible'],\n     'PHYS110': ['computers', 'accessible'],\n     'CHEM120': ['accessible']}],\n   [['*', 'R1', 'capacity', [3, 2]]]),\n  ('normal control 8',\n   [[['MATH101', 'R4', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'], 'MATH101H': ['Lab', 'computers'], 'CHEM120': ['Lab', 'computers']}],\n   [])],\n [('regression: room load aggregation 1',\n   [[['CHEM120', 'R3', 1], ['CHEM120', 'R1', 1], ['CHEM120', 'R1', 1], ['PHYS110', 'R1', 3],\n     ['PHYS110', 'R2', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'PHYS110': ['Lab', 'accessible'], 'CHEM120': ['accessible', 'computers']}],\n   [['CHEM120', 'R3', 'features', ['accessible', 'computers']], ['PHYS110', 'R1', 'features', ['lab']],\n    ['PHYS110', 'R2', 'features', ['accessible']], ['*', 'R1', 'capacity', [5, 2]]]),\n  ('regression variant: room load aggregation 2',\n   [[['PHYS110', 'R1', 3], ['MATH101H', 'R3', 2], ['MATH101H', 'R2', 1], ['PHYS110', 'R3', 2],\n     ['CHEM120', 'R2', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'MATH101H': ['accessible'], 'CHEM120': ['computers']}],\n   [['MATH101H', 'R3', 'features', ['accessible']], ['MATH101H', 'R2', 'features', ['accessible']],\n    ['CHEM120', 'R2', 'features', ['computers']], ['*', 'R1', 'capacity', [3, 2]],\n    ['*', 'R2', 'capacity', [4, 3]], ['*', 'R3', 'capacity', [4, 1]]]),\n  ('partial repair guard 3',\n   [[['CHEM120', 'R4', 3], ['MATH101H', 'R4', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101H': ['accessible'], 'PHYS110': ['Lab'], 'CHEM120': ['accessible', 'computers']}],\n   [['CHEM120', 'R4', 'features', ['computers']], ['*', 'R4', 'capacity', [6, 4]]]),\n  ('boundary control 4',\n   [[['A', 'R2', 2], ['B', 'R2', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {}],\n   [['*', 'R2', 'capacity', [4, 3]]]),\n  ('normal control 5',\n   [[['MATH101H', 'R3', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['computers'], 'MATH101H': [], 'PHYS110': ['Lab']}],\n   [['*', 'R3', 'capacity', [2, 1]]]),\n  ('normal control 6',\n   [[['MATH101H', 'R3', 1], ['MATH101', 'R3', 3], ['CHEM120', 'R4', 3], ['PHYS110', 'R3', 3],\n     ['MATH101', 'R1', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'MATH101H': ['accessible']}],\n   [['MATH101H', 'R3', 'features', ['accessible']], ['*', 'R3', 'capacity', [7, 1]]]),\n  ('normal control 7',\n   [[['PHYS110', 'R3', 2], ['CHEM120', 'R1', 2], ['MATH101', 'R2', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['accessible'], 'MATH101H': [], 'CHEM120': []}],\n   [['MATH101', 'R2', 'features', ['accessible']], ['*', 'R3', 'capacity', [2, 1]]]),\n  ('normal control 8',\n   [[['MATH101H', 'R1', 1], ['MATH101', 'R1', 3], ['CHEM120', 'R3', 2], ['PHYS110', 'R2', 1],\n     ['MATH101', 'R3', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'MATH101H': ['Lab'], 'PHYS110': ['accessible', 'computers'], 'CHEM120': ['Lab']}],\n   [['MATH101H', 'R1', 'features', ['lab']], ['CHEM120', 'R3', 'features', ['lab']],\n    ['PHYS110', 'R2', 'features', ['accessible', 'computers']], ['*', 'R1', 'capacity', [4, 2]],\n    ['*', 'R3', 'capacity', [4, 1]]])],\n [('regression: room load aggregation 1',\n   [[['CHEM120', 'R1', 3], ['MATH101H', 'R2', 3], ['PHYS110', 'R2', 3], ['CHEM120', 'R1', 3],\n     ['MATH101', 'R2', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101H': ['accessible', 'computers'], 'PHYS110': ['accessible', 'computers'], 'CHEM120': []}],\n   [['MATH101H', 'R2', 'features', ['accessible', 'computers']],\n    ['PHYS110', 'R2', 'features', ['accessible', 'computers']], ['*', 'R1', 'capacity', [6, 2]],\n    ['*', 'R2', 'capacity', [8, 3]]]),\n  ('regression variant: room load aggregation 2',\n   [[['CHEM120', 'R1', 3], ['MATH101', 'R4', 1], ['PHYS110', 'R1', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['computers'], 'MATH101H': [], 'CHEM120': ['accessible', 'computers']}],\n   [['MATH101', 'R4', 'features', ['computers']], ['*', 'R1', 'capacity', [4, 2]]]),\n  ('partial repair guard 3',\n   [[['MATH101', 'R3', 3], ['PHYS110', 'R3', 3], ['MATH101', 'R4', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': [], 'MATH101H': ['Lab', 'computers'], 'CHEM120': []}],\n   [['*', 'R3', 'capacity', [6, 1]]]),\n  ('boundary control 4',\n   [[['A', 'R1', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'A': ['computers']}],\n   []),\n  ('normal control 5',\n   [[['MATH101H', 'R4', 1]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['accessible', 'Lab'], 'MATH101H': ['accessible', 'Lab'], 'CHEM120': []}],\n   []),\n  ('normal control 6',\n   [[['MATH101H', 'R3', 1], ['MATH101', 'R3', 2], ['PHYS110', 'R2', 3], ['MATH101H', 'R1', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'], 'MATH101H': [], 'PHYS110': ['accessible'], 'CHEM120': ['computers']}],\n   [['MATH101', 'R3', 'features', ['lab']], ['PHYS110', 'R2', 'features', ['accessible']],\n    ['*', 'R3', 'capacity', [3, 1]]]),\n  ('normal control 7',\n   [[['CHEM120', 'R4', 3], ['MATH101H', 'R1', 2], ['PHYS110', 'R3', 3], ['PHYS110', 'R3', 3],\n     ['MATH101H', 'R2', 2]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['Lab'], 'MATH101H': ['accessible'], 'PHYS110': ['computers'], 'CHEM120': []}],\n   [['PHYS110', 'R3', 'features', ['computers']], ['PHYS110', 'R3', 'features', ['computers']],\n    ['MATH101H', 'R2', 'features', ['accessible']], ['*', 'R3', 'capacity', [6, 1]]]),\n  ('normal control 8',\n   [[['PHYS110', 'R3', 3]],\n    {'R1': [2, ['Computers', 'accessible']],\n     'R2': [3, ['lab']],\n     'R3': [1, []],\n     'R4': [4, ['ACCESSIBLE', 'lab']]},\n    {'MATH101': ['computers'], 'CHEM120': ['accessible', 'Lab']}],\n   [['*', 'R3', 'capacity', [3, 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-room-suitability-and-load-room-load-aggregation","generated_at":"2026-09-29T14:52:07.481581+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Room suitability (labs, computers, accessibility) and capacity are hard constraints of room allocation.","repair":"Sum seats of all placements in the room.","root_cause":"Room load is overwritten per placement.","sha256":"5c33e6c063b47d553889751d0181ec8b620be338a7b5798c860a74eff9138b6a","title":"Room capacity checked against the last placement only · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.4,"exit_code":1,"observations":[{"actual":[],"check":"regression: room load aggregation 1","expected":[["*","R2","capacity",[4,3]]],"passed":false},{"actual":[["PHYS110","R4","features",["computers"]],["PHYS110","R3","features",["computers","lab"]],["*","R1","capacity",[3,2]],["*","R3","capacity",[2,1]]],"check":"regression variant: room load aggregation 2","expected":[["PHYS110","R4","features",["computers"]],["PHYS110","R3","features",["computers","lab"]],["*","R1","capacity",[3,2]],["*","R3","capacity",[3,1]]],"passed":false},{"actual":[["*","R3","capacity",[2,1]]],"check":"partial repair guard 3","expected":[["*","R3","capacity",[3,1]]],"passed":false},{"actual":[],"check":"boundary control 4","expected":[],"passed":true},{"actual":[["CHEM120","R3","features",["computers","lab"]],["MATH101H","R4","features",["computers"]],["*","R3","capacity",[2,1]]],"check":"normal control 5","expected":[["CHEM120","R3","features",["computers","lab"]],["MATH101H","R4","features",["computers"]],["*","R3","capacity",[2,1]],["*","R4","capacity",[5,4]]],"passed":false},{"actual":[["CHEM120","R4","features",["computers"]]],"check":"normal control 6","expected":[["CHEM120","R4","features",["computers"]],["*","R2","capacity",[6,3]]],"passed":false},{"actual":[["MATH101H","R4","features",["computers"]]],"check":"normal control 7","expected":[["MATH101H","R4","features",["computers"]]],"passed":true},{"actual":[["MATH101","R4","features",["computers"]],["MATH101","R1","features",["lab"]]],"check":"normal control 8","expected":[["MATH101","R4","features",["computers"]],["MATH101","R1","features",["lab"]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: room load aggregation 1\", \"actual\": [], \"expected\": [[\"*\", \"R2\", \"capacity\", [4, 3]]], \"passed\": false}, {\"check\": \"regression variant: room load aggregation 2\", \"actual\": [[\"PHYS110\", \"R4\", \"features\", [\"computers\"]], [\"PHYS110\", \"R3\", \"features\", [\"computers\", \"lab\"]], [\"*\", \"R1\", \"capacity\", [3, 2]], [\"*\", \"R3\", \"capacity\", [2, 1]]], \"expected\": [[\"PHYS110\", \"R4\", \"features\", [\"computers\"]], [\"PHYS110\", \"R3\", \"features\", [\"computers\", \"lab\"]], [\"*\", \"R1\", \"capacity\", [3, 2]], [\"*\", \"R3\", \"capacity\", [3, 1]]], \"passed\": false}, {\"check\": \"partial repair guard 3\", \"actual\": [[\"*\", \"R3\", \"capacity\", [2, 1]]], \"expected\": [[\"*\", \"R3\", \"capacity\", [3, 1]]], \"passed\": false}, {\"check\": \"boundary control 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"normal control 5\", \"actual\": [[\"CHEM120\", \"R3\", \"features\", [\"computers\", \"lab\"]], [\"MATH101H\", \"R4\", \"features\", [\"computers\"]], [\"*\", \"R3\", \"capacity\", [2, 1]]], \"expected\": [[\"CHEM120\", \"R3\", \"features\", [\"computers\", \"lab\"]], [\"MATH101H\", \"R4\", \"features\", [\"computers\"]], [\"*\", \"R3\", \"capacity\", [2, 1]], [\"*\", \"R4\", \"capacity\", [5, 4]]], \"passed\": false}, {\"check\": \"normal control 6\", \"actual\": [[\"CHEM120\", \"R4\", \"features\", [\"computers\"]]], \"expected\": [[\"CHEM120\", \"R4\", \"features\", [\"computers\"]], [\"*\", \"R2\", \"capacity\", [6, 3]]], \"passed\": false}, {\"check\": \"normal control 7\", \"actual\": [[\"MATH101H\", \"R4\", \"features\", [\"computers\"]]], \"expected\": [[\"MATH101H\", \"R4\", \"features\", [\"computers\"]]], \"passed\": true}, {\"check\": \"normal control 8\", \"actual\": [[\"MATH101\", \"R4\", \"features\", [\"computers\"]], [\"MATH101\", \"R1\", \"features\", [\"lab\"]]], \"expected\": [[\"MATH101\", \"R4\", \"features\", [\"computers\"]], [\"MATH101\", \"R1\", \"features\", [\"lab\"]]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.442,"exit_code":1,"observations":[{"actual":[],"check":"regression: room load aggregation 1","expected":[["*","R2","capacity",[4,3]]],"passed":false},{"actual":[["PHYS110","R4","features",["computers"]],["PHYS110","R3","features",["computers","lab"]],["*","R1","capacity",[3,2]],["*","R3","capacity",[2,1]]],"check":"regression variant: room load aggregation 2","expected":[["PHYS110","R4","features",["computers"]],["PHYS110","R3","features",["computers","lab"]],["*","R1","capacity",[3,2]],["*","R3","capacity",[3,1]]],"passed":false},{"actual":[],"check":"partial repair guard 3","expected":[["*","R3","capacity",[3,1]]],"passed":false},{"actual":[],"check":"boundary control 4","expected":[],"passed":true},{"actual":[["CHEM120","R3","features",["computers","lab"]],["MATH101H","R4","features",["computers"]],["*","R3","capacity",[2,1]]],"check":"normal control 5","expected":[["CHEM120","R3","features",["computers","lab"]],["MATH101H","R4","features",["computers"]],["*","R3","capacity",[2,1]],["*","R4","capacity",[5,4]]],"passed":false},{"actual":[["CHEM120","R4","features",["computers"]]],"check":"normal control 6","expected":[["CHEM120","R4","features",["computers"]],["*","R2","capacity",[6,3]]],"passed":false},{"actual":[["MATH101H","R4","features",["computers"]]],"check":"normal control 7","expected":[["MATH101H","R4","features",["computers"]]],"passed":true},{"actual":[["MATH101","R4","features",["computers"]],["MATH101","R1","features",["lab"]]],"check":"normal control 8","expected":[["MATH101","R4","features",["computers"]],["MATH101","R1","features",["lab"]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: room load aggregation 1\", \"actual\": [], \"expected\": [[\"*\", \"R2\", \"capacity\", [4, 3]]], \"passed\": false}, {\"check\": \"regression variant: room load aggregation 2\", \"actual\": [[\"PHYS110\", \"R4\", \"features\", [\"computers\"]], [\"PHYS110\", \"R3\", \"features\", [\"computers\", \"lab\"]], [\"*\", \"R1\", \"capacity\", [3, 2]], [\"*\", \"R3\", \"capacity\", [2, 1]]], \"expected\": [[\"PHYS110\", \"R4\", \"features\", [\"computers\"]], [\"PHYS110\", \"R3\", \"features\", [\"computers\", \"lab\"]], [\"*\", \"R1\", \"capacity\", [3, 2]], [\"*\", \"R3\", \"capacity\", [3, 1]]], \"passed\": false}, {\"check\": \"partial repair guard 3\", \"actual\": [], \"expected\": [[\"*\", \"R3\", \"capacity\", [3, 1]]], \"passed\": false}, {\"check\": \"boundary control 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"normal control 5\", \"actual\": [[\"CHEM120\", \"R3\", \"features\", [\"computers\", \"lab\"]], [\"MATH101H\", \"R4\", \"features\", [\"computers\"]], [\"*\", \"R3\", \"capacity\", [2, 1]]], \"expected\": [[\"CHEM120\", \"R3\", \"features\", [\"computers\", \"lab\"]], [\"MATH101H\", \"R4\", \"features\", [\"computers\"]], [\"*\", \"R3\", \"capacity\", [2, 1]], [\"*\", \"R4\", \"capacity\", [5, 4]]], \"passed\": false}, {\"check\": \"normal control 6\", \"actual\": [[\"CHEM120\", \"R4\", \"features\", [\"computers\"]]], \"expected\": [[\"CHEM120\", \"R4\", \"features\", [\"computers\"]], [\"*\", \"R2\", \"capacity\", [6, 3]]], \"passed\": false}, {\"check\": \"normal control 7\", \"actual\": [[\"MATH101H\", \"R4\", \"features\", [\"computers\"]]], \"expected\": [[\"MATH101H\", \"R4\", \"features\", [\"computers\"]]], \"passed\": true}, {\"check\": \"normal control 8\", \"actual\": [[\"MATH101\", \"R4\", \"features\", [\"computers\"]], [\"MATH101\", \"R1\", \"features\", [\"lab\"]]], \"expected\": [[\"MATH101\", \"R4\", \"features\", [\"computers\"]], [\"MATH101\", \"R1\", \"features\", [\"lab\"]]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.516,"exit_code":0,"observations":[{"actual":[["*","R2","capacity",[4,3]]],"check":"regression: room load aggregation 1","expected":[["*","R2","capacity",[4,3]]],"passed":true},{"actual":[["PHYS110","R4","features",["computers"]],["PHYS110","R3","features",["computers","lab"]],["*","R1","capacity",[3,2]],["*","R3","capacity",[3,1]]],"check":"regression variant: room load aggregation 2","expected":[["PHYS110","R4","features",["computers"]],["PHYS110","R3","features",["computers","lab"]],["*","R1","capacity",[3,2]],["*","R3","capacity",[3,1]]],"passed":true},{"actual":[["*","R3","capacity",[3,1]]],"check":"partial repair guard 3","expected":[["*","R3","capacity",[3,1]]],"passed":true},{"actual":[],"check":"boundary control 4","expected":[],"passed":true},{"actual":[["CHEM120","R3","features",["computers","lab"]],["MATH101H","R4","features",["computers"]],["*","R3","capacity",[2,1]],["*","R4","capacity",[5,4]]],"check":"normal control 5","expected":[["CHEM120","R3","features",["computers","lab"]],["MATH101H","R4","features",["computers"]],["*","R3","capacity",[2,1]],["*","R4","capacity",[5,4]]],"passed":true},{"actual":[["CHEM120","R4","features",["computers"]],["*","R2","capacity",[6,3]]],"check":"normal control 6","expected":[["CHEM120","R4","features",["computers"]],["*","R2","capacity",[6,3]]],"passed":true},{"actual":[["MATH101H","R4","features",["computers"]]],"check":"normal control 7","expected":[["MATH101H","R4","features",["computers"]]],"passed":true},{"actual":[["MATH101","R4","features",["computers"]],["MATH101","R1","features",["lab"]]],"check":"normal control 8","expected":[["MATH101","R4","features",["computers"]],["MATH101","R1","features",["lab"]]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: room load aggregation 1\", \"actual\": [[\"*\", \"R2\", \"capacity\", [4, 3]]], \"expected\": [[\"*\", \"R2\", \"capacity\", [4, 3]]], \"passed\": true}, {\"check\": \"regression variant: room load aggregation 2\", \"actual\": [[\"PHYS110\", \"R4\", \"features\", [\"computers\"]], [\"PHYS110\", \"R3\", \"features\", [\"computers\", \"lab\"]], [\"*\", \"R1\", \"capacity\", [3, 2]], [\"*\", \"R3\", \"capacity\", [3, 1]]], \"expected\": [[\"PHYS110\", \"R4\", \"features\", [\"computers\"]], [\"PHYS110\", \"R3\", \"features\", [\"computers\", \"lab\"]], [\"*\", \"R1\", \"capacity\", [3, 2]], [\"*\", \"R3\", \"capacity\", [3, 1]]], \"passed\": true}, {\"check\": \"partial repair guard 3\", \"actual\": [[\"*\", \"R3\", \"capacity\", [3, 1]]], \"expected\": [[\"*\", \"R3\", \"capacity\", [3, 1]]], \"passed\": true}, {\"check\": \"boundary control 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"normal control 5\", \"actual\": [[\"CHEM120\", \"R3\", \"features\", [\"computers\", \"lab\"]], [\"MATH101H\", \"R4\", \"features\", [\"computers\"]], [\"*\", \"R3\", \"capacity\", [2, 1]], [\"*\", \"R4\", \"capacity\", [5, 4]]], \"expected\": [[\"CHEM120\", \"R3\", \"features\", [\"computers\", \"lab\"]], [\"MATH101H\", \"R4\", \"features\", [\"computers\"]], [\"*\", \"R3\", \"capacity\", [2, 1]], [\"*\", \"R4\", \"capacity\", [5, 4]]], \"passed\": true}, {\"check\": \"normal control 6\", \"actual\": [[\"CHEM120\", \"R4\", \"features\", [\"computers\"]], [\"*\", \"R2\", \"capacity\", [6, 3]]], \"expected\": [[\"CHEM120\", \"R4\", \"features\", [\"computers\"]], [\"*\", \"R2\", \"capacity\", [6, 3]]], \"passed\": true}, {\"check\": \"normal control 7\", \"actual\": [[\"MATH101H\", \"R4\", \"features\", [\"computers\"]]], \"expected\": [[\"MATH101H\", \"R4\", \"features\", [\"computers\"]]], \"passed\": true}, {\"check\": \"normal control 8\", \"actual\": [[\"MATH101\", \"R4\", \"features\", [\"computers\"]], [\"MATH101\", \"R1\", \"features\", [\"lab\"]]], \"expected\": [[\"MATH101\", \"R4\", \"features\", [\"computers\"]], [\"MATH101\", \"R1\", \"features\", [\"lab\"]]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}