family named:: 194 tasks, 2 processes
== summary for named
records: 194   not polytopes / errors: 0
distinct combinatorial types (canonical forms): 121
   linked+minor                                  79
   undecided                                     7
   unlinked+no_minor                             81
   unlinked,minor_undecided                      27
per combinatorial type:
   linked+minor                                  50
   undecided                                     7
   unlinked+no_minor                             44
   unlinked,minor_undecided                      20
types with conflicting verdicts between realizations: 0
linked with a pair of odd linking number: 79 of 79 linked
linked pairs confirmed by the second method: 79 of 79
minor found by type of minor: {'K6': 78, 'P7': 1}
negative minor answers: {'exhaustive(7)': 70, 'SAT:UNKNOWN,UNKNOWN,UNKNOWN,UNKNOWN,UNKNOWN,UNKNOWN,UNKNOWN': 13, 'SAT:UNSAT,UNSAT,UNSAT,UNSAT,UNSAT,UNSAT,UNSAT': 11, 'SAT:UNSAT,UNSAT,UNSAT,UNSAT,UNKNOWN,UNSAT,UNKNOWN': 1, 'SAT:SKIPPED,SKIPPED,SKIPPED,SKIPPED,SKIPPED,SKIPPED,SKIPPED': 16, 'SAT:UNSAT,UNSAT,UNSAT,UNSAT,UNSAT,UNSAT,UNKNOWN': 1, 'SAT:UNSAT,UNKNOWN,UNSAT,UNKNOWN,UNSAT,UNKNOWN,UNKNOWN': 1, 'SAT:UNSAT,UNKNOWN,UNSAT,UNKNOWN,UNSAT,UNSAT,UNKNOWN': 1, 'SAT:UNSAT,UNKNOWN,UNKNOWN,UNKNOWN,UNKNOWN,UNKNOWN,UNKNOWN': 1}
SAT cross-check of the exhaustive minor search: agree 102, disagree 0
complete linking search: 108, incomplete: 86
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 2, no linked pair 5
   n=8: linked 3, no linked pair 8
   n=9: linked 4, no linked pair 11
   n=10: linked 9, no linked pair 8
   n=11: linked 1, no linked pair 6
   n=12: linked 5, no linked pair 5
   n=13: linked 2, no linked pair 3
   n=14: linked 6, no linked pair 3
   n=15: linked 0, no linked pair 2
   n=16: linked 6, no linked pair 0
   n=17: linked 1, no linked pair 3
   n=18: linked 1, no linked pair 0
   n=20: linked 3, no linked pair 3
   n=23: linked 0, no linked pair 3
   n=24: linked 4, no linked pair 0
   n=25: linked 0, no linked pair 1
   n=26: linked 0, no linked pair 3
   n=27: linked 0, no linked pair 1
   n=28: linked 1, no linked pair 0
   n=30: linked 0, no linked pair 1
   n=35: linked 1, no linked pair 0
   n=36: linked 0, no linked pair 1
ALERTS: 0
wall time 478 s
