diff --git a/src/smt/theory_str.cpp b/src/smt/theory_str.cpp
index 5d66a4ec3..933796d9c 100644
--- a/src/smt/theory_str.cpp
+++ b/src/smt/theory_str.cpp
@@ -35,7 +35,7 @@ namespace smt {
         m_params(params),
         /* Options */
         opt_EagerStringConstantLengthAssertions(true),
-        opt_VerifyFinalCheckProgress(true),
+        opt_VerifyFinalCheckProgress(false),
         opt_LCMUnrollStep(2),
         opt_NoQuickReturn_IntegerTheory(false),
         opt_DisableIntegerTheoryIntegration(false),