diff options
Diffstat (limited to 'src/base/abci/abcFxu.c')
-rw-r--r-- | src/base/abci/abcFxu.c | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/base/abci/abcFxu.c b/src/base/abci/abcFxu.c index c50a2bec..d6744536 100644 --- a/src/base/abci/abcFxu.c +++ b/src/base/abci/abcFxu.c @@ -52,15 +52,15 @@ extern int Fxu_FastExtract( Fxu_Data_t * pData ); void Abc_NtkSetDefaultParams( Fxu_Data_t * p ) { memset( p, 0, sizeof(Fxu_Data_t) ); - p->nSingleMax = 20000; - p->nPairsMax = 30000; - p->nNodesExt = 10000; - p->WeightMax = 0; - p->fOnlyS = 0; - p->fOnlyD = 0; - p->fUse0 = 0; - p->fUseCompl = 1; - p->fVerbose = 0; + p->nSingleMax = 20000; + p->nPairsMax = 30000; + p->nNodesExt = 100000; + p->WeightMax = 0; + p->fOnlyS = 0; + p->fOnlyD = 0; + p->fUse0 = 0; + p->fUseCompl = 1; + p->fVerbose = 0; } /**Function************************************************************* |