Spying on YalSAT

Generated by SpySMAC (S. Falkner, M. Lindauer and F. Hutter).

Final Configuration Details

correct=0 weight=4 unfairfreq=49 pol=0 crit=1 cacheduni=0 best=1 reluctant=0 unirestarts=922106049 defrag=0 hitlim=571692914 cachemin=491 prep=0 unipick=4 geomfreq=86 rbfsrate=6296026 cachemax=350271 restart=25694813 restartouterfactor=471730997 cached=1 keep=1 toggleuniform=0 restartouter=1 pick=1 uni=0 fixed=2129748601 minchunksize=1505

Meta Data Details

Solver	YalSAT
#Instances (Test)	250
#Instances (Train)	250
os system	Linux
os release	3.13.0-39-generic
cpu vendor	GenuineIntel
cpu brand	Intel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz
cpu hz	2.6000 GHz
cpu arch	X86_64
cpu count	16
cutoff	300
verbosity	INFO
repetitions	1
budget	86400
prefix	-
seed	0
memory	2000
outputdir	.

Performance Overview Details

Test Performance

	Default	Configured
Average Runtime	24.49	18.24
PAR10	78.49	18.24
Timeouts	5 / 250	0 / 250

Training Performance

	Default	Configured
Average Runtime	27.82	25.82
PAR10	103.42	90.62
Timeouts	7 / 250	6 / 250

Scatter Plot Details

CDF Plot Details

Cactus Plot Details

Parameter Importance over Default Details

Parameter	Importance
unipick	1.93
cachemin	1.70
fixed	1.55
crit	1.39
minchunksize	1.34
weight	1.23
hitlim	1.21
restart	1.16
toggleuniform	1.03
geomfreq	0.93

Parameter Importance over Default Plots Details

Parameter Importance over Nothing Details

Parameter	Importance
crit	3.63
unipick	2.60
cachemin	2.26
weight	2.24
toggleuniform	2.02
geomfreq	1.96
hitlim	1.36
pick	1.28
unirestarts	1.28
rbfsrate	0.78

Parameter Importance over Nothing Plots Details