diff options
| -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 } |