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.