From 5c1673c1fea6b258090e8b24fe3f1c627009ddd1 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Sun, 12 Sep 2010 12:31:57 +0000 Subject: [PATCH] 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 --- src/sat/SimplifyingMinisat.cpp | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/sat/SimplifyingMinisat.cpp b/src/sat/SimplifyingMinisat.cpp index c430702..a106f56 100644 --- 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 } + }; -- 2.47.3