Disable slow nl regression (#5467)

diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt
index c7810e90b9c386798d1f3dd473210a739eb6089d..b12876a5cc27aaf8d63c2b9b0edbe7aaae988dd2 100644 (file)
--- a/test/regress/CMakeLists.txt
+++ b/test/regress/CMakeLists.txt
@@ -1419,7 +1419,6 @@ set(regress_1_tests
   regress1/lemmas/simple_startup_9nodes.abstract.base.smtv1.smt2
   regress1/model-blocker-simple.smt2
   regress1/model-blocker-values.smt2
-  regress1/nl/approx-sqrt-unsat.smt2
   regress1/nl/approx-sqrt.smt2
   regress1/nl/arctan2-expdef.smt2
   regress1/nl/arrowsmith-050317.smt2
@@ -2534,6 +2533,8 @@ set(regression_disabled_tests
   regress1/ho/nested_lambdas-sat-SYO056^1-delta.smt2
   # issue1048-arrays-int-real.smt2 -- different errors on debug and production.
   regress1/issue1048-arrays-int-real.smt2
+  # slow on some builds after changes to tangent planes
+  regress1/nl/approx-sqrt-unsat.smt2
   # times out after no expand definitions for arithmetic
   regress1/nl/issue3803-nl-check-model.smt2
   # times out after update to tangent planes