{ "request": { "program": "#! title Four queens\n#! about Queens on a 4×4 board: no two in a row, a column or a diagonal, written as at most one + in each, and each queen placed worth 1, so the most queens that can be placed is the aim. Four is the most, in two ways, and every state of lowest energy is one of them. The check asks for one queen in each row too.\n#! expect works\n#! item square\n#! plus a queen\n#! minus empty\n#! check atmost 1 0-1-2-3 4-5-6-7 8-9-10-11 12-13-14-15 0-4-8-12 1-5-9-13 2-6-10-14 3-7-11-15 2-7 1-6-11 0-5-10-15 4-9-14 8-13 1-4 2-5-8 3-6-9-12 7-10-13 11-14\n#! check exactly 1 0-1-2-3 4-5-6-7 8-9-10-11 12-13-14-15\n#\n# Variable 4·r + c is the square of row r and column c: + a queen, - empty.\n# No two queens share a row, a column or a diagonal, and each queen placed is worth 1.\nvars 16\natmost 1 0 1 2 3\natmost 1 4 5 6 7\natmost 1 8 9 10 11\natmost 1 12 13 14 15\natmost 1 0 4 8 12\natmost 1 1 5 9 13\natmost 1 2 6 10 14\natmost 1 3 7 11 15\natmost 1 2 7\natmost 1 1 6 11\natmost 1 0 5 10 15\natmost 1 4 9 14\natmost 1 8 13\natmost 1 1 4\natmost 1 2 5 8\natmost 1 3 6 9 12\natmost 1 7 10 13\natmost 1 11 14\nlean 0 +\nlean 1 +\nlean 2 +\nlean 3 +\nlean 4 +\nlean 5 +\nlean 6 +\nlean 7 +\nlean 8 +\nlean 9 +\nlean 10 +\nlean 11 +\nlean 12 +\nlean 13 +\nlean 14 +\nlean 15 +\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" } ] }, "lowest": -84.0, "default_temperature": 3.082207001484488, "rows": [ { "temperature": 0.0, "is_default": false, "mode": "quench", "kernel": "wai.quantum.landscape/sample", "parity": "reference", "runs": 2, "reached_lowest": 0, "passed_checks": 0, "best_energy": 196, "mean_energy": 196.0, "accumulates_per_run": 48640, "priced_per_run": "about 43 nJ", "left_out_per_run": "about 10 µJ" }, { "temperature": 0.25, "is_default": false, "mode": "sample", "kernel": "wai.quantum.landscape2/sample", "parity": "reference", "runs": 2, "reached_lowest": 1, "passed_checks": 1, "best_energy": -84, "mean_energy": -83.0, "accumulates_per_run": 48640, "priced_per_run": "not priced", "left_out_per_run": "not priced" }, { "temperature": 0.5, "is_default": false, "mode": "sample", "kernel": "wai.quantum.landscape2/sample", "parity": "reference", "runs": 2, "reached_lowest": 2, "passed_checks": 2, "best_energy": -84, "mean_energy": -84.0, "accumulates_per_run": 48640, "priced_per_run": "not priced", "left_out_per_run": "not priced" }, { "temperature": 1.0, "is_default": false, "mode": "sample", "kernel": "wai.quantum.landscape2/sample", "parity": "reference", "runs": 2, "reached_lowest": 2, "passed_checks": 2, "best_energy": -84, "mean_energy": -84.0, "accumulates_per_run": 48640, "priced_per_run": "not priced", "left_out_per_run": "not priced" }, { "temperature": 2.0, "is_default": false, "mode": "sample", "kernel": "wai.quantum.landscape2/sample", "parity": "reference", "runs": 2, "reached_lowest": 2, "passed_checks": 2, "best_energy": -84, "mean_energy": -84.0, "accumulates_per_run": 48640, "priced_per_run": "not priced", "left_out_per_run": "not priced" }, { "temperature": 3.082207001484488, "is_default": true, "mode": "sample", "kernel": "wai.quantum.landscape2/sample", "parity": "reference", "runs": 2, "reached_lowest": 2, "passed_checks": 2, "best_energy": -84, "mean_energy": -84.0, "accumulates_per_run": 48640, "priced_per_run": "not priced", "left_out_per_run": "not priced" }, { "temperature": 4.0, "is_default": false, "mode": "sample", "kernel": "wai.quantum.landscape2/sample", "parity": "reference", "runs": 2, "reached_lowest": 2, "passed_checks": 2, "best_energy": -84, "mean_energy": -84.0, "accumulates_per_run": 48640, "priced_per_run": "not priced", "left_out_per_run": "not priced" }, { "temperature": 8.0, "is_default": false, "mode": "sample", "kernel": "wai.quantum.landscape2/sample", "parity": "reference", "runs": 2, "reached_lowest": 2, "passed_checks": 2, "best_energy": -84, "mean_energy": -84.0, "accumulates_per_run": 48640, "priced_per_run": "not priced", "left_out_per_run": "not priced" }, { "temperature": 11.0, "is_default": false, "mode": "sample", "kernel": "wai.quantum.landscape2/sample", "parity": "reference", "runs": 2, "reached_lowest": 2, "passed_checks": 2, "best_energy": -84, "mean_energy": -84.0, "accumulates_per_run": 48640, "priced_per_run": "not priced", "left_out_per_run": "not priced" } ], "engine": { "name": "wai-quantum", "version": "0.9.0" }, "schema": "wai.quantum.landscape/2", "receipt": { "alg": "ed25519", "canon": "rfc8785", "key": "197f6b23e16c8532c6abc838facd5ea789be0c76b2920334039bfa8b3d368d61", "digest": "c50187232072f1c401660dd6587654ae77018289f93e39b06ab41b9d2886efca", "signature": "b50102609dbbc6b4e992c119194baad29e1fead8ce6071bc2c70d7311238c2373f9d1bf63a75426048862b8514938f097f90fcfac112b1c07c80d1a40036900c" } } }