Collapse statistics compilation to a single CMake value

SSoelvsten / adiar

An I/O-efficient implementation of (Binary) Decision Diagrams

https://ssoelvsten.github.io/adiar/

MIT License

24 stars 13 forks source link

Closed SSoelvsten closed 2 years ago

SSoelvsten commented 2 years ago

Currently we have two levels of statistics

ADIAR_STATS: Only statistics with an O(1) overhead.
ADIAR_STATS_EXTRA: All statistics with an O(N+T) overhead, where N is the size of the input and T of the output.

Question is, does anyone care for only using ADIAR_STATS when they are collecting statistics?

SSoelvsten commented 2 years ago

I ran the 13-Queens to see how big an overhead having statistics on really is. Below you have the number of seconds it took to run.

It is safe to say, there is no slowdown due to having the full set of statistics.