Searched refs:timeLastSolved (Results 1 – 6 of 6) sorted by relevance
395 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()
81 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()
84 abctime timeLastSolved; // the time when the last output was solved member
981 abctime timeLastSolved = 0; in Ssw_RarSimulate() local1007 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()
1355 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()
119 abctime timeLastSolved; // the time when the last output was solved member