exhaust_small_F2.py 10 5 w (w = 0..4): all sets of at most 10 lines of PG(3,2) up to projective equivalence
root 'meet' = supersets of a fixed pair of meeting lines; root 'skew' = supersets of a fixed pair of skew lines (size <= 5)
root=meet  size= 1 sets=        1 (expected C(33,size-2)=        1 ok) gap1=    1 coplanar=   1 pseudostar=    0 violations=0
root=meet  size= 2 sets=        1 (expected C(33,size-2)=        1 ok) gap1=    1 coplanar=   1 pseudostar=    0 violations=0
root=meet  size= 3 sets=       33 (expected C(33,size-2)=       33 ok) gap1=    9 coplanar=   5 pseudostar=    4 violations=0
root=meet  size= 4 sets=      528 (expected C(33,size-2)=      528 ok) gap1=   10 coplanar=  10 pseudostar=    0 violations=0
root=meet  size= 5 sets=     5456 (expected C(33,size-2)=     5456 ok) gap1=   10 coplanar=  10 pseudostar=    0 violations=0
root=meet  size= 6 sets=    40920 (expected C(33,size-2)=    40920 ok) gap1=   42 coplanar=   5 pseudostar=   37 violations=0
root=meet  size= 7 sets=   237336 (expected C(33,size-2)=   237336 ok) gap1=    1 coplanar=   1 pseudostar=    0 violations=0
root=meet  size= 8 sets=  1107568 (expected C(33,size-2)=  1107568 ok) gap1=    0 coplanar=   0 pseudostar=    0 violations=0
root=meet  size= 9 sets=  4272048 (expected C(33,size-2)=  4272048 ok) gap1=    0 coplanar=   0 pseudostar=    0 violations=0
root=meet  size=10 sets= 13884156 (expected C(33,size-2)= 13884156 ok) gap1=  104 coplanar=   0 pseudostar=  104 violations=0
root=skew  size= 2 sets=        1 (expected C(33,size-2)=        1 ok) gap1=    0 coplanar=   0 pseudostar=    0 violations=0
root=skew  size= 3 sets=       33 (expected C(33,size-2)=       33 ok) gap1=    0 coplanar=   0 pseudostar=    0 violations=0
root=skew  size= 4 sets=      528 (expected C(33,size-2)=      528 ok) gap1=    0 coplanar=   0 pseudostar=    0 violations=0
root=skew  size= 5 sets=     5456 (expected C(33,size-2)=     5456 ok) gap1=    0 coplanar=   0 pseudostar=    0 violations=0
total sets examined: 19554065 ; violations of [gap 1 <=> coplanar or pseudostar]: 0
cross-checks of the incremental F_2 routine against vlines.alphas: 1014, mismatches: 0
CPU seconds (sum over 5 workers): 1823
