{ "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": 5 }, "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": "004d06a456098bee7191567d1018eaedb50db3a5c4e7211a365c767efe0921e4", "signature": "52c7b421ab7e73b72d07b2b73bdf1ff664fb6594e755cb0722e14077a7c1772bfbb9ec1f97837b760d54ff1271234349fec78df6d13f1ccfeea7600de65c3b05" } } }