Data for Model Counting in the Wild (KR-24 paper)
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://zenodo.org/record/13284882
下载链接
链接失效反馈官方服务：
资源简介：
Contents
Model Counting Benchmarks: Found in the zip file model_counting_benchmarks.zip.
Projected Counting Benchmarks: Found in the zip file projected_counting_benchmarks.zip.
Logfiles of Running counters: Stored in the logfiles.zip.
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.
创建时间：
2024-08-09
