files / problems / kissing-5d / compute / q4 / replay_unions_k13.json

2.9 KB · on GitHub

{
  "d": 4,
  "n": 1480,
  "n_extras": 1440,
  "n_groups": 240,
  "maxk": 13,
  "n_unions_visited": 8296082,
  "slices": {
    "4": {
      "k": 4,
      "n1": 36,
      "n_unions": 160,
      "n_promising": 0,
      "tried": 0,
      "max_seeds": 1,
      "best_extras": 0,
      "found": false,
      "complete": true,
      "empty_by_part_count": true,
      "best_total": 36
    },
    "5": {
      "k": 5,
      "n1": 35,
      "n_unions": 320,
      "n_promising": 0,
      "tried": 0,
      "max_seeds": 2,
      "best_extras": 0,
      "found": false,
      "complete": true,
      "empty_by_part_count": true,
      "best_total": 35
    },
    "6": {
      "k": 6,
      "n1": 34,
      "n_unions": 320,
      "n_promising": 0,
      "tried": 0,
      "max_seeds": 4,
      "best_extras": 0,
      "found": false,
      "complete": true,
      "empty_by_part_count": true,
      "best_total": 34
    },
    "7": {
      "k": 7,
      "n1": 33,
      "n_unions": 3280,
      "n_promising": 80,
      "tried": 80,
      "max_seeds": 8,
      "best_extras": 4,
      "found": false,
      "complete": true,
      "empty_by_part_count": false,
      "best_total": 37
    },
    "8": {
      "k": 8,
      "n1": 32,
      "n_unions": 20810,
      "n_promising": 10,
      "tried": 10,
      "max_seeds": 16,
      "best_extras": 8,
      "found": false,
      "complete": true,
      "empty_by_part_count": false,
      "best_total": 40
    },
    "9": {
      "k": 9,
      "n1": 31,
      "n_unions": 61920,
      "n_promising": 0,
      "tried": 0,
      "max_seeds": 5,
      "best_extras": 0,
      "found": false,
      "complete": true,
      "empty_by_part_count": true,
      "best_total": 31
    },
    "10": {
      "k": 10,
      "n1": 30,
      "n_unions": 164672,
      "n_promising": 0,
      "tried": 0,
      "max_seeds": 10,
      "best_extras": 0,
      "found": false,
      "complete": true,
      "empty_by_part_count": true,
      "best_total": 30
    },
    "11": {
      "k": 11,
      "n1": 29,
      "n_unions": 577520,
      "n_promising": 960,
      "tried": 960,
      "max_seeds": 17,
      "best_extras": 8,
      "found": false,
      "complete": true,
      "empty_by_part_count": false,
      "best_total": 37
    },
    "12": {
      "k": 12,
      "n1": 28,
      "n_unions": 1942760,
      "n_promising": 4640,
      "tried": 4640,
      "max_seeds": 18,
      "best_extras": 9,
      "found": false,
      "complete": true,
      "empty_by_part_count": false,
      "best_total": 37
    },
    "13": {
      "k": 13,
      "n1": 27,
      "n_unions": 5524320,
      "n_promising": 31400,
      "tried": 31400,
      "max_seeds": 20,
      "best_extras": 9,
      "found": false,
      "complete": true,
      "empty_by_part_count": false,
      "best_total": 36
    }
  },
  "constructed_ge41": [],
  "found_41": false,
  "complete": true,
  "comment": "Independent Python BFS of exact seed-unions.",
  "agree_with_c": true
}