family rand:1200:5:-1,0,1:11,12,13,14:10: 1200 tasks, 2 processes
== summary for rand
records: 1200   not polytopes / errors: 0
distinct combinatorial types (canonical forms): 1200
   linked+minor                                  1200
per combinatorial type:
   linked+minor                                  1200
types with conflicting verdicts between realizations: 0
linked with a pair of odd linking number: 1200 of 1200 linked
linked pairs confirmed by the second method: 1200 of 1200
minor found by type of minor: {'K6': 1200}
negative minor answers: {}
complete linking search: 0, incomplete: 1200
max |lk| seen on basis pairs: 1
per type, by number of vertices (linked / not linked):
   n=10: linked 201, no linked pair 0
   n=11: linked 394, no linked pair 0
   n=12: linked 359, no linked pair 0
   n=13: linked 193, no linked pair 0
   n=14: linked 53, no linked pair 0
ALERTS: 0
wall time 18 s
