FA-94441 / Exam timetabling constraints / Open access

Extended duration rounded down to the five-minute grid · case 01

Candidates lose up to four minutes of their allowance.

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

ROOT CAUSE

The five-minute rounding floors.

VERIFIED REPAIR

Round extended durations up to the next multiple of five.

Unsuccessful approach: Rounding to the nearest five still shortens some allowances.

Case contract

A student's exams [id, start, duration] and an extra-time percentage. Extended duration = ceil(duration * (100 + pct) / 100), then rounded up to a multiple of 5 minutes. In start order (ties by id) a pair conflicts if the next start is earlier than the previous extended end plus the rest minutes. Return [[id, extended end] in order, conflicting pairs].

Why this case matters

Access arrangements extend sittings; the timetable must still leave rest between a student's exams.

1 / The failure

Exit 1

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

N = 1
observations = []
def solve(exams, pct, rest):
    rows = []
    for eid, st, dur in sorted(exams, key=lambda x: (x[1], x[0])):
        ext = -(-dur * (100 + pct) // 100)
        ext = ext // 5 * 5
        rows.append([eid, st, st + ext])
    conf = []
    for a, b in zip(rows, rows[1:]):
        if b[1] < a[2] + rest:
            conf.append([a[0], b[0]])
    return [[[r[0], r[2]] for r in rows], conf]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: five minute grid 1', [[['B', 800, 60], ['A', 540, 90]], 15, 30],
   [[['A', 645], ['B', 870]], []]),
  ('regression variant: five minute grid 2',
   [[['S2', 900, 73], ['P1', 780, 60], ['U3', 1050, 44], ['W0', 540, 72]], 50, 30],
   [[['W0', 650], ['P1', 870], ['S2', 1010], ['U3', 1120]], []]),
  ('partial repair guard 3', [[['T1', 840, 72], ['R0', 600, 44]], 33, 30], [[['R0', 660], ['T1', 940]], []]),
  ('boundary control 4', [[['A', 540, 120], ['B', 720, 90]], 50, 0], [[['A', 720], ['B', 855]], []]),
  ('boundary control 5', [[['A', 540, 73], ['B', 640, 60]], 10, 15], [[['A', 625], ['B', 710]], []]),
  ('normal control 6', [[['P0', 540, 88], ['Q1', 660, 91]], 10, 30],
   [[['P0', 640], ['Q1', 765]], [['P0', 'Q1']]]),
  ('normal control 7', [[['V2', 810, 180], ['U0', 540, 44], ['V3', 1010, 72], ['T1', 720, 100]], 33, 30],
   [[['U0', 600], ['T1', 855], ['V2', 1050], ['V3', 1110]], [['T1', 'V2'], ['V2', 'V3']]]),
  ('normal control 8', [[['V2', 870, 100], ['T3', 1070, 120], ['R0', 540, 73], ['R1', 690, 180]], 15, 30],
   [[['R0', 625], ['R1', 900], ['V2', 985], ['T3', 1210]], [['R1', 'V2']]])],
 [('regression: five minute grid 1', [[['A', 540, 72]], 33, 15], [[['A', 640]], []]),
  ('regression variant: five minute grid 2', [[['Q0', 540, 91], ['P1', 740, 44]], 10, 15],
   [[['Q0', 645], ['P1', 790]], []]),
  ('partial repair guard 3', [[['P0', 540, 73], ['V1', 720, 150]], 25, 15], [[['P0', 635], ['V1', 910]], []]),
  ('boundary control 4', [[['A', 540, 91]], 10, 30], [[['A', 645]], []]),
  ('boundary control 5', [[['A', 540, 100], ['B', 699, 60]], 25, 30], [[['A', 665], ['B', 774]], []]),
  ('normal control 6', [[['Q0', 600, 60], ['Q1', 720, 60]], 15, 30], [[['Q0', 670], ['Q1', 790]], []]),
  ('normal control 7', [[['S0', 540, 73], ['Q2', 920, 60], ['U1', 740, 100]], 15, 15],
   [[['S0', 625], ['U1', 855], ['Q2', 990]], []]),
  ('normal control 8', [[['R1', 780, 150], ['T0', 600, 60], ['R2', 900, 182]], 25, 15],
   [[['T0', 675], ['R1', 970], ['R2', 1130]], [['R1', 'R2']]])],
 [('regression: five minute grid 1', [[['A', 540, 91]], 10, 30], [[['A', 645]], []]),
  ('regression variant: five minute grid 2', [[['P2', 990, 60], ['V0', 600, 60], ['T1', 840, 73]], 15, 15],
   [[['V0', 670], ['T1', 925], ['P2', 1060]], []]),
  ('partial repair guard 3', [[['T1', 800, 91], ['W0', 600, 120]], 10, 30], [[['W0', 735], ['T1', 905]], []]),
  ('boundary control 4', [[['A', 540, 88]], 25, 30], [[['A', 650]], []]),
  ('boundary control 5', [[['A', 540, 72]], 33, 15], [[['A', 640]], []]),
  ('normal control 6', [[['U0', 540, 72], ['W1', 690, 88]], 50, 15], [[['U0', 650], ['W1', 825]], []]),
  ('normal control 7', [[['S1', 660, 44], ['S2', 840, 73], ['S0', 540, 180]], 33, 15],
   [[['S0', 780], ['S1', 720], ['S2', 940]], [['S0', 'S1']]]),
  ('normal control 8', [[['R2', 930, 180], ['V3', 1130, 60], ['T0', 540, 73], ['R1', 690, 150]], 10, 30],
   [[['T0', 625], ['R1', 855], ['R2', 1130], ['V3', 1200]], [['R2', 'V3']]])],
 [('regression: five minute grid 1', [[['A', 540, 182], ['B', 800, 60]], 10, 30],
   [[['A', 745], ['B', 870]], []]),
  ('regression variant: five minute grid 2',
   [[['V0', 600, 182], ['R3', 990, 90], ['S2', 900, 88], ['W1', 780, 73]], 25, 30],
   [[['V0', 830], ['W1', 875], ['S2', 1010], ['R3', 1105]], [['V0', 'W1'], ['W1', 'S2'], ['S2', 'R3']]]),
  ('boundary control 3', [[['A', 540, 120], ['B', 720, 90]], 50, 0], [[['A', 720], ['B', 855]], []]),
  ('boundary control 4', [[['A', 540, 73], ['B', 640, 60]], 10, 15], [[['A', 625], ['B', 710]], []]),
  ('normal control 5', [[['S1', 690, 88], ['Q2', 780, 150], ['T0', 540, 44]], 33, 30],
   [[['T0', 600], ['S1', 810], ['Q2', 980]], [['S1', 'Q2']]]),
  ('normal control 6', [[['V0', 540, 44], ['W1', 690, 60], ['U3', 980, 60], ['W2', 890, 100]], 15, 30],
   [[['V0', 595], ['W1', 760], ['W2', 1005], ['U3', 1050]], [['W2', 'U3']]]),
  ('normal control 7', [[['P2', 990, 60], ['V0', 600, 60], ['T1', 840, 73]], 15, 15],
   [[['V0', 670], ['T1', 925], ['P2', 1060]], []]),
  ('normal control 8', [[['V2', 930, 120], ['R0', 600, 72], ['P1', 780, 88]], 25, 30],
   [[['R0', 690], ['P1', 890], ['V2', 1080]], []])],
 [('regression: five minute grid 1', [[['A', 540, 73], ['B', 640, 60]], 10, 15],
   [[['A', 625], ['B', 710]], []]),
  ('regression variant: five minute grid 2', [[['W2', 940, 44], ['U0', 540, 182], ['P1', 740, 150]], 25, 30],
   [[['U0', 770], ['P1', 930], ['W2', 995]], [['U0', 'P1'], ['P1', 'W2']]]),
  ('partial repair guard 3',
   [[['U2', 840, 44], ['W3', 1080, 150], ['V1', 660, 180], ['V0', 540, 91]], 33, 30],
   [[['V0', 665], ['V1', 900], ['U2', 900], ['W3', 1280]], [['V0', 'V1'], ['V1', 'U2']]]),
  ('boundary control 4', [[['A', 540, 91]], 10, 30], [[['A', 645]], []]),
  ('boundary control 5', [[['A', 540, 100], ['B', 699, 60]], 25, 30], [[['A', 665], ['B', 774]], []]),
  ('normal control 6', [[['S1', 800, 44], ['P0', 600, 180], ['R2', 920, 60]], 50, 30],
   [[['P0', 870], ['S1', 870], ['R2', 1010]], [['P0', 'S1']]]),
  ('normal control 7', [[['P2', 870, 91], ['Q1', 750, 73], ['T3', 960, 150], ['T0', 600, 73]], 15, 30],
   [[['T0', 685], ['Q1', 835], ['P2', 975], ['T3', 1135]], [['P2', 'T3']]]),
  ('normal control 8', [[['U0', 540, 72], ['R1', 720, 90], ['P2', 920, 182]], 25, 15],
   [[['U0', 630], ['R1', 835], ['P2', 1150]], []])]]
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 fixture	Actual	Expected	Outcome
regression: five minute grid 1	`[[['A', 640], ['B', 865]], []]`	`[[['A', 645], ['B', 870]], []]`	Failed
regression variant: five minute grid 2	`[[['W0', 645], ['P1', 870], ['S2', 1010], ['U3', 1115]], []]`	`[[['W0', 650], ['P1', 870], ['S2', 1010], ['U3', 1120]], []]`	Failed
partial repair guard 3	`[[['R0', 655], ['T1', 935]], []]`	`[[['R0', 660], ['T1', 940]], []]`	Failed
boundary control 4	`[[['A', 720], ['B', 855]], []]`	`[[['A', 720], ['B', 855]], []]`	Passed
boundary control 5	`[[['A', 620], ['B', 705]], []]`	`[[['A', 625], ['B', 710]], []]`	Failed
normal control 6	`[[['P0', 635], ['Q1', 760]], [['P0', 'Q1']]]`	`[[['P0', 640], ['Q1', 765]], [['P0', 'Q1']]]`	Failed
normal control 7	`[[['U0', 595], ['T1', 850], ['V2', 1050], ['V3', 1105]], [['T1', 'V2'], ['V2', 'V3']]]`	`[[['U0', 600], ['T1', 855], ['V2', 1050], ['V3', 1110]], [['T1', 'V2'], ['V2', 'V3']]]`	Failed
normal control 8	`[[['R0', 620], ['R1', 895], ['V2', 985], ['T3', 1205]], [['R1', 'V2']]]`	`[[['R0', 625], ['R1', 900], ['V2', 985], ['T3', 1210]], [['R1', 'V2']]]`	Failed

