{
  "checks": [
    {
      "case": "all_four_vertex_graphs_0",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_1",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_2",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_3",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_4",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_5",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_6",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_7",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_8",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_9",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_10",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_11",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_12",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_13",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_14",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_15",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_16",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_17",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_18",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_19",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_20",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_21",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_22",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_23",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_24",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_25",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_26",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_27",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_28",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_29",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_30",
      "passed": true,
      "independently_enumerated_count": 2
    },
    {
      "case": "all_four_vertex_graphs_31",
      "passed": true,
      "independently_enumerated_count": 2
    },
    {
      "case": "all_four_vertex_graphs_32",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_33",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_34",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_35",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_36",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_37",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_38",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_39",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_40",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_41",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_42",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_43",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_44",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_45",
      "passed": true,
      "independently_enumerated_count": 2
    },
    {
      "case": "all_four_vertex_graphs_46",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_47",
      "passed": true,
      "independently_enumerated_count": 2
    },
    {
      "case": "all_four_vertex_graphs_48",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_49",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_50",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_51",
      "passed": true,
      "independently_enumerated_count": 2
    },
    {
      "case": "all_four_vertex_graphs_52",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_53",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_54",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_55",
      "passed": true,
      "independently_enumerated_count": 2
    },
    {
      "case": "all_four_vertex_graphs_56",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "all_four_vertex_graphs_57",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_58",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_59",
      "passed": true,
      "independently_enumerated_count": 2
    },
    {
      "case": "all_four_vertex_graphs_60",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "all_four_vertex_graphs_61",
      "passed": true,
      "independently_enumerated_count": 2
    },
    {
      "case": "all_four_vertex_graphs_62",
      "passed": true,
      "independently_enumerated_count": 2
    },
    {
      "case": "all_four_vertex_graphs_63",
      "passed": true,
      "independently_enumerated_count": 3
    },
    {
      "case": "six_vertex_seeded_graph_0",
      "passed": true,
      "independently_enumerated_count": 2
    },
    {
      "case": "six_vertex_seeded_graph_1",
      "passed": true,
      "independently_enumerated_count": 4
    },
    {
      "case": "six_vertex_seeded_graph_2",
      "passed": true,
      "independently_enumerated_count": 3
    },
    {
      "case": "six_vertex_seeded_graph_3",
      "passed": true,
      "independently_enumerated_count": 4
    },
    {
      "case": "six_vertex_seeded_graph_4",
      "passed": true,
      "independently_enumerated_count": 4
    },
    {
      "case": "six_vertex_seeded_graph_5",
      "passed": true,
      "independently_enumerated_count": 4
    },
    {
      "case": "six_vertex_seeded_graph_6",
      "passed": true,
      "independently_enumerated_count": 10
    },
    {
      "case": "six_vertex_seeded_graph_7",
      "passed": true,
      "independently_enumerated_count": 4
    },
    {
      "case": "six_vertex_seeded_graph_8",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "six_vertex_seeded_graph_9",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "six_vertex_seeded_graph_10",
      "passed": true,
      "independently_enumerated_count": 4
    },
    {
      "case": "six_vertex_seeded_graph_11",
      "passed": true,
      "independently_enumerated_count": 4
    },
    {
      "case": "six_vertex_seeded_graph_12",
      "passed": true,
      "independently_enumerated_count": 2
    },
    {
      "case": "six_vertex_seeded_graph_13",
      "passed": true,
      "independently_enumerated_count": 3
    },
    {
      "case": "six_vertex_seeded_graph_14",
      "passed": true,
      "independently_enumerated_count": 3
    },
    {
      "case": "six_vertex_seeded_graph_15",
      "passed": true,
      "independently_enumerated_count": 4
    },
    {
      "case": "empty_graph_has_one_empty_matching",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "odd_order_has_no_perfect_matching",
      "passed": true,
      "independently_enumerated_count": 0
    },
    {
      "case": "two_triangles_have_forced_bridge",
      "passed": true,
      "independently_enumerated_count": 1
    },
    {
      "case": "complete_graph_double_factorial_and_uniform_marginals",
      "passed": true
    },
    {
      "case": "work_exhaustion_unknown",
      "passed": true
    },
    {
      "case": "memo_exhaustion_unknown",
      "passed": true
    },
    {
      "case": "completed_zero_survives_partial_sensitivity",
      "passed": true
    },
    {
      "case": "weights_rejected",
      "passed": true
    },
    {
      "case": "vertex_cap_rejected",
      "passed": true
    },
    {
      "case": "duplicate_edges_rejected",
      "passed": true
    },
    {
      "case": "boolean_vertices_rejected",
      "passed": true
    },
    {
      "case": "out_of_range_rank_rejected",
      "passed": true
    },
    {
      "case": "boolean_rank_rejected",
      "passed": true
    }
  ],
  "passed": 93,
  "total": 93,
  "independent_edge_subset_enumeration": true,
  "formal_program_verification": "not_run"
}