From 6d2efdf28f95867119708b7361418c749daedf37 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 16 Sep 2017 12:48:23 -0700 Subject: Improvements in Glucose integration. --- src/sat/glucose/SimpSolver.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/sat/glucose/SimpSolver.cpp b/src/sat/glucose/SimpSolver.cpp index 83d97e77..43d98146 100644 --- a/src/sat/glucose/SimpSolver.cpp +++ b/src/sat/glucose/SimpSolver.cpp @@ -691,6 +691,7 @@ bool SimpSolver::eliminate(bool turn_off_elim) printf("c | Eliminated clauses: %10.2f Mb |\n", double(elimclauses.size() * sizeof(uint32_t)) / (1024*1024)); + printf( "c Simplication removed %d variables and %d clauses. ", eliminated_vars, elimclauses.size() ); Abc_PrintTime( 1, "Time", Abc_Clock() - clk ); return ok; } @@ -704,7 +705,6 @@ void SimpSolver::cleanUpClauses() if (ca[clauses[i]].mark() == 0) clauses[j++] = clauses[i]; clauses.shrink(i - j); - printf( "Simplication removed %d variables and %d clauses. ", eliminated_vars, i - j ); } -- cgit v1.2.3