Spying on cryptominisat

Generated by SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
Final Configuration Details
ltclean=0.5460628486303287 burst=300 probemaxm=2877 blkrest=0 moreminimbin=749 gluehist=82 sccperc=0.014829804097617983 freq=0.0499956702445943 presimp=0 cleanconflmult=0 eratio=0.12893402226628603 lockuip=377 viviflongmaxm=26 elimcoststrategy=1 locktop=1251 incclean=1.034347210789115 clbtwsimp=4 calcreach=1 flippolf=0 updateglue=0 cachecutoff=1756 startclean=23956 calcpolarall=0 calcpolar1st=0 moreminimcache=62 cachesize=3032 viviffastmaxm=117 restart=glue bva2lit=1 morebump=1 dompickf=103 perfmult=1.0298406542082357E-4 clean=size occredmax=191
Meta Data Details
Solvercryptominisat
#Instances (Test)351
#Instances (Train)484
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 Runtime22.5511.96
PAR1037.9427.34
Timeouts2 / 3512 / 351


Training Performance
DefaultConfigured
Average Runtime19.509.77
PAR1041.829.77
Timeouts4 / 4840 / 484
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
restart30.33
freq7.16
startclean1.54
gluehist1.16
incclean0.56
moreminimcache0.48
clean0.31
locktop0.20
updateglue0.18
occredmax0.16
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
restart39.55
startclean7.11
incclean3.64
freq3.45
gluehist1.69
lockuip1.55
clean0.61
viviffastmaxm0.53
cachesize0.44
moreminimcache0.44
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