diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-18 08:10:18 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-18 08:10:18 -0700 |
commit | 3b838b953d36c6293af51ddae55ec061e994b4c7 (patch) | |
tree | af8d6fdfbcdb53a1e3d5ae403d9e7523b1cbba45 /src/proof/fra/fraCec.c | |
parent | c30a0af71c219dcdd42322c411b805bb674d14b7 (diff) | |
download | abc-3b838b953d36c6293af51ddae55ec061e994b4c7.tar.gz abc-3b838b953d36c6293af51ddae55ec061e994b4c7.tar.bz2 abc-3b838b953d36c6293af51ddae55ec061e994b4c7.zip |
Tuning SAT solver for QBF instances.
Diffstat (limited to 'src/proof/fra/fraCec.c')
-rw-r--r-- | src/proof/fra/fraCec.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/fra/fraCec.c b/src/proof/fra/fraCec.c index fe113367..130036a6 100644 --- a/src/proof/fra/fraCec.c +++ b/src/proof/fra/fraCec.c @@ -194,7 +194,7 @@ int Fra_FraigSat( Aig_Man_t * pMan, ABC_INT64_T nConfLimit, ABC_INT64_T nInsLimi } if ( nLearnedStart ) - pSat->nLearntStart = nLearnedStart; + pSat->nLearntStart = pSat->nLearntMax = nLearnedStart; if ( nLearnedDelta ) pSat->nLearntDelta = nLearnedDelta; if ( nLearnedPerce ) |