SAT Instances for Testing Random Samplers' Uniformity
Rubén Heradio, David Fernández-Amorós · Zenodo (CERN European Organization for Nuclear Research) · 2021
Random SAT samples generated with the following samplers: BDDSampler KUS QuickSampler Smarch Spur Unigen2 There is a zip file per model, which is organized into the following directories: bool_formula: includes the model's Boolean encoding as a BDD (.dddmp), a CNF (.dimacs), and a d-DNNF (.nnf). goodness_of_fit: includes a graphical analysis of the model's goodness-of-fit. population_desc: population SAT-solution distribution. samples: samples generated in each sampler's original format. std_samples: standardized samples. Each sample is characterized according to how the number of variables assigned to true distributes along the SAT-solutions.