From 7b3203b48e2f53775e08921acb8f6792f4579623 Mon Sep 17 00:00:00 2001
From: Murphy Berzish <murphy.berzish@gmail.com>
Date: Sun, 21 Aug 2016 00:30:29 -0400
Subject: [PATCH] disable aggressive length/value testing in theory_str, it
 seems to be detrimental

---
 src/smt/theory_str.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/smt/theory_str.cpp b/src/smt/theory_str.cpp
index f53eefb6d..a0b06bcbf 100644
--- a/src/smt/theory_str.cpp
+++ b/src/smt/theory_str.cpp
@@ -28,8 +28,8 @@ namespace smt {
 theory_str::theory_str(ast_manager & m):
         theory(m.mk_family_id("str")),
         /* Options */
-        opt_AggressiveLengthTesting(true),
-        opt_AggressiveValueTesting(true),
+        opt_AggressiveLengthTesting(false),
+        opt_AggressiveValueTesting(false),
         opt_EagerStringConstantLengthAssertions(true),
         opt_VerifyFinalCheckProgress(true),
 		opt_LCMUnrollStep(2),