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

2.8 KB · on GitHub

{
  "kind": "summary",
  "tried": 3000,
  "drawn": 2233,
  "kept": 5,
  "maxrank": 16,
  "evals": 10645504,
  "distinct": 120,
  "new": 0,
  "complete": false,
  "schemes": [
    "<10 u 1<10>>",
    "<10 u 1<11>>",
    "<10 u 1<1> u 1<2> u 1<3>>",
    "<10 u 1<1> u 1<5>>",
    "<10 u 1<1> u 1<6>>",
    "<10 u 1<1> u 2<3>>",
    "<10 u 1<3> u 1<4>>",
    "<10 u 1<6>>",
    "<10 u 1<7>>",
    "<10 u 1<8>>",
    "<10 u 1<9>>",
    "<10 u 2<1> u 1<4>>",
    "<10 u 2<1> u 1<5>>",
    "<10 u 2<3>>",
    "<11 u 1<1> u 1<2> u 1<3>>",
    "<11 u 1<1> u 1<4>>",
    "<11 u 1<1> u 1<5>>",
    "<11 u 1<1> u 1<6>>",
    "<11 u 1<1> u 2<3>>",
    "<11 u 1<2> u 1<4>>",
    "<11 u 1<3> u 1<4>>",
    "<11 u 1<3>>",
    "<11 u 1<7>>",
    "<11 u 1<8>>",
    "<11 u 2<1> u 1<3>>",
    "<11 u 2<1> u 1<4>>",
    "<11 u 2<1> u 1<5>>",
    "<11 u 2<3>>",
    "<12 u 1<1> u 1<2> u 1<3>>",
    "<12 u 1<1> u 1<4>>",
    "<12 u 1<1> u 1<5>>",
    "<12 u 1<1> u 1<6>>",
    "<12 u 1<1> u 2<2>>",
    "<12 u 1<1> u 2<3>>",
    "<12 u 1<2> u 1<3>>",
    "<12 u 1<2> u 1<4>>",
    "<12 u 1<2>>",
    "<12 u 1<3> u 1<4>>",
    "<12 u 1<7>>",
    "<12 u 2<1> u 1<2>>",
    "<12 u 2<1> u 1<4>>",
    "<12 u 2<1> u 1<5>>",
    "<12 u 2<3>>",
    "<13 u 1<1> u 1<2>>",
    "<13 u 1<1> u 1<3>>",
    "<13 u 1<1> u 1<4>>",
    "<13 u 1<1> u 1<5>>",
    "<13 u 1<1> u 1<6>>",
    "<13 u 1<1>>",
    "<13 u 1<2> u 1<3>>",
    "<13 u 1<2> u 1<4>>",
    "<13 u 1<3> u 1<4>>",
    "<13 u 2<1>>",
    "<13 u 2<2>>",
    "<13 u 2<3>>",
    "<13 u 3<1>>",
    "<14 u 1<1> u 1<2>>",
    "<14 u 1<1> u 1<3>>",
    "<14 u 1<1>>",
    "<14 u 1<2>>",
    "<14 u 1<3>>",
    "<14 u 1<4>>",
    "<14 u 1<5>>",
    "<14 u 2<1>>",
    "<14 u 3<1>>",
    "<15 u 1<1> u 1<2>>",
    "<15 u 1<1>>",
    "<15 u 1<2>>",
    "<15 u 1<3>>",
    "<15 u 1<4>>",
    "<15 u 2<1>>",
    "<15 u 3<1>>",
    "<16 u 1<1> u 1<2>>",
    "<16 u 1<2>>",
    "<16 u 1<3>>",
    "<16 u 2<1>>",
    "<16 u 3<1>>",
    "<17 u 1<1> u 1<2>>",
    "<17 u 1<2>>",
    "<17 u 1<3>>",
    "<18 u 1<3>>",
    "<2 u 1<13 u 1<1>>>",
    "<2 u 1<15>>",
    "<3 u 1<14>>",
    "<4 u 1<8 u 1<1>>>",
    "<4 u 1<9 u 1<3>>>",
    "<5 u 1<9 u 1<1>>>",
    "<5 u 1<9>>",
    "<6 u 1<10 u 1<1>>>",
    "<6 u 1<10>>",
    "<6 u 1<11 u 1<1>>>",
    "<6 u 1<11>>",
    "<6 u 1<9 u 1<1>>>",
    "<7 u 1<10 u 1<1>>>",
    "<7 u 1<10>>",
    "<7 u 1<11>>",
    "<7 u 1<12>>",
    "<7 u 1<8>>",
    "<7 u 1<9 u 1<1>>>",
    "<7 u 1<9>>",
    "<8 u 1<10 u 1<1>>>",
    "<8 u 1<10>>",
    "<8 u 1<11>>",
    "<8 u 1<8 u 1<1>>>",
    "<8 u 1<9 u 1<1>>>",
    "<9 u 1<10 u 1<1>>>",
    "<9 u 1<10>>",
    "<9 u 1<11>>",
    "<9 u 1<1> u 1<5>>",
    "<9 u 1<1> u 1<6>>",
    "<9 u 1<1> u 2<3>>",
    "<9 u 1<6 u 1<1>>>",
    "<9 u 1<7 u 1<1>>>",
    "<9 u 1<7>>",
    "<9 u 1<8 u 1<1>>>",
    "<9 u 1<8>>",
    "<9 u 1<9 u 1<1>>>",
    "<9 u 1<9>>",
    "<9 u 2<1> u 1<5>>",
    "<9 u 2<3>>"
  ],
  "novel": []
}