Searched refs:timeTran2 (Results 1 – 1 of 1) sorted by relevance
59 abctime timeTran2; member624 p->timeTran2 += Abc_Clock() - clk3; in Llb_NonlinReachability()752 p->timeOther = p->timeTotal - p->timeImage - p->timeTran1 - p->timeTran2 - p->timeGloba; in Llb_MnnStop()759 ABC_PRTP( "Transfer2", p->timeTran2, p->timeTotal ); in Llb_MnnStop()