Home
last modified time | relevance | path

Searched refs:Abc_PrintTimeP (Results 1 – 6 of 6) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/
H A DdchMan.c96 Abc_PrintTimeP( 1, "Sim init ", p->timeSimInit, p->timeTotal ); in Dch_ManPrintStats()
97 Abc_PrintTimeP( 1, "Sim SAT ", p->timeSimSat, p->timeTotal ); in Dch_ManPrintStats()
98 Abc_PrintTimeP( 1, "SAT solving", p->timeSat, p->timeTotal ); in Dch_ManPrintStats()
99 Abc_PrintTimeP( 1, " sat ", p->timeSatSat, p->timeTotal ); in Dch_ManPrintStats()
100 Abc_PrintTimeP( 1, " unsat ", p->timeSatUnsat, p->timeTotal ); in Dch_ManPrintStats()
101 Abc_PrintTimeP( 1, " undecided", p->timeSatUndec, p->timeTotal ); in Dch_ManPrintStats()
102 Abc_PrintTimeP( 1, "Choice ", p->timeChoice, p->timeTotal ); in Dch_ManPrintStats()
103 Abc_PrintTimeP( 1, "Other ", p->timeOther, p->timeTotal ); in Dch_ManPrintStats()
104 Abc_PrintTimeP( 1, "TOTAL ", p->timeTotal, p->timeTotal ); in Dch_ManPrintStats()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/
H A DcecMan.c83 Abc_PrintTimeP( 1, "Time", p->timeSatUnsat, p->timeTotal ); in Cec_ManSatPrintStats()
86 Abc_PrintTimeP( 1, "Time", p->timeSatSat, p->timeTotal ); in Cec_ManSatPrintStats()
89 Abc_PrintTimeP( 1, "Time", p->timeSatUndec, p->timeTotal ); in Cec_ManSatPrintStats()
158 Abc_PrintTimeP( 1, "Finding ", p->timeFind, p->timeTotal ); in Cec_ManPatPrintStats()
159 Abc_PrintTimeP( 1, "Shrinking", p->timeShrink, p->timeTotal ); in Cec_ManPatPrintStats()
160 Abc_PrintTimeP( 1, "Verifying", p->timeVerify, p->timeTotal ); in Cec_ManPatPrintStats()
161 Abc_PrintTimeP( 1, "Sorting ", p->timeSort, p->timeTotal ); in Cec_ManPatPrintStats()
162 Abc_PrintTimeP( 1, "Packing ", p->timePack, p->timeTotal ); in Cec_ManPatPrintStats()
H A DcecChoice.c293 Abc_PrintTimeP( 1, "Srm ", clkSrm, clkTotal ); in Cec_ManChoiceComputation_int()
294 Abc_PrintTimeP( 1, "Sat ", clkSat, clkTotal ); in Cec_ManChoiceComputation_int()
295 Abc_PrintTimeP( 1, "Sim ", clkSim, clkTotal ); in Cec_ManChoiceComputation_int()
296 Abc_PrintTimeP( 1, "Other", clkTotal-clkSat-clkSrm-clkSim, clkTotal ); in Cec_ManChoiceComputation_int()
H A DcecCore.c524 Abc_PrintTimeP( 1, "Sim ", p->timeSim, Abc_Clock() - (int)clkTotal ); in Cec_ManSatSweeping()
525 Abc_PrintTimeP( 1, "Sat ", p->timeSat-pPat->timeTotalSave, Abc_Clock() - (int)clkTotal ); in Cec_ManSatSweeping()
526 Abc_PrintTimeP( 1, "Pat ", p->timePat+pPat->timeTotalSave, Abc_Clock() - (int)clkTotal ); in Cec_ManSatSweeping()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcChain.c378 Abc_PrintTimeP( 1, "BMC ", clkBmc, Abc_Clock() - clk ); in Bmc_ChainTest()
379 Abc_PrintTimeP( 1, "Init ", clkMov, Abc_Clock() - clk ); in Bmc_ChainTest()
380 Abc_PrintTimeP( 1, "SAT ", clkSat, Abc_Clock() - clk ); in Bmc_ChainTest()
381 Abc_PrintTimeP( 1, "Clean", clkCln, Abc_Clock() - clk ); in Bmc_ChainTest()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/
H A Dabc_global.h455 static inline void Abc_PrintTimeP( int level, const char * pStr, abctime time, abctime Time ) in Abc_PrintTimeP() function