Adiar 1.1.0 : Experiment Data
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
