family del9:combinatorial3spheres9vertices_with_proofs.txt:24000:1: 24000 tasks, 2 processes
== summary for del9
records: 24000   not polytopes / errors: 3
   error example: F9_line134_del2 not a 4-polytope with these vertices: points lie in a hyperplane
   error example: F9_line2585_del1 not a 4-polytope with these vertices: points lie in a hyperplane
   error example: F9_line2615_del1 not a 4-polytope with these vertices: points lie in a hyperplane
distinct combinatorial types (canonical forms): 1274
   linked+minor                                  22484
   unlinked+no_minor                             1513
per combinatorial type:
   linked+minor                                  990
   unlinked+no_minor                             284
types with conflicting verdicts between realizations: 0
linked with a pair of odd linking number: 22484 of 22484 linked
linked pairs confirmed by the second method: 22484 of 22484
minor found by type of minor: {'K6': 22484}
negative minor answers: {'exhaustive(7)': 1513}
complete linking search: 1513, incomplete: 22484
max |lk| seen on basis pairs: 1
per type, by number of vertices (linked / not linked):
   n=8: linked 990, no linked pair 284
ALERTS: 0
wall time 73 s
