Home
last modified time | relevance | path

Searched refs:clkOne (Results 1 – 3 of 3) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/
H A DpdrIncr.c381 abctime clkStart = Abc_Clock(), clkOne = 0; in IPdr_ManSolveInt() local
515 clkOne = Abc_Clock(); in IPdr_ManSolveInt()
639 abctime timeSince = Abc_Clock() - clkOne; in IPdr_ManSolveInt()
H A DpdrCore.c1048 abctime clkStart = Abc_Clock(), clkOne = 0; in Pdr_ManSolveInt() local
1131 clkOne = Abc_Clock(); in Pdr_ManSolveInt()
1252 abctime timeSince = Abc_Clock() - clkOne; in Pdr_ManSolveInt()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcBmc3.c1472 abctime nTimeUnsat = 0, nTimeSat = 0, nTimeUndec = 0, clkOne = 0; in Saig_ManBmcScalable() local
1651 clkOne = Abc_Clock(); in Saig_ManBmcScalable()
1668 abctime timeSince = Abc_Clock() - clkOne; in Saig_ManBmcScalable()