Adiar 1.1.0 : Experiment Data
DOI10.5281/zenodo.7709134Zenodo7709134MaRDI QIDQ6717006FDOQ6717006
Dataset published at Zenodo repository.
Steffan Christ Sølvsten, Jaco van de Pol
Publication date: 8 March 2023
Copyright license: Creative Commons Attribution 4.0 International
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 Adiars 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 Adiars ZDDs compare to CUDDs? To this end, we have run all of our combinatorial benchmarks once more but with the newly added ZDD adapters for Adiar and CUDD. These experiments were run on the computation nodes of the Grendel cluster (phys.au.dk/forskning/cscaa/).
This page was built for dataset: Adiar 1.1.0 : Experiment Data
