diff options
| -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; } |