SAT Instances for Testing Random Samplers Uniformity

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. | This dataset has been funded by (i) the Universidad Nacional de Educacion a Distancia (UNED) under grant 096-034091 2021V/PUNED/008 (OPTIVAC), and (ii) the Community of Madrid, under the research network CAM RoboCity2030 S2018/NMT-4331.