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