files / problems / covering / compute / qm5_build_manifest.json

1.9 KB · on GitHub

{
  "cross_block_triple_decimal": [
    491,
    734,
    821
  ],
  "format": "covering-qm5-build-manifest-v1",
  "qm2_continuations": [
    {
      "construction": "QM_2^2",
      "from_redundancy": 28,
      "hypothesis": "26111 >= 2^7 >= 66",
      "improvement": 65536,
      "length": 3342335,
      "m": 7,
      "published_length_arxiv_2511_02542": 3407871,
      "redundancy": 42
    },
    {
      "construction": "QM_2^2",
      "from_redundancy": 28,
      "hypothesis": "26111 >= 2^8 >= 66",
      "improvement": 131072,
      "length": 6684671,
      "m": 8,
      "published_length_arxiv_2511_02542": 6815743,
      "redundancy": 44
    }
  ],
  "qm5_distinct_indicators": 33,
  "r18_star_block": 20,
  "records": [
    {
      "density_denominator": 262144,
      "density_numerator": 332521,
      "improvement": 16,
      "length": 815,
      "matrix": "compute/H_r18_n815_qm5_seed.txt",
      "partition": "compute/partition_r18_n815_qm5.txt",
      "partition_blocks": 33,
      "published_length_arxiv_2511_02542": 831,
      "rank": 18,
      "redundancy": 18,
      "warning": "certify matrix and partition with verify_radius2_matrix"
    },
    {
      "density_denominator": 268435456,
      "density_numerator": 340905217,
      "improvement": 512,
      "length": 26111,
      "matrix": "compute/H_r28_n26111.txt",
      "partition": "compute/partition_r28_n26111.txt",
      "partition_blocks": 66,
      "published_length_arxiv_2511_02542": 26623,
      "rank": 28,
      "redundancy": 28,
      "warning": "certify matrix and partition with verify_radius2_matrix"
    }
  ],
  "refined_seed_block_sizes": [
    1,
    1,
    1,
    5,
    1,
    3,
    2,
    1,
    7,
    8,
    1,
    7,
    2,
    1,
    1,
    8
  ],
  "seed": "compute/H_r10_n50.txt",
  "seed_partition": "result/data/partition_p10.json",
  "warning": "Matrix-only exhaustive verification is separate."
}