Home
last modified time | relevance | path

Searched refs:timeLastSolved (Results 1 – 6 of 6) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/
H A DpdrIncr.c395 p->pPars->timeLastSolved = Abc_Clock(); in IPdr_ManSolveInt()
508 p->pPars->timeLastSolved = Abc_Clock(); in IPdr_ManSolveInt()
520 …if ( p->pPars->nTimeOutGap && p->pPars->timeLastSolved && Abc_Clock() > p->pPars->timeLastSolved +… in IPdr_ManSolveInt()
538 …else if ( p->pPars->nTimeOutGap && p->pPars->timeLastSolved && Abc_Clock() > p->pPars->timeLastSol… in IPdr_ManSolveInt()
562 …else if ( p->pPars->nTimeOutGap && p->pPars->timeLastSolved && Abc_Clock() > p->pPars->timeLastSol… in IPdr_ManSolveInt()
753 …if ( p->pPars->nTimeOutGap && p->pPars->timeLastSolved && Abc_Clock() > p->pPars->timeLastSolved +… in IPdr_ManSolveInt()
H A DpdrCore.c81 pPars->timeLastSolved = 0; // last one solved in Pdr_ManSetDefaultParams()
1023 …if ( p->pPars->nTimeOutGap && p->pPars->timeLastSolved && Abc_Clock() > p->pPars->timeLastSolved +… in Pdr_ManBlockCube()
1062 p->pPars->timeLastSolved = Abc_Clock(); in Pdr_ManSolveInt()
1124 p->pPars->timeLastSolved = Abc_Clock(); in Pdr_ManSolveInt()
1136 …if ( p->pPars->nTimeOutGap && p->pPars->timeLastSolved && Abc_Clock() > p->pPars->timeLastSolved +… in Pdr_ManSolveInt()
1154 …else if ( p->pPars->nTimeOutGap && p->pPars->timeLastSolved && Abc_Clock() > p->pPars->timeLastSol… in Pdr_ManSolveInt()
1178 …else if ( p->pPars->nTimeOutGap && p->pPars->timeLastSolved && Abc_Clock() > p->pPars->timeLastSol… in Pdr_ManSolveInt()
1354 …if ( p->pPars->nTimeOutGap && p->pPars->timeLastSolved && Abc_Clock() > p->pPars->timeLastSolved +… in Pdr_ManSolveInt()
H A Dpdr.h84 abctime timeLastSolved; // the time when the last output was solved member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswRarity.c981 abctime timeLastSolved = 0; in Ssw_RarSimulate() local
1007 timeLastSolved = Abc_Clock(); in Ssw_RarSimulate()
1047 timeLastSolved = Abc_Clock(); in Ssw_RarSimulate()
1062 …if ( pPars->TimeOutGap && timeLastSolved && Abc_Clock() > timeLastSolved + pPars->TimeOutGap * CLO… in Ssw_RarSimulate()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcBmc3.c1355 p->timeLastSolved = 0; // time when the last one was solved in Saig_ParBmcSetDefaultParams()
1528 pPars->timeLastSolved = Abc_Clock(); in Saig_ManBmcScalable()
1588 …if ( pPars->nTimeOutGap && pPars->timeLastSolved && Abc_Clock() > pPars->timeLastSolved + pPars->n… in Saig_ManBmcScalable()
1618 …if ( pPars->nTimeOutGap && pPars->timeLastSolved && Abc_Clock() > pPars->timeLastSolved + pPars->n… in Saig_ManBmcScalable()
1760 pPars->timeLastSolved = Abc_Clock(); in Saig_ManBmcScalable()
H A Dbmc.h119 abctime timeLastSolved; // the time when the last output was solved member