diff options
Diffstat (limited to 'src/sat/bsat/satSolver.c')
| -rw-r--r-- | src/sat/bsat/satSolver.c | 3 |
1 files changed, 2 insertions, 1 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, |