Understand the failure.
Verify the repair.
Small, reproducible software failures. The broken implementation, the fix that didn’t work, and the one that passed—preserved together.
Explore the cases ↓How results are verified ↗WHAT THE ARCHIVE CONTAINS
100840 executable cases. 20168 are open.
Every case records the implementation that fails, the fix that did not work, and the repair that passed its checks—with recorded outputs and source hashes. This release adds 100840 cases across 20168 failure mechanisms and 254 domains.
The open tier gives you the failure and the unsuccessful fix for one case in every mechanism. The remaining 80672 cases, 5 variants per mechanism, are member-only: the verified repair, its recorded checks, and the full fixture suite are held in the member archive. Read the methodology ↗
A RECORD OF WHAT WENT WRONG
Browse the archive / 100840
Supplement tolerance computed as fractional minutes · case 01
Contracts not divisible by ten produce fractional supplement minutes.
Supplement tolerance computed as fractional minutes · case 02
Contracts not divisible by ten produce fractional supplement minutes.
Supplement tolerance computed as fractional minutes · case 03
Contracts not divisible by ten produce fractional supplement minutes.
Supplement tolerance computed as fractional minutes · case 04
Contracts not divisible by ten produce fractional supplement minutes.
Supplement tolerance computed as fractional minutes · case 05
Contracts not divisible by ten produce fractional supplement minutes.
Overtime minutes also counted as additional hours · case 01
Weeks over 40 hours count minutes in both additional and overtime bands.
Overtime minutes also counted as additional hours · case 02
Weeks over 40 hours count minutes in both additional and overtime bands.
Overtime minutes also counted as additional hours · case 03
Weeks over 40 hours count minutes in both additional and overtime bands.
Overtime minutes also counted as additional hours · case 04
Weeks over 40 hours count minutes in both additional and overtime bands.
Overtime minutes also counted as additional hours · case 05
Weeks over 40 hours count minutes in both additional and overtime bands.
Supplement paid on additional minutes inside the tolerance · case 01
Every additional minute earns the supplement.
Supplement paid on additional minutes inside the tolerance · case 02
Every additional minute earns the supplement.
Supplement paid on additional minutes inside the tolerance · case 03
Every additional minute earns the supplement.
Supplement paid on additional minutes inside the tolerance · case 04
Every additional minute earns the supplement.
Supplement paid on additional minutes inside the tolerance · case 05
Every additional minute earns the supplement.
Negative top-up recorded for weeks above contract · case 01
Busy weeks show negative guaranteed-hours top-ups that offset pay.
Negative top-up recorded for weeks above contract · case 02
Busy weeks show negative guaranteed-hours top-ups that offset pay.
Negative top-up recorded for weeks above contract · case 03
Busy weeks show negative guaranteed-hours top-ups that offset pay.
Negative top-up recorded for weeks above contract · case 04
Busy weeks show negative guaranteed-hours top-ups that offset pay.
Negative top-up recorded for weeks above contract · case 05
Busy weeks show negative guaranteed-hours top-ups that offset pay.
Refused overtime offers not charged to the ledger · case 01
Workers who always refuse stay at the top of the offer list.
Refused overtime offers not charged to the ledger · case 02
Workers who always refuse stay at the top of the offer list.
Refused overtime offers not charged to the ledger · case 03
Workers who always refuse stay at the top of the offer list.
Refused overtime offers not charged to the ledger · case 04
Workers who always refuse stay at the top of the offer list.
Refused overtime offers not charged to the ledger · case 05
Workers who always refuse stay at the top of the offer list.
Offer reaching exactly twelve hours treated as ineligible · case 01
Workers who would finish at exactly 12 hours are skipped.
Offer reaching exactly twelve hours treated as ineligible · case 02
Workers who would finish at exactly 12 hours are skipped.
Offer reaching exactly twelve hours treated as ineligible · case 03
Workers who would finish at exactly 12 hours are skipped.
Offer reaching exactly twelve hours treated as ineligible · case 04
Workers who would finish at exactly 12 hours are skipped.
Offer reaching exactly twelve hours treated as ineligible · case 05
Workers who would finish at exactly 12 hours are skipped.
Equal-ledger ties offered to the most junior worker · case 01
Ties go to juniors in violation of seniority tie-breaking.
Equal-ledger ties offered to the most junior worker · case 02
Ties go to juniors in violation of seniority tie-breaking.
Equal-ledger ties offered to the most junior worker · case 03
Ties go to juniors in violation of seniority tie-breaking.
Equal-ledger ties offered to the most junior worker · case 04
Ties go to juniors in violation of seniority tie-breaking.
Equal-ledger ties offered to the most junior worker · case 05
Ties go to juniors in violation of seniority tie-breaking.
Accepted overtime not added to the day's worked minutes · case 01
The same worker can take several offers beyond the 12-hour maximum.
Accepted overtime not added to the day's worked minutes · case 02
The same worker can take several offers beyond the 12-hour maximum.
Accepted overtime not added to the day's worked minutes · case 03
The same worker can take several offers beyond the 12-hour maximum.
Accepted overtime not added to the day's worked minutes · case 04
The same worker can take several offers beyond the 12-hour maximum.
Accepted overtime not added to the day's worked minutes · case 05
The same worker can take several offers beyond the 12-hour maximum.
Repeated enrolment row reported as an exam clash · case 01
A student enrolled twice in the same exam appears to have two exams in one period.
Repeated enrolment row reported as an exam clash · case 02
A student enrolled twice in the same exam appears to have two exams in one period.
Repeated enrolment row reported as an exam clash · case 03
A student enrolled twice in the same exam appears to have two exams in one period.
Repeated enrolment row reported as an exam clash · case 04
A student enrolled twice in the same exam appears to have two exams in one period.
Repeated enrolment row reported as an exam clash · case 05
A student enrolled twice in the same exam appears to have two exams in one period.
Cross-listed course codes treated as separate papers · case 01
Students in a cross-listed paper are shown clashing with themselves.
Cross-listed course codes treated as separate papers · case 02
Students in a cross-listed paper are shown clashing with themselves.
Cross-listed course codes treated as separate papers · case 03
Students in a cross-listed paper are shown clashing with themselves.
Cross-listed course codes treated as separate papers · case 04
Students in a cross-listed paper are shown clashing with themselves.
Cross-listed course codes treated as separate papers · case 05
Students in a cross-listed paper are shown clashing with themselves.
Unscheduled exams placed in the first period for clash checks · case 01
Exams still awaiting a slot create clashes with period 0 exams.
Unscheduled exams placed in the first period for clash checks · case 02
Exams still awaiting a slot create clashes with period 0 exams.
Unscheduled exams placed in the first period for clash checks · case 03
Exams still awaiting a slot create clashes with period 0 exams.
Unscheduled exams placed in the first period for clash checks · case 04
Exams still awaiting a slot create clashes with period 0 exams.
Unscheduled exams placed in the first period for clash checks · case 05
Exams still awaiting a slot create clashes with period 0 exams.
Single exam in a period reported as a clash · case 01
Every scheduled sitting is listed as a clash.
Single exam in a period reported as a clash · case 02
Every scheduled sitting is listed as a clash.
Single exam in a period reported as a clash · case 03
Every scheduled sitting is listed as a clash.
Single exam in a period reported as a clash · case 04
Every scheduled sitting is listed as a clash.
Single exam in a period reported as a clash · case 05
Every scheduled sitting is listed as a clash.
Clash report ordered by period instead of student · case 01
Student letters list clashes in a different order than the contract.
Clash report ordered by period instead of student · case 02
Student letters list clashes in a different order than the contract.
Clash report ordered by period instead of student · case 03
Student letters list clashes in a different order than the contract.
Clash report ordered by period instead of student · case 04
Student letters list clashes in a different order than the contract.
Clash report ordered by period instead of student · case 05
Student letters list clashes in a different order than the contract.
Same-day test compares slot numbers instead of days · case 01
Exams in the same slot on different days count as same-day pairs while real same-day pairs are missed.
Same-day test compares slot numbers instead of days · case 02
Exams in the same slot on different days count as same-day pairs while real same-day pairs are missed.
Same-day test compares slot numbers instead of days · case 03
Exams in the same slot on different days count as same-day pairs while real same-day pairs are missed.
Same-day test compares slot numbers instead of days · case 04
Exams in the same slot on different days count as same-day pairs while real same-day pairs are missed.
Same-day test compares slot numbers instead of days · case 05
Exams in the same slot on different days count as same-day pairs while real same-day pairs are missed.
Same-period clash counted as period spread · case 01
Clashing exams add a spread penalty on top of the clash.
Same-period clash counted as period spread · case 02
Clashing exams add a spread penalty on top of the clash.
Same-period clash counted as period spread · case 03
Clashing exams add a spread penalty on top of the clash.
Same-period clash counted as period spread · case 04
Clashing exams add a spread penalty on top of the clash.
Same-period clash counted as period spread · case 05
Clashing exams add a spread penalty on top of the clash.
Clashing pair counted as two-in-a-day · case 01
Same-period clashes inflate the two-in-a-day penalty.
Clashing pair counted as two-in-a-day · case 02
Same-period clashes inflate the two-in-a-day penalty.
Clashing pair counted as two-in-a-day · case 03
Same-period clashes inflate the two-in-a-day penalty.
Clashing pair counted as two-in-a-day · case 04
Same-period clashes inflate the two-in-a-day penalty.
Clashing pair counted as two-in-a-day · case 05
Same-period clashes inflate the two-in-a-day penalty.
Student periods listed in exam-code order before differencing · case 01
Pairs with the later exam first produce negative distances and are ignored.
Student periods listed in exam-code order before differencing · case 02
Pairs with the later exam first produce negative distances and are ignored.
Student periods listed in exam-code order before differencing · case 03
Pairs with the later exam first produce negative distances and are ignored.
Student periods listed in exam-code order before differencing · case 04
Pairs with the later exam first produce negative distances and are ignored.
Student periods listed in exam-code order before differencing · case 05
Pairs with the later exam first produce negative distances and are ignored.
Shorter exam shares a room with a longer exam · case 01
A 90-minute exam is seated in a room already running a 120-minute exam.
Shorter exam shares a room with a longer exam · case 02
A 90-minute exam is seated in a room already running a 120-minute exam.
Shorter exam shares a room with a longer exam · case 03
A 90-minute exam is seated in a room already running a 120-minute exam.
Shorter exam shares a room with a longer exam · case 04
A 90-minute exam is seated in a room already running a 120-minute exam.
Shorter exam shares a room with a longer exam · case 05
A 90-minute exam is seated in a room already running a 120-minute exam.
Whole exam placed in the first sufficient room · case 01
Small exams occupy large halls and later large exams must split or go unplaced.
Whole exam placed in the first sufficient room · case 02
Small exams occupy large halls and later large exams must split or go unplaced.
Whole exam placed in the first sufficient room · case 03
Small exams occupy large halls and later large exams must split or go unplaced.
Whole exam placed in the first sufficient room · case 04
Small exams occupy large halls and later large exams must split or go unplaced.
Whole exam placed in the first sufficient room · case 05
Small exams occupy large halls and later large exams must split or go unplaced.
Split feasibility counts seats in incompatible rooms · case 01
An exam is split into rooms that cannot hold all its candidates, leaving students without seats.
Split feasibility counts seats in incompatible rooms · case 02
An exam is split into rooms that cannot hold all its candidates, leaving students without seats.
Split feasibility counts seats in incompatible rooms · case 03
An exam is split into rooms that cannot hold all its candidates, leaving students without seats.
Split feasibility counts seats in incompatible rooms · case 04
An exam is split into rooms that cannot hold all its candidates, leaving students without seats.
Split feasibility counts seats in incompatible rooms · case 05
An exam is split into rooms that cannot hold all its candidates, leaving students without seats.
INSPECTABLE BY DESIGN
Every result has a runnable source.
Runnable implementations with recorded outputs, source hashes, and explicit contracts. Related variants share a failure mechanism and belong together in evaluation splits.
Read the methodology ↗