Data for Approximate SMT Counting Beyond Discrete Domains (DAC-25 paper)

The artifact consists of the necessary data to reproduce the results reported in the DAC-25 Paper titled "Approximate SMT Counting Beyond Discrete Domains" In particular, the artifact consists of the benchmarks, the log files generated on our computing cluster.本附属数据集包含复现题为《面向非离散域的近似可满足性模理论（Satisfiability Modulo Theories，SMT）计数》的DAC-25论文中所报告结果所需的全部必要数据。具体而言，本数据集涵盖基准测试用例集，以及我们在计算集群上生成的日志文件。