{
  "id": "bad-box-size",
  "title": "Box dimensions do not tile the grid",
  "input": {
    "path": "formats/sudoku/cases/bad-box-size/input.txt",
    "text": "# size=4 box=3x2\n1..4\n.41.\n.14.\n4..1\n"
  },
  "params": [],
  "commands": {
    "readJson": "iris read formats/sudoku/sudoku.iris formats/sudoku/cases/bad-box-size/input.txt --json",
    "readDzn": "iris read formats/sudoku/sudoku.iris formats/sudoku/cases/bad-box-size/input.txt --dzn",
    "readSummary": "iris read formats/sudoku/sudoku.iris formats/sudoku/cases/bad-box-size/input.txt --summary",
    "errorJson": "iris-driver read formats/sudoku/sudoku.iris formats/sudoku/cases/bad-box-size/input.txt --params '{}'"
  },
  "result": {
    "kind": "error",
    "json": "{\"code\":\"E-CHECK-FAILED\",\"message\":\"check failed: boxes must tile the grid\",\"input_location\":{\"origin\":\"formats/sudoku/cases/bad-box-size/input.txt\",\"line\":5,\"column\":5},\"spec_location\":{\"origin\":\"formats/sudoku/sudoku.iris\",\"line\":7,\"column\":null},\"context\":\"instance [1]\",\"record_path\":[]}",
    "diagnostic": "formats/sudoku/cases/bad-box-size/input.txt:5:5: check failed: boxes must tile the grid\n     5 | 4..1\n       |     ^\nwhile reading: instance [1]\nspec: formats/sudoku/sudoku.iris:7\n"
  },
  "catalog": {
    "command": "iris list formats/sudoku/sudoku.iris formats/sudoku/cases/bad-box-size/input.txt",
    "text": "formats/sudoku/cases/bad-box-size/input.txt: 1 instance\n  1 (failed: boxes must tile the grid)\n",
    "dznCommand": "iris list formats/sudoku/sudoku.iris formats/sudoku/cases/bad-box-size/input.txt --dzn",
    "dzn": "instances = 1;\nfailed = [\"boxes must tile the grid\"];\n"
  },
  "downloads": {
    "input": "/examples/formats/sudoku/cases/bad-box-size/input.txt",
    "spec": "/examples/formats/sudoku/sudoku.iris",
    "error.json": "/examples/formats/sudoku/cases/bad-box-size/error.json",
    "error.txt": "/examples/formats/sudoku/cases/bad-box-size/error.txt",
    "catalog.txt": "/examples/formats/sudoku/cases/bad-box-size/catalog.txt",
    "catalog.dzn": "/examples/formats/sudoku/cases/bad-box-size/catalog.dzn",
    "case": "/examples/formats/sudoku/cases/bad-box-size/case.json"
  },
  "spec": {
    "path": "formats/sudoku/sudoku.iris",
    "text": "format sudoku\n\ninstances {\n  line \"# size={n:1..} box={box_width:1..}x{box_height:1..}\"\n  cells[n][n]: alphabet \"123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ0\" blank \".\"\n\n  check box_width * box_height == n \"boxes must tile the grid\"\n  check max(cells) <= n \"a value is larger than the size of the grid\"\n}\n"
  }
}