FAILURE MAP
← Case archive

FA-94586 / Exam timetabling constraints / Open access

Daily duty count grouped by slot number · case 01

Morning duties on different days are counted as one day.

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

ROOT CAUSE

The day is computed with the modulus.

VERIFIED REPAIR

Day is period // spd.

Unsuccessful approach: Shifting the period by one groups the last slot of a day with the next day.

Case contract

duties [invigilator, exam, period]; teach invigilator -> busy periods; subj invigilator -> subject code; exam subject is the part of the exam id before "-". Findings: busy (duty in a busy period), own_subject, double (same invigilator already on duty that period), daily_max (reported once, on the first duty that exceeds maxday on a day = period // spd). Return sorted [invigilator, exam, finding] rows.

Why this case matters

Invigilation rosters must respect teaching commitments, conflict-of-interest rules and daily limits.

1 / The failure

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

N = 1
observations = []
def solve(duties, teach, subj, maxday, spd):
    out = []
    seen = {}
    per_day = {}
    for inv, ex, p in duties:
        if p in teach.get(inv, []):
            out.append([inv, ex, 'busy'])
        if ex.split('-')[0] == subj.get(inv):
            out.append([inv, ex, 'own_subject'])
        if (inv, p) in seen:
            out.append([inv, ex, 'double'])
        seen[(inv, p)] = ex
        d = (inv, p % spd)
        per_day[d] = per_day.get(d, 0) + 1
        if per_day[d] == maxday + 1:
            out.append([inv, ex, 'daily_max'])
    return sorted(out)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: duty day index 1',
   [[['ann', 'MATH-101', 0], ['ann', 'CHEM-110', 1], ['ann', 'BIO-201', 2]], {}, {}, 2, 3],
   [['ann', 'BIO-201', 'daily_max']]),
  ('regression variant: duty day index 2',
   [[['bob', 'BIOL-300', 0], ['ann', 'MATH-101', 5], ['bob', 'BIOL-300', 1]], {'ann': [], 'cy': [4]},
    {'ann': 'MATH', 'bob': 'MATH', 'cy': 'MATH'}, 1, 3],
   [['ann', 'MATH-101', 'own_subject'], ['bob', 'BIOL-300', 'daily_max']]),
  ('partial repair guard 3',
   [[['ann', 'CHEM-110', 2], ['ann', 'MATH-101', 0], ['cy', 'MATH-101', 1], ['ann', 'MATH-101', 1],
     ['cy', 'MATH-101', 2], ['ann', 'BIO-201', 2], ['ann', 'BIOL-300', 3]],
    {'ann': [2], 'bob': [1, 4], 'cy': [0, 1]}, {'ann': 'BIOL', 'bob': 'BIOL', 'cy': 'BIO'}, 2, 3],
   [['ann', 'BIO-201', 'busy'], ['ann', 'BIO-201', 'double'], ['ann', 'BIOL-300', 'own_subject'],
    ['ann', 'CHEM-110', 'busy'], ['ann', 'MATH-101', 'daily_max'], ['cy', 'MATH-101', 'busy']]),
  ('boundary control 4', [[['ann', 'MATH-101', 2], ['ann', 'CHEM-110', 3]], {}, {}, 1, 3], []),
  ('normal control 5',
   [[['bob', 'MATH-101', 3], ['ann', 'MATH-101', 4], ['cy', 'BIOL-300', 1], ['cy', 'BIOL-300', 1],
     ['cy', 'BIOL-300', 2]],
    {'ann': [], 'cy': []}, {'ann': 'CHEM', 'bob': 'BIO', 'cy': 'BIO'}, 2, 2],
   [['cy', 'BIOL-300', 'double']]),
  ('normal control 6',
   [[['ann', 'CHEM-110', 2], ['bob', 'BIOL-300', 3], ['bob', 'CHEM-110', 4], ['bob', 'CHEM-110', 5],
     ['bob', 'MATH-101', 0], ['bob', 'BIO-201', 1]],
    {'ann': [3, 5], 'bob': [0, 5], 'cy': [0, 3]}, {'ann': 'BIOL', 'bob': 'BIOL', 'cy': 'MATH'}, 1, 3],
   [['bob', 'BIO-201', 'daily_max'], ['bob', 'BIOL-300', 'own_subject'], ['bob', 'CHEM-110', 'busy'],
    ['bob', 'CHEM-110', 'daily_max'], ['bob', 'MATH-101', 'busy']]),
  ('normal control 7',
   [[['ann', 'CHEM-110', 1], ['cy', 'MATH-101', 5]], {'ann': [0], 'cy': [2]},
    {'ann': 'CHEM', 'bob': 'MATH', 'cy': 'CHEM'}, 2, 3],
   [['ann', 'CHEM-110', 'own_subject']]),
  ('normal control 8',
   [[['ann', 'MATH-101', 0], ['bob', 'BIO-201', 5], ['bob', 'CHEM-110', 2], ['bob', 'BIO-201', 4],
     ['ann', 'MATH-101', 4], ['bob', 'BIOL-300', 5], ['ann', 'BIO-201', 3]],
    {'ann': [0, 2], 'cy': [3]}, {'ann': 'BIOL', 'bob': 'BIOL', 'cy': 'CHEM'}, 1, 3],
   [['ann', 'BIO-201', 'daily_max'], ['ann', 'MATH-101', 'busy'], ['bob', 'BIO-201', 'daily_max'],
    ['bob', 'BIOL-300', 'double'], ['bob', 'BIOL-300', 'own_subject']])],
 [('regression: duty day index 1',
   [[['cy', 'BIOL-300', 5], ['ann', 'BIOL-300', 1], ['ann', 'MATH-101', 3], ['cy', 'MATH-101', 5],
     ['cy', 'BIO-201', 4]],
    {'ann': [], 'bob': [3], 'cy': []}, {'ann': 'CHEM', 'bob': 'BIOL', 'cy': 'BIOL'}, 2, 2],
   [['cy', 'BIO-201', 'daily_max'], ['cy', 'BIOL-300', 'own_subject'], ['cy', 'MATH-101', 'double']]),
  ('regression variant: duty day index 2',
   [[['bob', 'CHEM-110', 2], ['cy', 'MATH-101', 1], ['bob', 'MATH-101', 0], ['bob', 'BIOL-300', 3],
     ['ann', 'CHEM-110', 5], ['cy', 'BIO-201', 1]],
    {'ann': [1], 'bob': [], 'cy': [1, 4]}, {'ann': 'CHEM', 'bob': 'BIO', 'cy': 'CHEM'}, 1, 3],
   [['ann', 'CHEM-110', 'own_subject'], ['bob', 'MATH-101', 'daily_max'], ['cy', 'BIO-201', 'busy'],
    ['cy', 'BIO-201', 'daily_max'], ['cy', 'BIO-201', 'double'], ['cy', 'MATH-101', 'busy']]),
  ('partial repair guard 3',
   [[['ann', 'BIOL-300', 2], ['ann', 'BIO-201', 1], ['cy', 'BIOL-300', 5], ['cy', 'MATH-101', 0]],
    {'ann': [3], 'cy': [3]}, {'ann': 'CHEM', 'bob': 'BIOL', 'cy': 'MATH'}, 1, 2],
   [['cy', 'MATH-101', 'own_subject']]),
  ('boundary control 4', [[['ann', 'BIOL-300', 0]], {}, {'ann': 'BIO'}, 2, 3], []),
  ('normal control 5',
   [[['ann', 'CHEM-110', 1], ['bob', 'MATH-101', 4], ['ann', 'CHEM-110', 0], ['bob', 'MATH-101', 5],
     ['ann', 'BIO-201', 3], ['bob', 'BIO-201', 2], ['cy', 'MATH-101', 3]],
    {'ann': [4, 5], 'bob': [5], 'cy': []}, {'ann': 'MATH', 'bob': 'BIOL', 'cy': 'CHEM'}, 1, 2],
   [['ann', 'CHEM-110', 'daily_max'], ['bob', 'MATH-101', 'busy'], ['bob', 'MATH-101', 'daily_max']]),
  ('normal control 6',
   [[['ann', 'CHEM-110', 3], ['bob', 'MATH-101', 1], ['bob', 'BIOL-300', 4], ['ann', 'BIO-201', 3],
     ['cy', 'CHEM-110', 3], ['cy', 'MATH-101', 1]],
    {'ann': [0], 'cy': [3, 5]}, {'ann': 'MATH', 'bob': 'CHEM', 'cy': 'BIO'}, 1, 3],
   [['ann', 'BIO-201', 'daily_max'], ['ann', 'BIO-201', 'double'], ['cy', 'CHEM-110', 'busy']]),
  ('normal control 7',
   [[['ann', 'CHEM-110', 5], ['ann', 'CHEM-110', 1], ['bob', 'MATH-101', 1], ['bob', 'BIOL-300', 4]],
    {'ann': [], 'bob': [3], 'cy': []}, {'ann': 'BIOL', 'bob': 'MATH', 'cy': 'CHEM'}, 1, 3],
   [['bob', 'MATH-101', 'own_subject']]),
  ('normal control 8',
   [[['cy', 'BIO-201', 2], ['ann', 'BIO-201', 2], ['cy', 'BIO-201', 0], ['ann', 'BIO-201', 0],
     ['ann', 'BIO-201', 4], ['bob', 'BIO-201', 5]],
    {'ann': [2], 'cy': []}, {'ann': 'BIOL', 'bob': 'CHEM', 'cy': 'CHEM'}, 1, 2],
   [['ann', 'BIO-201', 'busy']])],
 [('regression: duty day index 1',
   [[['bob', 'BIO-201', 3], ['cy', 'CHEM-110', 5], ['ann', 'BIOL-300', 1], ['ann', 'BIO-201', 2],
     ['cy', 'CHEM-110', 3], ['bob', 'CHEM-110', 4], ['cy', 'CHEM-110', 0]],
    {'ann': [1, 5], 'bob': [3], 'cy': [3]}, {'ann': 'CHEM', 'bob': 'MATH', 'cy': 'MATH'}, 1, 3],
   [['ann', 'BIO-201', 'daily_max'], ['ann', 'BIOL-300', 'busy'], ['bob', 'BIO-201', 'busy'],
    ['bob', 'CHEM-110', 'daily_max'], ['cy', 'CHEM-110', 'busy'], ['cy', 'CHEM-110', 'daily_max']]),
  ('regression variant: duty day index 2',
   [[['cy', 'BIO-201', 1], ['ann', 'CHEM-110', 0], ['bob', 'MATH-101', 1], ['cy', 'CHEM-110', 5],
     ['cy', 'MATH-101', 1], ['bob', 'BIO-201', 2]],
    {'ann': [], 'bob': [1, 2], 'cy': []}, {'ann': 'BIO', 'bob': 'CHEM', 'cy': 'BIOL'}, 1, 2],
   [['bob', 'BIO-201', 'busy'], ['bob', 'MATH-101', 'busy'], ['cy', 'MATH-101', 'daily_max'],
    ['cy', 'MATH-101', 'double']]),
  ('partial repair guard 3',
   [[['bob', 'CHEM-110', 2], ['cy', 'MATH-101', 1], ['bob', 'MATH-101', 0], ['bob', 'BIOL-300', 3],
     ['ann', 'CHEM-110', 5], ['cy', 'BIO-201', 1]],
    {'ann': [1], 'bob': [], 'cy': [1, 4]}, {'ann': 'CHEM', 'bob': 'BIO', 'cy': 'CHEM'}, 1, 3],
   [['ann', 'CHEM-110', 'own_subject'], ['bob', 'MATH-101', 'daily_max'], ['cy', 'BIO-201', 'busy'],
    ['cy', 'BIO-201', 'daily_max'], ['cy', 'BIO-201', 'double'], ['cy', 'MATH-101', 'busy']]),
  ('boundary control 4', [[['ann', 'MATH-101', 0], ['bob', 'CHEM-110', 0]], {}, {}, 2, 3], []),
  ('normal control 5',
   [[['bob', 'BIO-201', 1], ['bob', 'MATH-101', 0]], {'ann': [3], 'bob': [3], 'cy': []},
    {'ann': 'MATH', 'bob': 'MATH', 'cy': 'CHEM'}, 2, 2],
   [['bob', 'MATH-101', 'own_subject']]),
  ('normal control 6',
   [[['ann', 'BIO-201', 0], ['bob', 'MATH-101', 2]], {'ann': [], 'bob': [0, 4], 'cy': []},
    {'ann': 'BIOL', 'bob': 'BIOL', 'cy': 'MATH'}, 2, 2],
   []),
  ('normal control 7',
   [[['bob', 'MATH-101', 2], ['bob', 'BIOL-300', 4], ['ann', 'BIO-201', 4]],
    {'ann': [2], 'bob': [3], 'cy': [0]}, {'ann': 'MATH', 'bob': 'CHEM', 'cy': 'BIO'}, 1, 2],
   []),
  ('normal control 8',
   [[['bob', 'MATH-101', 3], ['cy', 'BIOL-300', 2], ['ann', 'CHEM-110', 5]], {'cy': [3]},
    {'ann': 'BIOL', 'bob': 'BIO', 'cy': 'MATH'}, 2, 3],
   [])],
 [('regression: duty day index 1',
   [[['cy', 'MATH-101', 0], ['cy', 'CHEM-110', 2], ['bob', 'BIO-201', 3], ['ann', 'CHEM-110', 3],
     ['bob', 'BIO-201', 4], ['cy', 'BIO-201', 5]],
    {'ann': [3], 'bob': [1], 'cy': [0, 4]}, {'ann': 'MATH', 'bob': 'BIOL', 'cy': 'MATH'}, 1, 3],
   [['ann', 'CHEM-110', 'busy'], ['bob', 'BIO-201', 'daily_max'], ['cy', 'CHEM-110', 'daily_max'],
    ['cy', 'MATH-101', 'busy'], ['cy', 'MATH-101', 'own_subject']]),
  ('regression variant: duty day index 2',
   [[['ann', 'MATH-101', 4], ['ann', 'MATH-101', 1], ['bob', 'BIO-201', 4], ['bob', 'BIOL-300', 5],
     ['cy', 'MATH-101', 1]],
    {'ann': [0], 'bob': [], 'cy': [2]}, {'ann': 'BIO', 'bob': 'MATH', 'cy': 'BIO'}, 1, 2],
   [['bob', 'BIOL-300', 'daily_max']]),
  ('partial repair guard 3',
   [[['cy', 'BIO-201', 1], ['ann', 'CHEM-110', 0], ['bob', 'MATH-101', 1], ['cy', 'CHEM-110', 5],
     ['cy', 'MATH-101', 1], ['bob', 'BIO-201', 2]],
    {'ann': [], 'bob': [1, 2], 'cy': []}, {'ann': 'BIO', 'bob': 'CHEM', 'cy': 'BIOL'}, 1, 2],
   [['bob', 'BIO-201', 'busy'], ['bob', 'MATH-101', 'busy'], ['cy', 'MATH-101', 'daily_max'],
    ['cy', 'MATH-101', 'double']]),
  ('boundary control 4',
   [[['ann', 'MATH-101', 0], ['ann', 'CHEM-110', 1], ['ann', 'BIO-201', 2]], {}, {}, 2, 3],
   [['ann', 'BIO-201', 'daily_max']]),
  ('normal control 5',
   [[['ann', 'BIO-201', 2], ['cy', 'BIO-201', 3], ['ann', 'BIO-201', 4], ['cy', 'BIO-201', 2],
     ['ann', 'BIOL-300', 3]],
    {'ann': [2], 'bob': [], 'cy': [1, 2]}, {'ann': 'BIOL', 'bob': 'MATH', 'cy': 'BIOL'}, 1, 3],
   [['ann', 'BIO-201', 'busy'], ['ann', 'BIOL-300', 'daily_max'], ['ann', 'BIOL-300', 'own_subject'],
    ['cy', 'BIO-201', 'busy']]),
  ('normal control 6',
   [[['bob', 'BIOL-300', 5], ['cy', 'MATH-101', 4], ['cy', 'BIO-201', 1], ['bob', 'MATH-101', 3],
     ['bob', 'CHEM-110', 2]],
    {'ann': [1], 'bob': [1, 2], 'cy': [4]}, {'ann': 'BIOL', 'bob': 'BIO', 'cy': 'BIOL'}, 2, 3],
   [['bob', 'CHEM-110', 'busy'], ['cy', 'MATH-101', 'busy']]),
  ('normal control 7',
   [[['cy', 'CHEM-110', 1], ['bob', 'MATH-101', 4], ['cy', 'CHEM-110', 2], ['cy', 'BIO-201', 2],
     ['ann', 'MATH-101', 1], ['bob', 'CHEM-110', 1], ['bob', 'CHEM-110', 0]],
    {'bob': [], 'cy': [0, 4]}, {'ann': 'BIO', 'bob': 'CHEM', 'cy': 'BIO'}, 2, 2],
   [['bob', 'CHEM-110', 'own_subject'], ['bob', 'CHEM-110', 'own_subject'], ['cy', 'BIO-201', 'double'],
    ['cy', 'BIO-201', 'own_subject']]),
  ('normal control 8',
   [[['cy', 'BIOL-300', 2], ['cy', 'BIOL-300', 4]], {'ann': [], 'bob': [0, 4], 'cy': [0]},
    {'ann': 'BIO', 'bob': 'CHEM', 'cy': 'BIO'}, 2, 2],
   [])],
 [('regression: duty day index 1',
   [[['ann', 'CHEM-110', 2], ['ann', 'MATH-101', 0], ['cy', 'MATH-101', 1], ['ann', 'MATH-101', 1],
     ['cy', 'MATH-101', 2], ['ann', 'BIO-201', 2], ['ann', 'BIOL-300', 3]],
    {'ann': [2], 'bob': [1, 4], 'cy': [0, 1]}, {'ann': 'BIOL', 'bob': 'BIOL', 'cy': 'BIO'}, 2, 3],
   [['ann', 'BIO-201', 'busy'], ['ann', 'BIO-201', 'double'], ['ann', 'BIOL-300', 'own_subject'],
    ['ann', 'CHEM-110', 'busy'], ['ann', 'MATH-101', 'daily_max'], ['cy', 'MATH-101', 'busy']]),
  ('regression variant: duty day index 2',
   [[['ann', 'BIO-201', 0], ['cy', 'BIOL-300', 0], ['cy', 'BIOL-300', 3], ['bob', 'BIO-201', 2],
     ['cy', 'BIO-201', 1], ['bob', 'BIO-201', 4], ['ann', 'CHEM-110', 0]],
    {'ann': [2], 'cy': []}, {'ann': 'CHEM', 'bob': 'CHEM', 'cy': 'MATH'}, 1, 2],
   [['ann', 'CHEM-110', 'daily_max'], ['ann', 'CHEM-110', 'double'], ['ann', 'CHEM-110', 'own_subject'],
    ['cy', 'BIO-201', 'daily_max']]),
  ('partial repair guard 3',
   [[['ann', 'CHEM-110', 4], ['ann', 'MATH-101', 2], ['bob', 'MATH-101', 2], ['bob', 'BIO-201', 3]],
    {'ann': [4, 5], 'cy': [1, 4]}, {'ann': 'BIOL', 'bob': 'MATH', 'cy': 'MATH'}, 1, 3],
   [['ann', 'CHEM-110', 'busy'], ['bob', 'MATH-101', 'own_subject']]),
  ('boundary control 4', [[['ann', 'BIO-201', 0]], {}, {'ann': 'BIOL'}, 2, 3], []),
  ('normal control 5',
   [[['cy', 'MATH-101', 5], ['cy', 'MATH-101', 1], ['ann', 'MATH-101', 4], ['cy', 'BIOL-300', 5],
     ['ann', 'BIOL-300', 1], ['cy', 'BIOL-300', 5]],
    {'ann': [], 'bob': [], 'cy': []}, {'ann': 'BIOL', 'bob': 'BIO', 'cy': 'CHEM'}, 2, 2],
   [['ann', 'BIOL-300', 'own_subject'], ['cy', 'BIOL-300', 'daily_max'], ['cy', 'BIOL-300', 'double'],
    ['cy', 'BIOL-300', 'double']]),
  ('normal control 6',
   [[['cy', 'BIO-201', 0], ['bob', 'CHEM-110', 1], ['ann', 'BIOL-300', 1], ['cy', 'MATH-101', 2],
     ['bob', 'MATH-101', 0], ['cy', 'CHEM-110', 1], ['bob', 'BIOL-300', 2]],
    {'ann': [1], 'bob': [0], 'cy': [4, 5]}, {'ann': 'CHEM', 'bob': 'BIO', 'cy': 'BIOL'}, 1, 2],
   [['ann', 'BIOL-300', 'busy'], ['bob', 'MATH-101', 'busy'], ['bob', 'MATH-101', 'daily_max'],
    ['cy', 'CHEM-110', 'daily_max']]),
  ('normal control 7',
   [[['ann', 'BIOL-300', 0], ['bob', 'MATH-101', 0], ['bob', 'BIOL-300', 5], ['bob', 'MATH-101', 2],
     ['bob', 'BIOL-300', 2], ['cy', 'MATH-101', 1], ['ann', 'BIOL-300', 2]],
    {'ann': [4], 'bob': [1, 3]}, {'ann': 'CHEM', 'bob': 'BIOL', 'cy': 'CHEM'}, 1, 3],
   [['ann', 'BIOL-300', 'daily_max'], ['bob', 'BIOL-300', 'double'], ['bob', 'BIOL-300', 'own_subject'],
    ['bob', 'BIOL-300', 'own_subject'], ['bob', 'MATH-101', 'daily_max']]),
  ('normal control 8',
   [[['ann', 'BIOL-300', 1], ['cy', 'BIOL-300', 5], ['bob', 'BIO-201', 3], ['cy', 'CHEM-110', 5],
     ['cy', 'BIOL-300', 4], ['bob', 'MATH-101', 4]],
    {'bob': [1], 'cy': [2]}, {'ann': 'MATH', 'bob': 'CHEM', 'cy': 'CHEM'}, 2, 3],
   [['cy', 'BIOL-300', 'daily_max'], ['cy', 'CHEM-110', 'double'], ['cy', 'CHEM-110', 'own_subject']])]]
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: duty day index 1[][['ann', 'BIO-201', 'daily_max']]Failed
regression variant: duty day index 2[['ann', 'MATH-101', 'own_subject']][['ann', 'MATH-101', 'own_subject'], ['bob', 'BIOL-300', 'daily_max']]Failed
partial repair guard 3[['ann', 'BIO-201', 'busy'], ['ann', 'BIO-201', 'double'], ['ann', 'BIOL-300', 'own_subject'], ['ann', 'CHEM-110', 'busy'], ['cy', 'MATH-101', 'busy']][['ann', 'BIO-201', 'busy'], ['ann', 'BIO-201', 'double'], ['ann', 'BIOL-300', 'own_subject'], ['ann', 'CHEM-110', 'busy'], ['ann', 'MATH-101', 'daily_max'], ['cy', 'MATH-101', 'busy']]Failed
boundary control 4[][]Passed
normal control 5[['cy', 'BIOL-300', 'double']][['cy', 'BIOL-300', 'double']]Passed
normal control 6[['bob', 'BIO-201', 'daily_max'], ['bob', 'BIOL-300', 'own_subject'], ['bob', 'CHEM-110', 'busy'], ['bob', 'MATH-101', 'busy'], ['bob', 'MATH-101', 'daily_max']][['bob', 'BIO-201', 'daily_max'], ['bob', 'BIOL-300', 'own_subject'], ['bob', 'CHEM-110', 'busy'], ['bob', 'CHEM-110', 'daily_max'], ['bob', 'MATH-101', 'busy']]Failed
normal control 7[['ann', 'CHEM-110', 'own_subject']][['ann', 'CHEM-110', 'own_subject']]Passed
normal control 8[['ann', 'BIO-201', 'daily_max'], ['ann', 'MATH-101', 'busy'], ['bob', 'BIOL-300', 'double'], ['bob', 'BIOL-300', 'own_subject'], ['bob', 'CHEM-110', 'daily_max']][['ann', 'BIO-201', 'daily_max'], ['ann', 'MATH-101', 'busy'], ['bob', 'BIO-201', 'daily_max'], ['bob', 'BIOL-300', 'double'], ['bob', 'BIOL-300', 'own_subject']]Failed

