{"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","seeds":4},"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"},"seeds":4,"lines":"1 10a643213b42775b ----++++++00 -10 solved 13440 6c40700b29e6193a\n2 b943d0f8c8353329 ++++------00 -10 solved 13440 c7622819df7be477\n3 ae3a100d5566b39a ----++++++00 -10 solved 13440 1bbb9b13a23613fa\n4 073b51d006f340ae ----++++++00 -10 solved 13440 d203ae5148e4fe55\n","engine":{"name":"wai-quantum","version":"0.9.0"},"schema":"wai.quantum.landscape/1","receipt":{"alg":"ed25519","canon":"rfc8785","key":"197f6b23e16c8532c6abc838facd5ea789be0c76b2920334039bfa8b3d368d61","digest":"3d4af07362e2e0bd5d90c2092e9e28f240c60acaa097292782d9e04f709564c0","signature":"b87f3a3d48cd08e2e9f5d4cdf93086a165c5b255d0ef1c00d74ef71a1febdb55e847e506b219961598801c0179f386f2e659cd01f547c9ee130cab0d02f2740a"}}}