{
  "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",
    "protocol": "wai.quantum.landscape/2"
  },
  "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": "sample",
    "mode_words": "Sampling (above temperature 0): 8 random starts of 40 sweeps each, cooling from temperature 1.871 to 0. That temperature is the default: the square root of the mean couplings a variable has, and at least 1. The lowest energy found is kept. The randomness is classical, from a seeded generator.",
    "temperature": 1.8708286933869707,
    "temperature_from": "landscape",
    "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": 3744,
      "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.41 pJ = about 5.5 nJ.",
      "rate_pj_per_accumulate": 0.41,
      "rate_source": "Sampling rate: measured on one FPGA board, as the deterministic rate plus about 0.25 pJ for the sampler, from paired readings at one temperature, 0.25. That design updates all its cells at once, and this run updates them one by one.",
      "pj": 5510.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, and it has no term for sampling."
      },
      "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": "e92f3f68dd4df5290ac3fbd9dcbb5234d71e106355538a55059fdd55efaf03a6",
    "engine": {
      "name": "wai-quantum",
      "version": "0.9.0"
    },
    "schema": "wai.quantum.landscape/1",
    "receipt": {
      "alg": "ed25519",
      "canon": "rfc8785",
      "key": "197f6b23e16c8532c6abc838facd5ea789be0c76b2920334039bfa8b3d368d61",
      "digest": "0a0e02edc699f1bc48e444aadf3a49916371e4d81718f73d83904c953719fcd4",
      "signature": "c479a7312d04c17aeff6a733523b48b86138533774ab5cf863d76869d3b568f98f0f8fb99ee6f4b4583c245b0ed2894fa4c0df6c2a263b6c7af1c151ce09230c"
    }
  }
}