{"request":{"program":"#! title Three colours, four regions\n#! about Four regions, two triangles sharing a side, coloured with three colours so that regions that touch differ: the first version's colour-four, written with one variable for each region and colour. Each region holds exactly one colour, and two regions that touch hold no colour both. There are six good colourings, and every state of lowest energy is one of them.\n#! expect works\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 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 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","seed":"7","protocol":"wai.quantum.landscape/2","temperature":"0","provider":"priced"},"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","kernel":"wai.quantum.landscape2/sample","parity":"reference"},"program_digest":"4efe52db6192bc95d13e6a88118f943669b7db0eea29d82aabb49616077080cd","title":"Three colours, four regions","about":"Four regions, two triangles sharing a side, coloured with three colours so that regions that touch differ: the first version's colour-four, written with one variable for each region and colour. Each region holds exactly one colour, and two regions that touch hold no colour both. There are six good colourings, and every state of lowest energy is one of them.","item":"colour choice","expect":"works","variables":12,"pairs":27,"seed":"7","mode":"quench","mode_words":"Deterministic (temperature 0): 8 random starts of 40 sweeps each. The lowest energy found is kept.","temperature":0.0,"temperature_from":null,"restarts":8,"sweeps":40,"state":"++++++++++++","groups":[{"name":"this region has this colour","items":[0,1,2,3,4,5,6,7,8,9,10,11]},{"name":"this region does not have this colour","items":[]}],"energy":57,"truth":{"arrangements":531441,"lowest":-35.0,"at_lowest":6,"at_lowest_passing":6,"example":"+----+-+-+--"},"reached":false,"declared":null,"warnings":[],"checks":[{"kind":"exactly","passed":false,"detail":"4 of 4 groups do not hold exactly 1 + with their other variables −."},{"kind":"atmost","passed":false,"detail":"15 of 15 groups do not hold at most 1 + with their other variables −."}],"verdict":"failed","summary":"It reached energy 57, and that does not solve the problem. 4 of 4 groups do not hold exactly 1 + with their other variables −.","work":{"sweeps":320,"accumulates":17280,"cell_updates":3840,"draws":0,"ended":"every sweep run","rests":false},"joules":{"kind":"priced","class":"ModelBased","describes":"the work on one FPGA board running this project's open reference design, not the machine that ran this job","line":"Priced, not read from a meter: 17,280 accumulates × about 0.88 pJ = about 15 nJ.","rate_pj_per_accumulate":0.88,"rate_source":"Settle rate: measured on one FPGA board running this project's open reference design (wai/wai-quantum-landscape-fpga, its measurements of 2026-11-06): 162.0 mW of power, run minus halt on one bitstream, for a dense 64-cell settle repeated 12.5 million times a second, 1.831e11 accumulates a second at 100 MHz, its prediction committed first. One board and one whole-board sensor; one of the two null controls of that campaign failed at about 8 mW, which this reading is twenty times. No other board has repeated it.","evidence":["wai/wai-quantum-landscape-fpga/README.md (What it measured: Power)","wai/wai-quantum-landscape-fpga/measurements/2026-11-06/emio-classes/t0-recall.dat","wai/wai-quantum-landscape-fpga/measurements/2026-11-06/emio-checks/throughput-emio.txt"],"pj":15206.4,"published_add":{"class":"Estimator","rate_pj_per_accumulate":0.03,"source":"a published 2014 figure for the energy of one 8-bit integer add in 45 nm logic","pj":518.4,"line":"For scale: a published 2014 figure for one 8-bit integer add, about 0.03 pJ, puts this count at about 520 pJ. It is a reference point, not a model of any processor."},"left_out":{"board_watts":3.14,"board_hz":100000000.0,"clocks_at_least":320,"pj":10048000.000000002,"line":"Small jobs price low. This rate counts only the work: that board also draws about 3.1 W halted, at every clock. This run's 320 sweeps need at least 320 clocks, which is about 10 µJ of board power that the line above leaves out."},"why":null,"metered":null},"state_hash":"e4f498bf8b216625","replay":"49cb30dfdb238e473dd24459685e2dc38ac3ee8cccc2a190dc81dca40e3dc973","provider":{"name":"priced","kind":"process","protocol":"wai.quantum.provider/1","device":"reference:line-5","provenance":"simulator:the wai-quantum exact simulator: the state vector in fixed point, sampled with the seed given","describe":"0d8b19cb0df0894c139189cc5aa18667e48310c56109f8e57e919030db8c7cda"},"job":{"id":"ref-1","polls":0},"cost":{"free":false,"estimate":{"free":false,"amount":"0.0003","currency":"USD","unit":"job","seconds":0.0,"operations":29251233,"bytes":3412676},"charged":{"amount":"0.0003","currency":"USD"},"confirmed":true},"engine":{"name":"wai-quantum","version":"0.9.0"},"schema":"wai.quantum.landscape/2","receipt":{"alg":"ed25519","canon":"rfc8785","key":"197f6b23e16c8532c6abc838facd5ea789be0c76b2920334039bfa8b3d368d61","digest":"bb96864b91c6d1cd1cbc107eb949dcc4ce84b5fc4a0cd49ab83912a6d2cef43f","signature":"eeea2507daf3abe9fd9e5812adfd8e56261c417a163280ab50575fa120ccab6cb44e3b5b070381f457d70d4ca40b971186ec4065a8de0f32b1badab9cb3d1f09"}}}