Published January 1, 2024 | Version v1
Dataset Open

Benchmarks used for Approximate Model Counting

Creators

  • 1. ROR icon National University of Singapore

Description

These are the benchmark files that were used to check the performance of ApproxMC over the years. These benchmarks are the ones present in all ApprocMC papers so far.

Files

Files (643.4 MB)

Name Size Download all
md5:bb8ff5a61aa1b8e9200bd4b34a9319f1
643.4 MB Download