TACAS 2022
·
671 commits
to main
since this release
The BDD Benchmark repository at the time of submitting our paper on Adiar 1.0.1 to TACAS 2022. Quite a lot of experiments were left out of the TACAS paper due to space constraints, but all of them are described in the arXiv paper.
Attached you can find the raw data obtained from the Grendel cluster and the data analysis of said data. Alternatively, you can also find the same on Zenodo