files / problems / hilbert16-degree-8 / compute / found_schemes.json

709 B · on GitHub

{
 "workers": 8,
 "total_evals": 2112073,
 "total_triangulations": 595,
 "distinct_schemes_seen": 902,
 "verified_exactly": 902,
 "broken_witnesses": [],
 "schemes_by_oval_count": {
  "1": 1,
  "2": 2,
  "3": 4,
  "4": 8,
  "5": 13,
  "6": 21,
  "7": 30,
  "8": 41,
  "9": 54,
  "10": 66,
  "11": 76,
  "12": 90,
  "13": 85,
  "14": 90,
  "15": 86,
  "16": 75,
  "17": 58,
  "18": 47,
  "19": 30,
  "20": 19,
  "21": 4,
  "22": 2
 },
 "in_census": 902,
 "NEW_not_in_census": [],
 "m_schemes_found": [
  "<17 u 1<1> u 1<2>>",
  "<18 u 1<3>>"
 ],
 "m_hits_known_T": 2,
 "m_hits_SIX_OPEN": [],
 "m_hits_undecided_T": [],
 "m_hits_impossible_T_BUG_IF_NONEMPTY": [],
 "m_not_in_orevkov_table_BUG_IF_NONEMPTY": []
}