{"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":null,"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":"dbde989179853dfcd9c51418cd93614c30b6214438efb05b6192c1297ac6a529","signature":"e0aeb8ceaa3e1330f96f64964dff48e699d284d6025e5ccf4e33df477ebb9cf3535457c8b0ac0f72c4ea9403cde081d17d5143b0b5ac9b2639e08a277fdf1f0d"}}}