From 3ffb098d645ad4c8aefc25bc27864a31c559dc2d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 6 Sep 2017 20:33:53 -0700
Subject: Adding global conflict counter to Satoko (to make it apple-to-apple
 with other solvers).

---
 src/sat/satoko/solver.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/sat/satoko/solver.c')

diff --git a/src/sat/satoko/solver.c b/src/sat/satoko/solver.c
index 9f5d3424..6e58e8a5 100644
--- a/src/sat/satoko/solver.c
+++ b/src/sat/satoko/solver.c
@@ -631,6 +631,7 @@ char solver_search(solver_t *s)
         unsigned confl_cref = solver_propagate(s);
         if (confl_cref != UNDEF) {
             s->stats.n_conflicts++;
+            s->stats.n_conflicts_all++;
             if (solver_dlevel(s) == 0)
                 return SATOKO_UNSAT;
             /* Restart heuristic */
-- 
cgit v1.2.3