git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk...

diff --git a/src/AST/UsefulDefs.h b/src/AST/UsefulDefs.h
index 2e3fbae57c47b90387be5eef8aebe8f7daa2834f..5d5a17f93f71e24b5ad71f10d1044e8b952c5736 100644 (file)
--- a/src/AST/UsefulDefs.h
+++ b/src/AST/UsefulDefs.h
@@ -45,7 +45,7 @@
 #define HASHSET      hash_set
 #define HASHMULTISET hash_multiset
 #define  INITIAL_TABLE_SIZE 100
-#define CLAUSAL_ABSTRACTION_CUTOFF 0.6
+#define CLAUSAL_ABSTRACTION_CUTOFF 0.5
 
 using namespace std;
 namespace BEEV {