diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 09:16:41 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 09:16:41 -0700 |
| commit | e4842315989568f685cae60d3147ef38219c6171 (patch) | |
| tree | 77626f94f1c92daf8d21238f7b78b471ccf80175 /src/proof/pdr/pdrInt.h | |
| parent | 70331b585b9d23b58429e59e99e7239caaaff795 (diff) | |
| download | abc-e4842315989568f685cae60d3147ef38219c6171.tar.gz abc-e4842315989568f685cae60d3147ef38219c6171.tar.bz2 abc-e4842315989568f685cae60d3147ef38219c6171.zip | |
Fixing time printouts in 'pdr'.
Diffstat (limited to 'src/proof/pdr/pdrInt.h')
| -rw-r--r-- | src/proof/pdr/pdrInt.h | 21 |
1 files changed, 10 insertions, 11 deletions
diff --git a/src/proof/pdr/pdrInt.h b/src/proof/pdr/pdrInt.h index 075484bf..fda287eb 100644 --- a/src/proof/pdr/pdrInt.h +++ b/src/proof/pdr/pdrInt.h @@ -111,18 +111,17 @@ struct Pdr_Man_t_ int nQueMax; int nQueLim; // runtime - ABC_INT64_T timeStart; - ABC_INT64_T timeToStop; + time_t timeToStop; // time stats - ABC_INT64_T tSat; - ABC_INT64_T tSatSat; - ABC_INT64_T tSatUnsat; - ABC_INT64_T tGeneral; - ABC_INT64_T tPush; - ABC_INT64_T tTsim; - ABC_INT64_T tContain; - ABC_INT64_T tCnf; - ABC_INT64_T tTotal; + clock_t tSat; + clock_t tSatSat; + clock_t tSatUnsat; + clock_t tGeneral; + clock_t tPush; + clock_t tTsim; + clock_t tContain; + clock_t tCnf; + clock_t tTotal; }; //////////////////////////////////////////////////////////////////////// |