regress1/lemmas/pursuit-safety-8.smt \
regress1/lemmas/simple_startup_9nodes.abstract.base.smt \
regress1/nl/NAVIGATION2.smt2 \
+ regress1/nl/approx-sqrt.smt2 \
+ regress1/nl/approx-sqrt-unsat.smt2 \
regress1/nl/arctan2-expdef.smt2 \
regress1/nl/arrowsmith-050317.smt2 \
regress1/nl/bad-050217.smt2 \
regress1/nl/sin1-ub.smt2 \
regress1/nl/sin2-lb.smt2 \
regress1/nl/sin2-ub.smt2 \
+ regress1/nl/solve-eq-small-qf-nra.smt2 \
regress1/nl/sqrt-problem-1.smt2 \
regress1/nl/sugar-ident-2.smt2 \
regress1/nl/sugar-ident-3.smt2 \