{
  "request": {
    "program": "#! title Three colours, four regions that all touch: this fails\n#! about Four regions, each touching the other three, need four colours, and only three are given. No colouring passes, so every state of lowest energy fails the check: here a region is left with no colour, which costs less than two touching regions sharing one. The landscape is right; the problem has no answer.\n#! expect fails\n#! item colour choice\n#! plus this region has this colour\n#! minus this region does not have this colour\n#! check exactly 1 0-1-2 3-4-5 6-7-8 9-10-11\n#! check atmost 1 0-3 1-4 2-5 0-6 1-7 2-8 0-9 1-10 2-11 3-6 4-7 5-8 3-9 4-10 5-11 6-9 7-10 8-11\n#\n# Variable 3·r + c says whether region r has colour c: + it has, - it has not.\n# Each region has exactly one colour; two regions that touch share none.\nvars 12\nexactly 1 0 1 2\nexactly 1 3 4 5\nexactly 1 6 7 8\nexactly 1 9 10 11\natmost 1 0 3\natmost 1 1 4\natmost 1 2 5\natmost 1 0 6\natmost 1 1 7\natmost 1 2 8\natmost 1 0 9\natmost 1 1 10\natmost 1 2 11\natmost 1 3 6\natmost 1 4 7\natmost 1 5 8\natmost 1 3 9\natmost 1 4 10\natmost 1 5 11\natmost 1 6 9\natmost 1 7 10\natmost 1 8 11\nsolve restarts=8 steps=40\n",
    "protocol": "wai.quantum.landscape/2",
    "seeds": 2
  },
  "result": {
    "protocol": "wai.quantum.landscape/2",
    "label": "A classical emulator of the settling model of a planned energy-based processor, running on your machine. Energies are computed exactly. The joule line prices a run at temperature 0 at the settle rate measured on an FPGA board running this project's open reference design, with a published figure for one integer add beside it for scale, and leaves a run above temperature 0 unpriced, saying why. No photonic hardware, custom chip or quantum effect is involved in this run.",
    "member": {
      "id": "cpu:reference",
      "class": "cpu",
      "kernels": [
        {
          "kernel": "wai.quantum.landscape2/sample",
          "parity": "reference"
        }
      ]
    },
    "target": -36,
    "target_is_exact": true,
    "arrangements": 531441,
    "rows": [
      {
        "solver": "emulator, sampling, starting at 2.236",
        "classical": false,
        "parity": "reference",
        "runs": 2,
        "reached_target": 2,
        "passed_checks": 0,
        "best_energy": -36,
        "operations_per_run": 23040,
        "accumulates_per_run": 19200
      },
      {
        "solver": "emulator, deterministic",
        "classical": false,
        "parity": "reference",
        "runs": 2,
        "reached_target": 0,
        "passed_checks": 0,
        "best_energy": -8,
        "operations_per_run": 23040,
        "accumulates_per_run": 19200
      },
      {
        "solver": "simulated annealing",
        "classical": true,
        "parity": null,
        "runs": 2,
        "reached_target": 2,
        "passed_checks": 0,
        "best_energy": -36,
        "operations_per_run": 23042,
        "accumulates_per_run": 12052
      },
      {
        "solver": "tabu search",
        "classical": true,
        "parity": null,
        "runs": 2,
        "reached_target": 2,
        "passed_checks": 0,
        "best_energy": -36,
        "operations_per_run": 23063,
        "accumulates_per_run": 4175
      },
      {
        "solver": "greedy descent",
        "classical": true,
        "parity": "reference",
        "runs": 2,
        "reached_target": 2,
        "passed_checks": 0,
        "best_energy": -36,
        "operations_per_run": 23090,
        "accumulates_per_run": 13670
      }
    ],
    "engine": {
      "name": "wai-quantum",
      "version": "0.9.0"
    },
    "schema": "wai.quantum.landscape/2",
    "receipt": {
      "alg": "ed25519",
      "canon": "rfc8785",
      "key": "197f6b23e16c8532c6abc838facd5ea789be0c76b2920334039bfa8b3d368d61",
      "digest": "17c22e797e97e018113f678ff9f4fc713de5425e0185ab6e189bcc227d751802",
      "signature": "49c9c40f7760cb85921e2a11ff547a027095c2fd5dace7a68a11ee6dceaff422787d207ab064b6201b870d0a0762576d805c48e697a570f4c666d49c6475590f"
    }
  }
}