family rand:1200:6:0,1,2:10,11,12,13:10: 1200 tasks, 3 processes
== summary for rand
records: 1200   not polytopes / errors: 0
distinct combinatorial types (canonical forms): 1199
   linked+minor                                  1197
   unlinked+no_minor                             3
per combinatorial type:
   linked+minor                                  1196
   unlinked+no_minor                             3
types with conflicting verdicts between realizations: 0
linked with a pair of odd linking number: 1197 of 1197 linked
linked pairs confirmed by the second method: 1197 of 1197
minor found by type of minor: {'K6': 1197}
negative minor answers: {'SAT:UNSAT,UNSAT,UNSAT,UNSAT,UNSAT,UNSAT,UNSAT': 3}
complete linking search: 3, incomplete: 1197
max |lk| seen on basis pairs: 1
per type, by number of vertices (linked / not linked):
   n=10: linked 408, no linked pair 3
   n=11: linked 413, no linked pair 0
   n=12: linked 259, no linked pair 0
   n=13: linked 116, no linked pair 0
ALERTS: 0
wall time 17 s
