{
  "integer_checks": {
    "all_verified": true,
    "streams": [
      {
        "file": "k10_h5.jsonl",
        "verified": true,
        "certificates": 90,
        "types": {
          "inconsistent": 90
        },
        "completed_cases": 1889,
        "footer": {
          "cases": 1889,
          "nodes": 7026451,
          "leaves": 90,
          "coeff": 0,
          "endpoint_pass": 90,
          "inconsistent": 90,
          "boundsbad": 0,
          "rankbad": 0,
          "equal": 0,
          "found": 0
        }
      },
      {
        "file": "k10_h6.jsonl",
        "verified": true,
        "certificates": 0,
        "types": {},
        "completed_cases": 648,
        "footer": {
          "cases": 648,
          "nodes": 20831736,
          "leaves": 0,
          "coeff": 0,
          "endpoint_pass": 0,
          "inconsistent": 0,
          "boundsbad": 0,
          "rankbad": 0,
          "equal": 0,
          "found": 0
        }
      },
      {
        "file": "k11_h5.jsonl",
        "verified": true,
        "certificates": 18231,
        "types": {
          "inconsistent": 18204,
          "coefficient_bounds": 27
        },
        "completed_cases": 3035,
        "footer": {
          "cases": 3035,
          "nodes": 185679089,
          "leaves": 18231,
          "coeff": 0,
          "endpoint_pass": 18231,
          "inconsistent": 18204,
          "boundsbad": 27,
          "rankbad": 0,
          "equal": 0,
          "found": 0
        }
      },
      {
        "file": "k11_h6_0.jsonl",
        "verified": true,
        "certificates": 35742,
        "types": {
          "inconsistent": 35742
        },
        "completed_cases": 759,
        "footer": {
          "cases": 759,
          "nodes": 2774113042,
          "leaves": 35742,
          "coeff": 0,
          "endpoint_pass": 35742,
          "inconsistent": 35742,
          "boundsbad": 0,
          "rankbad": 0,
          "equal": 0,
          "found": 0
        }
      },
      {
        "file": "k11_h6_1.jsonl",
        "verified": true,
        "certificates": 17334,
        "types": {
          "inconsistent": 17334
        },
        "completed_cases": 759,
        "footer": {
          "cases": 759,
          "nodes": 2542600889,
          "leaves": 17334,
          "coeff": 0,
          "endpoint_pass": 17334,
          "inconsistent": 17334,
          "boundsbad": 0,
          "rankbad": 0,
          "equal": 0,
          "found": 0
        }
      },
      {
        "file": "k11_h6_2.jsonl",
        "verified": true,
        "certificates": 14624,
        "types": {
          "inconsistent": 14618,
          "coefficient_bounds": 6
        },
        "completed_cases": 759,
        "footer": {
          "cases": 759,
          "nodes": 2193569594,
          "leaves": 14624,
          "coeff": 0,
          "endpoint_pass": 14624,
          "inconsistent": 14618,
          "boundsbad": 6,
          "rankbad": 0,
          "equal": 0,
          "found": 0
        }
      },
      {
        "file": "k11_h6_3.jsonl",
        "verified": true,
        "certificates": 25681,
        "types": {
          "inconsistent": 25669,
          "coefficient_bounds": 12
        },
        "completed_cases": 758,
        "footer": {
          "cases": 758,
          "nodes": 2348812898,
          "leaves": 25681,
          "coeff": 0,
          "endpoint_pass": 25681,
          "inconsistent": 25669,
          "boundsbad": 12,
          "rankbad": 0,
          "equal": 0,
          "found": 0
        }
      },
      {
        "file": "k11_h7.jsonl",
        "verified": true,
        "certificates": 1554,
        "types": {
          "inconsistent": 1482,
          "rank_deficient": 72
        },
        "completed_cases": 332,
        "footer": {
          "cases": 332,
          "nodes": 182247427,
          "leaves": 1554,
          "coeff": 0,
          "endpoint_pass": 1554,
          "inconsistent": 1482,
          "boundsbad": 0,
          "rankbad": 72,
          "equal": 0,
          "found": 0
        }
      },
      {
        "file": "k8_h5.jsonl",
        "verified": true,
        "certificates": 0,
        "types": {},
        "completed_cases": 88,
        "footer": {
          "cases": 88,
          "nodes": 0,
          "leaves": 0,
          "coeff": 0,
          "endpoint_pass": 0,
          "inconsistent": 0,
          "boundsbad": 0,
          "rankbad": 0,
          "equal": 0,
          "found": 0
        }
      },
      {
        "file": "k9_h5.jsonl",
        "verified": true,
        "certificates": 0,
        "types": {},
        "completed_cases": 692,
        "footer": {
          "cases": 692,
          "nodes": 117623,
          "leaves": 0,
          "coeff": 0,
          "endpoint_pass": 0,
          "inconsistent": 0,
          "boundsbad": 0,
          "rankbad": 0,
          "equal": 0,
          "found": 0
        }
      }
    ]
  },
  "coverage_checks": {
    "all_coverage_verified": true,
    "parameters": [
      {
        "k": 8,
        "h": 5,
        "root_cases": 88,
        "independent_row_generation": true,
        "search_coverage_complete": true,
        "totals": {
          "cases": 88,
          "nodes": 0,
          "leaves": 0,
          "coeff": 0,
          "endpoint_pass": 0,
          "inconsistent": 0,
          "boundsbad": 0,
          "rankbad": 0,
          "equal": 0,
          "found": 0
        }
      },
      {
        "k": 9,
        "h": 5,
        "root_cases": 692,
        "independent_row_generation": true,
        "search_coverage_complete": true,
        "totals": {
          "cases": 692,
          "nodes": 117623,
          "leaves": 0,
          "coeff": 0,
          "endpoint_pass": 0,
          "inconsistent": 0,
          "boundsbad": 0,
          "rankbad": 0,
          "equal": 0,
          "found": 0
        }
      },
      {
        "k": 10,
        "h": 5,
        "root_cases": 1889,
        "independent_row_generation": true,
        "search_coverage_complete": true,
        "totals": {
          "cases": 1889,
          "nodes": 7026451,
          "leaves": 90,
          "coeff": 0,
          "endpoint_pass": 90,
          "inconsistent": 90,
          "boundsbad": 0,
          "rankbad": 0,
          "equal": 0,
          "found": 0
        }
      },
      {
        "k": 10,
        "h": 6,
        "root_cases": 648,
        "independent_row_generation": true,
        "search_coverage_complete": true,
        "totals": {
          "cases": 648,
          "nodes": 20831736,
          "leaves": 0,
          "coeff": 0,
          "endpoint_pass": 0,
          "inconsistent": 0,
          "boundsbad": 0,
          "rankbad": 0,
          "equal": 0,
          "found": 0
        }
      },
      {
        "k": 11,
        "h": 5,
        "root_cases": 3035,
        "independent_row_generation": true,
        "search_coverage_complete": true,
        "totals": {
          "cases": 3035,
          "nodes": 185679089,
          "leaves": 18231,
          "coeff": 0,
          "endpoint_pass": 18231,
          "inconsistent": 18204,
          "boundsbad": 27,
          "rankbad": 0,
          "equal": 0,
          "found": 0
        }
      },
      {
        "k": 11,
        "h": 6,
        "root_cases": 3035,
        "independent_row_generation": true,
        "search_coverage_complete": true,
        "totals": {
          "cases": 3035,
          "nodes": 9859096423,
          "leaves": 93381,
          "coeff": 0,
          "endpoint_pass": 93381,
          "inconsistent": 93363,
          "boundsbad": 18,
          "rankbad": 0,
          "equal": 0,
          "found": 0
        }
      },
      {
        "k": 11,
        "h": 7,
        "root_cases": 332,
        "independent_row_generation": true,
        "search_coverage_complete": true,
        "totals": {
          "cases": 332,
          "nodes": 182247427,
          "leaves": 1554,
          "coeff": 0,
          "endpoint_pass": 1554,
          "inconsistent": 1482,
          "boundsbad": 0,
          "rankbad": 72,
          "equal": 0,
          "found": 0
        }
      }
    ]
  },
  "example_checks": {
    "all_examples_verified": true,
    "instances": [
      {
        "copies": 1,
        "verified": true,
        "patterns": 6,
        "rank": 6,
        "items": 18,
        "matching_constructed": 5,
        "remainder_zero_matching": 1,
        "zero_matching": {
          "size": 4,
          "edges": [
            [
              1,
              14,
              15
            ],
            [
              3,
              11,
              12
            ],
            [
              4,
              6,
              10
            ],
            [
              5,
              7,
              8
            ]
          ],
          "available_edges": 24
        },
        "nonpositive_matching": {
          "size": 5,
          "edges": [
            [
              1,
              11,
              14
            ],
            [
              2,
              7,
              15
            ],
            [
              3,
              12,
              13
            ],
            [
              4,
              6,
              10
            ],
            [
              5,
              8,
              9
            ]
          ],
          "available_edges": 416
        }
      },
      {
        "copies": 2,
        "verified": true,
        "patterns": 12,
        "rank": 12,
        "items": 36,
        "matching_constructed": 11,
        "remainder_zero_matching": 2
      },
      {
        "copies": 3,
        "verified": true,
        "patterns": 18,
        "rank": 18,
        "items": 54,
        "matching_constructed": 17,
        "remainder_zero_matching": 3
      }
    ]
  },
  "low_dimension_checks": {
    "cases": [
      {
        "types": 5,
        "columns": 4,
        "labelled_column_sets": 895,
        "row_column_classes": 14,
        "counts": {
          "forced_equal_values": 11,
          "distinct_values_possible": 3,
          "strict_integer_remainders": 1
        },
        "decompositions": [
          {
            "columns": [
              [
                0,
                0,
                1
              ],
              [
                1,
                2,
                4
              ],
              [
                2,
                3,
                3
              ],
              [
                4,
                4,
                4
              ]
            ],
            "residual": [
              1,
              1,
              1,
              1,
              2
            ],
            "coefficients": [
              "1/2",
              "1/2",
              "1/2",
              "1/2"
            ],
            "zero_sum_partition": [
              [
                1,
                0,
                0,
                1,
                1
              ],
              [
                0,
                1,
                1,
                0,
                1
              ]
            ]
          }
        ]
      },
      {
        "types": 6,
        "columns": 4,
        "labelled_column_sets": 240,
        "row_column_classes": 3,
        "counts": {
          "forced_equal_values": 2,
          "distinct_values_possible": 1,
          "strict_integer_remainders": 1
        },
        "decompositions": [
          {
            "columns": [
              [
                0,
                0,
                1
              ],
              [
                1,
                2,
                3
              ],
              [
                2,
                4,
                4
              ],
              [
                3,
                5,
                5
              ]
            ],
            "residual": [
              1,
              1,
              1,
              1,
              1,
              1
            ],
            "coefficients": [
              "1/2",
              "1/2",
              "1/2",
              "1/2"
            ],
            "zero_sum_partition": [
              [
                1,
                0,
                0,
                0,
                1,
                1
              ],
              [
                0,
                1,
                1,
                1,
                0,
                0
              ]
            ]
          }
        ]
      },
      {
        "types": 6,
        "columns": 5,
        "labelled_column_sets": 32616,
        "row_column_classes": 70,
        "counts": {
          "forced_equal_values": 55,
          "distinct_values_possible": 14,
          "rank_deficient": 1
        },
        "decompositions": []
      }
    ]
  }
}