search

SSoelvsten / adiar

An I/O-efficient implementation of (Binary) Decision Diagrams
https://ssoelvsten.github.io/adiar/
MIT License
23 stars 13 forks source link

Quantification statistics : Total Number of Runs is Incorrect (Singleton Quantification) #644

Closed SSoelvsten closed 3 weeks ago

SSoelvsten commented 6 months ago

The total number of runs is incorrectly inferred from the sub-algorithms.

SSoelvsten commented 6 months ago

The previous bugfix only works with Nested Sweeping; if one uses Singleton quantification then it still reports the wrong number. There really isn't a solution that isn't just adding a runs statistics variable.

SSoelvsten commented 5 months ago

Furthermore, the number of terminals are recorded over all levels, but we lack knowledge of the number of non-nested edges.