family dual8:combinatorial3spheres9vertices_with_proofs.txt:res_types8_new.jsonl: 1279 tasks, 5 processes
== summary for dual8
records: 1279   not polytopes / errors: 0
distinct combinatorial types (canonical forms): 1279
   linked+minor                                  233
   unlinked+no_minor                             97
   unlinked,minor_undecided                      949
per combinatorial type:
   linked+minor                                  233
   unlinked+no_minor                             97
   unlinked,minor_undecided                      949
types with conflicting verdicts between realizations: 0
linked with a pair of odd linking number: 233 of 233 linked
linked pairs confirmed by the second method: 233 of 233
minor found by type of minor: {'K6': 233}
negative minor answers: {'exhaustive(7)': 97, 'SAT:SKIPPED,SKIPPED,SKIPPED,SKIPPED,SKIPPED,SKIPPED,SKIPPED': 949}
complete linking search: 1046, incomplete: 233
max |lk| seen on basis pairs: 1
per type, by number of vertices (linked / not linked):
   n=7: linked 0, no linked pair 4
   n=8: linked 0, no linked pair 23
   n=9: linked 0, no linked pair 70
   n=10: linked 0, no linked pair 134
   n=11: linked 2, no linked pair 203
   n=12: linked 12, no linked pair 213
   n=13: linked 27, no linked pair 191
   n=14: linked 44, no linked pair 122
   n=15: linked 53, no linked pair 64
   n=16: linked 47, no linked pair 18
   n=17: linked 27, no linked pair 4
   n=18: linked 14, no linked pair 0
   n=19: linked 4, no linked pair 0
   n=20: linked 3, no linked pair 0
ALERTS: 0
wall time 28 s
