/test/regress/regress0/nl/
../
all-logic.smt2
coeff-sat.smt2
ext-rew-aggr-test.smt2
issue3003.smt2
issue3407.smt2
issue3411.smt2
issue3475.smt2
issue3652.smt2
issue3718.smt2
issue3719.smt2
issue3729-cm-solved-tf.smt2
issue3959.smt2
issue4007-rint-uf.smt2
magnitude-wrong-1020-m.smt2
mult-po.smt2
nia-wrong-tl.smt2
nlExtPurify-test.smt2
nta
real-as-int.smt2
real-div-ufnra.smt2
sin-cos-346-b-chunk-0169.smt2
sqrt.smt2
sqrt2-value.smt2
subs0-unsat-confirm.smt2
very-easy-sat.smt2
very-simple-unsat.smt2