bump thread stack size to 1 GB

diff --git a/contrib/run-script-smtcomp2015 b/contrib/run-script-smtcomp2015
index 8eb19a24fefec87d90f32f0ae5ad4aadcc8ecbeb..6e099f3afddd86135c2d0ca9ee23dbe5779e6b6a 100755 (executable)
--- a/contrib/run-script-smtcomp2015
+++ b/contrib/run-script-smtcomp2015
@@ -80,7 +80,7 @@ QF_ABV)
   finishwith --ite-simp --simp-with-care --repeat-simp
   ;;
 QF_BV)
-  exec ./pcvc4 -L smt2 --no-incremental --no-checking --no-interactive --thread-stack=256 \
+  exec ./pcvc4 -L smt2 --no-incremental --no-checking --no-interactive --thread-stack=1024 \
          --threads 2 \
          --thread0 '--unconstrained-simp --bv-div-zero-const --bv-intro-pow2 --bitblast=eager --no-bv-abstraction' \
          --thread1 '--unconstrained-simp --bv-div-zero-const --bv-intro-pow2 --bv-eq-slicer=auto ' \

diff --git a/contrib/run-script-smtcomp2015-assertions b/contrib/run-script-smtcomp2015-assertions
index c4f9fc6cc07f2e887a70d9638143f4c1ddb9fa15..b364cc07c974ddc63b9ae01ac6a733c987da4265 100755 (executable)
--- a/contrib/run-script-smtcomp2015-assertions
+++ b/contrib/run-script-smtcomp2015-assertions
@@ -85,7 +85,7 @@ QF_ABV)
   finishwith --ite-simp --simp-with-care --repeat-simp
   ;;
 QF_BV)
-  exec ./pcvc4-assertions -L smt2 --no-incremental --no-checking --no-interactive --thread-stack=256 \
+  exec ./pcvc4-assertions -L smt2 --no-incremental --no-checking --no-interactive --thread-stack=1024 \
          --threads 2 \
          --thread0 '--unconstrained-simp --bv-div-zero-const --bv-intro-pow2 --bitblast=eager --no-bv-abstraction' \
          --thread1 '--unconstrained-simp --bv-div-zero-const --bv-intro-pow2 --bv-eq-slicer=auto ' \

diff --git a/contrib/run-script-smtcomp2015-experimental b/contrib/run-script-smtcomp2015-experimental
index 3480a8e3c6fb7471a8f5346ccbc82b27f3efc9c5..8aee209e03dd2a3d7342d41acb93378a4e6a2767 100755 (executable)
--- a/contrib/run-script-smtcomp2015-experimental
+++ b/contrib/run-script-smtcomp2015-experimental
@@ -80,7 +80,7 @@ QF_ABV)
   finishwith --ite-simp --simp-with-care --repeat-simp
   ;;
 QF_BV)
-  exec ./pcvc4 -L smt2 --no-incremental --no-checking --no-interactive --thread-stack=256 \
+  exec ./pcvc4 -L smt2 --no-incremental --no-checking --no-interactive --thread-stack=1024 \
          --threads 2 \
          --thread0 '--unconstrained-simp --bv-div-zero-const --bv-intro-pow2 --bitblast=eager --no-bv-abstraction' \
          --thread1 '--unconstrained-simp --bv-div-zero-const --bv-intro-pow2 --bv-eq-slicer=auto ' \