Spying on cryptominisat

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

Final Configuration Details

ltclean=0.3579850446605391 burst=300 probemaxm=3914 blkrest=0 moreminimbin=173 gluehist=108 sccperc=0.05382648800362666 freq=0.019290074427378723 presimp=1 cleanconflmult=0 eratio=0.16635761338160282 lockuip=489 viviflongmaxm=54 elimcoststrategy=1 locktop=455 incclean=1.0312929369185146 clbtwsimp=2 calcreach=0 flippolf=0 updateglue=0 cachecutoff=1875 startclean=6200 calcpolarall=1 calcpolar1st=1 moreminimcache=309 cachesize=1084 viviffastmaxm=220 restart=glue bva2lit=0 morebump=1 dompickf=1365 perfmult=0.16717187573960673 clean=confdep occredmax=159

Meta Data Details

Solver	cryptominisat
#Instances (Test)	302
#Instances (Train)	684
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	70.88	74.47
PAR10	428.49	405.26
Timeouts	40 / 302	37 / 302

Training Performance

	Default	Configured
Average Runtime	96.32	103.54
PAR10	676.59	668.02
Timeouts	147 / 684	143 / 684

Scatter Plot Details

CDF Plot Details

Cactus Plot Details

Parameter Importance over Default Details

Parameter	Importance
probemaxm	11.41
eratio	6.52
viviffastmaxm	3.11
incclean	2.97
dompickf	2.95
restart	2.37
startclean	2.26
moreminimcache	2.07
locktop	2.05
cachesize	1.30

Parameter Importance over Default Plots Details

Parameter Importance over Nothing Details

Parameter	Importance
eratio	14.61
restart	5.01
flippolf	3.33
startclean	2.52
probemaxm	2.16
dompickf	1.95
locktop	1.05
incclean	1.00
freq	0.99
cachecutoff	0.69

Parameter Importance over Nothing Plots Details