Adiar 1.0.0 : Experiment Data

This data set concerns the performance and characteristics of the newly BDD library, <em>Adiar</em> (github.com/ssoelvsten/adiar), as has been reported in the full paper "Efficient Binary Decision Diagram Manipulation in External Memory" (https://arxiv.org/abs/2104.12101) and the short version "Adiar: Binary Decision Diagrams in External Memory" submitted to FM 2021. In the <em>.zip</em> files you can find the raw data as was output onto the console. The <em>.odt</em> spreadsheet files contain the data analysis, which exactly shows how we derived the reported numbers. Please, read the introductory discussion in each spreadsheet. Notice, that the raw data often uses the old name for the BDD library, <em>COOM</em>, rather than <em>Adiar</em>.