When running barbarik with KUS as the reference against KUS as a sampler, at least the two following files either yields non-uniformity or error (impossibility to create the internal barbarik CNF):
/home/samplingfm/Benchmarks/V15/s526_15_7.cnf
/home/samplingfm/Benchmarks/Blasted_Real/blasted_squaring26.cnf
It is a flaky behaviour where the error appears approximately (needs more experimentation for reliable ratios) 50% of the time.
When running barbarik with KUS as the reference against KUS as a sampler, at least the two following files either yields non-uniformity or error (impossibility to create the internal barbarik CNF):
/home/samplingfm/Benchmarks/V15/s526_15_7.cnf
/home/samplingfm/Benchmarks/Blasted_Real/blasted_squaring26.cnf
It is a flaky behaviour where the error appears approximately (needs more experimentation for reliable ratios) 50% of the time.