| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcMulti.c | 169 abctime nTimeToStop = pPars->TimeOutGlo ? Abc_Clock() + pPars->TimeOutGlo * CLOCKS_PER_SEC : 0; in Gia_ManMultiProveAig() local
210 if ( nTimeToStop && Abc_Clock() + TimeOutLoc * CLOCKS_PER_SEC > nTimeToStop ) in Gia_ManMultiProveAig()
242 if ( nTimeToStop && Abc_Clock() + TimeOutLoc * CLOCKS_PER_SEC > nTimeToStop ) in Gia_ManMultiProveAig()
|
| H A D | bmcBmc3.c | 1372 abctime nTimeToStop = 0; in Saig_ManBmcTimeToStop() local
1376 nTimeToStop = nTimeToStopNG; in Saig_ManBmcTimeToStop()
1378 nTimeToStop = nTimeToStopGap; in Saig_ManBmcTimeToStop()
1379 return nTimeToStop; in Saig_ManBmcTimeToStop()
1473 abctime nTimeToStopNG, nTimeToStop; in Saig_ManBmcScalable() local
1517 if ( nTimeToStop ) in Saig_ManBmcScalable()
1520 satoko_set_runtime_limit( p->pSat2, nTimeToStop ); in Saig_ManBmcScalable()
1524 sat_solver_set_runtime_limit( p->pSat, nTimeToStop ); in Saig_ManBmcScalable()
1593 if ( nTimeToStop && Abc_Clock() > nTimeToStop ) in Saig_ManBmcScalable()
1623 if ( nTimeToStop && Abc_Clock() > nTimeToStop ) in Saig_ManBmcScalable()
[all …]
|
| H A D | bmcBmc2.c | 818 abctime nTimeToStop = nTimeOut ? nTimeOut * CLOCKS_PER_SEC + Abc_Clock(): 0; in Saig_BmcPerform() local
840 satoko_set_runtime_limit( p->pSat2, nTimeToStop ); in Saig_BmcPerform()
842 sat_solver_set_runtime_limit( p->pSat, nTimeToStop ); in Saig_BmcPerform()
878 if ( nTimeOut && Abc_Clock() > nTimeToStop ) in Saig_BmcPerform()
926 else if ( nTimeOut && Abc_Clock() > nTimeToStop ) in Saig_BmcPerform()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int2/ |
| H A D | int2Core.c | 264 abctime nTimeToStop = pPars->nSecLimit ? pPars->nSecLimit * CLOCKS_PER_SEC + Abc_Clock() : 0; in Int2_ManPerformInterpolation() local
277 sat_solver_set_runtime_limit( p->pSatPref, nTimeToStop ); in Int2_ManPerformInterpolation()
293 sat_solver_set_runtime_limit( p->pSatSuff, nTimeToStop ); in Int2_ManPerformInterpolation()
298 if ( nTimeToStop && Abc_Clock() > nTimeToStop ) in Int2_ManPerformInterpolation()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaCCof.c | 272 abctime nTimeToStop = Abc_Clock() + nTimeMax * CLOCKS_PER_SEC; in Gia_ManCofTest() local
281 sat_solver_set_runtime_limit( p->pSat, nTimeToStop ); in Gia_ManCofTest()
313 if ( nTimeToStop && Abc_Clock() > nTimeToStop ) in Gia_ManCofTest()
|
| H A D | giaSim2.c | 644 abctime nTimeToStop = pPars->TimeLimit ? pPars->TimeLimit * CLOCKS_PER_SEC + Abc_Clock(): 0; in Gia_ManSimSimulateEquiv() local
685 if ( Abc_Clock() > nTimeToStop ) in Gia_ManSimSimulateEquiv()
|
| H A D | giaSim.c | 605 abctime nTimeToStop = pPars->TimeLimit ? pPars->TimeLimit * CLOCKS_PER_SEC + Abc_Clock(): 0; in Gia_ManSimSimulate() local
642 if ( Abc_Clock() > nTimeToStop ) in Gia_ManSimSimulate()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigInd.c | 159 abctime clk, nTimeToStop = nTimeOut ? nTimeOut * CLOCKS_PER_SEC + Abc_Clock() : 0; in Saig_ManInduction() local
176 if ( nTimeToStop ) in Saig_ManInduction()
177 sat_solver_set_runtime_limit( pSat, nTimeToStop ); in Saig_ManInduction()
381 if ( nTimeToStop && Abc_Clock() >= nTimeToStop ) in Saig_ManInduction()
|
| H A D | saigGlaCba.c | 692 clock_t nTimeToStop = TimeLimit ? TimeLimit * CLOCKS_PER_SEC + clock(): 0; in Aig_Gla1ManPerform() local
718 sat_solver_set_runtime_limit( p->pSat, nTimeToStop ); in Aig_Gla1ManPerform()
757 if ( TimeLimit && clock() > nTimeToStop ) in Aig_Gla1ManPerform()
|
| H A D | saigGlaPba.c | 529 clock_t nTimeToStop = TimeLimit ? TimeLimit * CLOCKS_PER_SEC + clock(): 0; in Aig_Gla2ManPerform() local
555 sat_solver_set_runtime_limit( p->pSat, nTimeToStop ); in Aig_Gla2ManPerform()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswRarity2.c | 313 abctime nTimeToStop = TimeOut ? TimeOut * CLOCKS_PER_SEC + Abc_Clock(): 0; in Ssw_RarSimulate2() local
356 if ( TimeOut && Abc_Clock() > nTimeToStop ) in Ssw_RarSimulate2()
392 abctime nTimeToStop = TimeOut ? TimeOut * CLOCKS_PER_SEC + Abc_Clock(): 0; in Ssw_RarSignalFilter2() local
465 if ( TimeOut && Abc_Clock() > nTimeToStop ) in Ssw_RarSignalFilter2()
|
| H A D | sswFilter.c | 387 abctime nTimeToStop = TimeLimit ? TimeLimit * CLOCKS_PER_SEC + Abc_Clock(): 0; in Ssw_SignalFilter() local
433 TimeLimitPart = TimeLimit ? (nTimeToStop - Abc_Clock()) / CLOCKS_PER_SEC : 0; in Ssw_SignalFilter()
448 if ( TimeLimit && Abc_Clock() > nTimeToStop ) in Ssw_SignalFilter()
|
| H A D | sswRarity.c | 980 abctime nTimeToStop = pPars->TimeOut ? pPars->TimeOut * CLOCKS_PER_SEC + Abc_Clock(): 0; in Ssw_RarSimulate() local
1052 if ( pPars->TimeOut && Abc_Clock() > nTimeToStop ) in Ssw_RarSimulate()
1224 abctime nTimeToStop = pPars->TimeOut ? pPars->TimeOut * CLOCKS_PER_SEC + Abc_Clock(): 0; in Ssw_RarSignalFilter() local
1301 if ( pPars->TimeOut && Abc_Clock() > nTimeToStop ) in Ssw_RarSignalFilter()
|