Searched refs:tSatUnsat (Results 1 – 3 of 3) sorted by relevance
167 abctime tSatUnsat; member
351 p->tSatUnsat += clk; in Pdr_ManCheckCube()
330 ABC_PRTP( " unsat ", p->tSatUnsat, p->tTotal ); in Pdr_ManStop()