Published January 1, 2024
| Version v1
Dataset
Open
Benchmarks used for Approximate Model Counting
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 |