Adiar 1.0.1 : Experiment Data
Steffan Christ Sølvsten, Jaco van de Pol · arXiv (Cornell University) · 2021
Adiar 1.0.1 : TACAS 2022 Artifact This artifact consists of three parts. Adiar The (runnable) source code for the Adiar BDD package. BDD-Benchmark The (runnable) source code for the set of benchmarks we have reported on in the paper. Data The full data set (both the raw console logs and the Libre Office files analysing the data). For a more in-depth description, please read the README.txt file within the .zip file. This artifact is created for the Virtual Machine used as part of the artifact evaluation of TACAS 2022. https://doi.org/10.5281/zenodo.5537146