diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-25 18:07:41 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-25 18:07:41 -0800 |
| commit | 0f594b78fae6f45cee463fe47e6f2c0fb33abaf2 (patch) | |
| tree | 155fa11088110b21ff681b2bcbc236b680ec3cb6 | |
| parent | 9726d5a85e132e117cbc5caf7a3d8b6cd2f9e4fc (diff) | |
| download | abc-0f594b78fae6f45cee463fe47e6f2c0fb33abaf2.tar.gz abc-0f594b78fae6f45cee463fe47e6f2c0fb33abaf2.tar.bz2 abc-0f594b78fae6f45cee463fe47e6f2c0fb33abaf2.zip | |
Commented out the default call to UNSAT core verification.
| -rw-r--r-- | src/sat/bsat/satInterP.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satInterP.c b/src/sat/bsat/satInterP.c index 76f6982d..ff0b0e94 100644 --- a/src/sat/bsat/satInterP.c +++ b/src/sat/bsat/satInterP.c @@ -1037,7 +1037,7 @@ p->timeTotal += clock() - clkTotal; if ( fVerbose ) printf( "Root clauses = %d. Learned clauses = %d. UNSAT core size = %d.\n", p->pCnf->nRoots, p->pCnf->nClauses-p->pCnf->nRoots, Vec_IntSize(vCore) ); - Intp_ManUnsatCoreVerify( p->pCnf, vCore ); +// Intp_ManUnsatCoreVerify( p->pCnf, vCore ); return vCore; } |