From b9ee5d8564025acfbeb632cf3c28ecb8d61a7aa4 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 11 Jul 2012 12:45:46 -0700 Subject: Improvements in the proof-logging SAT solver. --- src/sat/bsat/satUtil.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/sat/bsat/satUtil.c') diff --git a/src/sat/bsat/satUtil.c b/src/sat/bsat/satUtil.c index 1694ae01..05b9403d 100644 --- a/src/sat/bsat/satUtil.c +++ b/src/sat/bsat/satUtil.c @@ -211,6 +211,7 @@ void Sat_Solver2PrintStats( FILE * pFile, sat_solver2 * s ) printf( "propagations : %10d\n", (int)s->stats.propagations ); // printf( "inspects : %10d\n", (int)s->stats.inspects ); // printf( "inspects2 : %10d\n", (int)s->stats.inspects2 ); +/* printf( "memory for variables %.1f MB (free %6.2f %%) and clauses %.1f MB (free %6.2f %%)\n", 1.0 * Sat_Solver2GetVarMem(s) * s->size / (1<<20), 100.0 * (s->cap - s->size) / s->cap, @@ -218,6 +219,7 @@ void Sat_Solver2PrintStats( FILE * pFile, sat_solver2 * s ) 100.0 * (s->clauses.cap - s->clauses.size + s->learnts.cap - s->learnts.size) / (s->clauses.cap + s->learnts.cap) ); +*/ } /**Function************************************************************* -- cgit v1.2.3