/test/regress/regress1/nl/
../
NAVIGATION2.smt2
approx-sqrt-unsat.smt2
approx-sqrt.smt2
arctan2-expdef.smt2
arrowsmith-050317.smt2
bad-050217.smt2
bug698.smt2
coeff-unsat-base.smt2
coeff-unsat.smt2
combine.smt2
cos-bound.smt2
cos1-tc.smt2
disj-eval.smt2
dist-big.smt2
div-mod-partial.smt2
dumortier_llibre_artes_ex_5_13.transcendental.k2.smt2
exp-4.5-lt.smt2
exp-approx.smt2
exp-soundness-bound.smt2
exp1-lb.smt2
exp_monotone.smt2
factor_agg_s.smt2
issue3307.smt2
issue3441.smt2
issue3617.smt2
issue3656.smt2
metitarski-1025.smt2
metitarski-3-4.smt2
metitarski_3_4_2e.smt2
mirko-050417.smt2
nl-eq-infer.smt2
nl-help-unsat-quant.smt2
nl-unk-quant.smt2
nl_uf_lalt.smt2
ones.smt2
pinto-model-core-ni.smt2
poly-1025.smt2
quant-nl.smt2
red-exp.smt2
rewriting-sums.smt2
shifting.smt2
shifting2.smt2
simple-mono-unsat.smt2
simple-mono.smt2
sin-compare-across-phase.smt2
sin-compare.smt2
sin-init-tangents.smt2
sin-sign.smt2
sin-sym2.smt2
sin1-deq-sat.smt2
sin1-lb.smt2
sin1-sat.smt2
sin1-ub.smt2
sin2-lb.smt2
sin2-ub.smt2
solve-eq-small-qf-nra.smt2
sqrt-problem-1.smt2
sugar-ident-2.smt2
sugar-ident-3.smt2
sugar-ident.smt2
tan-rewrite2.smt2
zero-subset.smt2