FAILURE MAP
← Case archive

FA-94836 / Exam timetabling constraints / Open access

Relief cover calculated per room instead of pooled per period · case 01

Every long-exam room gets its own relief invigilator.

Verified by executionVariant 1 · 8 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

Groups are keyed by room rather than period.

THE FAILURE

Groups are keyed by room rather than period.

Unsuccessful approach: Pooling across venues shares one reliever between buildings.

Case contract

rooms [room, venue, period, exam duration, candidates]. Rooms with candidates running exams longer than 120 minutes need relief cover; each venue-period needs ceil(qualifying rooms / per_relief) relief invigilators. Return [venue, period, qualifying rooms, relief invigilators] sorted by venue, period.

Why this case matters

Long exams need relief invigilators so room staff can take breaks; cover is pooled per venue and period.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(rooms, per_relief):
    groups = {}
    for room, venue, p, dur, n in rooms:
        if dur > 120 and n > 0:
            groups[(venue, room)] = groups.get((venue, room), 0) + 1
    return [[v, p, c, -(-c // per_relief)] for (v, p), c in sorted(groups.items())]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: venue period pooling 1', [[['R1', 'main', 0, 121, 10]], 3], [['main', 0, 1, 1]]),
  ('regression variant: venue period pooling 2',
   [[['R0', 'annex', 1, 180, 0], ['R1', 'main', 1, 121, 30], ['R2', 'annex', 1, 60, 0],
     ['R3', 'main', 1, 121, 0], ['R4', 'annex', 1, 121, 12], ['R5', 'annex', 0, 180, 12],
     ['R6', 'annex', 0, 120, 12], ['R7', 'annex', 0, 120, 0]],
    3],
   [['annex', 0, 1, 1], ['annex', 1, 1, 1], ['main', 1, 1, 1]]),
  ('partial repair guard 3',
   [[['R0', 'annex', 0, 180, 12], ['R1', 'main', 0, 150, 12], ['R2', 'annex', 0, 60, 0],
     ['R3', 'main', 1, 150, 12]],
    3],
   [['annex', 0, 1, 1], ['main', 0, 1, 1], ['main', 1, 1, 1]]),
  ('boundary control 4', [[['R1', 'main', 0, 180, 10], ['R2', 'annex', 0, 180, 10]], 3],
   [['annex', 0, 1, 1], ['main', 0, 1, 1]]),
  ('normal control 5',
   [[['R0', 'annex', 0, 121, 0], ['R1', 'main', 1, 150, 12], ['R2', 'main', 0, 90, 30],
     ['R3', 'annex', 1, 180, 12], ['R4', 'annex', 0, 60, 0], ['R5', 'main', 0, 150, 30]],
    2],
   [['annex', 1, 1, 1], ['main', 0, 1, 1], ['main', 1, 1, 1]]),
  ('normal control 6',
   [[['R0', 'main', 1, 180, 30], ['R1', 'main', 0, 121, 12], ['R2', 'main', 1, 121, 0],
     ['R3', 'annex', 0, 120, 12], ['R4', 'main', 0, 150, 30]],
    3],
   [['main', 0, 2, 1], ['main', 1, 1, 1]]),
  ('normal control 7', [[['R0', 'main', 1, 90, 30]], 3], []),
  ('normal control 8',
   [[['R0', 'main', 0, 121, 12], ['R1', 'annex', 1, 150, 12], ['R2', 'annex', 1, 120, 12],
     ['R3', 'annex', 0, 120, 30], ['R4', 'annex', 1, 90, 0], ['R5', 'annex', 0, 120, 12]],
    2],
   [['annex', 1, 1, 1], ['main', 0, 1, 1]])],
 [('regression: venue period pooling 1',
   [[['R1', 'main', 0, 180, 10], ['R2', 'main', 0, 180, 10], ['R3', 'main', 0, 180, 10],
     ['R4', 'main', 0, 180, 5]],
    3],
   [['main', 0, 4, 2]]),
  ('regression variant: venue period pooling 2',
   [[['R0', 'annex', 0, 180, 30], ['R1', 'annex', 0, 90, 30], ['R2', 'annex', 0, 150, 30],
     ['R3', 'annex', 0, 90, 12], ['R4', 'annex', 1, 121, 0]],
    2],
   [['annex', 0, 2, 1]]),
  ('partial repair guard 3',
   [[['R0', 'main', 1, 180, 12], ['R1', 'main', 0, 121, 0], ['R2', 'annex', 1, 120, 30],
     ['R3', 'main', 1, 180, 0], ['R4', 'annex', 0, 90, 12], ['R5', 'annex', 0, 60, 12],
     ['R6', 'main', 1, 150, 30], ['R7', 'annex', 0, 121, 0]],
    2],
   [['main', 1, 2, 1]]),
  ('boundary control 4', [[['R1', 'main', 0, 121, 10]], 3], [['main', 0, 1, 1]]),
  ('normal control 5', [[['R0', 'annex', 1, 121, 0]], 2], []),
  ('normal control 6',
   [[['R0', 'annex', 0, 180, 12], ['R1', 'main', 0, 180, 30], ['R2', 'annex', 1, 180, 0],
     ['R3', 'main', 1, 120, 30], ['R4', 'main', 0, 120, 12], ['R5', 'main', 0, 121, 12]],
    2],
   [['annex', 0, 1, 1], ['main', 0, 2, 1]]),
  ('normal control 7',
   [[['R0', 'main', 1, 60, 12], ['R1', 'main', 1, 60, 0], ['R2', 'annex', 0, 180, 0],
     ['R3', 'main', 1, 150, 0]],
    2],
   []),
  ('normal control 8',
   [[['R0', 'annex', 0, 90, 12], ['R1', 'main', 0, 121, 0], ['R2', 'main', 1, 60, 12]], 2], [])],
 [('regression: venue period pooling 1', [[['R1', 'main', 0, 180, 10], ['R2', 'annex', 0, 180, 10]], 3],
   [['annex', 0, 1, 1], ['main', 0, 1, 1]]),
  ('regression variant: venue period pooling 2',
   [[['R0', 'annex', 1, 60, 12], ['R1', 'main', 1, 60, 0], ['R2', 'annex', 0, 90, 0],
     ['R3', 'main', 1, 120, 30], ['R4', 'annex', 1, 180, 30], ['R5', 'main', 0, 150, 0]],
    2],
   [['annex', 1, 1, 1]]),
  ('partial repair guard 3', [[['R0', 'main', 0, 121, 12]], 2], [['main', 0, 1, 1]]),
  ('boundary control 4', [[['R1', 'main', 0, 180, 0]], 2], []),
  ('normal control 5',
   [[['R0', 'main', 0, 121, 12], ['R1', 'main', 0, 121, 30], ['R2', 'main', 0, 180, 0],
     ['R3', 'annex', 0, 121, 0], ['R4', 'annex', 1, 120, 30], ['R5', 'main', 1, 60, 0],
     ['R6', 'annex', 0, 150, 30], ['R7', 'annex', 1, 150, 30]],
    3],
   [['annex', 0, 1, 1], ['annex', 1, 1, 1], ['main', 0, 2, 1]]),
  ('normal control 6',
   [[['R0', 'annex', 0, 120, 0], ['R1', 'annex', 0, 121, 30], ['R2', 'annex', 0, 90, 30],
     ['R3', 'main', 0, 60, 12], ['R4', 'annex', 1, 150, 12], ['R5', 'main', 1, 120, 30],
     ['R6', 'annex', 0, 121, 12]],
    3],
   [['annex', 0, 2, 1], ['annex', 1, 1, 1]]),
  ('normal control 7', [[['R0', 'annex', 1, 121, 0], ['R1', 'main', 0, 120, 12]], 2], []),
  ('normal control 8',
   [[['R0', 'annex', 0, 180, 12], ['R1', 'main', 0, 150, 12], ['R2', 'annex', 0, 60, 0],
     ['R3', 'main', 1, 150, 12]],
    3],
   [['annex', 0, 1, 1], ['main', 0, 1, 1], ['main', 1, 1, 1]])],
 [('regression: venue period pooling 1',
   [[['R0', 'annex', 0, 60, 0], ['R1', 'annex', 0, 121, 12], ['R2', 'main', 0, 120, 30],
     ['R3', 'annex', 1, 180, 30]],
    3],
   [['annex', 0, 1, 1], ['annex', 1, 1, 1]]),
  ('regression variant: venue period pooling 2',
   [[['R0', 'main', 0, 180, 12], ['R1', 'annex', 0, 150, 0], ['R2', 'annex', 0, 150, 12],
     ['R3', 'main', 0, 180, 0], ['R4', 'annex', 1, 180, 30], ['R5', 'annex', 1, 120, 30],
     ['R6', 'annex', 1, 180, 0], ['R7', 'main', 1, 150, 12]],
    2],
   [['annex', 0, 1, 1], ['annex', 1, 1, 1], ['main', 0, 1, 1], ['main', 1, 1, 1]]),
  ('partial repair guard 3', [[['R0', 'main', 1, 90, 30], ['R1', 'main', 1, 180, 30]], 3],
   [['main', 1, 1, 1]]),
  ('boundary control 4',
   [[['R1', 'main', 0, 180, 10], ['R2', 'main', 0, 180, 10], ['R3', 'main', 0, 180, 10],
     ['R4', 'main', 0, 180, 5]],
    3],
   [['main', 0, 4, 2]]),
  ('normal control 5',
   [[['R0', 'annex', 1, 180, 12], ['R1', 'main', 1, 60, 12], ['R2', 'main', 1, 180, 12],
     ['R3', 'main', 0, 180, 12], ['R4', 'main', 1, 60, 12], ['R5', 'annex', 1, 180, 30]],
    2],
   [['annex', 1, 2, 1], ['main', 0, 1, 1], ['main', 1, 1, 1]]),
  ('normal control 6',
   [[['R0', 'main', 1, 180, 30], ['R1', 'main', 0, 60, 0], ['R2', 'annex', 0, 60, 12],
     ['R3', 'annex', 1, 120, 30], ['R4', 'annex', 0, 60, 0]],
    2],
   [['main', 1, 1, 1]]),
  ('normal control 7', [[['R0', 'main', 1, 90, 12], ['R1', 'annex', 1, 120, 12]], 2], []),
  ('normal control 8',
   [[['R0', 'annex', 0, 120, 0], ['R1', 'annex', 0, 180, 12], ['R2', 'main', 0, 121, 12],
     ['R3', 'annex', 0, 150, 12], ['R4', 'annex', 1, 60, 12], ['R5', 'annex', 0, 180, 30],
     ['R6', 'main', 1, 60, 0]],
    2],
   [['annex', 0, 3, 2], ['main', 0, 1, 1]])],
 [('regression: venue period pooling 1',
   [[['R0', 'main', 1, 150, 30], ['R1', 'annex', 0, 150, 30], ['R2', 'annex', 0, 90, 30],
     ['R3', 'main', 0, 90, 30], ['R4', 'main', 0, 150, 0]],
    3],
   [['annex', 0, 1, 1], ['main', 1, 1, 1]]),
  ('regression variant: venue period pooling 2',
   [[['R0', 'main', 1, 90, 30], ['R1', 'annex', 0, 90, 12], ['R2', 'main', 1, 121, 12]], 2],
   [['main', 1, 1, 1]]),
  ('partial repair guard 3',
   [[['R0', 'annex', 0, 180, 0], ['R1', 'main', 1, 121, 12], ['R2', 'main', 1, 150, 30],
     ['R3', 'annex', 0, 120, 30], ['R4', 'annex', 0, 150, 0], ['R5', 'annex', 1, 120, 0]],
    2],
   [['main', 1, 2, 1]]),
  ('boundary control 4', [[['R1', 'main', 0, 120, 10]], 3], []),
  ('normal control 5',
   [[['R0', 'main', 1, 150, 0], ['R1', 'annex', 1, 121, 30], ['R2', 'annex', 0, 120, 0],
     ['R3', 'main', 0, 150, 12], ['R4', 'annex', 1, 180, 0], ['R5', 'main', 0, 90, 30],
     ['R6', 'annex', 1, 120, 0], ['R7', 'main', 0, 150, 0]],
    2],
   [['annex', 1, 1, 1], ['main', 0, 1, 1]]),
  ('normal control 6',
   [[['R0', 'annex', 1, 60, 12], ['R1', 'annex', 0, 120, 0], ['R2', 'main', 0, 120, 0],
     ['R3', 'annex', 0, 121, 30], ['R4', 'annex', 0, 121, 0], ['R5', 'main', 1, 90, 0],
     ['R6', 'main', 0, 150, 0], ['R7', 'annex', 0, 90, 30]],
    2],
   [['annex', 0, 1, 1]]),
  ('normal control 7', [[['R0', 'annex', 1, 150, 30], ['R1', 'annex', 0, 121, 30]], 3],
   [['annex', 0, 1, 1], ['annex', 1, 1, 1]]),
  ('normal control 8',
   [[['R0', 'main', 0, 60, 12], ['R1', 'annex', 1, 60, 0], ['R2', 'annex', 1, 180, 0],
     ['R3', 'main', 0, 121, 30], ['R4', 'main', 1, 150, 12], ['R5', 'annex', 0, 120, 30],
     ['R6', 'main', 1, 150, 0], ['R7', 'annex', 0, 121, 12]],
    3],
   [['annex', 0, 1, 1], ['main', 0, 1, 1], ['main', 1, 1, 1]])]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
regression: venue period pooling 1[['main', 'R1', 1, 1]][['main', 0, 1, 1]]Failed
regression variant: venue period pooling 2[['annex', 'R4', 1, 1], ['annex', 'R5', 1, 1], ['main', 'R1', 1, 1]][['annex', 0, 1, 1], ['annex', 1, 1, 1], ['main', 1, 1, 1]]Failed
partial repair guard 3[['annex', 'R0', 1, 1], ['main', 'R1', 1, 1], ['main', 'R3', 1, 1]][['annex', 0, 1, 1], ['main', 0, 1, 1], ['main', 1, 1, 1]]Failed
boundary control 4[['annex', 'R2', 1, 1], ['main', 'R1', 1, 1]][['annex', 0, 1, 1], ['main', 0, 1, 1]]Failed
normal control 5[['annex', 'R3', 1, 1], ['main', 'R1', 1, 1], ['main', 'R5', 1, 1]][['annex', 1, 1, 1], ['main', 0, 1, 1], ['main', 1, 1, 1]]Failed
normal control 6[['main', 'R0', 1, 1], ['main', 'R1', 1, 1], ['main', 'R4', 1, 1]][['main', 0, 2, 1], ['main', 1, 1, 1]]Failed
normal control 7[][]Passed
normal control 8[['annex', 'R1', 1, 1], ['main', 'R0', 1, 1]][['annex', 1, 1, 1], ['main', 0, 1, 1]]Failed

SHA-256 / 4e1fd15d37dd7a3495cd856904056240bf6568d6744dfe389fb9bea01c20f2c1

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(rooms, per_relief):
    groups = {}
    for room, venue, p, dur, n in rooms:
        if dur > 120 and n > 0:
            groups[('all', p)] = groups.get(('all', p), 0) + 1
    return [[v, p, c, -(-c // per_relief)] for (v, p), c in sorted(groups.items())]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: venue period pooling 1', [[['R1', 'main', 0, 121, 10]], 3], [['main', 0, 1, 1]]),
  ('regression variant: venue period pooling 2',
   [[['R0', 'annex', 1, 180, 0], ['R1', 'main', 1, 121, 30], ['R2', 'annex', 1, 60, 0],
     ['R3', 'main', 1, 121, 0], ['R4', 'annex', 1, 121, 12], ['R5', 'annex', 0, 180, 12],
     ['R6', 'annex', 0, 120, 12], ['R7', 'annex', 0, 120, 0]],
    3],
   [['annex', 0, 1, 1], ['annex', 1, 1, 1], ['main', 1, 1, 1]]),
  ('partial repair guard 3',
   [[['R0', 'annex', 0, 180, 12], ['R1', 'main', 0, 150, 12], ['R2', 'annex', 0, 60, 0],
     ['R3', 'main', 1, 150, 12]],
    3],
   [['annex', 0, 1, 1], ['main', 0, 1, 1], ['main', 1, 1, 1]]),
  ('boundary control 4', [[['R1', 'main', 0, 180, 10], ['R2', 'annex', 0, 180, 10]], 3],
   [['annex', 0, 1, 1], ['main', 0, 1, 1]]),
  ('normal control 5',
   [[['R0', 'annex', 0, 121, 0], ['R1', 'main', 1, 150, 12], ['R2', 'main', 0, 90, 30],
     ['R3', 'annex', 1, 180, 12], ['R4', 'annex', 0, 60, 0], ['R5', 'main', 0, 150, 30]],
    2],
   [['annex', 1, 1, 1], ['main', 0, 1, 1], ['main', 1, 1, 1]]),
  ('normal control 6',
   [[['R0', 'main', 1, 180, 30], ['R1', 'main', 0, 121, 12], ['R2', 'main', 1, 121, 0],
     ['R3', 'annex', 0, 120, 12], ['R4', 'main', 0, 150, 30]],
    3],
   [['main', 0, 2, 1], ['main', 1, 1, 1]]),
  ('normal control 7', [[['R0', 'main', 1, 90, 30]], 3], []),
  ('normal control 8',
   [[['R0', 'main', 0, 121, 12], ['R1', 'annex', 1, 150, 12], ['R2', 'annex', 1, 120, 12],
     ['R3', 'annex', 0, 120, 30], ['R4', 'annex', 1, 90, 0], ['R5', 'annex', 0, 120, 12]],
    2],
   [['annex', 1, 1, 1], ['main', 0, 1, 1]])],
 [('regression: venue period pooling 1',
   [[['R1', 'main', 0, 180, 10], ['R2', 'main', 0, 180, 10], ['R3', 'main', 0, 180, 10],
     ['R4', 'main', 0, 180, 5]],
    3],
   [['main', 0, 4, 2]]),
  ('regression variant: venue period pooling 2',
   [[['R0', 'annex', 0, 180, 30], ['R1', 'annex', 0, 90, 30], ['R2', 'annex', 0, 150, 30],
     ['R3', 'annex', 0, 90, 12], ['R4', 'annex', 1, 121, 0]],
    2],
   [['annex', 0, 2, 1]]),
  ('partial repair guard 3',
   [[['R0', 'main', 1, 180, 12], ['R1', 'main', 0, 121, 0], ['R2', 'annex', 1, 120, 30],
     ['R3', 'main', 1, 180, 0], ['R4', 'annex', 0, 90, 12], ['R5', 'annex', 0, 60, 12],
     ['R6', 'main', 1, 150, 30], ['R7', 'annex', 0, 121, 0]],
    2],
   [['main', 1, 2, 1]]),
  ('boundary control 4', [[['R1', 'main', 0, 121, 10]], 3], [['main', 0, 1, 1]]),
  ('normal control 5', [[['R0', 'annex', 1, 121, 0]], 2], []),
  ('normal control 6',
   [[['R0', 'annex', 0, 180, 12], ['R1', 'main', 0, 180, 30], ['R2', 'annex', 1, 180, 0],
     ['R3', 'main', 1, 120, 30], ['R4', 'main', 0, 120, 12], ['R5', 'main', 0, 121, 12]],
    2],
   [['annex', 0, 1, 1], ['main', 0, 2, 1]]),
  ('normal control 7',
   [[['R0', 'main', 1, 60, 12], ['R1', 'main', 1, 60, 0], ['R2', 'annex', 0, 180, 0],
     ['R3', 'main', 1, 150, 0]],
    2],
   []),
  ('normal control 8',
   [[['R0', 'annex', 0, 90, 12], ['R1', 'main', 0, 121, 0], ['R2', 'main', 1, 60, 12]], 2], [])],
 [('regression: venue period pooling 1', [[['R1', 'main', 0, 180, 10], ['R2', 'annex', 0, 180, 10]], 3],
   [['annex', 0, 1, 1], ['main', 0, 1, 1]]),
  ('regression variant: venue period pooling 2',
   [[['R0', 'annex', 1, 60, 12], ['R1', 'main', 1, 60, 0], ['R2', 'annex', 0, 90, 0],
     ['R3', 'main', 1, 120, 30], ['R4', 'annex', 1, 180, 30], ['R5', 'main', 0, 150, 0]],
    2],
   [['annex', 1, 1, 1]]),
  ('partial repair guard 3', [[['R0', 'main', 0, 121, 12]], 2], [['main', 0, 1, 1]]),
  ('boundary control 4', [[['R1', 'main', 0, 180, 0]], 2], []),
  ('normal control 5',
   [[['R0', 'main', 0, 121, 12], ['R1', 'main', 0, 121, 30], ['R2', 'main', 0, 180, 0],
     ['R3', 'annex', 0, 121, 0], ['R4', 'annex', 1, 120, 30], ['R5', 'main', 1, 60, 0],
     ['R6', 'annex', 0, 150, 30], ['R7', 'annex', 1, 150, 30]],
    3],
   [['annex', 0, 1, 1], ['annex', 1, 1, 1], ['main', 0, 2, 1]]),
  ('normal control 6',
   [[['R0', 'annex', 0, 120, 0], ['R1', 'annex', 0, 121, 30], ['R2', 'annex', 0, 90, 30],
     ['R3', 'main', 0, 60, 12], ['R4', 'annex', 1, 150, 12], ['R5', 'main', 1, 120, 30],
     ['R6', 'annex', 0, 121, 12]],
    3],
   [['annex', 0, 2, 1], ['annex', 1, 1, 1]]),
  ('normal control 7', [[['R0', 'annex', 1, 121, 0], ['R1', 'main', 0, 120, 12]], 2], []),
  ('normal control 8',
   [[['R0', 'annex', 0, 180, 12], ['R1', 'main', 0, 150, 12], ['R2', 'annex', 0, 60, 0],
     ['R3', 'main', 1, 150, 12]],
    3],
   [['annex', 0, 1, 1], ['main', 0, 1, 1], ['main', 1, 1, 1]])],
 [('regression: venue period pooling 1',
   [[['R0', 'annex', 0, 60, 0], ['R1', 'annex', 0, 121, 12], ['R2', 'main', 0, 120, 30],
     ['R3', 'annex', 1, 180, 30]],
    3],
   [['annex', 0, 1, 1], ['annex', 1, 1, 1]]),
  ('regression variant: venue period pooling 2',
   [[['R0', 'main', 0, 180, 12], ['R1', 'annex', 0, 150, 0], ['R2', 'annex', 0, 150, 12],
     ['R3', 'main', 0, 180, 0], ['R4', 'annex', 1, 180, 30], ['R5', 'annex', 1, 120, 30],
     ['R6', 'annex', 1, 180, 0], ['R7', 'main', 1, 150, 12]],
    2],
   [['annex', 0, 1, 1], ['annex', 1, 1, 1], ['main', 0, 1, 1], ['main', 1, 1, 1]]),
  ('partial repair guard 3', [[['R0', 'main', 1, 90, 30], ['R1', 'main', 1, 180, 30]], 3],
   [['main', 1, 1, 1]]),
  ('boundary control 4',
   [[['R1', 'main', 0, 180, 10], ['R2', 'main', 0, 180, 10], ['R3', 'main', 0, 180, 10],
     ['R4', 'main', 0, 180, 5]],
    3],
   [['main', 0, 4, 2]]),
  ('normal control 5',
   [[['R0', 'annex', 1, 180, 12], ['R1', 'main', 1, 60, 12], ['R2', 'main', 1, 180, 12],
     ['R3', 'main', 0, 180, 12], ['R4', 'main', 1, 60, 12], ['R5', 'annex', 1, 180, 30]],
    2],
   [['annex', 1, 2, 1], ['main', 0, 1, 1], ['main', 1, 1, 1]]),
  ('normal control 6',
   [[['R0', 'main', 1, 180, 30], ['R1', 'main', 0, 60, 0], ['R2', 'annex', 0, 60, 12],
     ['R3', 'annex', 1, 120, 30], ['R4', 'annex', 0, 60, 0]],
    2],
   [['main', 1, 1, 1]]),
  ('normal control 7', [[['R0', 'main', 1, 90, 12], ['R1', 'annex', 1, 120, 12]], 2], []),
  ('normal control 8',
   [[['R0', 'annex', 0, 120, 0], ['R1', 'annex', 0, 180, 12], ['R2', 'main', 0, 121, 12],
     ['R3', 'annex', 0, 150, 12], ['R4', 'annex', 1, 60, 12], ['R5', 'annex', 0, 180, 30],
     ['R6', 'main', 1, 60, 0]],
    2],
   [['annex', 0, 3, 2], ['main', 0, 1, 1]])],
 [('regression: venue period pooling 1',
   [[['R0', 'main', 1, 150, 30], ['R1', 'annex', 0, 150, 30], ['R2', 'annex', 0, 90, 30],
     ['R3', 'main', 0, 90, 30], ['R4', 'main', 0, 150, 0]],
    3],
   [['annex', 0, 1, 1], ['main', 1, 1, 1]]),
  ('regression variant: venue period pooling 2',
   [[['R0', 'main', 1, 90, 30], ['R1', 'annex', 0, 90, 12], ['R2', 'main', 1, 121, 12]], 2],
   [['main', 1, 1, 1]]),
  ('partial repair guard 3',
   [[['R0', 'annex', 0, 180, 0], ['R1', 'main', 1, 121, 12], ['R2', 'main', 1, 150, 30],
     ['R3', 'annex', 0, 120, 30], ['R4', 'annex', 0, 150, 0], ['R5', 'annex', 1, 120, 0]],
    2],
   [['main', 1, 2, 1]]),
  ('boundary control 4', [[['R1', 'main', 0, 120, 10]], 3], []),
  ('normal control 5',
   [[['R0', 'main', 1, 150, 0], ['R1', 'annex', 1, 121, 30], ['R2', 'annex', 0, 120, 0],
     ['R3', 'main', 0, 150, 12], ['R4', 'annex', 1, 180, 0], ['R5', 'main', 0, 90, 30],
     ['R6', 'annex', 1, 120, 0], ['R7', 'main', 0, 150, 0]],
    2],
   [['annex', 1, 1, 1], ['main', 0, 1, 1]]),
  ('normal control 6',
   [[['R0', 'annex', 1, 60, 12], ['R1', 'annex', 0, 120, 0], ['R2', 'main', 0, 120, 0],
     ['R3', 'annex', 0, 121, 30], ['R4', 'annex', 0, 121, 0], ['R5', 'main', 1, 90, 0],
     ['R6', 'main', 0, 150, 0], ['R7', 'annex', 0, 90, 30]],
    2],
   [['annex', 0, 1, 1]]),
  ('normal control 7', [[['R0', 'annex', 1, 150, 30], ['R1', 'annex', 0, 121, 30]], 3],
   [['annex', 0, 1, 1], ['annex', 1, 1, 1]]),
  ('normal control 8',
   [[['R0', 'main', 0, 60, 12], ['R1', 'annex', 1, 60, 0], ['R2', 'annex', 1, 180, 0],
     ['R3', 'main', 0, 121, 30], ['R4', 'main', 1, 150, 12], ['R5', 'annex', 0, 120, 30],
     ['R6', 'main', 1, 150, 0], ['R7', 'annex', 0, 121, 12]],
    3],
   [['annex', 0, 1, 1], ['main', 0, 1, 1], ['main', 1, 1, 1]])]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
regression: venue period pooling 1[['all', 0, 1, 1]][['main', 0, 1, 1]]Failed
regression variant: venue period pooling 2[['all', 0, 1, 1], ['all', 1, 2, 1]][['annex', 0, 1, 1], ['annex', 1, 1, 1], ['main', 1, 1, 1]]Failed
partial repair guard 3[['all', 0, 2, 1], ['all', 1, 1, 1]][['annex', 0, 1, 1], ['main', 0, 1, 1], ['main', 1, 1, 1]]Failed
boundary control 4[['all', 0, 2, 1]][['annex', 0, 1, 1], ['main', 0, 1, 1]]Failed
normal control 5[['all', 0, 1, 1], ['all', 1, 2, 1]][['annex', 1, 1, 1], ['main', 0, 1, 1], ['main', 1, 1, 1]]Failed
normal control 6[['all', 0, 2, 1], ['all', 1, 1, 1]][['main', 0, 2, 1], ['main', 1, 1, 1]]Failed
normal control 7[][]Passed
normal control 8[['all', 0, 1, 1], ['all', 1, 1, 1]][['annex', 1, 1, 1], ['main', 0, 1, 1]]Failed

SHA-256 / fce1a12f2b801cca103f18457f91afddda13f8dd1acb779a1bae10b88196cb51

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 8 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

Sign in to the archive ↗

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:52:08.069026+00:00.

Case digest / 8b8067fce46e14395eff5c2d4a3ac1969ccf4407966903af1261399c3dfe0f70