family named: 140 polytopes, wall time 95 s
  verdicts: {'linked_odd': 45, 'unlinked': 95}
  linked_odd with verified Petersen-family minor: 45 of 45
  first minor found (order K6, 7-vertex, 8-vertex, 9-vertex, Petersen): {'PF6[555555]': 45}
  unlinked: 95; SAT cross-check: {'7xUNSAT': 85, 'skipped': 10}
  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, 18, 20, 9), (7, 18, 21, 10), (7, 18, 22, 11), (8, 16, 14, 6), (8, 19, 19, 8), (8, 20, 22, 10), (8, 21, 23, 10), (8, 22, 25, 11), (8, 22, 26, 12), (8, 22, 28, 14), (9, 18, 15, 6), (9, 20, 18, 7), (9, 22, 23, 10), (9, 24, 26, 11), (9, 26, 31, 14), (9, 26, 34, 17), (10, 21, 18, 7), (10, 23, 21, 8), (10, 24, 24, 10), (10, 25, 26, 11), (10, 30, 40, 20), (11, 22, 18, 7), (11, 25, 22, 8), (11, 26, 24, 9), (12, 24, 19, 7), (12, 26, 22, 8), (13, 30, 26, 9), (14, 28, 22, 8), (14, 31, 26, 9), (15, 30, 23, 8), (17, 34, 26, 9)]
  unlinked and not simplicial: 74; unlinked, not simplicial, f0 >= 7: 70
  ALERTS (would contradict the theorem or Sachs): 0 []
  timeouts: []
  max cycles enumerated in a complete pass: 14921
