Replication Package for Article 'PJBDD: A BDD Library for Java and Multi-Threading'

Replication Package for Article 'PJBDD: A BDD Library for Java and Multi-Threading'

This package includes:
- the parallel BDD library PJBDD
- a small test tool for the BDD library
- CPAchecker
- a subset of sv-benchmarks collection
- BenchExec to run benchmarks

The evaluation used BenchExec which is included in the artifact.
To enable exact measurements, BenchExec requires cgroups.
Please follow BenchExec's setup instructions.

To reproduce the results please run script: run_evaluation.sh
To reproduce the n-queen results please run script: run_nqueens_evaluation.sh
To reproduce the CPAchecker results please run script: run_cpa_evaluation.sh

The licence for the components are in the corresponding directories.