family file:f9_ge27_sample.jsonl: 6000 polytopes, wall time 13 s
  verdicts: {'linked_odd': 6000}
  linked_odd with verified Petersen-family minor: 6000 of 6000
  first minor found (order K6, 7-vertex, 8-vertex, 9-vertex, Petersen): {'PF6[555555]': 6000}
  unlinked: 0; SAT cross-check: {}
  unlinked polytopes by (f0, f1, f2, f3): []
  unlinked and not simplicial: 0; unlinked, not simplicial, f0 >= 7: 0
  ALERTS (would contradict the theorem or Sachs): 0 []
  timeouts: []
  max cycles enumerated in a complete pass: 0
