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

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.# 内容 模型计数基准测试集：存于压缩包model_counting_benchmarks.zip中。 投影计数基准测试集：存于压缩包projected_counting_benchmarks.zip中。 计数器运行日志文件：存储于logfiles.zip压缩包内。 计数器可执行文件：于bins.zip归档文件中提供。 # 基准测试集 每个基准测试文件均带有统一前缀，以表明其来源或所属类别，与论文中提及的标注规则一致。例如，来自网络可靠性基准测试集（Network Reliability Benchmark Set）的基准测试文件，其前缀为netrel。 # 日志文件 日志文件按实验中使用的各类计数器分别组织为对应的文件夹。 # 可执行文件 该目录包含实验中使用的所有计数器对应的可执行文件，同时附带commands.txt文件以提供运行指引。