SAT Instances for Testing SFpC Validity and Reliability

<p>Random SAT samples generated with the following&nbsp;samplers:</p> <ul> <li>BDDSampler</li> <li>KUS</li> <li>QuickSampler&nbsp;</li> <li>Smarch&nbsp;</li> <li>Spur</li> <li>Unigen2</li> </ul> <p>These samples are used to check&nbsp;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?</p>