pattern order: 0 1 2 3 4 5 6 7; |Aut(Q)| = 48; chord orbits by size: 1 2 8 23 62 124 220
works: R_o = 0-8 1-8 0-9 1-9 2-10 3-10 0-11 7-11 ; R_c = 0-5 1-2
works: R_o = 0-8 1-8 0-9 1-9 0-10 2-10 3-10 2-11 5-11 ; R_c = 0-3
works: R_o = 0-8 1-8 0-9 1-9 3-10 4-10 1-11 6-11 ; R_c = 0-3 1-2
RESULT sym n=12 k=10 part 1/2: items 13779507 (this part 6889753), closures 23005706, weighted labelled R tested 2260653972 (all parts), pruned by K_8 test 147737788 (this part), working 55551888 (weighted, this part; 431391 items) (172.3 s)
real 172.69
user 171.83
sys 0.54
