Uniformity checking: KUS

[FAMILIAR-project]

KUS is usually uniform, but not for this case:
/home/samplingfm/Benchmarks/Blasted_Real/blasted_squaring1.cnf,1887.765,b'Experiment: 0 of 1\nconstantFactor:39 boundFactor: 14.541336623567457 logBoundFactor: 3.8620879811712894 \ntj: 1789 totalLoops: 2 beta: 0.8181818181818182 epsilon: 0.3 \nnumSolutions: 568 loThresh:82 hiThresh: 485 \n*** Progress *** i: 0 j: 2 ---- 0 / 3578\nUsing sampler: KUS\ncmd: python3 KUS.py --samples=1 --outputfile /tmp/blasted_squaring1.txt /home/samplingfm/Benchmarks/Blasted_Real/blasted_squaring1.cnf > /dev/null 2>&1\nNumber of solutions returned by sampler: 1\nUsing sampler: KUS\ncmd: python3 KUS.py --samples=1 --outputfile /tmp/blasted_squaring1.txt /home/samplingfm/Benchmarks/Blasted_Real/blasted_squaring1.cnf > /dev/null 2>&1\nNumber of solutions returned by sampler: 1\nUsing sampler: KUS\ncmd: python3 KUS.py --samples=568 --outputfile /tmp/blasted_squaring1_t.txt /tmp/blasted_squaring1_t.cnf > /dev/null 2>&1\nNumber of solutions returned by sampler: 568\nbaseMap: 568 numSolutions: 568 SolutionsCount: 486 loThresh: 82 hiThresh: 485 \nsampler: KUS i: 1 isUniform: 0 TotalSolutionsGenerated: 569 \nexp:0 RejectIteration:1 Loop:2 TotalSolutionsGenerated:569 TotalUniformSamples:1\n',b'',False,FALSE

[acherm]

basically, KUS (sampler=9) is not uniform according to Barbarik, with reference sampler SPUR (ref_sampler=6)

cat README.md 
Namespace(delta=0.05, epsilon=0.3, eta=0.9, exp=1, formulas=['/home/samplingfm/Benchmarks/Blasted_Real/blasted_squaring26.cnf', '/home/samplingfm/Benchmarks/V15/s526_15_7.cnf'], maxSamples=9223372036854775807, minSamples=0, ref_sampler=6, sampler=9, searchOrder=0, seed=1, thres=5600, verbose=1)
 mathieuacher  localhost.localdomain  ../fbb548435ca945c1bea44979ad5ac779  master □  cat Uniform-KUS.csv 
