del9:f9_: 326394 point sets, 1290 distinct values of the combinatorial invariant
family del9:f9_le26.jsonl,f9_ge27_sample.jsonl: 1290 polytopes, wall time 140 s
  verdicts: {'linked_odd': 988, 'unlinked': 302}
  linked_odd with verified Petersen-family minor: 988 of 988
  first minor found (order K6, 7-vertex, 8-vertex, 9-vertex, Petersen): {'PF6[555555]': 988}
  unlinked: 302; SAT cross-check: {'7xUNSAT': 302}
  unlinked polytopes by (f0, f1, f2, f3): [(8, 16, 14, 6), (8, 18, 17, 7), (8, 19, 18, 7), (8, 19, 19, 8), (8, 19, 20, 9), (8, 20, 20, 8), (8, 20, 21, 9), (8, 20, 22, 10), (8, 21, 21, 8), (8, 21, 22, 9), (8, 21, 23, 10), (8, 21, 24, 11), (8, 21, 25, 12), (8, 22, 23, 9), (8, 22, 24, 10), (8, 22, 25, 11), (8, 22, 26, 12), (8, 22, 27, 13), (8, 22, 28, 14)]
  unlinked and not simplicial: 299; unlinked, not simplicial, f0 >= 7: 299
  ALERTS (would contradict the theorem or Sachs): 0 []
  timeouts: []
  max cycles enumerated in a complete pass: 1386
