formats/jobshop/cases/duplicate-machine/input.txt:3:1: check failed for record 1 of 'jobs': a job uses a machine twice; each job must use every machine once
     3 | 0 2 0 3 2 1
       | ^
while reading: instance [1]
spec: formats/jobshop/jobshop.iris:21