{
  "status": "PASS",
  "partition_state_transitions": 42000,
  "graph_instances": 4600,
  "chordal_instances": 2834,
  "nonchordal_instances": 1766,
  "verified_holes": 1766,
  "examples": {
    "six_vertex": {
      "chordal": true,
      "search": {
        "order": [
          0,
          1,
          2,
          4,
          3,
          5
        ],
        "trace": [
          {
            "pick": 0,
            "before": [
              [
                0,
                1,
                2,
                3,
                4,
                5
              ]
            ],
            "after": [
              [
                1,
                2,
                4
              ],
              [
                3,
                5
              ]
            ]
          },
          {
            "pick": 1,
            "before": [
              [
                1,
                2,
                4
              ],
              [
                3,
                5
              ]
            ],
            "after": [
              [
                2,
                4
              ],
              [
                3,
                5
              ]
            ]
          },
          {
            "pick": 2,
            "before": [
              [
                2,
                4
              ],
              [
                3,
                5
              ]
            ],
            "after": [
              [
                4
              ],
              [
                3
              ],
              [
                5
              ]
            ]
          },
          {
            "pick": 4,
            "before": [
              [
                4
              ],
              [
                3
              ],
              [
                5
              ]
            ],
            "after": [
              [
                3
              ],
              [
                5
              ]
            ]
          },
          {
            "pick": 3,
            "before": [
              [
                3
              ],
              [
                5
              ]
            ],
            "after": [
              [
                5
              ]
            ]
          },
          {
            "pick": 5,
            "before": [
              [
                5
              ]
            ],
            "after": []
          }
        ],
        "moved_elements": 7,
        "refinement_calls": 6
      },
      "peo": [
        5,
        3,
        4,
        2,
        1,
        0
      ],
      "violation": null,
      "color": [
        0,
        1,
        2,
        0,
        2,
        0
      ],
      "color_count": 3,
      "maximum_clique": [
        2,
        0,
        1
      ],
      "clique_tree": {
        "cliques": [
          [
            4,
            5
          ],
          [
            2,
            3
          ],
          [
            0,
            1,
            4
          ],
          [
            0,
            1,
            2
          ]
        ],
        "edges": [
          [
            0,
            2,
            1
          ],
          [
            2,
            3,
            2
          ],
          [
            3,
            1,
            1
          ]
        ],
        "weight": 4,
        "upper_bound": 4
      }
    },
    "chordless_square": {
      "chordal": false,
      "search": {
        "order": [
          0,
          1,
          3,
          2
        ],
        "trace": [
          {
            "pick": 0,
            "before": [
              [
                0,
                1,
                2,
                3
              ]
            ],
            "after": [
              [
                1,
                3
              ],
              [
                2
              ]
            ]
          },
          {
            "pick": 1,
            "before": [
              [
                1,
                3
              ],
              [
                2
              ]
            ],
            "after": [
              [
                3
              ],
              [
                2
              ]
            ]
          },
          {
            "pick": 3,
            "before": [
              [
                3
              ],
              [
                2
              ]
            ],
            "after": [
              [
                2
              ]
            ]
          },
          {
            "pick": 2,
            "before": [
              [
                2
              ]
            ],
            "after": []
          }
        ],
        "moved_elements": 4,
        "refinement_calls": 4
      },
      "peo": [
        2,
        3,
        1,
        0
      ],
      "violation": [
        2,
        3,
        1
      ],
      "hole": [
        0,
        1,
        2,
        3
      ]
    }
  },
  "scope": "Exact finite exhaustive oracles and deterministic replay. Core search linear on prepared adjacency; full trace, cubic clique-tree builder and optional slow hole extraction separately costed."
}