{"request":{"program":"#! title Twelve talks, two rooms\n#! about Twelve talks go into room A or room B, or are left out. Talks that share an audience must not be in the same room. Talks in a series belong in the same room. Every talk that runs takes a slot, so a talk with little reason to run stays out.\n#! item talk\n#! plus room A\n#! minus room B\n#! zero left out\n#! expect works\n#\n# Three states per variable: + is room A, - is room B, 0 is left out.\n# `agree I J`  talks I and J form a series: the same room.\n# `oppose I J` talks I and J share an audience: different rooms.\n# `cost 1`     each talk that runs costs 1.\nvars 12\ncost 1\nagree 0 1\nagree 0 2\nagree 0 3\nagree 1 2\nagree 1 3\nagree 2 3\nagree 4 5\nagree 4 6\nagree 4 7\nagree 5 6\nagree 5 7\nagree 6 7\noppose 0 4\noppose 1 5\noppose 2 6\noppose 3 7\noppose 8 0\noppose 8 1\nagree 9 4\nagree 9 5\noppose 10 11\nsolve restarts=8 steps=40\n","seed":"7","temperature":"0"},"result":{"protocol":"wai.quantum.landscape/1","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 is this run's operation count priced at rates measured on an FPGA, with a published figure for one integer add beside it for scale. No photonic hardware, custom chip or quantum effect is involved in this run.","member":{"id":"cpu:reference","class":"cpu","kernel":"wai.quantum.landscape/sample","parity":"reference"},"program_digest":"ae2434789154ca16cfcf9c4296ca323463a0214c75aa18e631b19ad0bd0a7044","title":"Twelve talks, two rooms","about":"Twelve talks go into room A or room B, or are left out. Talks that share an audience must not be in the same room. Talks in a series belong in the same room. Every talk that runs takes a slot, so a talk with little reason to run stays out.","item":"talk","expect":"works","variables":12,"pairs":21,"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":"++++------00","groups":[{"name":"room A","items":[0,1,2,3]},{"name":"room B","items":[4,5,6,7,8,9]},{"name":"left out","items":[10,11]}],"energy":-10,"truth":{"arrangements":531441,"lowest":-10.0,"at_lowest":2,"at_lowest_passing":null,"example":"++++------00"},"reached":true,"declared":null,"warnings":[],"checks":[],"verdict":"solved","summary":"It reached energy -10. That is the lowest possible: all 531,441 arrangements were checked, and 2 of them share it.","work":{"sweeps":320,"accumulates":13440,"cell_updates":3840,"draws":0,"ended":"every sweep run","rests":true},"joules":{"kind":"priced","class":"ModelBased","describes":"the work on one FPGA board, not the machine that ran this job","line":"Priced, not read from a meter: 13,440 accumulates × about 0.16 pJ = about 2.2 nJ.","rate_pj_per_accumulate":0.16,"rate_source":"Deterministic rate: measured on one FPGA board, on a dense 64-cell test design at 100 MHz, as the slope of power against clock speed. A second method on the same board agrees. No other board has repeated it.","pj":2150.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":403.2,"line":"For scale: a published 2014 figure for one 8-bit integer add, about 0.03 pJ, puts this count at about 400 pJ. It is a reference point, not a model of any processor."},"left_out":{"board_watts":3.1,"board_hz":100000000.0,"clocks_at_least":320,"pj":9920000.0,"line":"Small jobs price low. These rates count only the work: that board also draws about 3.1 W at every clock. This run's 320 sweeps need at least 320 clocks, which is about 9.9 µJ of board power that the line above leaves out."},"metered":null},"state_hash":"f87d03cd44d4a94f","replay":"5c8d9f5d7b92471b8d67fa348cb4d6d470bb69e559eabf0f5c503e23b1a8f69f","engine":{"name":"wai-quantum","version":"0.9.0"},"schema":"wai.quantum.landscape/1","receipt":{"alg":"ed25519","canon":"rfc8785","key":"197f6b23e16c8532c6abc838facd5ea789be0c76b2920334039bfa8b3d368d61","digest":"6353a7e0b4d09daa06f03ade44485787991605625d56a2dfbfce24a827581a1e","signature":"506d7881de57006fed6535cca1fe40e5218f456e49c8f89fa0f87dec26823a3752381c12b48491ddb3f214e7d869d04cd645d301853334c083ac64be98658602"}}}