indep_mod: p = 1000000007, n = 3..16, 2 instance(s) each, seed 1009
n= 3 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=ZERO  antiD=ZERO  (reversal predicts zero: yes)  [0.0s]
n= 3 inst=1  S_n mod p = 0  [0.0s]
n= 4 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=ZERO  antiD=ZERO  (reversal predicts zero: yes)  [0.0s]
n= 4 inst=1  S_n mod p = 0  [0.0s]
n= 5 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=nonzero  antiD=nonzero  (reversal predicts zero: no)  [0.0s]
n= 5 inst=1  S_n mod p = 0  [0.0s]
n= 6 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=nonzero  antiD=nonzero  (reversal predicts zero: no)  [0.0s]
n= 6 inst=1  S_n mod p = 0  [0.0s]
n= 7 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=ZERO  antiD=ZERO  (reversal predicts zero: yes)  [0.0s]
n= 7 inst=1  S_n mod p = 0  [0.0s]
n= 8 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=ZERO  antiD=ZERO  (reversal predicts zero: yes)  [0.0s]
n= 8 inst=1  S_n mod p = 0  [0.0s]
n= 9 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=nonzero  antiD=nonzero  (reversal predicts zero: no)  [0.0s]
n= 9 inst=1  S_n mod p = 0  [0.0s]
n=10 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=nonzero  antiD=nonzero  (reversal predicts zero: no)  [0.0s]
n=10 inst=1  S_n mod p = 0  [0.0s]
n=11 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=ZERO  antiD=ZERO  (reversal predicts zero: yes)  [0.0s]
n=11 inst=1  S_n mod p = 0  [0.0s]
n=12 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=ZERO  antiD=ZERO  (reversal predicts zero: yes)  [0.0s]
n=12 inst=1  S_n mod p = 0  [0.0s]
n=13 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=nonzero  antiD=nonzero  (reversal predicts zero: no)  [0.0s]
n=13 inst=1  S_n mod p = 0  [0.0s]
n=14 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=nonzero  antiD=nonzero  (reversal predicts zero: no)  [0.0s]
n=14 inst=1  S_n mod p = 0  [0.0s]
n=15 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=ZERO  antiD=ZERO  (reversal predicts zero: yes)  [0.0s]
n=15 inst=1  S_n mod p = 0  [0.0s]
n=16 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=ZERO  antiD=ZERO  (reversal predicts zero: yes)  [0.1s]
n=16 inst=1  S_n mod p = 0  [0.0s]
unexpected outcomes: 0
$SC/indep_mod big 3 16 2 1009  0.13s user 0.00s system 99% cpu 0.128 total
