family dual_upto7:: 36 tasks, 3 processes
== summary for dual_upto7
records: 36   not polytopes / errors: 0
distinct combinatorial types (canonical forms): 36
   linked+minor                                  1
   unlinked+no_minor                             34
   unlinked,minor_undecided                      1
per combinatorial type:
   linked+minor                                  1
   unlinked+no_minor                             34
   unlinked,minor_undecided                      1
types with conflicting verdicts between realizations: 0
linked with a pair of odd linking number: 1 of 1 linked
linked pairs confirmed by the second method: 1 of 1
minor found by type of minor: {'K6': 1}
negative minor answers: {'exhaustive(7)': 27, 'SAT:UNSAT,UNSAT,UNSAT,UNSAT,UNSAT,UNSAT,UNSAT': 7, 'SAT:UNSAT,UNSAT,UNSAT,UNKNOWN,UNKNOWN,UNKNOWN,UNKNOWN': 1}
SAT cross-check of the exhaustive minor search: agree 27, disagree 0
complete linking search: 35, incomplete: 1
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 0, no linked pair 2
   n=7: linked 0, no linked pair 4
   n=8: linked 0, no linked pair 6
   n=9: linked 0, no linked pair 8
   n=10: linked 0, no linked pair 6
   n=11: linked 0, no linked pair 4
   n=12: linked 0, no linked pair 3
   n=13: linked 0, no linked pair 1
   n=14: linked 1, no linked pair 0
ALERTS: 0
wall time 106 s
