SAT Instances for Testing SFpC Validity and Reliability
收藏NIAID Data Ecosystem2026-03-12 收录
下载链接：
https://zenodo.org/record/5509946
下载链接
链接失效反馈官方服务：
资源简介：
Random SAT samples generated with the following samplers:
BDDSampler
KUS
QuickSampler
Smarch
Spur
Unigen2
These samples are used to check SFpC Soundness, i.e., to test whether SFpC produces results that are (i) valid and (ii) reliable. In other words, are SFpC results consistent (i) with the results obtained by other uniformity testing methods and (ii) when one sampler is tested repeatedly using different models?
创建时间：
2021-10-04
