SAT Instances for Testing SFpC Validity and Reliability

  1. Heradio, Ruben 1
  2. Fernandez-Amoros, David 1
  1. 1 Universidad Nacional de Educación a Distancia
    info

    Universidad Nacional de Educación a Distancia

    Madrid, España

    ROR https://ror.org/02msb5n36

Editor: Zenodo

Any de publicació: 2021

Tipus: Dataset

CC BY 4.0

DOI: 10.5281/ZENODO.5509946 lock_openAccés obert editor

Resum

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