diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-14 00:17:01 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-14 00:17:01 -0800 |
| commit | faa934e2e659372d87e9242fa20cb40cacd20ee3 (patch) | |
| tree | 0a031fcd8afc5df5d23f5e62ec93f989e1fbdd91 /src/proof/pdr/pdrCore.c | |
| parent | 77b5dc261e15e62c7e345b9216601010d139d711 (diff) | |
| download | abc-faa934e2e659372d87e9242fa20cb40cacd20ee3.tar.gz abc-faa934e2e659372d87e9242fa20cb40cacd20ee3.tar.bz2 abc-faa934e2e659372d87e9242fa20cb40cacd20ee3.zip | |
Added restarts to PDR.
Diffstat (limited to 'src/proof/pdr/pdrCore.c')
| -rw-r--r-- | src/proof/pdr/pdrCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 } |