SHA-256 / bf2cb46afbecb5b5832598ec2e487e45465bd4f32c14f9cb99415c5c0a67afb4

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(duties, teach, subj, maxday, spd):
    out = []
    seen = {}
    per_day = {}
    for inv, ex, p in duties:
        if p in teach.get(inv, []):
            out.append([inv, ex, 'busy'])
        if ex.split('-')[0] == subj.get(inv):
            out.append([inv, ex, 'own_subject'])
        if (inv, p) in seen:
            out.append([inv, ex, 'double'])
        seen[(inv, p)] = ex
        d = (inv, (p + 1) // spd)
        per_day[d] = per_day.get(d, 0) + 1
        if per_day[d] == maxday + 1:
            out.append([inv, ex, 'daily_max'])
    return sorted(out)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: duty day index 1',
   [[['ann', 'MATH-101', 0], ['ann', 'CHEM-110', 1], ['ann', 'BIO-201', 2]], {}, {}, 2, 3],
   [['ann', 'BIO-201', 'daily_max']]),
  ('regression variant: duty day index 2',
   [[['bob', 'BIOL-300', 0], ['ann', 'MATH-101', 5], ['bob', 'BIOL-300', 1]], {'ann': [], 'cy': [4]},
    {'ann': 'MATH', 'bob': 'MATH', 'cy': 'MATH'}, 1, 3],
   [['ann', 'MATH-101', 'own_subject'], ['bob', 'BIOL-300', 'daily_max']]),
  ('partial repair guard 3',
   [[['ann', 'CHEM-110', 2], ['ann', 'MATH-101', 0], ['cy', 'MATH-101', 1], ['ann', 'MATH-101', 1],
     ['cy', 'MATH-101', 2], ['ann', 'BIO-201', 2], ['ann', 'BIOL-300', 3]],
    {'ann': [2], 'bob': [1, 4], 'cy': [0, 1]}, {'ann': 'BIOL', 'bob': 'BIOL', 'cy': 'BIO'}, 2, 3],
   [['ann', 'BIO-201', 'busy'], ['ann', 'BIO-201', 'double'], ['ann', 'BIOL-300', 'own_subject'],
    ['ann', 'CHEM-110', 'busy'], ['ann', 'MATH-101', 'daily_max'], ['cy', 'MATH-101', 'busy']]),
  ('boundary control 4', [[['ann', 'MATH-101', 2], ['ann', 'CHEM-110', 3]], {}, {}, 1, 3], []),
  ('normal control 5',
   [[['bob', 'MATH-101', 3], ['ann', 'MATH-101', 4], ['cy', 'BIOL-300', 1], ['cy', 'BIOL-300', 1],
     ['cy', 'BIOL-300', 2]],
    {'ann': [], 'cy': []}, {'ann': 'CHEM', 'bob': 'BIO', 'cy': 'BIO'}, 2, 2],
   [['cy', 'BIOL-300', 'double']]),
  ('normal control 6',
   [[['ann', 'CHEM-110', 2], ['bob', 'BIOL-300', 3], ['bob', 'CHEM-110', 4], ['bob', 'CHEM-110', 5],
     ['bob', 'MATH-101', 0], ['bob', 'BIO-201', 1]],
    {'ann': [3, 5], 'bob': [0, 5], 'cy': [0, 3]}, {'ann': 'BIOL', 'bob': 'BIOL', 'cy': 'MATH'}, 1, 3],
   [['bob', 'BIO-201', 'daily_max'], ['bob', 'BIOL-300', 'own_subject'], ['bob', 'CHEM-110', 'busy'],
    ['bob', 'CHEM-110', 'daily_max'], ['bob', 'MATH-101', 'busy']]),
  ('normal control 7',
   [[['ann', 'CHEM-110', 1], ['cy', 'MATH-101', 5]], {'ann': [0], 'cy': [2]},
    {'ann': 'CHEM', 'bob': 'MATH', 'cy': 'CHEM'}, 2, 3],
   [['ann', 'CHEM-110', 'own_subject']]),
  ('normal control 8',
   [[['ann', 'MATH-101', 0], ['bob', 'BIO-201', 5], ['bob', 'CHEM-110', 2], ['bob', 'BIO-201', 4],
     ['ann', 'MATH-101', 4], ['bob', 'BIOL-300', 5], ['ann', 'BIO-201', 3]],
    {'ann': [0, 2], 'cy': [3]}, {'ann': 'BIOL', 'bob': 'BIOL', 'cy': 'CHEM'}, 1, 3],
   [['ann', 'BIO-201', 'daily_max'], ['ann', 'MATH-101', 'busy'], ['bob', 'BIO-201', 'daily_max'],
    ['bob', 'BIOL-300', 'double'], ['bob', 'BIOL-300', 'own_subject']])],
 [('regression: duty day index 1',
   [[['cy', 'BIOL-300', 5], ['ann', 'BIOL-300', 1], ['ann', 'MATH-101', 3], ['cy', 'MATH-101', 5],
     ['cy', 'BIO-201', 4]],
    {'ann': [], 'bob': [3], 'cy': []}, {'ann': 'CHEM', 'bob': 'BIOL', 'cy': 'BIOL'}, 2, 2],
   [['cy', 'BIO-201', 'daily_max'], ['cy', 'BIOL-300', 'own_subject'], ['cy', 'MATH-101', 'double']]),
  ('regression variant: duty day index 2',
   [[['bob', 'CHEM-110', 2], ['cy', 'MATH-101', 1], ['bob', 'MATH-101', 0], ['bob', 'BIOL-300', 3],
     ['ann', 'CHEM-110', 5], ['cy', 'BIO-201', 1]],
    {'ann': [1], 'bob': [], 'cy': [1, 4]}, {'ann': 'CHEM', 'bob': 'BIO', 'cy': 'CHEM'}, 1, 3],
   [['ann', 'CHEM-110', 'own_subject'], ['bob', 'MATH-101', 'daily_max'], ['cy', 'BIO-201', 'busy'],
    ['cy', 'BIO-201', 'daily_max'], ['cy', 'BIO-201', 'double'], ['cy', 'MATH-101', 'busy']]),
  ('partial repair guard 3',
   [[['ann', 'BIOL-300', 2], ['ann', 'BIO-201', 1], ['cy', 'BIOL-300', 5], ['cy', 'MATH-101', 0]],
    {'ann': [3], 'cy': [3]}, {'ann': 'CHEM', 'bob': 'BIOL', 'cy': 'MATH'}, 1, 2],
   [['cy', 'MATH-101', 'own_subject']]),
  ('boundary control 4', [[['ann', 'BIOL-300', 0]], {}, {'ann': 'BIO'}, 2, 3], []),
  ('normal control 5',
   [[['ann', 'CHEM-110', 1], ['bob', 'MATH-101', 4], ['ann', 'CHEM-110', 0], ['bob', 'MATH-101', 5],
     ['ann', 'BIO-201', 3], ['bob', 'BIO-201', 2], ['cy', 'MATH-101', 3]],
    {'ann': [4, 5], 'bob': [5], 'cy': []}, {'ann': 'MATH', 'bob': 'BIOL', 'cy': 'CHEM'}, 1, 2],
   [['ann', 'CHEM-110', 'daily_max'], ['bob', 'MATH-101', 'busy'], ['bob', 'MATH-101', 'daily_max']]),
  ('normal control 6',
   [[['ann', 'CHEM-110', 3], ['bob', 'MATH-101', 1], ['bob', 'BIOL-300', 4], ['ann', 'BIO-201', 3],
     ['cy', 'CHEM-110', 3], ['cy', 'MATH-101', 1]],
    {'ann': [0], 'cy': [3, 5]}, {'ann': 'MATH', 'bob': 'CHEM', 'cy': 'BIO'}, 1, 3],
   [['ann', 'BIO-201', 'daily_max'], ['ann', 'BIO-201', 'double'], ['cy', 'CHEM-110', 'busy']]),
  ('normal control 7',
   [[['ann', 'CHEM-110', 5], ['ann', 'CHEM-110', 1], ['bob', 'MATH-101', 1], ['bob', 'BIOL-300', 4]],
    {'ann': [], 'bob': [3], 'cy': []}, {'ann': 'BIOL', 'bob': 'MATH', 'cy': 'CHEM'}, 1, 3],
   [['bob', 'MATH-101', 'own_subject']]),
  ('normal control 8',
   [[['cy', 'BIO-201', 2], ['ann', 'BIO-201', 2], ['cy', 'BIO-201', 0], ['ann', 'BIO-201', 0],
     ['ann', 'BIO-201', 4], ['bob', 'BIO-201', 5]],
    {'ann': [2], 'cy': []}, {'ann': 'BIOL', 'bob': 'CHEM', 'cy': 'CHEM'}, 1, 2],
   [['ann', 'BIO-201', 'busy']])],
 [('regression: duty day index 1',
   [[['bob', 'BIO-201', 3], ['cy', 'CHEM-110', 5], ['ann', 'BIOL-300', 1], ['ann', 'BIO-201', 2],
     ['cy', 'CHEM-110', 3], ['bob', 'CHEM-110', 4], ['cy', 'CHEM-110', 0]],
    {'ann': [1, 5], 'bob': [3], 'cy': [3]}, {'ann': 'CHEM', 'bob': 'MATH', 'cy': 'MATH'}, 1, 3],
   [['ann', 'BIO-201', 'daily_max'], ['ann', 'BIOL-300', 'busy'], ['bob', 'BIO-201', 'busy'],
    ['bob', 'CHEM-110', 'daily_max'], ['cy', 'CHEM-110', 'busy'], ['cy', 'CHEM-110', 'daily_max']]),
  ('regression variant: duty day index 2',
   [[['cy', 'BIO-201', 1], ['ann', 'CHEM-110', 0], ['bob', 'MATH-101', 1], ['cy', 'CHEM-110', 5],
     ['cy', 'MATH-101', 1], ['bob', 'BIO-201', 2]],
    {'ann': [], 'bob': [1, 2], 'cy': []}, {'ann': 'BIO', 'bob': 'CHEM', 'cy': 'BIOL'}, 1, 2],
   [['bob', 'BIO-201', 'busy'], ['bob', 'MATH-101', 'busy'], ['cy', 'MATH-101', 'daily_max'],
    ['cy', 'MATH-101', 'double']]),
  ('partial repair guard 3',
   [[['bob', 'CHEM-110', 2], ['cy', 'MATH-101', 1], ['bob', 'MATH-101', 0], ['bob', 'BIOL-300', 3],
     ['ann', 'CHEM-110', 5], ['cy', 'BIO-201', 1]],
    {'ann': [1], 'bob': [], 'cy': [1, 4]}, {'ann': 'CHEM', 'bob': 'BIO', 'cy': 'CHEM'}, 1, 3],
   [['ann', 'CHEM-110', 'own_subject'], ['bob', 'MATH-101', 'daily_max'], ['cy', 'BIO-201', 'busy'],
    ['cy', 'BIO-201', 'daily_max'], ['cy', 'BIO-201', 'double'], ['cy', 'MATH-101', 'busy']]),
  ('boundary control 4', [[['ann', 'MATH-101', 0], ['bob', 'CHEM-110', 0]], {}, {}, 2, 3], []),
  ('normal control 5',
   [[['bob', 'BIO-201', 1], ['bob', 'MATH-101', 0]], {'ann': [3], 'bob': [3], 'cy': []},
    {'ann': 'MATH', 'bob': 'MATH', 'cy': 'CHEM'}, 2, 2],
   [['bob', 'MATH-101', 'own_subject']]),
  ('normal control 6',
   [[['ann', 'BIO-201', 0], ['bob', 'MATH-101', 2]], {'ann': [], 'bob': [0, 4], 'cy': []},
    {'ann': 'BIOL', 'bob': 'BIOL', 'cy': 'MATH'}, 2, 2],
   []),
  ('normal control 7',
   [[['bob', 'MATH-101', 2], ['bob', 'BIOL-300', 4], ['ann', 'BIO-201', 4]],
    {'ann': [2], 'bob': [3], 'cy': [0]}, {'ann': 'MATH', 'bob': 'CHEM', 'cy': 'BIO'}, 1, 2],
   []),
  ('normal control 8',
   [[['bob', 'MATH-101', 3], ['cy', 'BIOL-300', 2], ['ann', 'CHEM-110', 5]], {'cy': [3]},
    {'ann': 'BIOL', 'bob': 'BIO', 'cy': 'MATH'}, 2, 3],
   [])],
 [('regression: duty day index 1',
   [[['cy', 'MATH-101', 0], ['cy', 'CHEM-110', 2], ['bob', 'BIO-201', 3], ['ann', 'CHEM-110', 3],
     ['bob', 'BIO-201', 4], ['cy', 'BIO-201', 5]],
    {'ann': [3], 'bob': [1], 'cy': [0, 4]}, {'ann': 'MATH', 'bob': 'BIOL', 'cy': 'MATH'}, 1, 3],
   [['ann', 'CHEM-110', 'busy'], ['bob', 'BIO-201', 'daily_max'], ['cy', 'CHEM-110', 'daily_max'],
    ['cy', 'MATH-101', 'busy'], ['cy', 'MATH-101', 'own_subject']]),
  ('regression variant: duty day index 2',
   [[['ann', 'MATH-101', 4], ['ann', 'MATH-101', 1], ['bob', 'BIO-201', 4], ['bob', 'BIOL-300', 5],
     ['cy', 'MATH-101', 1]],
    {'ann': [0], 'bob': [], 'cy': [2]}, {'ann': 'BIO', 'bob': 'MATH', 'cy': 'BIO'}, 1, 2],
   [['bob', 'BIOL-300', 'daily_max']]),
  ('partial repair guard 3',
   [[['cy', 'BIO-201', 1], ['ann', 'CHEM-110', 0], ['bob', 'MATH-101', 1], ['cy', 'CHEM-110', 5],
     ['cy', 'MATH-101', 1], ['bob', 'BIO-201', 2]],
    {'ann': [], 'bob': [1, 2], 'cy': []}, {'ann': 'BIO', 'bob': 'CHEM', 'cy': 'BIOL'}, 1, 2],
   [['bob', 'BIO-201', 'busy'], ['bob', 'MATH-101', 'busy'], ['cy', 'MATH-101', 'daily_max'],
    ['cy', 'MATH-101', 'double']]),
  ('boundary control 4',
   [[['ann', 'MATH-101', 0], ['ann', 'CHEM-110', 1], ['ann', 'BIO-201', 2]], {}, {}, 2, 3],
   [['ann', 'BIO-201', 'daily_max']]),
  ('normal control 5',
   [[['ann', 'BIO-201', 2], ['cy', 'BIO-201', 3], ['ann', 'BIO-201', 4], ['cy', 'BIO-201', 2],
     ['ann', 'BIOL-300', 3]],
    {'ann': [2], 'bob': [], 'cy': [1, 2]}, {'ann': 'BIOL', 'bob': 'MATH', 'cy': 'BIOL'}, 1, 3],
   [['ann', 'BIO-201', 'busy'], ['ann', 'BIOL-300', 'daily_max'], ['ann', 'BIOL-300', 'own_subject'],
    ['cy', 'BIO-201', 'busy']]),
  ('normal control 6',
   [[['bob', 'BIOL-300', 5], ['cy', 'MATH-101', 4], ['cy', 'BIO-201', 1], ['bob', 'MATH-101', 3],
     ['bob', 'CHEM-110', 2]],
    {'ann': [1], 'bob': [1, 2], 'cy': [4]}, {'ann': 'BIOL', 'bob': 'BIO', 'cy': 'BIOL'}, 2, 3],
   [['bob', 'CHEM-110', 'busy'], ['cy', 'MATH-101', 'busy']]),
  ('normal control 7',
   [[['cy', 'CHEM-110', 1], ['bob', 'MATH-101', 4], ['cy', 'CHEM-110', 2], ['cy', 'BIO-201', 2],
     ['ann', 'MATH-101', 1], ['bob', 'CHEM-110', 1], ['bob', 'CHEM-110', 0]],
    {'bob': [], 'cy': [0, 4]}, {'ann': 'BIO', 'bob': 'CHEM', 'cy': 'BIO'}, 2, 2],
   [['bob', 'CHEM-110', 'own_subject'], ['bob', 'CHEM-110', 'own_subject'], ['cy', 'BIO-201', 'double'],
    ['cy', 'BIO-201', 'own_subject']]),
  ('normal control 8',
   [[['cy', 'BIOL-300', 2], ['cy', 'BIOL-300', 4]], {'ann': [], 'bob': [0, 4], 'cy': [0]},
    {'ann': 'BIO', 'bob': 'CHEM', 'cy': 'BIO'}, 2, 2],
   [])],
 [('regression: duty day index 1',
   [[['ann', 'CHEM-110', 2], ['ann', 'MATH-101', 0], ['cy', 'MATH-101', 1], ['ann', 'MATH-101', 1],
     ['cy', 'MATH-101', 2], ['ann', 'BIO-201', 2], ['ann', 'BIOL-300', 3]],
    {'ann': [2], 'bob': [1, 4], 'cy': [0, 1]}, {'ann': 'BIOL', 'bob': 'BIOL', 'cy': 'BIO'}, 2, 3],
   [['ann', 'BIO-201', 'busy'], ['ann', 'BIO-201', 'double'], ['ann', 'BIOL-300', 'own_subject'],
    ['ann', 'CHEM-110', 'busy'], ['ann', 'MATH-101', 'daily_max'], ['cy', 'MATH-101', 'busy']]),
  ('regression variant: duty day index 2',
   [[['ann', 'BIO-201', 0], ['cy', 'BIOL-300', 0], ['cy', 'BIOL-300', 3], ['bob', 'BIO-201', 2],
     ['cy', 'BIO-201', 1], ['bob', 'BIO-201', 4], ['ann', 'CHEM-110', 0]],
    {'ann': [2], 'cy': []}, {'ann': 'CHEM', 'bob': 'CHEM', 'cy': 'MATH'}, 1, 2],
   [['ann', 'CHEM-110', 'daily_max'], ['ann', 'CHEM-110', 'double'], ['ann', 'CHEM-110', 'own_subject'],
    ['cy', 'BIO-201', 'daily_max']]),
  ('partial repair guard 3',
   [[['ann', 'CHEM-110', 4], ['ann', 'MATH-101', 2], ['bob', 'MATH-101', 2], ['bob', 'BIO-201', 3]],
    {'ann': [4, 5], 'cy': [1, 4]}, {'ann': 'BIOL', 'bob': 'MATH', 'cy': 'MATH'}, 1, 3],
   [['ann', 'CHEM-110', 'busy'], ['bob', 'MATH-101', 'own_subject']]),
  ('boundary control 4', [[['ann', 'BIO-201', 0]], {}, {'ann': 'BIOL'}, 2, 3], []),
  ('normal control 5',
   [[['cy', 'MATH-101', 5], ['cy', 'MATH-101', 1], ['ann', 'MATH-101', 4], ['cy', 'BIOL-300', 5],
     ['ann', 'BIOL-300', 1], ['cy', 'BIOL-300', 5]],
    {'ann': [], 'bob': [], 'cy': []}, {'ann': 'BIOL', 'bob': 'BIO', 'cy': 'CHEM'}, 2, 2],
   [['ann', 'BIOL-300', 'own_subject'], ['cy', 'BIOL-300', 'daily_max'], ['cy', 'BIOL-300', 'double'],
    ['cy', 'BIOL-300', 'double']]),
  ('normal control 6',
   [[['cy', 'BIO-201', 0], ['bob', 'CHEM-110', 1], ['ann', 'BIOL-300', 1], ['cy', 'MATH-101', 2],
     ['bob', 'MATH-101', 0], ['cy', 'CHEM-110', 1], ['bob', 'BIOL-300', 2]],
    {'ann': [1], 'bob': [0], 'cy': [4, 5]}, {'ann': 'CHEM', 'bob': 'BIO', 'cy': 'BIOL'}, 1, 2],
   [['ann', 'BIOL-300', 'busy'], ['bob', 'MATH-101', 'busy'], ['bob', 'MATH-101', 'daily_max'],
    ['cy', 'CHEM-110', 'daily_max']]),
  ('normal control 7',
   [[['ann', 'BIOL-300', 0], ['bob', 'MATH-101', 0], ['bob', 'BIOL-300', 5], ['bob', 'MATH-101', 2],
     ['bob', 'BIOL-300', 2], ['cy', 'MATH-101', 1], ['ann', 'BIOL-300', 2]],
    {'ann': [4], 'bob': [1, 3]}, {'ann': 'CHEM', 'bob': 'BIOL', 'cy': 'CHEM'}, 1, 3],
   [['ann', 'BIOL-300', 'daily_max'], ['bob', 'BIOL-300', 'double'], ['bob', 'BIOL-300', 'own_subject'],
    ['bob', 'BIOL-300', 'own_subject'], ['bob', 'MATH-101', 'daily_max']]),
  ('normal control 8',
   [[['ann', 'BIOL-300', 1], ['cy', 'BIOL-300', 5], ['bob', 'BIO-201', 3], ['cy', 'CHEM-110', 5],
     ['cy', 'BIOL-300', 4], ['bob', 'MATH-101', 4]],
    {'bob': [1], 'cy': [2]}, {'ann': 'MATH', 'bob': 'CHEM', 'cy': 'CHEM'}, 2, 3],
   [['cy', 'BIOL-300', 'daily_max'], ['cy', 'CHEM-110', 'double'], ['cy', 'CHEM-110', 'own_subject']])]]
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: duty day index 1[][['ann', 'BIO-201', 'daily_max']]Failed
regression variant: duty day index 2[['ann', 'MATH-101', 'own_subject'], ['bob', 'BIOL-300', 'daily_max']][['ann', 'MATH-101', 'own_subject'], ['bob', 'BIOL-300', 'daily_max']]Passed
partial repair guard 3[['ann', 'BIO-201', 'busy'], ['ann', 'BIO-201', 'double'], ['ann', 'BIOL-300', 'daily_max'], ['ann', 'BIOL-300', 'own_subject'], ['ann', 'CHEM-110', 'busy'], ['cy', 'MATH-101', 'busy']][['ann', 'BIO-201', 'busy'], ['ann', 'BIO-201', 'double'], ['ann', 'BIOL-300', 'own_subject'], ['ann', 'CHEM-110', 'busy'], ['ann', 'MATH-101', 'daily_max'], ['cy', 'MATH-101', 'busy']]Failed
boundary control 4[['ann', 'CHEM-110', 'daily_max']][]Failed
normal control 5[['cy', 'BIOL-300', 'daily_max'], ['cy', 'BIOL-300', 'double']][['cy', 'BIOL-300', 'double']]Failed
normal control 6[['bob', 'BIO-201', 'daily_max'], ['bob', 'BIOL-300', 'own_subject'], ['bob', 'CHEM-110', 'busy'], ['bob', 'CHEM-110', 'daily_max'], ['bob', 'MATH-101', 'busy']][['bob', 'BIO-201', 'daily_max'], ['bob', 'BIOL-300', 'own_subject'], ['bob', 'CHEM-110', 'busy'], ['bob', 'CHEM-110', 'daily_max'], ['bob', 'MATH-101', 'busy']]Passed
normal control 7[['ann', 'CHEM-110', 'own_subject']][['ann', 'CHEM-110', 'own_subject']]Passed
normal control 8[['ann', 'BIO-201', 'daily_max'], ['ann', 'MATH-101', 'busy'], ['bob', 'BIO-201', 'daily_max'], ['bob', 'BIOL-300', 'daily_max'], ['bob', 'BIOL-300', 'double'], ['bob', 'BIOL-300', 'own_subject']][['ann', 'BIO-201', 'daily_max'], ['ann', 'MATH-101', 'busy'], ['bob', 'BIO-201', 'daily_max'], ['bob', 'BIOL-300', 'double'], ['bob', 'BIOL-300', 'own_subject']]Failed

