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

1.3 KB · on GitHub

{
 "baseline": 2407,
 "bound": 2415,
 "candidate_schemes": [
  "<1 u 1<1> u 1<3> u 1<10>>",
  "<1 u 1<1> u 1<4> u 1<10>>",
  "<1 u 1<1> u 1<5> u 1<9>>",
  "<1<1> u 1<2> u 1<10>>",
  "<1<1> u 1<3> u 1<10>>",
  "<1<1> u 1<3> u 1<9>>",
  "<1<1> u 1<4> u 1<9>>",
  "<2 u 1<1> u 1<3> u 1<10>>"
 ],
 "followup": {
  "candidate_schemes": [
   "<1 u 1<1> u 1<4> u 1<10>>",
   "<1<1> u 1<3> u 1<10>>",
   "<1<1> u 1<4> u 1<9>>"
  ],
  "complete": true,
  "evaluations": 2283900,
  "n_schemes": 728,
  "n_tasks": 150,
  "planned": 150,
  "shards": [
   "work/followup0.json",
   "work/followup1.json"
  ]
 },
 "leftover": {
  "candidate_schemes": [
   "<1 u 1<1> u 1<3> u 1<10>>",
   "<1 u 1<1> u 1<5> u 1<9>>",
   "<1<1> u 1<2> u 1<10>>",
   "<1<1> u 1<3> u 1<9>>",
   "<2 u 1<1> u 1<3> u 1<10>>"
  ],
  "complete": true,
  "evaluations": 3121330,
  "extra_ids": [],
  "missing_ids": [],
  "n_schemes": 793,
  "n_tasks": 205,
  "planned": 205,
  "shards": [
   "work/shard0.json",
   "work/shard1.json"
  ]
 },
 "n_new": 8,
 "q10_claim": "../q10/CLAIM.md",
 "schemes": [
  "<1 u 1<1> u 1<3> u 1<10>>",
  "<2 u 1<1> u 1<3> u 1<10>>",
  "<1<1> u 1<3> u 1<9>>",
  "<1<1> u 1<2> u 1<10>>",
  "<1 u 1<1> u 1<5> u 1<9>>",
  "<1 u 1<1> u 1<4> u 1<10>>",
  "<1<1> u 1<4> u 1<9>>",
  "<1<1> u 1<3> u 1<10>>"
 ]
}