family upto7: 36 tasks, 6 processes
== summary for upto7
records: 36   not polytopes / errors: 0
distinct combinatorial types (canonical forms): 36
   linked+minor                                  13
   unlinked+no_minor                             23
per combinatorial type:
   linked+minor                                  13
   unlinked+no_minor                             23
types with conflicting verdicts between realizations: 0
linked with a pair of odd linking number: 13 of 13 linked
linked pairs confirmed by the second method: 13 of 13
minor found by type of minor: {'K6': 13}
negative minor answers: {'exhaustive(7)': 23}
SAT cross-check of the exhaustive minor search: agree 36, disagree 0
complete linking search: 23, incomplete: 13
max |lk| seen on basis pairs: 1
per type, by number of vertices (linked / not linked):
   n=5: linked 0, no linked pair 1
   n=6: linked 1, no linked pair 3
   n=7: linked 12, no linked pair 19
ALERTS: 0
wall time 3 s
