Searched refs:Abc_PrintTimeP (Results 1 – 6 of 6) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
H A D | dchMan.c | 96 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 D | cecMan.c | 83 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 D | cecChoice.c | 293 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 D | cecCore.c | 524 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 D | bmcChain.c | 378 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 D | abc_global.h | 455 static inline void Abc_PrintTimeP( int level, const char * pStr, abctime time, abctime Time ) in Abc_PrintTimeP() function
|