From 6ba6c3279aa7a3d2f2bd6507a029e7aee0dcf65c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 9 Jul 2012 23:09:59 -0700
Subject: Performance bug fix in the SAT solver (clearing variable activity
 after rollback).

---
 src/sat/bsat/satSolver2.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/sat/bsat/satSolver2.c b/src/sat/bsat/satSolver2.c
index 0e456f46..631051e0 100644
--- a/src/sat/bsat/satSolver2.c
+++ b/src/sat/bsat/satSolver2.c
@@ -1573,6 +1573,9 @@ void sat_solver2_rollback( sat_solver2* s )
     // reset watcher lists
     for ( i = 2*s->iVarPivot; i < 2*s->size; i++ )
         s->wlists[i].size = 0;
+    // clear variable activity
+    for ( i = s->iVarPivot; i < s->size; i++ )
+        s->activity[i] = (1<<10);
 
     // initialize other vars
     s->size = s->iVarPivot;
-- 
cgit v1.2.3