Data for Model Counting in the Wild (KR-24 paper)

Contents

1. Model Counting Benchmarks: Found in the zip file model_counting_benchmarks.zip.
2. Projected Counting Benchmarks: Found in the zip file projected_counting_benchmarks.zip.
3. Logfiles of Running counters: Stored in the logfiles.zip.
4. Binaries for Counters:  Provided in the archive: bins.zip.

Benchmarks

Each benchmark file is systematically prefixed to indicate its source or category as referenced in the paper. For example, benchmarks from the Network Reliability Benchmark Set are prefixed with netrel.

Logfiles

Logfiles are organized into folders corresponding to each counter used in the experiments.

Binaries

Contains binaries for each counter used in the experiments, along with a commands.txt file that provides instructions for running them.