files / problems / hilbert16-degree-8 / compute / q10 / certs / summary.json

1.7 KB · on GitHub

{
 "baseline": 2394,
 "bound": 2407,
 "candidate_schemes": [
  "<1 u 1<1> u 1<2> u 1<10>>",
  "<1 u 1<1> u 1<3> u 1<9>>",
  "<1 u 1<1> u 1<4> u 1<9>>",
  "<1 u 2<1> u 1<10>>",
  "<1<1> u 1<2> u 1<9>>",
  "<2 u 1<1> u 1<2> u 1<10>>",
  "<2 u 1<1> u 1<4> u 1<9>>",
  "<2 u 1<1> u 1<5> u 1<9>>",
  "<2 u 2<1> u 1<10>>",
  "<3 u 1<1> u 1<2> u 1<10>>",
  "<3 u 1<1> u 1<4> u 1<9>>",
  "<3 u 2<1> u 1<10>>",
  "<4 u 2<1> u 1<10>>"
 ],
 "followup": {
  "candidate_schemes": [
   "<1 u 1<1> u 1<2> u 1<10>>",
   "<1 u 1<1> u 1<4> u 1<9>>",
   "<1<1> u 1<2> u 1<9>>",
   "<2 u 1<1> u 1<2> u 1<10>>",
   "<2 u 1<1> u 1<5> u 1<9>>",
   "<3 u 1<1> u 1<2> u 1<10>>",
   "<4 u 2<1> u 1<10>>"
  ],
  "complete": true,
  "evaluations": 2573194,
  "n_schemes": 717,
  "n_tasks": 169,
  "planned": 169,
  "shards": [
   "work/followup0.json",
   "work/followup1.json"
  ]
 },
 "leftover": {
  "candidate_schemes": [
   "<1 u 1<1> u 1<3> u 1<9>>",
   "<1 u 2<1> u 1<10>>",
   "<2 u 1<1> u 1<4> u 1<9>>",
   "<2 u 2<1> u 1<10>>",
   "<3 u 1<1> u 1<4> u 1<9>>",
   "<3 u 2<1> u 1<10>>"
  ],
  "complete": true,
  "evaluations": 1613956,
  "extra_ids": [],
  "missing_ids": [],
  "n_schemes": 650,
  "n_tasks": 106,
  "planned": 106,
  "shards": [
   "work/shard0.json",
   "work/shard1.json"
  ]
 },
 "n_new": 13,
 "q9_claim": "../q9/CLAIM.md",
 "schemes": [
  "<1 u 2<1> u 1<10>>",
  "<2 u 2<1> u 1<10>>",
  "<3 u 2<1> u 1<10>>",
  "<1 u 1<1> u 1<3> u 1<9>>",
  "<2 u 1<1> u 1<4> u 1<9>>",
  "<3 u 1<1> u 1<4> u 1<9>>",
  "<1 u 1<1> u 1<2> u 1<10>>",
  "<1<1> u 1<2> u 1<9>>",
  "<2 u 1<1> u 1<2> u 1<10>>",
  "<3 u 1<1> u 1<2> u 1<10>>",
  "<4 u 2<1> u 1<10>>",
  "<1 u 1<1> u 1<4> u 1<9>>",
  "<2 u 1<1> u 1<5> u 1<9>>"
 ]
}