family zero_one: 347 tasks, 6 processes
== summary for zero_one
records: 347   not polytopes / errors: 0
distinct combinatorial types (canonical forms): 192
   linked+minor                                  187
   unlinked+no_minor                             160
per combinatorial type:
   linked+minor                                  150
   unlinked+no_minor                             42
types with conflicting verdicts between realizations: 0
linked with a pair of odd linking number: 187 of 187 linked
linked pairs confirmed by the second method: 187 of 187
minor found by type of minor: {'K6': 187}
negative minor answers: {'exhaustive(7)': 156, 'SAT:UNSAT,UNSAT,UNSAT,UNSAT,UNSAT,UNSAT,UNSAT': 4}
SAT cross-check of the exhaustive minor search: agree 289, disagree 0
complete linking search: 160, incomplete: 187
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 6, no linked pair 8
   n=8: linked 22, no linked pair 12
   n=9: linked 30, no linked pair 9
   n=10: linked 37, no linked pair 6
   n=11: linked 24, no linked pair 2
   n=12: linked 18, no linked pair 1
   n=13: linked 6, no linked pair 0
   n=14: linked 4, no linked pair 0
   n=15: linked 1, no linked pair 0
   n=16: linked 1, no linked pair 0
ALERTS: 0
wall time 42 s
