https://github.com/FAMILIAR-project/usampling-exp
History
Tip revision: dd9474add0c83740e7664f82d82f7034f627f552 authored by Gilles Perrouin on 02 November 2020, 10:02:28 UTC
updated barabarik with respect to last commit from Meel group
Tip revision: dd9474a
File Mode Size
.ipynb_checkpoints
.virtfs_metadata
FrequencyDiagrams
SPLConqueror @ a0bb776
analysis
march_cu
samplers
sharpSAT
smarch
smarch_samples
usampling-data
.gitignore -rw-r--r-- 34 bytes
README.md -rw-r--r-- 4.5 KB
SPUR-expe-analysis.ipynb -rw-r--r-- 70.3 KB
Uniform-CustomSampler.csv -rw-r--r-- 126 bytes
Uniform-DBS-FMs.csv -rw-r--r-- 130.4 KB
Uniform-DistanceBasedSampling.csv -rw-r--r-- 1.2 KB
Uniform-KUS.csv -rw-r--r-- 6.4 MB
Uniform-QuickSampler.csv -rw-r--r-- 34.2 KB
Uniform-SMARCH.csv -rw-r--r-- 41.7 KB
Uniform-SPUR.csv -rw-r--r-- 23.6 MB
Uniform-STS-FeatureModels.csv -rw-r--r-- 148.5 KB
Uniform-STS.csv -rw-r--r-- 1.4 KB
Uniform-UNIGEN2.csv -rw-r--r-- 37.0 KB
Uniform-UniGen.csv -rw-r--r-- 3.2 KB
Uniform-UniGen3.csv -rw-r--r-- 781 bytes
Uniform.csv -rw-r--r-- 147.5 KB
analysis-results-sampler.ipynb -rw-r--r-- 16.8 KB
barbarik.py -rw-r--r-- 41.2 KB
barbarikloop.py -rw-r--r-- 9.8 KB
blasted_case110.cnf -rw-r--r-- 16.8 KB
computeDeviations.py -rw-r--r-- 26.4 KB
experiments-KUS-blaster.csv -rw-r--r-- 16.1 KB
experiments-KUS-fla.csv -rw-r--r-- 6.0 KB
experiments-KUS-fm.csv -rw-r--r-- 7.1 KB
experiments-KUS-fmeasy.csv -rw-r--r-- 947 bytes
experiments-KUS-v15.csv -rw-r--r-- 1.6 KB
experiments-SMARCH-fm-gilles.csv -rw-r--r-- 837 bytes
experiments-SPUR-blaster.csv -rw-r--r-- 28.2 KB
experiments-SPUR-fla.csv -rw-r--r-- 9.2 KB
experiments-SPUR-fm.csv -rw-r--r-- 9.1 KB
experiments-SPUR-fmeasy.csv -rw-r--r-- 2.7 KB
experiments-SPUR-linux.csv -rw-r--r-- 459 bytes
experiments-SPUR-v15.csv -rw-r--r-- 4.3 KB
launch.sh -rwxr-xr-x 95 bytes
moving-fmhistory-dimacsfile.ipynb -rw-r--r-- 4.3 KB
splconqueror.sh -rw-r--r-- 536 bytes
usampling-experiments-docker.py -rw-r--r-- 9.8 KB
usampling-experiments.py -rw-r--r-- 26.0 KB

README.md

back to top