{ "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\n", "engine": { "name": "wai-quantum", "version": "0.9.0" }, "schema": "wai.quantum.landscape/1", "receipt": { "alg": "ed25519", "canon": "rfc8785", "key": "197f6b23e16c8532c6abc838facd5ea789be0c76b2920334039bfa8b3d368d61", "digest": "9713f538de9a4a753d3b2e175d0d3a51851cbff04783bc33648559905e088d5b", "signature": "bd5905ecd831593c57537f691ebeeabc1cbe048b0bbfa26ad69480d5ccaf74831dc11657f8ef33070726230fd309192470ec47a791e5a14e0c17fa6d21a8d807" } } }