SHA-256 / 92b3b536a3dbf1046236660e460fe13306d192c43c97edb9514aaf91617a475d

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(exams, pct, rest):
    rows = []
    for eid, st, dur in sorted(exams, key=lambda x: (x[1], x[0])):
        ext = -(-dur * (100 + pct) // 100)
        ext = round(ext / 5) * 5
        rows.append([eid, st, st + ext])
    conf = []
    for a, b in zip(rows, rows[1:]):
        if b[1] < a[2] + rest:
            conf.append([a[0], b[0]])
    return [[[r[0], r[2]] for r in rows], conf]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: five minute grid 1', [[['B', 800, 60], ['A', 540, 90]], 15, 30],
   [[['A', 645], ['B', 870]], []]),
  ('regression variant: five minute grid 2',
   [[['S2', 900, 73], ['P1', 780, 60], ['U3', 1050, 44], ['W0', 540, 72]], 50, 30],
   [[['W0', 650], ['P1', 870], ['S2', 1010], ['U3', 1120]], []]),
  ('partial repair guard 3', [[['T1', 840, 72], ['R0', 600, 44]], 33, 30], [[['R0', 660], ['T1', 940]], []]),
  ('boundary control 4', [[['A', 540, 120], ['B', 720, 90]], 50, 0], [[['A', 720], ['B', 855]], []]),
  ('boundary control 5', [[['A', 540, 73], ['B', 640, 60]], 10, 15], [[['A', 625], ['B', 710]], []]),
  ('normal control 6', [[['P0', 540, 88], ['Q1', 660, 91]], 10, 30],
   [[['P0', 640], ['Q1', 765]], [['P0', 'Q1']]]),
  ('normal control 7', [[['V2', 810, 180], ['U0', 540, 44], ['V3', 1010, 72], ['T1', 720, 100]], 33, 30],
   [[['U0', 600], ['T1', 855], ['V2', 1050], ['V3', 1110]], [['T1', 'V2'], ['V2', 'V3']]]),
  ('normal control 8', [[['V2', 870, 100], ['T3', 1070, 120], ['R0', 540, 73], ['R1', 690, 180]], 15, 30],
   [[['R0', 625], ['R1', 900], ['V2', 985], ['T3', 1210]], [['R1', 'V2']]])],
 [('regression: five minute grid 1', [[['A', 540, 72]], 33, 15], [[['A', 640]], []]),
  ('regression variant: five minute grid 2', [[['Q0', 540, 91], ['P1', 740, 44]], 10, 15],
   [[['Q0', 645], ['P1', 790]], []]),
  ('partial repair guard 3', [[['P0', 540, 73], ['V1', 720, 150]], 25, 15], [[['P0', 635], ['V1', 910]], []]),
  ('boundary control 4', [[['A', 540, 91]], 10, 30], [[['A', 645]], []]),
  ('boundary control 5', [[['A', 540, 100], ['B', 699, 60]], 25, 30], [[['A', 665], ['B', 774]], []]),
  ('normal control 6', [[['Q0', 600, 60], ['Q1', 720, 60]], 15, 30], [[['Q0', 670], ['Q1', 790]], []]),
  ('normal control 7', [[['S0', 540, 73], ['Q2', 920, 60], ['U1', 740, 100]], 15, 15],
   [[['S0', 625], ['U1', 855], ['Q2', 990]], []]),
  ('normal control 8', [[['R1', 780, 150], ['T0', 600, 60], ['R2', 900, 182]], 25, 15],
   [[['T0', 675], ['R1', 970], ['R2', 1130]], [['R1', 'R2']]])],
 [('regression: five minute grid 1', [[['A', 540, 91]], 10, 30], [[['A', 645]], []]),
  ('regression variant: five minute grid 2', [[['P2', 990, 60], ['V0', 600, 60], ['T1', 840, 73]], 15, 15],
   [[['V0', 670], ['T1', 925], ['P2', 1060]], []]),
  ('partial repair guard 3', [[['T1', 800, 91], ['W0', 600, 120]], 10, 30], [[['W0', 735], ['T1', 905]], []]),
  ('boundary control 4', [[['A', 540, 88]], 25, 30], [[['A', 650]], []]),
  ('boundary control 5', [[['A', 540, 72]], 33, 15], [[['A', 640]], []]),
  ('normal control 6', [[['U0', 540, 72], ['W1', 690, 88]], 50, 15], [[['U0', 650], ['W1', 825]], []]),
  ('normal control 7', [[['S1', 660, 44], ['S2', 840, 73], ['S0', 540, 180]], 33, 15],
   [[['S0', 780], ['S1', 720], ['S2', 940]], [['S0', 'S1']]]),
  ('normal control 8', [[['R2', 930, 180], ['V3', 1130, 60], ['T0', 540, 73], ['R1', 690, 150]], 10, 30],
   [[['T0', 625], ['R1', 855], ['R2', 1130], ['V3', 1200]], [['R2', 'V3']]])],
 [('regression: five minute grid 1', [[['A', 540, 182], ['B', 800, 60]], 10, 30],
   [[['A', 745], ['B', 870]], []]),
  ('regression variant: five minute grid 2',
   [[['V0', 600, 182], ['R3', 990, 90], ['S2', 900, 88], ['W1', 780, 73]], 25, 30],
   [[['V0', 830], ['W1', 875], ['S2', 1010], ['R3', 1105]], [['V0', 'W1'], ['W1', 'S2'], ['S2', 'R3']]]),
  ('boundary control 3', [[['A', 540, 120], ['B', 720, 90]], 50, 0], [[['A', 720], ['B', 855]], []]),
  ('boundary control 4', [[['A', 540, 73], ['B', 640, 60]], 10, 15], [[['A', 625], ['B', 710]], []]),
  ('normal control 5', [[['S1', 690, 88], ['Q2', 780, 150], ['T0', 540, 44]], 33, 30],
   [[['T0', 600], ['S1', 810], ['Q2', 980]], [['S1', 'Q2']]]),
  ('normal control 6', [[['V0', 540, 44], ['W1', 690, 60], ['U3', 980, 60], ['W2', 890, 100]], 15, 30],
   [[['V0', 595], ['W1', 760], ['W2', 1005], ['U3', 1050]], [['W2', 'U3']]]),
  ('normal control 7', [[['P2', 990, 60], ['V0', 600, 60], ['T1', 840, 73]], 15, 15],
   [[['V0', 670], ['T1', 925], ['P2', 1060]], []]),
  ('normal control 8', [[['V2', 930, 120], ['R0', 600, 72], ['P1', 780, 88]], 25, 30],
   [[['R0', 690], ['P1', 890], ['V2', 1080]], []])],
 [('regression: five minute grid 1', [[['A', 540, 73], ['B', 640, 60]], 10, 15],
   [[['A', 625], ['B', 710]], []]),
  ('regression variant: five minute grid 2', [[['W2', 940, 44], ['U0', 540, 182], ['P1', 740, 150]], 25, 30],
   [[['U0', 770], ['P1', 930], ['W2', 995]], [['U0', 'P1'], ['P1', 'W2']]]),
  ('partial repair guard 3',
   [[['U2', 840, 44], ['W3', 1080, 150], ['V1', 660, 180], ['V0', 540, 91]], 33, 30],
   [[['V0', 665], ['V1', 900], ['U2', 900], ['W3', 1280]], [['V0', 'V1'], ['V1', 'U2']]]),
  ('boundary control 4', [[['A', 540, 91]], 10, 30], [[['A', 645]], []]),
  ('boundary control 5', [[['A', 540, 100], ['B', 699, 60]], 25, 30], [[['A', 665], ['B', 774]], []]),
  ('normal control 6', [[['S1', 800, 44], ['P0', 600, 180], ['R2', 920, 60]], 50, 30],
   [[['P0', 870], ['S1', 870], ['R2', 1010]], [['P0', 'S1']]]),
  ('normal control 7', [[['P2', 870, 91], ['Q1', 750, 73], ['T3', 960, 150], ['T0', 600, 73]], 15, 30],
   [[['T0', 685], ['Q1', 835], ['P2', 975], ['T3', 1135]], [['P2', 'T3']]]),
  ('normal control 8', [[['U0', 540, 72], ['R1', 720, 90], ['P2', 920, 182]], 25, 15],
   [[['U0', 630], ['R1', 835], ['P2', 1150]], []])]]
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 fixture	Actual	Expected	Outcome
regression: five minute grid 1	`[[['A', 645], ['B', 870]], []]`	`[[['A', 645], ['B', 870]], []]`	Passed
regression variant: five minute grid 2	`[[['W0', 650], ['P1', 870], ['S2', 1010], ['U3', 1115]], []]`	`[[['W0', 650], ['P1', 870], ['S2', 1010], ['U3', 1120]], []]`	Failed
partial repair guard 3	`[[['R0', 660], ['T1', 935]], []]`	`[[['R0', 660], ['T1', 940]], []]`	Failed
boundary control 4	`[[['A', 720], ['B', 855]], []]`	`[[['A', 720], ['B', 855]], []]`	Passed
boundary control 5	`[[['A', 620], ['B', 705]], []]`	`[[['A', 625], ['B', 710]], []]`	Failed
normal control 6	`[[['P0', 635], ['Q1', 760]], [['P0', 'Q1']]]`	`[[['P0', 640], ['Q1', 765]], [['P0', 'Q1']]]`	Failed
normal control 7	`[[['U0', 600], ['T1', 855], ['V2', 1050], ['V3', 1105]], [['T1', 'V2'], ['V2', 'V3']]]`	`[[['U0', 600], ['T1', 855], ['V2', 1050], ['V3', 1110]], [['T1', 'V2'], ['V2', 'V3']]]`	Failed
normal control 8	`[[['R0', 625], ['R1', 895], ['V2', 985], ['T3', 1210]], [['R1', 'V2']]]`	`[[['R0', 625], ['R1', 900], ['V2', 985], ['T3', 1210]], [['R1', 'V2']]]`	Failed

