{
  "id": "reversed-window",
  "title": "A customer closes before it opens",
  "input": {
    "path": "formats/tsptw/cases/reversed-window/input.txt",
    "text": "3\n0 2 4\n3 0 2\n4 3 0\n0 20\n8 2\n5 12\n"
  },
  "params": [],
  "commands": {
    "readJson": "iris read formats/tsptw/tsptw.iris formats/tsptw/cases/reversed-window/input.txt --json",
    "readDzn": "iris read formats/tsptw/tsptw.iris formats/tsptw/cases/reversed-window/input.txt --dzn",
    "readSummary": "iris read formats/tsptw/tsptw.iris formats/tsptw/cases/reversed-window/input.txt --summary",
    "errorJson": "iris-driver read formats/tsptw/tsptw.iris formats/tsptw/cases/reversed-window/input.txt --params '{}'"
  },
  "result": {
    "kind": "error",
    "json": "{\"code\":\"E-CHECK-FAILED\",\"message\":\"check failed for record 2 of 'nodes': the time window of a node is invalid\",\"input_location\":{\"origin\":\"formats/tsptw/cases/reversed-window/input.txt\",\"line\":6,\"column\":1},\"spec_location\":{\"origin\":\"formats/tsptw/tsptw.iris\",\"line\":14,\"column\":null},\"context\":null,\"record_path\":[1]}",
    "diagnostic": "formats/tsptw/cases/reversed-window/input.txt:6:1: check failed for record 2 of 'nodes': the time window of a node is invalid\n     6 | 8 2\n       | ^\nspec: formats/tsptw/tsptw.iris:14\n"
  },
  "catalog": null,
  "downloads": {
    "input": "/examples/formats/tsptw/cases/reversed-window/input.txt",
    "spec": "/examples/formats/tsptw/tsptw.iris",
    "error.json": "/examples/formats/tsptw/cases/reversed-window/error.json",
    "error.txt": "/examples/formats/tsptw/cases/reversed-window/error.txt",
    "case": "/examples/formats/tsptw/cases/reversed-window/case.json"
  },
  "spec": {
    "path": "formats/tsptw/tsptw.iris",
    "text": "format tsptw\n\ncomment \"#\"\nn: 2..1000\ndist[n][n]: 0..gecode.int_max / 2 / n\n\ntype time = 0..gecode.int_max / 2\nrepeat n as nodes {\n  each node\n  ready: time\n  due: time\n}\n\ncheck node.ready <= node.due \"the time window of a node is invalid\"\ncheck nodes[0].ready == 0 \"the depot (node 0) must open at time 0\"\n"
  }
}