From 8b0302cdab633f6ba6b5e317e58212cb4f94c493 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 5 Jul 2012 13:32:52 -0700
Subject: Changing default conflict limits in bmc2 and bmc3 to be 0 (no limit).

---
 src/base/abci/abc.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/base/abci')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 8983ba39..3c5ccdb0 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -19629,13 +19629,13 @@ int Abc_CommandBmc2( Abc_Frame_t * pAbc, int argc, char ** argv )
     nStart      =        0;
     nFrames     =        0;
     nSizeMax    =   200000;
-    nBTLimit    =     2000;
-    nBTLimitAll =  2000000;
+    nBTLimit    =        0;
+    nBTLimitAll =        0;
     nNodeDelta  =     2000;
     nTimeOut    =        0;
     fRewrite    =        0;
     fNewAlgo    =        0;
-    fOrDecomp   =        1;
+    fOrDecomp   =        0;
     fVerbose    =        0;
     Extra_UtilGetoptReset();
     while ( ( c = Extra_UtilGetopt( argc, argv, "SFNTCGDLruvh" ) ) != EOF )
-- 
cgit v1.2.3