SPIN 2024

Submission of our paper on Adiar 2.0.0-beta.3 to SPIN 2024. To change the threshold or using Random Access (θ in the paper) set adiar::access_mode within the adiar_adapter's constructor. The possible values are:

• adiar::access_mode_t::PQ : θ = 0
• adiar::access_mode_t::AUTO : θ = B
• adiar::access_mode_t::RA : θ = ∞

Attached you can find the raw data and its analysis. These have also been uploaded to Zenodo.

ATVA 2023

Submission of our paper on Adiar 1.2.0 to ATVA 2023. To change the setting for this optimisation set adiar::memory_mode within the adiar_adapter's constructor. The possible values are:

• adiar::memory_mode_t::EXTERNAL : Baseline with the performance of the previous algorithm.
• adiar::access_mode_t::AUTO : Use internal memory, if the heuristic can guarantee it is safe to do so.
• adiar::access_mode_t::INTERNAL : Always use internal memory

Some of the heuristics depend on changes to Adiar. To make use of these, change the submodule to the desired branch.

• experiment/v1.2.1/only_node_cut: Disable any upper bounds derived from the 1-level cuts. Note, the computation for the cuts are still included.
• experiment/v1.2.1/reduce_2level_cut: Run with the slightly slower, but more precise 2-level cut over-approximation.

Attached you can find the raw data and its analysis. These have also been uploaded to Zenodo.

NASA Formal Methods 2023

Submission of our paper on Adiar 1.1.0 to NASA Formal Methods 2023. To this end, our combinatorial benchmarks can now also be solved with ZDDs. We have also added a Knight's Tour benchmark, but it might be buggy in the general version, i.e. the CUDD version.

Attached you can find the data and its analysis as also uploaded to Zenodo.

TACAS 2022

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