family f9:combinatorial3spheres9vertices_with_proofs.txt:26: 30266 tasks, 4 processes
== summary for f9
records: 30266   not polytopes / errors: 0
distinct combinatorial types (canonical forms): 30266
   linked+minor                                  21511
   unlinked+no_minor                             8755
per combinatorial type:
   linked+minor                                  21511
   unlinked+no_minor                             8755
types with conflicting verdicts between realizations: 0
linked with a pair of odd linking number: 21511 of 21511 linked
linked pairs confirmed by the second method: 21511 of 21511
minor found by type of minor: {'K6': 21511}
negative minor answers: {'exhaustive(7)': 8755}
complete linking search: 8755, incomplete: 21511
max |lk| seen on basis pairs: 1
per type, by number of vertices (linked / not linked):
   n=9: linked 21511, no linked pair 8755
ALERTS: 0
wall time 659 s
