Spying on YalSAT

Generated by SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
Final Configuration Details
correct=0 weight=7 unfairfreq=49 pol=1 crit=1 cacheduni=1 best=1 reluctant=0 unirestarts=770098721 defrag=0 hitlim=565356639 cachemin=523 prep=1 unipick=0 geomfreq=30 rbfsrate=526 cachemax=988461 restart=547592263 restartouterfactor=2 cached=1 keep=1 toggleuniform=0 restartouter=1 pick=-1 uni=-1 fixed=104799887 minchunksize=322611
Meta Data Details
SolverYalSAT
#Instances (Test)250
#Instances (Train)250
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 Runtime13.2715.05
PAR1078.0790.65
Timeouts6 / 2507 / 250


Training Performance
DefaultConfigured
Average Runtime16.9715.02
PAR10114.17101.42
Timeouts9 / 2508 / 250
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
restartouterfactor2.58
cachemax2.33
unipick1.87
minchunksize1.79
restart1.20
hitlim1.16
cachemin1.15
fixed1.15
unirestarts1.07
toggleuniform0.81
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
unipick9.63
weight2.02
toggleuniform1.67
unirestarts1.55
hitlim1.13
restartouterfactor1.11
fixed0.84
unfairfreq0.62
geomfreq0.61
pick0.58
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