{
  "status": "PASS",
  "circuit_instances": 1200,
  "exact_circuit_point_evaluations": 65260,
  "isolation_families": 255,
  "isolation_weight_assignments": 55080,
  "isolation_max_failed_assignments": 51,
  "isolation_families_with_ties": 96,
  "arbitrary_integer_determinants": 600,
  "graph_instances": 1700,
  "weighted_extractions": 3900,
  "isolated_instances": 540,
  "returned_matchings": 541,
  "invalid_interfaces_rejected": 10,
  "examples": {
    "identity": {
      "status": "NOT_DETECTED",
      "degree_bound": 2,
      "trials": [
        {
          "point": [
            5,
            15
          ],
          "value": 0
        },
        {
          "point": [
            2,
            6
          ],
          "value": 0
        },
        {
          "point": [
            10,
            0
          ],
          "value": 0
        },
        {
          "point": [
            1,
            13
          ],
          "value": 0
        }
      ],
      "miss_bound": "1/4096"
    },
    "perturbed_identity": {
      "status": "NONZERO",
      "degree_bound": 2,
      "point": [
        5,
        15
      ],
      "gate_values": [
        5,
        15,
        3,
        9,
        8,
        7,
        2,
        14,
        4,
        5,
        9,
        0,
        12
      ],
      "trials": [
        {
          "point": [
            5,
            15
          ],
          "value": 12
        }
      ],
      "miss_bound": "1/4096"
    },
    "unique_K4": {
      "status": "MATCHING",
      "matching": [
        [
          0,
          1
        ],
        [
          2,
          3
        ]
      ],
      "candidate": [
        [
          0,
          1
        ],
        [
          2,
          3
        ]
      ],
      "determinant": 3717184,
      "valuation": 6,
      "minors": [
        {
          "edge": [
            0,
            1
          ],
          "weight": 1,
          "minor": 16,
          "valuation": 4,
          "selected": true
        },
        {
          "edge": [
            0,
            2
          ],
          "weight": 3,
          "minor": 256,
          "valuation": 8,
          "selected": false
        },
        {
          "edge": [
            0,
            3
          ],
          "weight": 5,
          "minor": 4096,
          "valuation": 12,
          "selected": false
        },
        {
          "edge": [
            1,
            2
          ],
          "weight": 6,
          "minor": 1024,
          "valuation": 10,
          "selected": false
        },
        {
          "edge": [
            1,
            3
          ],
          "weight": 4,
          "minor": 64,
          "valuation": 6,
          "selected": false
        },
        {
          "edge": [
            2,
            3
          ],
          "weight": 2,
          "minor": 4,
          "valuation": 2,
          "selected": true
        }
      ],
      "max_bits": 22
    },
    "tied_K4": {
      "status": "RETRY",
      "matching": null,
      "candidate": [
        [
          0,
          1
        ],
        [
          0,
          2
        ],
        [
          0,
          3
        ],
        [
          1,
          2
        ],
        [
          1,
          3
        ],
        [
          2,
          3
        ]
      ],
      "determinant": 16,
      "valuation": 4,
      "minors": [
        {
          "edge": [
            0,
            1
          ],
          "weight": 1,
          "minor": 4,
          "valuation": 2,
          "selected": true
        },
        {
          "edge": [
            0,
            2
          ],
          "weight": 1,
          "minor": 4,
          "valuation": 2,
          "selected": true
        },
        {
          "edge": [
            0,
            3
          ],
          "weight": 1,
          "minor": 4,
          "valuation": 2,
          "selected": true
        },
        {
          "edge": [
            1,
            2
          ],
          "weight": 1,
          "minor": 4,
          "valuation": 2,
          "selected": true
        },
        {
          "edge": [
            1,
            3
          ],
          "weight": 1,
          "minor": 4,
          "valuation": 2,
          "selected": true
        },
        {
          "edge": [
            2,
            3
          ],
          "weight": 1,
          "minor": 4,
          "valuation": 2,
          "selected": true
        }
      ],
      "max_bits": 5
    },
    "cancelling_K22": {
      "status": "RETRY",
      "determinant": 0,
      "valuation": null,
      "minors": [],
      "max_bits": 3
    },
    "F4_values_of_X2_minus_X": [
      0,
      0,
      1,
      1
    ],
    "bounded_search": {
      "status": "MATCHING",
      "matching": [
        [
          0,
          3
        ],
        [
          1,
          2
        ]
      ],
      "attempts": 1,
      "history": [
        {
          "weights": [
            8,
            9,
            8,
            8,
            9,
            10
          ],
          "status": "MATCHING"
        }
      ]
    }
  },
  "probability_scope": "Exact exhaustive finite spaces verify examples; general guarantees are proved in the pages. Fixed PRNG seeds are replayability only."
}