Fix. Output the statistics for simplifying minisat.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1017 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/sat/SimplifyingMinisat.cpp b/src/sat/SimplifyingMinisat.cpp
index c4307024326178772ed1ffa1b59357ebff4e50d5..a106f56ae3b518aee3811cd529a37f5b7481d9d7 100644 (file)
--- a/src/sat/SimplifyingMinisat.cpp
+++ b/src/sat/SimplifyingMinisat.cpp
@@ -63,7 +63,6 @@ namespace BEEV
 
   void SimplifyingMinisat::printStats()
   {
-#if 0
     double cpu_time = Minisat::cpuTime();
     double mem_used = Minisat::memUsedPeak();
     printf("restarts              : %"PRIu64"\n", s->starts);
@@ -73,7 +72,6 @@ namespace BEEV
     printf("conflict literals     : %-12"PRIu64"   (%4.2f %% deleted)\n", s->tot_literals, (s->max_literals - s->tot_literals)*100 / (double)s->max_literals);
     if (mem_used != 0) printf("Memory used           : %.2f MB\n", mem_used);
     printf("CPU time              : %g s\n", cpu_time);
-
-#endif
   }
+
 };