family gale8:15000:3:2: 1013 tasks, 1 processes
== summary for gale8
records: 1013   not polytopes / errors: 0
distinct combinatorial types (canonical forms): 1013
   linked+minor                                  753
   unlinked+no_minor                             260
per combinatorial type:
   linked+minor                                  753
   unlinked+no_minor                             260
types with conflicting verdicts between realizations: 0
linked with a pair of odd linking number: 753 of 753 linked
linked pairs confirmed by the second method: 753 of 753
minor found by type of minor: {'K6': 753}
negative minor answers: {'exhaustive(7)': 260}
complete linking search: 260, incomplete: 753
max |lk| seen on basis pairs: 1
per type, by number of vertices (linked / not linked):
   n=8: linked 753, no linked pair 260
ALERTS: 0
wall time 231 s
