From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Thu, 21 May 2020 23:33:14 +0000 (-0500)
Subject: Disable re-elim by default (#4508)
X-Git-Tag: cvc5-1.0.0~3304
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=863f229f992cbe02a64889675fc31950e0fe2859;p=cvc5.git

Disable re-elim by default (#4508)

Disabling re-elim performs better overall in many recent experiments.
---

diff --git a/src/options/strings_options.toml b/src/options/strings_options.toml
index 44ca2c390..3cf8f5852 100644
--- a/src/options/strings_options.toml
+++ b/src/options/strings_options.toml
@@ -174,7 +174,7 @@ header = "options/strings_options.h"
   category   = "regular"
   long       = "re-elim"
   type       = "bool"
-  default    = "true"
+  default    = "false"
   help       = "elimination techniques for regular expressions"
 
 [[option]]
diff --git a/test/regress/regress1/strings/complement-test.smt2 b/test/regress/regress1/strings/complement-test.smt2
index 5d3c8310f..0bb74a239 100644
--- a/test/regress/regress1/strings/complement-test.smt2
+++ b/test/regress/regress1/strings/complement-test.smt2
@@ -1,4 +1,5 @@
 (set-logic SLIA)
+(set-option :strings-exp true)
 (set-info :status sat)
 (declare-fun x () String)
 (declare-fun y () String)