From 70abf649fd3e13ef63d74e8f7e868fcb894915c5 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Mon, 9 Nov 2009 03:58:30 +0000 Subject: [PATCH] Revert to version #390, didn't mean to checkin this change. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@393 e59a4935-1847-0410-ae03-e826735625c1 --- src/to-sat/ToSAT.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/to-sat/ToSAT.h b/src/to-sat/ToSAT.h index c80f9c7..4e10b6a 100644 --- a/src/to-sat/ToSAT.h +++ b/src/to-sat/ToSAT.h @@ -23,7 +23,7 @@ namespace BEEV { - #define CLAUSAL_ABSTRACTION_CUTOFF 1.1 + #define CLAUSAL_ABSTRACTION_CUTOFF 0.6 class ToSAT { private: -- 2.47.3