files / problems / hilbert16-degree-8 / compute / q7 / certs / odd_skel5.json

1.5 KB · on GitHub

{
  "what": "All compatible collections of five odd Harnack splits, evaluated in C and independently decoded in Python.",
  "odd_splits": 189,
  "size": 5,
  "evals": 37632123,
  "expected": 37632123,
  "distinct_schemes": 12,
  "schemes": [
    "<10 u 1<11>>",
    "<13 u 1<1> u 1<6>>",
    "<13 u 1<6 u 1<1>>>",
    "<14 u 1<7>>",
    "<17 u 1<2 u 1<1>>>",
    "<18 u 1<3>>",
    "<5 u 1<1> u 1<14>>",
    "<5 u 1<2> u 1<13>>",
    "<6 u 1<15>>",
    "<9 u 1<10 u 1<1>>>",
    "<9 u 1<1> u 1<10>>",
    "<9 u 1<2> u 1<9>>"
  ],
  "hits_on_open_nests": [],
  "novel_vs_census_and_prior_17": [],
  "regular_certificates_written": 0,
  "unregularized_novel_collections": [],
  "complete": true,
  "intervals_cover_all_first_indices": true,
  "cpu_seconds_sum": 2115.041,
  "shards": [
    {
      "file": "odd5c_0-11.jsonl",
      "kind": "summary",
      "lo": 0,
      "hi": 11,
      "evals": 12700937,
      "expected": 12700937,
      "distinct": 12,
      "bad": 0,
      "complete": true,
      "seconds": 714.282
    },
    {
      "file": "odd5c_11-32.jsonl",
      "kind": "summary",
      "lo": 11,
      "hi": 32,
      "evals": 12394262,
      "expected": 12394262,
      "distinct": 12,
      "bad": 0,
      "complete": true,
      "seconds": 687.025
    },
    {
      "file": "odd5c_32-189.jsonl",
      "kind": "summary",
      "lo": 32,
      "hi": 189,
      "evals": 12536924,
      "expected": 12536924,
      "distinct": 8,
      "bad": 0,
      "complete": true,
      "seconds": 713.734
    }
  ]
}