fixed some slowdowns

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@394 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/to-sat/CallSAT.cpp b/src/to-sat/CallSAT.cpp
index a3970035e05e085123905c5255999b4e4cbed960..8ecf2a097327f0ea5d3a230f45ca7daa254219d6 100644 (file)
--- a/src/to-sat/CallSAT.cpp
+++ b/src/to-sat/CallSAT.cpp
@@ -8,7 +8,7 @@
  ********************************************************************/
 
 #include "ToSAT.h"
-#define MAX_BUCKET_LIMIT 2
+#define MAX_BUCKET_LIMIT 3
 
 namespace BEEV
 {

diff --git a/src/to-sat/ToSAT.h b/src/to-sat/ToSAT.h
index 4e10b6af198ef3ade618c8512ee35950fb44f569..222235e5fa2b8cba19157a488d63ffcbcb975ae4 100644 (file)
--- a/src/to-sat/ToSAT.h
+++ b/src/to-sat/ToSAT.h
@@ -23,7 +23,7 @@
 
 namespace BEEV
 {
-  #define CLAUSAL_ABSTRACTION_CUTOFF 0.6
+  #define CLAUSAL_ABSTRACTION_CUTOFF 0.5
 
   class ToSAT {
   private: