Searched refs:clkOne (Results 1 – 3 of 3) sorted by relevance
381 abctime clkStart = Abc_Clock(), clkOne = 0; in IPdr_ManSolveInt() local515 clkOne = Abc_Clock(); in IPdr_ManSolveInt()639 abctime timeSince = Abc_Clock() - clkOne; in IPdr_ManSolveInt()
1048 abctime clkStart = Abc_Clock(), clkOne = 0; in Pdr_ManSolveInt() local1131 clkOne = Abc_Clock(); in Pdr_ManSolveInt()1252 abctime timeSince = Abc_Clock() - clkOne; in Pdr_ManSolveInt()
1472 abctime nTimeUnsat = 0, nTimeSat = 0, nTimeUndec = 0, clkOne = 0; in Saig_ManBmcScalable() local1651 clkOne = Abc_Clock(); in Saig_ManBmcScalable()1668 abctime timeSince = Abc_Clock() - clkOne; in Saig_ManBmcScalable()