2 files changed, 3 insertions, 4 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 7247f8ed..09fd26ab 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -13888,10 +13888,10 @@ int Abc_CommandLcorr( Abc_Frame_t * pAbc, int argc, char ** argv )
 
     // set defaults
     nFramesP   =     0;
-    nConfMax   = 10000;
-    nVarsMax   =  5000;
+    nConfMax   =  1000;
+    nVarsMax   =  1000;
     fNewAlgor  =     0;
-    fVerbose   =     1;
+    fVerbose   =     0;
     Extra_UtilGetoptReset();
     while ( ( c = Extra_UtilGetopt( argc, argv, "PCSnvh" ) ) != EOF )
     {
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c
index ac5ee882..71443265 100644
--- a/src/base/abci/abcDar.c
+++ b/src/base/abci/abcDar.c
@@ -1335,7 +1335,6 @@ Abc_Ntk_t * Abc_NtkDarLcorrNew( Abc_Ntk_t * pNtk, int nVarsMax, int nConfMax, in
         return NULL;
     Ssw_ManSetDefaultParams( pPars );
     pPars->fLatchCorrOpt = 1;
-//    pPars->nFramesAddSim = 0;
     pPars->nBTLimit      = nConfMax;
     pPars->nSatVarMax    = nVarsMax;
     pPars->fVerbose      = fVerbose;