indep_mod: p = 2305843009213693951, n = 19..23, 2 instance(s) each, seed 4242
n=19 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=ZERO  antiD=ZERO  (reversal predicts zero: yes)  [0.4s]
n=19 inst=1  S_n mod p = 0  [0.1s]
n=20 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=ZERO  antiD=ZERO  (reversal predicts zero: yes)  [0.8s]
n=20 inst=1  S_n mod p = 0  [0.2s]
n=21 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=nonzero  antiD=nonzero  (reversal predicts zero: no)  [1.6s]
n=21 inst=1  S_n mod p = 0  [0.4s]
n=22 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=nonzero  antiD=nonzero  (reversal predicts zero: no)  [3.6s]
n=22 inst=1  S_n mod p = 0  [0.9s]
n=23 inst=0  S_n mod p = 0  | unsgn=nonzero  sym=ZERO  antiD=ZERO  (reversal predicts zero: yes)  [7.6s]
n=23 inst=1  S_n mod p = 0  [1.9s]
unexpected outcomes: 0
$SC/indep_mod 61 19 23 2 4242  17.26s user 0.09s system 99% cpu 17.367 total
