| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
| H A D | dchSat.c | 109 p->timeSatUndec += Abc_Clock() - clk; in Dch_NodesAreEquiv()
151 p->timeSatUndec += Abc_Clock() - clk; in Dch_NodesAreEquiv()
|
| H A D | dchInt.h | 92 abctime timeSatUndec; // undecided member
|
| H A D | dchMan.c | 101 Abc_PrintTimeP( 1, " undecided", p->timeSatUndec, p->timeTotal ); in Dch_ManPrintStats()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cgt/ |
| H A D | cgtSat.c | 85 p->timeSatUndec += Abc_Clock() - clk; in Cgt_CheckImplication()
|
| H A D | cgtInt.h | 83 abctime timeSatUndec; // undecided runtime member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswSat.c | 114 p->timeSatUndec += Abc_Clock() - clk; in Ssw_NodesAreEquiv()
176 p->timeSatUndec += Abc_Clock() - clk; in Ssw_NodesAreEquiv()
|
| H A D | sswMan.c | 129 ABC_PRTP( " undecided", p->timeSatUndec, p->timeTotal ); in Ssw_ManPrintStats()
|
| H A D | sswSemi.c | 314 pMan->timeSatUndec = 0; in Ssw_FilterUsingSemi()
|
| H A D | sswInt.h | 137 abctime timeSatUndec; // undecided member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/ |
| H A D | sscInt.h | 81 abctime timeSatUndec; // undecided member
|
| H A D | sscSat.c | 389 p->timeSatUndec += Abc_Clock() - clk; in Ssc_ManCheckEquivalence()
417 p->timeSatUndec += Abc_Clock() - clk; in Ssc_ManCheckEquivalence()
|
| H A D | sscCore.c | 141 …p->timeSimInit - p->timeSimSat - p->timeCnfGen - p->timeSatSat - p->timeSatUnsat - p->timeSatUndec; in Ssc_ManPrintStats()
148 ABC_PRTP( " undecided ", p->timeSatUndec, p->timeTotal ); in Ssc_ManPrintStats()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaCSatOld.c | 78 abctime timeSatUndec; // undecided member
693 ABC_PRTP( "Time", p->timeSatUndec, p->timeTotal ); in Cbs0_ManSatPrintStats()
768 p->timeSatUndec += Abc_Clock() - clk; in Cbs_ManSolveMiter()
|
| H A D | giaSweeper.c | 85 abctime timeSatUndec; member
200 ABC_PRTP( " Undecided ", p->timeSatUndec, p->timeTotal ); in Gia_SweeperPrintStats()
864 p->timeSatUndec += Abc_Clock() - clk; in Gia_SweeperCheckEquiv()
904 p->timeSatUndec += Abc_Clock() - clk; in Gia_SweeperCheckEquiv()
968 p->timeSatUndec += Abc_Clock() - clk; in Gia_SweeperCondCheckUnsat()
|
| H A D | giaCTas2.c | 120 clock_t timeSatUndec; // undecided member
|
| H A D | giaCSat.c | 86 abctime timeSatUndec; // undecided member
1022 ABC_PRTP( "Time", p->timeSatUndec, p->timeTotal ); in Cbs_ManSatPrintStats()
1103 p->timeSatUndec += Abc_Clock() - clk; in Cbs_ManSolveMiterNc()
|
| H A D | giaCTas.c | 113 abctime timeSatUndec; // undecided member
1502 ABC_PRTP( "Time", p->timeSatUndec, p->timeTotal ); in Tas_ManSatPrintStats()
1588 p->timeSatUndec += Abc_Clock() - clk; in Tas_ManSolveMiterNc()
1744 p->timeSatUndec += Abc_Clock() - clk; in Tas_ManSolveMiterNc2()
|
| H A D | giaCSat2.c | 97 abctime timeSatUndec; // undecided member
1464 ABC_PRTP( "Time", p->timeSatUndec, p->timeTotal ); in Cbs2_ManSatPrintStats()
1635 p->timeSatUndec += Abc_Clock() - clk; in Cbs2_ManSolveMiterNc()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cecInt.h | 106 int timeSatUndec; // undecided member
|
| H A D | cecSatG.c | 69 abctime timeSatUndec; member
700 abctime timeSat = p->timeSatSat + p->timeSatUnsat + p->timeSatUndec; in Cec3_ManDestroy()
706 ABC_PRTP( " fail ", p->timeSatUndec, timeTotal ); in Cec3_ManDestroy()
894 p->timeSatUndec += Abc_Clock() - clk; in Cec3_ManSweepNode()
|
| H A D | cecMan.c | 89 Abc_PrintTimeP( 1, "Time", p->timeSatUndec, p->timeTotal ); in Cec_ManSatPrintStats()
|
| H A D | cecSat.c | 69 abctime timeSatUndec; member
715 abctime timeSat = p->timeSatSat + p->timeSatUnsat + p->timeSatUndec; in Cec2_ManDestroy()
721 ABC_PRTP( " fail ", p->timeSatUndec, timeTotal ); in Cec2_ManDestroy()
896 p->timeSatUndec += Abc_Clock() - clk; in Cec2_ManSweepNode()
|
| H A D | cecSolve.c | 550 p->timeSatUndec += Abc_Clock() - clk; in Cec_ManSatCheckNode()
655 p->timeSatUndec += Abc_Clock() - clk; in Cec_ManSatCheckNodeTwo()
|