SHA-256 / 705dc9e698c77fc633e60fc65a29fc3db2c116ec749c92cf21d1bb2ba6da97cb

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(exams, pct, rest):
    rows = []
    for eid, st, dur in sorted(exams, key=lambda x: (x[1], x[0])):
        ext = -(-dur * (100 + pct) // 100)
        ext = -(-ext // 5) * 5
        rows.append([eid, st, st + ext])
    conf = []
    for a, b in zip(rows, rows[1:]):
        if b[1] < a[2] + rest:
            conf.append([a[0], b[0]])
    return [[[r[0], r[2]] for r in rows], conf]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: five minute grid 1', [[['B', 800, 60], ['A', 540, 90]], 15, 30],
   [[['A', 645], ['B', 870]], []]),
  ('regression variant: five minute grid 2',
   [[['S2', 900, 73], ['P1', 780, 60], ['U3', 1050, 44], ['W0', 540, 72]], 50, 30],
   [[['W0', 650], ['P1', 870], ['S2', 1010], ['U3', 1120]], []]),
  ('partial repair guard 3', [[['T1', 840, 72], ['R0', 600, 44]], 33, 30], [[['R0', 660], ['T1', 940]], []]),
  ('boundary control 4', [[['A', 540, 120], ['B', 720, 90]], 50, 0], [[['A', 720], ['B', 855]], []]),
  ('boundary control 5', [[['A', 540, 73], ['B', 640, 60]], 10, 15], [[['A', 625], ['B', 710]], []]),
  ('normal control 6', [[['P0', 540, 88], ['Q1', 660, 91]], 10, 30],
   [[['P0', 640], ['Q1', 765]], [['P0', 'Q1']]]),
  ('normal control 7', [[['V2', 810, 180], ['U0', 540, 44], ['V3', 1010, 72], ['T1', 720, 100]], 33, 30],
   [[['U0', 600], ['T1', 855], ['V2', 1050], ['V3', 1110]], [['T1', 'V2'], ['V2', 'V3']]]),
  ('normal control 8', [[['V2', 870, 100], ['T3', 1070, 120], ['R0', 540, 73], ['R1', 690, 180]], 15, 30],
   [[['R0', 625], ['R1', 900], ['V2', 985], ['T3', 1210]], [['R1', 'V2']]])],
 [('regression: five minute grid 1', [[['A', 540, 72]], 33, 15], [[['A', 640]], []]),
  ('regression variant: five minute grid 2', [[['Q0', 540, 91], ['P1', 740, 44]], 10, 15],
   [[['Q0', 645], ['P1', 790]], []]),
  ('partial repair guard 3', [[['P0', 540, 73], ['V1', 720, 150]], 25, 15], [[['P0', 635], ['V1', 910]], []]),
  ('boundary control 4', [[['A', 540, 91]], 10, 30], [[['A', 645]], []]),
  ('boundary control 5', [[['A', 540, 100], ['B', 699, 60]], 25, 30], [[['A', 665], ['B', 774]], []]),
  ('normal control 6', [[['Q0', 600, 60], ['Q1', 720, 60]], 15, 30], [[['Q0', 670], ['Q1', 790]], []]),
  ('normal control 7', [[['S0', 540, 73], ['Q2', 920, 60], ['U1', 740, 100]], 15, 15],
   [[['S0', 625], ['U1', 855], ['Q2', 990]], []]),
  ('normal control 8', [[['R1', 780, 150], ['T0', 600, 60], ['R2', 900, 182]], 25, 15],
   [[['T0', 675], ['R1', 970], ['R2', 1130]], [['R1', 'R2']]])],
 [('regression: five minute grid 1', [[['A', 540, 91]], 10, 30], [[['A', 645]], []]),
  ('regression variant: five minute grid 2', [[['P2', 990, 60], ['V0', 600, 60], ['T1', 840, 73]], 15, 15],
   [[['V0', 670], ['T1', 925], ['P2', 1060]], []]),
  ('partial repair guard 3', [[['T1', 800, 91], ['W0', 600, 120]], 10, 30], [[['W0', 735], ['T1', 905]], []]),
  ('boundary control 4', [[['A', 540, 88]], 25, 30], [[['A', 650]], []]),
  ('boundary control 5', [[['A', 540, 72]], 33, 15], [[['A', 640]], []]),
  ('normal control 6', [[['U0', 540, 72], ['W1', 690, 88]], 50, 15], [[['U0', 650], ['W1', 825]], []]),
  ('normal control 7', [[['S1', 660, 44], ['S2', 840, 73], ['S0', 540, 180]], 33, 15],
   [[['S0', 780], ['S1', 720], ['S2', 940]], [['S0', 'S1']]]),
  ('normal control 8', [[['R2', 930, 180], ['V3', 1130, 60], ['T0', 540, 73], ['R1', 690, 150]], 10, 30],
   [[['T0', 625], ['R1', 855], ['R2', 1130], ['V3', 1200]], [['R2', 'V3']]])],
 [('regression: five minute grid 1', [[['A', 540, 182], ['B', 800, 60]], 10, 30],
   [[['A', 745], ['B', 870]], []]),
  ('regression variant: five minute grid 2',
   [[['V0', 600, 182], ['R3', 990, 90], ['S2', 900, 88], ['W1', 780, 73]], 25, 30],
   [[['V0', 830], ['W1', 875], ['S2', 1010], ['R3', 1105]], [['V0', 'W1'], ['W1', 'S2'], ['S2', 'R3']]]),
  ('boundary control 3', [[['A', 540, 120], ['B', 720, 90]], 50, 0], [[['A', 720], ['B', 855]], []]),
  ('boundary control 4', [[['A', 540, 73], ['B', 640, 60]], 10, 15], [[['A', 625], ['B', 710]], []]),
  ('normal control 5', [[['S1', 690, 88], ['Q2', 780, 150], ['T0', 540, 44]], 33, 30],
   [[['T0', 600], ['S1', 810], ['Q2', 980]], [['S1', 'Q2']]]),
  ('normal control 6', [[['V0', 540, 44], ['W1', 690, 60], ['U3', 980, 60], ['W2', 890, 100]], 15, 30],
   [[['V0', 595], ['W1', 760], ['W2', 1005], ['U3', 1050]], [['W2', 'U3']]]),
  ('normal control 7', [[['P2', 990, 60], ['V0', 600, 60], ['T1', 840, 73]], 15, 15],
   [[['V0', 670], ['T1', 925], ['P2', 1060]], []]),
  ('normal control 8', [[['V2', 930, 120], ['R0', 600, 72], ['P1', 780, 88]], 25, 30],
   [[['R0', 690], ['P1', 890], ['V2', 1080]], []])],
 [('regression: five minute grid 1', [[['A', 540, 73], ['B', 640, 60]], 10, 15],
   [[['A', 625], ['B', 710]], []]),
  ('regression variant: five minute grid 2', [[['W2', 940, 44], ['U0', 540, 182], ['P1', 740, 150]], 25, 30],
   [[['U0', 770], ['P1', 930], ['W2', 995]], [['U0', 'P1'], ['P1', 'W2']]]),
  ('partial repair guard 3',
   [[['U2', 840, 44], ['W3', 1080, 150], ['V1', 660, 180], ['V0', 540, 91]], 33, 30],
   [[['V0', 665], ['V1', 900], ['U2', 900], ['W3', 1280]], [['V0', 'V1'], ['V1', 'U2']]]),
  ('boundary control 4', [[['A', 540, 91]], 10, 30], [[['A', 645]], []]),
  ('boundary control 5', [[['A', 540, 100], ['B', 699, 60]], 25, 30], [[['A', 665], ['B', 774]], []]),
  ('normal control 6', [[['S1', 800, 44], ['P0', 600, 180], ['R2', 920, 60]], 50, 30],
   [[['P0', 870], ['S1', 870], ['R2', 1010]], [['P0', 'S1']]]),
  ('normal control 7', [[['P2', 870, 91], ['Q1', 750, 73], ['T3', 960, 150], ['T0', 600, 73]], 15, 30],
   [[['T0', 685], ['Q1', 835], ['P2', 975], ['T3', 1135]], [['P2', 'T3']]]),
  ('normal control 8', [[['U0', 540, 72], ['R1', 720, 90], ['P2', 920, 182]], 25, 15],
   [[['U0', 630], ['R1', 835], ['P2', 1150]], []])]]
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 fixture	Actual	Expected	Outcome
regression: five minute grid 1	`[[['A', 645], ['B', 870]], []]`	`[[['A', 645], ['B', 870]], []]`	Passed
regression variant: five minute grid 2	`[[['W0', 650], ['P1', 870], ['S2', 1010], ['U3', 1120]], []]`	`[[['W0', 650], ['P1', 870], ['S2', 1010], ['U3', 1120]], []]`	Passed
partial repair guard 3	`[[['R0', 660], ['T1', 940]], []]`	`[[['R0', 660], ['T1', 940]], []]`	Passed
boundary control 4	`[[['A', 720], ['B', 855]], []]`	`[[['A', 720], ['B', 855]], []]`	Passed
boundary control 5	`[[['A', 625], ['B', 710]], []]`	`[[['A', 625], ['B', 710]], []]`	Passed
normal control 6	`[[['P0', 640], ['Q1', 765]], [['P0', 'Q1']]]`	`[[['P0', 640], ['Q1', 765]], [['P0', 'Q1']]]`	Passed
normal control 7	`[[['U0', 600], ['T1', 855], ['V2', 1050], ['V3', 1110]], [['T1', 'V2'], ['V2', 'V3']]]`	`[[['U0', 600], ['T1', 855], ['V2', 1050], ['V3', 1110]], [['T1', 'V2'], ['V2', 'V3']]]`	Passed
normal control 8	`[[['R0', 625], ['R1', 900], ['V2', 985], ['T3', 1210]], [['R1', 'V2']]]`	`[[['R0', 625], ['R1', 900], ['V2', 985], ['T3', 1210]], [['R1', 'V2']]]`	Passed

SHA-256 / 75dbd9f79c1194fe401978c1bc96fe1f80e2dd9f1627785504239ab381cb51e9

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

Case digest / 2c4312ab6af529fa8d629e8f882e3eb5915a48a0082599be4f786ade3d022b81