family dual9:combinatorial3spheres9vertices_with_proofs.txt:10: 2419 tasks, 3 processes
== summary for dual9
records: 2419   not polytopes / errors: 0
distinct combinatorial types (canonical forms): 2419
   linked+minor                                  408
   unlinked+no_minor                             2011
per combinatorial type:
   linked+minor                                  408
   unlinked+no_minor                             2011
types with conflicting verdicts between realizations: 0
linked with a pair of odd linking number: 408 of 408 linked
linked pairs confirmed by the second method: 408 of 408
minor found by type of minor: {'K6': 408}
negative minor answers: {'exhaustive(7)': 2011}
complete linking search: 2011, incomplete: 408
max |lk| seen on basis pairs: 1
per type, by number of vertices (linked / not linked):
   n=6: linked 1, no linked pair 0
   n=7: linked 1, no linked pair 6
   n=8: linked 13, no linked pair 63
   n=9: linked 64, no linked pair 399
   n=10: linked 329, no linked pair 1543
ALERTS: 0
wall time 442 s