SHA-256 / 8c0b5f728063cd8b06d060b1bcfd2dd229b1e66daba6f0211e51f1d76d3ed454

3 / The verified repair

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

N = 1
observations = []
def solve(duties, teach, subj, maxday, spd):
    out = []
    seen = {}
    per_day = {}
    for inv, ex, p in duties:
        if p in teach.get(inv, []):
            out.append([inv, ex, 'busy'])
        if ex.split('-')[0] == subj.get(inv):
            out.append([inv, ex, 'own_subject'])
        if (inv, p) in seen:
            out.append([inv, ex, 'double'])
        seen[(inv, p)] = ex
        d = (inv, p // spd)
        per_day[d] = per_day.get(d, 0) + 1
        if per_day[d] == maxday + 1:
            out.append([inv, ex, 'daily_max'])
    return sorted(out)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: duty day index 1',
   [[['ann', 'MATH-101', 0], ['ann', 'CHEM-110', 1], ['ann', 'BIO-201', 2]], {}, {}, 2, 3],
   [['ann', 'BIO-201', 'daily_max']]),
  ('regression variant: duty day index 2',
   [[['bob', 'BIOL-300', 0], ['ann', 'MATH-101', 5], ['bob', 'BIOL-300', 1]], {'ann': [], 'cy': [4]},
    {'ann': 'MATH', 'bob': 'MATH', 'cy': 'MATH'}, 1, 3],
   [['ann', 'MATH-101', 'own_subject'], ['bob', 'BIOL-300', 'daily_max']]),
  ('partial repair guard 3',
   [[['ann', 'CHEM-110', 2], ['ann', 'MATH-101', 0], ['cy', 'MATH-101', 1], ['ann', 'MATH-101', 1],
     ['cy', 'MATH-101', 2], ['ann', 'BIO-201', 2], ['ann', 'BIOL-300', 3]],
    {'ann': [2], 'bob': [1, 4], 'cy': [0, 1]}, {'ann': 'BIOL', 'bob': 'BIOL', 'cy': 'BIO'}, 2, 3],
   [['ann', 'BIO-201', 'busy'], ['ann', 'BIO-201', 'double'], ['ann', 'BIOL-300', 'own_subject'],
    ['ann', 'CHEM-110', 'busy'], ['ann', 'MATH-101', 'daily_max'], ['cy', 'MATH-101', 'busy']]),
  ('boundary control 4', [[['ann', 'MATH-101', 2], ['ann', 'CHEM-110', 3]], {}, {}, 1, 3], []),
  ('normal control 5',
   [[['bob', 'MATH-101', 3], ['ann', 'MATH-101', 4], ['cy', 'BIOL-300', 1], ['cy', 'BIOL-300', 1],
     ['cy', 'BIOL-300', 2]],
    {'ann': [], 'cy': []}, {'ann': 'CHEM', 'bob': 'BIO', 'cy': 'BIO'}, 2, 2],
   [['cy', 'BIOL-300', 'double']]),
  ('normal control 6',
   [[['ann', 'CHEM-110', 2], ['bob', 'BIOL-300', 3], ['bob', 'CHEM-110', 4], ['bob', 'CHEM-110', 5],
     ['bob', 'MATH-101', 0], ['bob', 'BIO-201', 1]],
    {'ann': [3, 5], 'bob': [0, 5], 'cy': [0, 3]}, {'ann': 'BIOL', 'bob': 'BIOL', 'cy': 'MATH'}, 1, 3],
   [['bob', 'BIO-201', 'daily_max'], ['bob', 'BIOL-300', 'own_subject'], ['bob', 'CHEM-110', 'busy'],
    ['bob', 'CHEM-110', 'daily_max'], ['bob', 'MATH-101', 'busy']]),
  ('normal control 7',
   [[['ann', 'CHEM-110', 1], ['cy', 'MATH-101', 5]], {'ann': [0], 'cy': [2]},
    {'ann': 'CHEM', 'bob': 'MATH', 'cy': 'CHEM'}, 2, 3],
   [['ann', 'CHEM-110', 'own_subject']]),
  ('normal control 8',
   [[['ann', 'MATH-101', 0], ['bob', 'BIO-201', 5], ['bob', 'CHEM-110', 2], ['bob', 'BIO-201', 4],
     ['ann', 'MATH-101', 4], ['bob', 'BIOL-300', 5], ['ann', 'BIO-201', 3]],
    {'ann': [0, 2], 'cy': [3]}, {'ann': 'BIOL', 'bob': 'BIOL', 'cy': 'CHEM'}, 1, 3],
   [['ann', 'BIO-201', 'daily_max'], ['ann', 'MATH-101', 'busy'], ['bob', 'BIO-201', 'daily_max'],
    ['bob', 'BIOL-300', 'double'], ['bob', 'BIOL-300', 'own_subject']])],
 [('regression: duty day index 1',
   [[['cy', 'BIOL-300', 5], ['ann', 'BIOL-300', 1], ['ann', 'MATH-101', 3], ['cy', 'MATH-101', 5],
     ['cy', 'BIO-201', 4]],
    {'ann': [], 'bob': [3], 'cy': []}, {'ann': 'CHEM', 'bob': 'BIOL', 'cy': 'BIOL'}, 2, 2],
   [['cy', 'BIO-201', 'daily_max'], ['cy', 'BIOL-300', 'own_subject'], ['cy', 'MATH-101', 'double']]),
  ('regression variant: duty day index 2',
   [[['bob', 'CHEM-110', 2], ['cy', 'MATH-101', 1], ['bob', 'MATH-101', 0], ['bob', 'BIOL-300', 3],
     ['ann', 'CHEM-110', 5], ['cy', 'BIO-201', 1]],
    {'ann': [1], 'bob': [], 'cy': [1, 4]}, {'ann': 'CHEM', 'bob': 'BIO', 'cy': 'CHEM'}, 1, 3],
   [['ann', 'CHEM-110', 'own_subject'], ['bob', 'MATH-101', 'daily_max'], ['cy', 'BIO-201', 'busy'],
    ['cy', 'BIO-201', 'daily_max'], ['cy', 'BIO-201', 'double'], ['cy', 'MATH-101', 'busy']]),
  ('partial repair guard 3',
   [[['ann', 'BIOL-300', 2], ['ann', 'BIO-201', 1], ['cy', 'BIOL-300', 5], ['cy', 'MATH-101', 0]],
    {'ann': [3], 'cy': [3]}, {'ann': 'CHEM', 'bob': 'BIOL', 'cy': 'MATH'}, 1, 2],
   [['cy', 'MATH-101', 'own_subject']]),
  ('boundary control 4', [[['ann', 'BIOL-300', 0]], {}, {'ann': 'BIO'}, 2, 3], []),
  ('normal control 5',
   [[['ann', 'CHEM-110', 1], ['bob', 'MATH-101', 4], ['ann', 'CHEM-110', 0], ['bob', 'MATH-101', 5],
     ['ann', 'BIO-201', 3], ['bob', 'BIO-201', 2], ['cy', 'MATH-101', 3]],
    {'ann': [4, 5], 'bob': [5], 'cy': []}, {'ann': 'MATH', 'bob': 'BIOL', 'cy': 'CHEM'}, 1, 2],
   [['ann', 'CHEM-110', 'daily_max'], ['bob', 'MATH-101', 'busy'], ['bob', 'MATH-101', 'daily_max']]),
  ('normal control 6',
   [[['ann', 'CHEM-110', 3], ['bob', 'MATH-101', 1], ['bob', 'BIOL-300', 4], ['ann', 'BIO-201', 3],
     ['cy', 'CHEM-110', 3], ['cy', 'MATH-101', 1]],
    {'ann': [0], 'cy': [3, 5]}, {'ann': 'MATH', 'bob': 'CHEM', 'cy': 'BIO'}, 1, 3],
   [['ann', 'BIO-201', 'daily_max'], ['ann', 'BIO-201', 'double'], ['cy', 'CHEM-110', 'busy']]),
  ('normal control 7',
   [[['ann', 'CHEM-110', 5], ['ann', 'CHEM-110', 1], ['bob', 'MATH-101', 1], ['bob', 'BIOL-300', 4]],
    {'ann': [], 'bob': [3], 'cy': []}, {'ann': 'BIOL', 'bob': 'MATH', 'cy': 'CHEM'}, 1, 3],
   [['bob', 'MATH-101', 'own_subject']]),
  ('normal control 8',
   [[['cy', 'BIO-201', 2], ['ann', 'BIO-201', 2], ['cy', 'BIO-201', 0], ['ann', 'BIO-201', 0],
     ['ann', 'BIO-201', 4], ['bob', 'BIO-201', 5]],
    {'ann': [2], 'cy': []}, {'ann': 'BIOL', 'bob': 'CHEM', 'cy': 'CHEM'}, 1, 2],
   [['ann', 'BIO-201', 'busy']])],
 [('regression: duty day index 1',
   [[['bob', 'BIO-201', 3], ['cy', 'CHEM-110', 5], ['ann', 'BIOL-300', 1], ['ann', 'BIO-201', 2],
     ['cy', 'CHEM-110', 3], ['bob', 'CHEM-110', 4], ['cy', 'CHEM-110', 0]],
    {'ann': [1, 5], 'bob': [3], 'cy': [3]}, {'ann': 'CHEM', 'bob': 'MATH', 'cy': 'MATH'}, 1, 3],
   [['ann', 'BIO-201', 'daily_max'], ['ann', 'BIOL-300', 'busy'], ['bob', 'BIO-201', 'busy'],
    ['bob', 'CHEM-110', 'daily_max'], ['cy', 'CHEM-110', 'busy'], ['cy', 'CHEM-110', 'daily_max']]),
  ('regression variant: duty day index 2',
   [[['cy', 'BIO-201', 1], ['ann', 'CHEM-110', 0], ['bob', 'MATH-101', 1], ['cy', 'CHEM-110', 5],
     ['cy', 'MATH-101', 1], ['bob', 'BIO-201', 2]],
    {'ann': [], 'bob': [1, 2], 'cy': []}, {'ann': 'BIO', 'bob': 'CHEM', 'cy': 'BIOL'}, 1, 2],
   [['bob', 'BIO-201', 'busy'], ['bob', 'MATH-101', 'busy'], ['cy', 'MATH-101', 'daily_max'],
    ['cy', 'MATH-101', 'double']]),
  ('partial repair guard 3',
   [[['bob', 'CHEM-110', 2], ['cy', 'MATH-101', 1], ['bob', 'MATH-101', 0], ['bob', 'BIOL-300', 3],
     ['ann', 'CHEM-110', 5], ['cy', 'BIO-201', 1]],
    {'ann': [1], 'bob': [], 'cy': [1, 4]}, {'ann': 'CHEM', 'bob': 'BIO', 'cy': 'CHEM'}, 1, 3],
   [['ann', 'CHEM-110', 'own_subject'], ['bob', 'MATH-101', 'daily_max'], ['cy', 'BIO-201', 'busy'],
    ['cy', 'BIO-201', 'daily_max'], ['cy', 'BIO-201', 'double'], ['cy', 'MATH-101', 'busy']]),
  ('boundary control 4', [[['ann', 'MATH-101', 0], ['bob', 'CHEM-110', 0]], {}, {}, 2, 3], []),
  ('normal control 5',
   [[['bob', 'BIO-201', 1], ['bob', 'MATH-101', 0]], {'ann': [3], 'bob': [3], 'cy': []},
    {'ann': 'MATH', 'bob': 'MATH', 'cy': 'CHEM'}, 2, 2],
   [['bob', 'MATH-101', 'own_subject']]),
  ('normal control 6',
   [[['ann', 'BIO-201', 0], ['bob', 'MATH-101', 2]], {'ann': [], 'bob': [0, 4], 'cy': []},
    {'ann': 'BIOL', 'bob': 'BIOL', 'cy': 'MATH'}, 2, 2],
   []),
  ('normal control 7',
   [[['bob', 'MATH-101', 2], ['bob', 'BIOL-300', 4], ['ann', 'BIO-201', 4]],
    {'ann': [2], 'bob': [3], 'cy': [0]}, {'ann': 'MATH', 'bob': 'CHEM', 'cy': 'BIO'}, 1, 2],
   []),
  ('normal control 8',
   [[['bob', 'MATH-101', 3], ['cy', 'BIOL-300', 2], ['ann', 'CHEM-110', 5]], {'cy': [3]},
    {'ann': 'BIOL', 'bob': 'BIO', 'cy': 'MATH'}, 2, 3],
   [])],
 [('regression: duty day index 1',
   [[['cy', 'MATH-101', 0], ['cy', 'CHEM-110', 2], ['bob', 'BIO-201', 3], ['ann', 'CHEM-110', 3],
     ['bob', 'BIO-201', 4], ['cy', 'BIO-201', 5]],
    {'ann': [3], 'bob': [1], 'cy': [0, 4]}, {'ann': 'MATH', 'bob': 'BIOL', 'cy': 'MATH'}, 1, 3],
   [['ann', 'CHEM-110', 'busy'], ['bob', 'BIO-201', 'daily_max'], ['cy', 'CHEM-110', 'daily_max'],
    ['cy', 'MATH-101', 'busy'], ['cy', 'MATH-101', 'own_subject']]),
  ('regression variant: duty day index 2',
   [[['ann', 'MATH-101', 4], ['ann', 'MATH-101', 1], ['bob', 'BIO-201', 4], ['bob', 'BIOL-300', 5],
     ['cy', 'MATH-101', 1]],
    {'ann': [0], 'bob': [], 'cy': [2]}, {'ann': 'BIO', 'bob': 'MATH', 'cy': 'BIO'}, 1, 2],
   [['bob', 'BIOL-300', 'daily_max']]),
  ('partial repair guard 3',
   [[['cy', 'BIO-201', 1], ['ann', 'CHEM-110', 0], ['bob', 'MATH-101', 1], ['cy', 'CHEM-110', 5],
     ['cy', 'MATH-101', 1], ['bob', 'BIO-201', 2]],
    {'ann': [], 'bob': [1, 2], 'cy': []}, {'ann': 'BIO', 'bob': 'CHEM', 'cy': 'BIOL'}, 1, 2],
   [['bob', 'BIO-201', 'busy'], ['bob', 'MATH-101', 'busy'], ['cy', 'MATH-101', 'daily_max'],
    ['cy', 'MATH-101', 'double']]),
  ('boundary control 4',
   [[['ann', 'MATH-101', 0], ['ann', 'CHEM-110', 1], ['ann', 'BIO-201', 2]], {}, {}, 2, 3],
   [['ann', 'BIO-201', 'daily_max']]),
  ('normal control 5',
   [[['ann', 'BIO-201', 2], ['cy', 'BIO-201', 3], ['ann', 'BIO-201', 4], ['cy', 'BIO-201', 2],
     ['ann', 'BIOL-300', 3]],
    {'ann': [2], 'bob': [], 'cy': [1, 2]}, {'ann': 'BIOL', 'bob': 'MATH', 'cy': 'BIOL'}, 1, 3],
   [['ann', 'BIO-201', 'busy'], ['ann', 'BIOL-300', 'daily_max'], ['ann', 'BIOL-300', 'own_subject'],
    ['cy', 'BIO-201', 'busy']]),
  ('normal control 6',
   [[['bob', 'BIOL-300', 5], ['cy', 'MATH-101', 4], ['cy', 'BIO-201', 1], ['bob', 'MATH-101', 3],
     ['bob', 'CHEM-110', 2]],
    {'ann': [1], 'bob': [1, 2], 'cy': [4]}, {'ann': 'BIOL', 'bob': 'BIO', 'cy': 'BIOL'}, 2, 3],
   [['bob', 'CHEM-110', 'busy'], ['cy', 'MATH-101', 'busy']]),
  ('normal control 7',
   [[['cy', 'CHEM-110', 1], ['bob', 'MATH-101', 4], ['cy', 'CHEM-110', 2], ['cy', 'BIO-201', 2],
     ['ann', 'MATH-101', 1], ['bob', 'CHEM-110', 1], ['bob', 'CHEM-110', 0]],
    {'bob': [], 'cy': [0, 4]}, {'ann': 'BIO', 'bob': 'CHEM', 'cy': 'BIO'}, 2, 2],
   [['bob', 'CHEM-110', 'own_subject'], ['bob', 'CHEM-110', 'own_subject'], ['cy', 'BIO-201', 'double'],
    ['cy', 'BIO-201', 'own_subject']]),
  ('normal control 8',
   [[['cy', 'BIOL-300', 2], ['cy', 'BIOL-300', 4]], {'ann': [], 'bob': [0, 4], 'cy': [0]},
    {'ann': 'BIO', 'bob': 'CHEM', 'cy': 'BIO'}, 2, 2],
   [])],
 [('regression: duty day index 1',
   [[['ann', 'CHEM-110', 2], ['ann', 'MATH-101', 0], ['cy', 'MATH-101', 1], ['ann', 'MATH-101', 1],
     ['cy', 'MATH-101', 2], ['ann', 'BIO-201', 2], ['ann', 'BIOL-300', 3]],
    {'ann': [2], 'bob': [1, 4], 'cy': [0, 1]}, {'ann': 'BIOL', 'bob': 'BIOL', 'cy': 'BIO'}, 2, 3],
   [['ann', 'BIO-201', 'busy'], ['ann', 'BIO-201', 'double'], ['ann', 'BIOL-300', 'own_subject'],
    ['ann', 'CHEM-110', 'busy'], ['ann', 'MATH-101', 'daily_max'], ['cy', 'MATH-101', 'busy']]),
  ('regression variant: duty day index 2',
   [[['ann', 'BIO-201', 0], ['cy', 'BIOL-300', 0], ['cy', 'BIOL-300', 3], ['bob', 'BIO-201', 2],
     ['cy', 'BIO-201', 1], ['bob', 'BIO-201', 4], ['ann', 'CHEM-110', 0]],
    {'ann': [2], 'cy': []}, {'ann': 'CHEM', 'bob': 'CHEM', 'cy': 'MATH'}, 1, 2],
   [['ann', 'CHEM-110', 'daily_max'], ['ann', 'CHEM-110', 'double'], ['ann', 'CHEM-110', 'own_subject'],
    ['cy', 'BIO-201', 'daily_max']]),
  ('partial repair guard 3',
   [[['ann', 'CHEM-110', 4], ['ann', 'MATH-101', 2], ['bob', 'MATH-101', 2], ['bob', 'BIO-201', 3]],
    {'ann': [4, 5], 'cy': [1, 4]}, {'ann': 'BIOL', 'bob': 'MATH', 'cy': 'MATH'}, 1, 3],
   [['ann', 'CHEM-110', 'busy'], ['bob', 'MATH-101', 'own_subject']]),
  ('boundary control 4', [[['ann', 'BIO-201', 0]], {}, {'ann': 'BIOL'}, 2, 3], []),
  ('normal control 5',
   [[['cy', 'MATH-101', 5], ['cy', 'MATH-101', 1], ['ann', 'MATH-101', 4], ['cy', 'BIOL-300', 5],
     ['ann', 'BIOL-300', 1], ['cy', 'BIOL-300', 5]],
    {'ann': [], 'bob': [], 'cy': []}, {'ann': 'BIOL', 'bob': 'BIO', 'cy': 'CHEM'}, 2, 2],
   [['ann', 'BIOL-300', 'own_subject'], ['cy', 'BIOL-300', 'daily_max'], ['cy', 'BIOL-300', 'double'],
    ['cy', 'BIOL-300', 'double']]),
  ('normal control 6',
   [[['cy', 'BIO-201', 0], ['bob', 'CHEM-110', 1], ['ann', 'BIOL-300', 1], ['cy', 'MATH-101', 2],
     ['bob', 'MATH-101', 0], ['cy', 'CHEM-110', 1], ['bob', 'BIOL-300', 2]],
    {'ann': [1], 'bob': [0], 'cy': [4, 5]}, {'ann': 'CHEM', 'bob': 'BIO', 'cy': 'BIOL'}, 1, 2],
   [['ann', 'BIOL-300', 'busy'], ['bob', 'MATH-101', 'busy'], ['bob', 'MATH-101', 'daily_max'],
    ['cy', 'CHEM-110', 'daily_max']]),
  ('normal control 7',
   [[['ann', 'BIOL-300', 0], ['bob', 'MATH-101', 0], ['bob', 'BIOL-300', 5], ['bob', 'MATH-101', 2],
     ['bob', 'BIOL-300', 2], ['cy', 'MATH-101', 1], ['ann', 'BIOL-300', 2]],
    {'ann': [4], 'bob': [1, 3]}, {'ann': 'CHEM', 'bob': 'BIOL', 'cy': 'CHEM'}, 1, 3],
   [['ann', 'BIOL-300', 'daily_max'], ['bob', 'BIOL-300', 'double'], ['bob', 'BIOL-300', 'own_subject'],
    ['bob', 'BIOL-300', 'own_subject'], ['bob', 'MATH-101', 'daily_max']]),
  ('normal control 8',
   [[['ann', 'BIOL-300', 1], ['cy', 'BIOL-300', 5], ['bob', 'BIO-201', 3], ['cy', 'CHEM-110', 5],
     ['cy', 'BIOL-300', 4], ['bob', 'MATH-101', 4]],
    {'bob': [1], 'cy': [2]}, {'ann': 'MATH', 'bob': 'CHEM', 'cy': 'CHEM'}, 2, 3],
   [['cy', 'BIOL-300', 'daily_max'], ['cy', 'CHEM-110', 'double'], ['cy', 'CHEM-110', 'own_subject']])]]
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: duty day index 1[['ann', 'BIO-201', 'daily_max']][['ann', 'BIO-201', 'daily_max']]Passed
regression variant: duty day index 2[['ann', 'MATH-101', 'own_subject'], ['bob', 'BIOL-300', 'daily_max']][['ann', 'MATH-101', 'own_subject'], ['bob', 'BIOL-300', 'daily_max']]Passed
partial repair guard 3[['ann', 'BIO-201', 'busy'], ['ann', 'BIO-201', 'double'], ['ann', 'BIOL-300', 'own_subject'], ['ann', 'CHEM-110', 'busy'], ['ann', 'MATH-101', 'daily_max'], ['cy', 'MATH-101', 'busy']][['ann', 'BIO-201', 'busy'], ['ann', 'BIO-201', 'double'], ['ann', 'BIOL-300', 'own_subject'], ['ann', 'CHEM-110', 'busy'], ['ann', 'MATH-101', 'daily_max'], ['cy', 'MATH-101', 'busy']]Passed
boundary control 4[][]Passed
normal control 5[['cy', 'BIOL-300', 'double']][['cy', 'BIOL-300', 'double']]Passed
normal control 6[['bob', 'BIO-201', 'daily_max'], ['bob', 'BIOL-300', 'own_subject'], ['bob', 'CHEM-110', 'busy'], ['bob', 'CHEM-110', 'daily_max'], ['bob', 'MATH-101', 'busy']][['bob', 'BIO-201', 'daily_max'], ['bob', 'BIOL-300', 'own_subject'], ['bob', 'CHEM-110', 'busy'], ['bob', 'CHEM-110', 'daily_max'], ['bob', 'MATH-101', 'busy']]Passed
normal control 7[['ann', 'CHEM-110', 'own_subject']][['ann', 'CHEM-110', 'own_subject']]Passed
normal control 8[['ann', 'BIO-201', 'daily_max'], ['ann', 'MATH-101', 'busy'], ['bob', 'BIO-201', 'daily_max'], ['bob', 'BIOL-300', 'double'], ['bob', 'BIOL-300', 'own_subject']][['ann', 'BIO-201', 'daily_max'], ['ann', 'MATH-101', 'busy'], ['bob', 'BIO-201', 'daily_max'], ['bob', 'BIOL-300', 'double'], ['bob', 'BIOL-300', 'own_subject']]Passed

SHA-256 / 5e36726640902b5cdf86089cedead9cfd303f8bcd61a705fae494850d3a87d60

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:05.833040+00:00.

Case digest / 7fc3b9f5c65be951b62af671c396feec1fc62794214d5ffc20729b2f6f10dcec