/test/regress/regress0/nl/
../
all-logic.smt2
coeff-sat.smt2
iand-no-init.smt2
issue3003.smt2
issue3407.smt2
issue3411.smt2
issue3475.smt2
issue3652.smt2
issue3718.smt2
issue3719.smt2
issue3729-cm-solved-tf.smt2
issue3959.smt2
issue3971.smt2
issue3991.smt2
issue4007-rint-uf.smt2
issue5534-no-assertions.smt2
issue5726-downpolys.smt2
issue5726-sqfactor.smt2
issue5737-div00.smt2
issue5740-2-mod00.smt2
issue5740-mod00.smt2
magnitude-wrong-1020-m.smt2
mult-po.smt2
nia-wrong-tl.smt2
nlExtPurify-test.smt2
nta
pow2-native-0.smt2
pow2-native-1.smt2
pow2-native-2.smt2
pow2-native-3.smt2
pow2-pow-isabelle.smt2
pow2-pow.smt2
real-as-int.smt2
real-div-ufnra.smt2
sin-cos-346-b-chunk-0169.smt2
sqrt.smt2
sqrt2-value.smt2
subs0-unsat-confirm.smt2
tpp-fail-pf-012921.smt2
very-easy-sat.smt2
very-simple-unsat.smt2