family file:f9_le26.jsonl: 30266 polytopes, wall time 413 s
  verdicts: {'linked_odd': 21511, 'unlinked': 8755}
  linked_odd with verified Petersen-family minor: 21511 of 21511
  first minor found (order K6, 7-vertex, 8-vertex, 9-vertex, Petersen): {'PF6[555555]': 21511}
  unlinked: 8755; SAT cross-check: {'skipped': 7652, '7xUNSAT': 1103}
  unlinked polytopes by (f0, f1, f2, f3): [(9, 18, 15, 6), (9, 19, 17, 7), (9, 20, 18, 7), (9, 20, 19, 8), (9, 20, 20, 9), (9, 21, 20, 8), (9, 22, 21, 8), (9, 22, 22, 9), (9, 22, 23, 10), (9, 23, 22, 8), (9, 23, 23, 9), (9, 23, 24, 10), (9, 23, 25, 11), (9, 23, 26, 12), (9, 24, 24, 9), (9, 24, 25, 10), (9, 24, 26, 11), (9, 24, 27, 12), (9, 24, 28, 13), (9, 25, 25, 9), (9, 25, 26, 10), (9, 25, 27, 11), (9, 25, 28, 12), (9, 25, 29, 13), (9, 25, 30, 14), (9, 25, 31, 15), (9, 26, 26, 9), (9, 26, 27, 10), (9, 26, 28, 11), (9, 26, 29, 12), (9, 26, 30, 13), (9, 26, 31, 14), (9, 26, 32, 15), (9, 26, 33, 16), (9, 26, 34, 17)]
  unlinked and not simplicial: 8748; unlinked, not simplicial, f0 >= 7: 8748
  ALERTS (would contradict the theorem or Sachs): 0 []
  timeouts: []
  max cycles enumerated in a complete pass: 4155
