random2: 2500 point sets, 607 distinct values of the combinatorial invariant
family random2: 607 polytopes, wall time 11 s
  verdicts: {'linked_odd': 569, 'unlinked': 38}
  linked_odd with verified Petersen-family minor: 569 of 569
  first minor found (order K6, 7-vertex, 8-vertex, 9-vertex, Petersen): {'PF6[555555]': 569}
  unlinked: 38; SAT cross-check: {'7xUNSAT': 38}
  unlinked polytopes by (f0, f1, f2, f3): [(5, 10, 10, 5), (6, 13, 13, 6), (6, 14, 15, 7), (6, 14, 16, 8), (7, 15, 14, 6), (7, 16, 16, 7), (7, 17, 18, 8), (7, 17, 19, 9), (7, 18, 19, 8), (7, 18, 20, 9), (7, 18, 21, 10), (7, 18, 22, 11), (8, 20, 21, 9), (8, 21, 22, 9), (8, 22, 25, 11), (8, 22, 26, 12), (8, 22, 27, 13), (8, 22, 28, 14), (9, 25, 28, 12)]
  unlinked and not simplicial: 34; unlinked, not simplicial, f0 >= 7: 32
  ALERTS (would contradict the theorem or Sachs): 0 []
  timeouts: []
  max cycles enumerated in a complete pass: 2867
