Spying on YalSAT

Generated by SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
Final Configuration Details
correct=1 weight=7 unfairfreq=68 pol=-1 crit=1 cacheduni=0 best=0 reluctant=0 unirestarts=610222669 defrag=0 hitlim=507825417 cachemin=754 prep=0 unipick=0 geomfreq=2 rbfsrate=8830 cachemax=564667 restart=1434106864 restartouterfactor=4 cached=0 keep=1 toggleuniform=0 restartouter=0 pick=3 uni=0 fixed=1356012639 minchunksize=205435
Meta Data Details
SolverYalSAT
#Instances (Test)351
#Instances (Train)1032
os systemLinux
os release3.13.0-39-generic
cpu vendorGenuineIntel
cpu brandIntel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz
cpu hz2.6000 GHz
cpu archX86_64
cpu count16
cutoff300
verbosityINFO
repetitions1
budget86400
prefix-
seed0
memory2000
outputdir.
Performance Overview Details
Test Performance
DefaultConfigured
Average Runtime159.96159.13
PAR101590.731589.90
Timeouts186 / 351186 / 351


Training Performance
DefaultConfigured
Average Runtime173.26173.09
PAR101716.861724.54
Timeouts590 / 1032593 / 1032
Scatter Plot Details
Scatter Test Plot Scatter Train Plot
CDF Plot Details
Cactus Plot Cactus Plot
Cactus Plot Details
Cactus Plot Cactus Plot
Parameter Importance over Default Details
ParameterImportance
toggleuniform5.93
weight3.98
unirestarts3.29
hitlim2.16
correct1.93
restartouterfactor1.76
unfairfreq1.62
fixed1.57
pick1.42
restart1.31
Parameter Importance over Default Plots Details
Fanova Plot Fanova Plot Fanova Plot Fanova Plot Fanova Plot Fanova Plot Fanova Plot Fanova Plot Fanova Plot Fanova Plot
Parameter Importance over Nothing Details
ParameterImportance
toggleuniform10.07
pick7.76
weight4.39
unipick2.38
correct2.30
hitlim1.91
restartouterfactor1.42
fixed1.36
rbfsrate0.91
unfairfreq0.86
Parameter Importance over Nothing Plots Details
Fanova Plot Fanova Plot Fanova Plot Fanova Plot Fanova Plot Fanova Plot Fanova Plot Fanova Plot Fanova Plot Fanova Plot