diff options
Diffstat (limited to 'src/sat')
| -rw-r--r-- | src/sat/bsat/satSolver.c | 3 | ||||
| -rw-r--r-- | src/sat/bsat/satSolver2.c | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c index 188a504f..8a3cbc33 100644 --- a/src/sat/bsat/satSolver.c +++ b/src/sat/bsat/satSolver.c @@ -1592,7 +1592,8 @@ int sat_solver_solve(sat_solver* s, lit* begin, lit* end, ABC_INT64_T nConfLimit (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, Ratio, 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, |