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

<h2>Contents</h2> <ol> <li><strong>Model Counting Benchmarks:</strong> Found in the zip file <code>model_counting_benchmarks.zip</code>.</li> <li><strong>Projected Counting Benchmarks</strong>: Found in the zip file <code>projected_counting_benchmarks.zip</code>.</li> <li><strong>Logfiles of Running counters</strong>: Stored in the <code>logfiles.zip</code>.</li> <li><strong>Binaries for Counters:&nbsp; </strong>Provided in the archive:&nbsp;<code>bins.zip</code>.</li> </ol> <h2>Benchmarks</h2> <p>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 <code>netrel.</code></p> <h2>Logfiles</h2> <p>Logfiles are organized into folders corresponding to each counter used in the experiments.</p> <h2>Binaries</h2> <p>Contains binaries for each counter used in the experiments, along with a <code>commands.txt</code> file that provides instructions for running them.</p>