From 0f594b78fae6f45cee463fe47e6f2c0fb33abaf2 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 25 Nov 2011 18:07:41 -0800 Subject: Commented out the default call to UNSAT core verification. --- src/sat/bsat/satInterP.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; } -- cgit v1.2.3