/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