diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-04 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-04 08:01:00 -0800 |
| commit | 52e5b91cbbfe587bae80984bb3672e4c1a70203c (patch) | |
| tree | 0aec31b1121e4eb690f1dc17b3c76617b723fe5e /src/sat/fraig | |
| parent | 44d220d28fa2ee56cb539e03684f021731814f17 (diff) | |
| download | abc-52e5b91cbbfe587bae80984bb3672e4c1a70203c.tar.gz abc-52e5b91cbbfe587bae80984bb3672e4c1a70203c.tar.bz2 abc-52e5b91cbbfe587bae80984bb3672e4c1a70203c.zip | |
Version abc61204
Diffstat (limited to 'src/sat/fraig')
| -rw-r--r-- | src/sat/fraig/fraigMan.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/sat/fraig/fraigMan.c b/src/sat/fraig/fraigMan.c index 4e188cf0..4e12dfe4 100644 --- a/src/sat/fraig/fraigMan.c +++ b/src/sat/fraig/fraigMan.c @@ -64,7 +64,8 @@ void Prove_ParamsSetDefault( Prove_Params_t * pParams ) pParams->nBddSizeLimit = 1000000; // the number of BDD nodes when construction is aborted pParams->fBddReorder = 1; // enables dynamic BDD variable reordering // last-gasp mitering - pParams->nMiteringLimitLast = 1000000; // final mitering limit +// pParams->nMiteringLimitLast = 1000000; // final mitering limit + pParams->nMiteringLimitLast = 0; // final mitering limit // global SAT solver limits pParams->nTotalBacktrackLimit = 0; // global limit on the number of backtracks pParams->nTotalInspectLimit = 0; // global limit on the number of clause inspects |