From faa934e2e659372d87e9242fa20cb40cacd20ee3 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 14 Feb 2012 00:17:01 -0800
Subject: Added restarts to PDR.

---
 src/proof/pdr/pdrCore.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/proof/pdr/pdrCore.c')

diff --git a/src/proof/pdr/pdrCore.c b/src/proof/pdr/pdrCore.c
index 9ba5dc2d..2524d380 100644
--- a/src/proof/pdr/pdrCore.c
+++ b/src/proof/pdr/pdrCore.c
@@ -432,7 +432,7 @@ int Pdr_ManBlockCube( Pdr_Man_t * p, Pdr_Set_t * pCube )
             return 0; // SAT
         if ( p->nQueLim && p->nQueCur >= p->nQueLim )
         {
-            p->nQueLim = p->nQueLim * 11 / 10;
+            p->nQueLim = p->nQueLim * 3 / 2;
             Pdr_QueueStop( p );
             return 1; // restart
         }
-- 
cgit v1.2.3