From 23467b83b6ebe58cede0bfe77dd623f66c7e3bb1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 6 Jul 2012 18:48:35 -0700
Subject: Setting infinite default conflict limits in 'bmc', 'int', 'pdr'.

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

(limited to 'src/base/abci')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 3c5ccdb0..88d220ea 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -18796,7 +18796,7 @@ int Abc_CommandSat( Abc_Frame_t * pAbc, int argc, char ** argv )
     int clk;
     // set defaults
     fVerbose   = 0;
-    nConfLimit = 100000;   
+    nConfLimit = 0;   
     nInsLimit  = 0;
     Extra_UtilGetoptReset();
     while ( ( c = Extra_UtilGetopt( argc, argv, "CIvh" ) ) != EOF )
@@ -18931,7 +18931,7 @@ int Abc_CommandDSat( Abc_Frame_t * pAbc, int argc, char ** argv )
     fAndOuts   = 0;
     fNewSolver = 0;
     fVerbose   = 0;
-    nConfLimit = 100000;   
+    nConfLimit = 0;   
     nInsLimit  = 0;
     Extra_UtilGetoptReset();
     while ( ( c = Extra_UtilGetopt( argc, argv, "CIpanvh" ) ) != EOF )
@@ -19453,8 +19453,8 @@ int Abc_CommandBmc( Abc_Frame_t * pAbc, int argc, char ** argv )
     // set defaults
     nFrames     =       20;
     nSizeMax    =   100000;
-    nBTLimit    =    10000;
-    nBTLimitAll = 10000000;
+    nBTLimit    =        0;
+    nBTLimitAll =        0;
     nNodeDelta  =     1000;
     fRewrite    =        0;
     fNewAlgo    =        1;
-- 
cgit v1.2.3