diff options
Diffstat (limited to 'src/aig/llb/llbCore.c')
| -rw-r--r-- | src/aig/llb/llbCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/llb/llbCore.c b/src/aig/llb/llbCore.c index 562a9800..cbd527e2 100644 --- a/src/aig/llb/llbCore.c +++ b/src/aig/llb/llbCore.c @@ -48,7 +48,7 @@ void Llb_ManSetDefaultParams( Gia_ParLlb_t * p ) { memset( p, 0, sizeof(Gia_ParLlb_t) ); p->nBddMax = 1000000; - p->nIterMax = 1000; + p->nIterMax = 10000000; p->nClusterMax = 20; p->nHintDepth = 0; p->HintFirst = 0; |