Adiar 1.1.0 : Experiment Data
收藏NIAID Data Ecosystem2026-03-14 收录
下载链接：
https://zenodo.org/record/7709133
下载链接
链接失效反馈官方服务：
资源简介：
Our experiments for Adiar v1.1 have tried to uncover the two separate questions described below. The code for the benchmarks can be found at https://github.com/SSoelvsten/bdd-benchmark.
Alice: Has the performance of Adiar's BDDs changed after adding ZDDs?
The machine Alice is a consumer-grade laptop. For these experiments, we have multiple times run four of our benchmarks both before and after adding the modularity. Specifically, we have run the Queens benchmark for N=13 and N=14 and the Tic-Tac-Toe benchmark for N=22 and N=23.
Specifically, we have run these benchmarks where the Adiar submodule was set to one of the following two commits:
`6db6c0cdc26ae290a187d50b3fbc74175b5b315f` (Before adding the modularity)
`5a56cd743db9ee7bb24afc87be6ec76afea5fb9b` (After adding the modularity)
Grendel: How does Adiar's ZDDs compare to CUDD's?
To this end, we have run all of our combinatorial benchmarks once more but with the newly added ZDD adapter's for Adiar and CUDD. These experiments were run on the computation nodes of the Grendel cluster (phys.au.dk/forskning/cscaa/).
创建时间：
2023-03-09
