SAT Instances for Testing Random Samplers' Uniformity

Abstract

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: <code>bool_formula</code>: includes the model's Boolean encoding as a BDD (<code>.dddmp</code>), a CNF (<code>.dimacs</code>), and a d-DNNF (<code>.nnf</code>). <code>goodness_of_fit</code>: includes a graphical analysis of the model's goodness-of-fit. <code>population_desc</code>: population SAT-solution distribution. <code>samples</code>: samples generated in each sampler's original format. <code>std_samples</code>: standardized samples. Each sample is characterized according to how the number of variables assigned to true distributes along the SAT-solutions.