files / problems / hilbert16-degree-8 / compute / q1 / certs / q1_summary.json

2.2 KB · on GitHub

{
 "search": "q1: leftover whole-stratum thicken (radius 1, rank <= 20), even-split walk on the (19,3) row, perturbations of the two published deep-nest triangulations, radius-4 balls around every 20-oval certificate, and targeted balls at the four hole-map targets",
 "thicken": {
  "triangulations_logged": 164,
  "triangulations_complete": 164,
  "ranks_completed": {
   "6": 1,
   "10": 5,
   "11": 7,
   "12": 12,
   "13": 23,
   "14": 19,
   "15": 11,
   "16": 29,
   "17": 13,
   "18": 16,
   "19": 13,
   "20": 15
  },
  "total_evaluations": 1438512000,
  "novel_on_thicken": []
 },
 "even_walk": {
  "summaries": [
   {
    "kind": "summary",
    "evals": 603735,
    "distinct": 5,
    "new": 0,
    "hits": 0,
    "best_score": 6.0,
    "best_scheme": "<17 u 1<2 u 1<1>>>",
    "mode": "family",
    "seed": 1,
    "rounds": 151
   },
   {
    "kind": "summary",
    "evals": 122,
    "distinct": 11,
    "hits": 0,
    "pn193": 21,
    "seconds": 0.6,
    "seeds": 5
   },
   {
    "kind": "summary",
    "evals": 368936,
    "distinct": 12,
    "hits": 0,
    "pn193": 204810,
    "maxsize": 3,
    "seconds": 1096.6
   },
   {
    "kind": "summary",
    "evals": 200000,
    "distinct": 5,
    "new": 0,
    "hits": 0,
    "best_score": 6.0,
    "best_scheme": "<17 u 1<2 u 1<1>>>",
    "mode": "bfs",
    "pin_odd": true,
    "collections": 200000,
    "queue_left": 196799,
    "limit": 200000
   }
  ],
  "hits": []
 },
 "nest_walk": {
  "triangulations_swept": 14,
  "hits": [],
  "novel": []
 },
 "m2_balls": {
  "seeds_done": 237,
  "complete": 237,
  "evals": 38920377,
  "novel": []
 },
 "hot_holes": {
  "seeds_done": 2,
  "novel": []
 },
 "hole_balls": {
  "seeds_done": 11,
  "novel": []
 },
 "dn_sweep": {
  "summaries": [
   {
    "kind": "summary",
    "evals": 204948,
    "distinct": 29,
    "new": 0,
    "best_score": 6.0,
    "best_scheme": "<17 u 1<2 u 1<1>>>",
    "mode": "ladder"
   },
   {
    "kind": "summary",
    "evals": 28861,
    "distinct": 38,
    "new": 0,
    "best_score": 6.0,
    "best_scheme": "<17 u 1<2 u 1<1>>>",
    "mode": "nbhd"
   }
  ],
  "new_or_hit": []
 },
 "NEW_candidates": [],
 "NEW_candidates_ovals": {},
 "candidate_cert_file": null
}