1 files changed, 3 insertions, 0 deletions
diff --git a/src/sat/glucose/SimpSolver.cpp b/src/sat/glucose/SimpSolver.cpp
index 566472fe..83d97e77 100644
--- a/src/sat/glucose/SimpSolver.cpp
+++ b/src/sat/glucose/SimpSolver.cpp
@@ -604,6 +604,7 @@ void SimpSolver::extendModel()
 
 bool SimpSolver::eliminate(bool turn_off_elim)
 {
+    abctime clk = Abc_Clock();
     if (!simplify())
         return false;
     else if (!use_simplification)
@@ -690,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));
 
+    Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
     return ok;
 }
 
@@ -702,6 +704,7 @@ 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 );
 }