file,time,cmd_output,err_output,Uniform,Timeout
/home/samplingfm/Benchmarks/Blasted_Real/blasted_squaring26.cnf,14.514,b'Experiment: 0     of     1\nconstantFactor:39   boundFactor: 14.541336623567457   logBoundFactor: 3.8620879811712894  \ntj: 1789   totalLoops: 2     beta: 0.8181818181818182 epsilon: 0.3       \nnumSolutions: 568   loThresh:82     hiThresh: 485   \n*** Progress *** i: 0 j: 2 ---- 0 / 3578\nUsing sampler: KUS\ncmd:  python3  KUS.py --samples=1 --outputfile /tmp/blasted_squaring26.txt /home/samplingfm/Benchmarks/Blasted_Real/blasted_squaring26.cnf > /dev/null 2>&1\nNumber of solutions returned by sampler: 1\nUsing sampler: SPUR\ncmd:  ./samplers/spur -seed 1791 -q -s 1 -out /tmp/blasted_squaring26.out -cnf /home/samplingfm/Benchmarks/Blasted_Real/blasted_squaring26.cnf\nNumber of solutions returned by sampler: 1\nlen count list: 8\n#num of samples894\nUsing sampler: KUS\ncmd:  python3  KUS.py --samples=568 --outputfile /tmp/blasted_squaring26_t.txt /tmp/blasted_squaring26_t.cnf > /dev/null 2>&1\nNumber of solutions returned by sampler: 568\nbaseMap: 568    numSolutions: 568    SolutionsCount: 287    loThresh: 82     hiThresh: 485   \nsampler: KUS      i: 1    isUniform: 1    TotalSolutionsGenerated: 569   \n*** Progress *** i: 1 j: 2 ---- 2 / 3578\nUsing sampler: KUS\ncmd:  python3  KUS.py --samples=1 --outputfile /tmp/blasted_squaring26.txt /home/samplingfm/Benchmarks/Blasted_Real/blasted_squaring26.cnf > /dev/null 2>&1\nNumber of solutions returned by sampler: 1\nUsing sampler: SPUR\ncmd:  ./samplers/spur -seed 3580 -q -s 1 -out /tmp/blasted_squaring26.out -cnf /home/samplingfm/Benchmarks/Blasted_Real/blasted_squaring26.cnf\nNumber of solutions returned by sampler: 1\nlen count list: 8\n#num of samples894\nUsing sampler: KUS\ncmd:  python3  KUS.py --samples=568 --outputfile /tmp/blasted_squaring26_t.txt /tmp/blasted_squaring26_t.cnf > /dev/null 2>&1\nNumber of solutions returned by sampler: 568\nbaseMap: 568    numSolutions: 568    SolutionsCount: 568    loThresh: 82     hiThresh: 485   \nsampler: KUS      i: 2    isUniform: 0    TotalSolutionsGenerated: 1138  \nexp:0 RejectIteration:2  Loop:2 TotalSolutionsGenerated:1138 TotalUniformSamples:2\n',b'',False,FALSE
/home/samplingfm/Benchmarks/V15/s526_15_7.cnf,8.259,b'Experiment: 0     of     1\nconstantFactor:39   boundFactor: 14.541336623567457   logBoundFactor: 3.8620879811712894  \ntj: 1789   totalLoops: 2     beta: 0.8181818181818182 epsilon: 0.3       \nnumSolutions: 568   loThresh:82     hiThresh: 485   \n*** Progress *** i: 0 j: 2 ---- 0 / 3578\nUsing sampler: KUS\ncmd:  python3  KUS.py --samples=1 --outputfile /tmp/s526_15_7.txt /home/samplingfm/Benchmarks/V15/s526_15_7.cnf > /dev/null 2>&1\nNumber of solutions returned by sampler: 1\nUsing sampler: SPUR\ncmd:  ./samplers/spur -seed 1791 -q -s 1 -out /tmp/s526_15_7.out -cnf /home/samplingfm/Benchmarks/V15/s526_15_7.cnf\nNumber of solutions returned by sampler: 1\nlen count list: 8\n#num of samples452\nUsing sampler: KUS\ncmd:  python3  KUS.py --samples=568 --outputfile /tmp/s526_15_7_t.txt /tmp/s526_15_7_t.cnf > /dev/null 2>&1\nNumber of solutions returned by sampler: 568\nbaseMap: 568    numSolutions: 568    SolutionsCount: 443    loThresh: 82     hiThresh: 485   \nsampler: KUS      i: 1    isUniform: 1    TotalSolutionsGenerated: 569   \n*** Progress *** i: 1 j: 2 ---- 2 / 3578\nUsing sampler: KUS\ncmd:  python3  KUS.py --samples=1 --outputfile /tmp/s526_15_7.txt /home/samplingfm/Benchmarks/V15/s526_15_7.cnf > /dev/null 2>&1\nNumber of solutions returned by sampler: 1\nUsing sampler: SPUR\ncmd:  ./samplers/spur -seed 3580 -q -s 1 -out /tmp/s526_15_7.out -cnf /home/samplingfm/Benchmarks/V15/s526_15_7.cnf\nNumber of solutions returned by sampler: 1\nlen count list: 8\n#num of samples452\nUsing sampler: KUS\ncmd:  python3  KUS.py --samples=568 --outputfile /tmp/s526_15_7_t.txt /tmp/s526_15_7_t.cnf > /dev/null 2>&1\nNumber of solutions returned by sampler: 568\nbaseMap: 568    numSolutions: 568    SolutionsCount: 568    loThresh: 82     hiThresh: 485   \nsampler: KUS      i: 2    isUniform: 0    TotalSolutionsGenerated: 1138  \nexp:0 RejectIteration:2  Loop:2 TotalSolutionsGenerated:1138 TotalUniformSamples:2\n',b'',False,FALSE

is it normal? and related to the bug of KUS?