From 37b8a190baa91c69dcbd4300f03e209e19fb5b9b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 13 Jan 2012 20:57:26 -0800 Subject: Improving printout in the SAT solver. --- src/sat/bsat/satSolver2.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/sat/bsat/satSolver2.c') diff --git a/src/sat/bsat/satSolver2.c b/src/sat/bsat/satSolver2.c index 1f46d88c..f4625d51 100644 --- a/src/sat/bsat/satSolver2.c +++ b/src/sat/bsat/satSolver2.c @@ -1765,7 +1765,8 @@ int sat_solver2_solve(sat_solver2* s, lit* begin, lit* end, ABC_INT64_T nConfLim (double)s->stats.conflicts, (double)s->stats.clauses, (double)s->stats.clauses_literals, - (double)nof_learnts, +// (double)nof_learnts, + (double)0, (double)s->stats.learnts, (double)s->stats.learnts_literals, (s->stats.learnts == 0)? 0.0 : (double)s->stats.learnts_literals / s->stats.learnts, -- cgit v1.2.3