Spying on cryptominisat

Generated by SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
Final Configuration Details
ltclean=0.5197314748950986 burst=100 probemaxm=1248 blkrestmultip=1.616462490539555 blkrest=1 moreminimbin=86 gluehist=104 sccperc=0.0076618491996387275 freq=0.007952764044192847 presimp=0 cleanconflmult=0 eratio=0.3378308335657559 lockuip=722 viviflongmaxm=21 elimcoststrategy=0 locktop=941 incclean=1.3895828182615204 clbtwsimp=2 calcreach=1 flippolf=0 updateglue=1 cachecutoff=2040 startclean=437 calcpolarall=1 calcpolar1st=0 moreminimcache=546 cachesize=1392 viviffastmaxm=204 restart=glue bva2lit=1 blkrestlen=4447 morebump=0 dompickf=630 perfmult=0.17508489465599686 clean=activity occredmax=171
Meta Data Details
Solvercryptominisat
#Instances (Test)302
#Instances (Train)382
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 Runtime77.4878.58
PAR10703.30695.47
Timeouts70 / 30269 / 302


Training Performance
DefaultConfigured
Average Runtime74.5575.26
PAR10647.06640.71
Timeouts81 / 38280 / 382
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
eratio5.42
freq4.36
lockuip4.20
startclean3.79
viviffastmaxm3.46
ltclean3.15
restart2.67
calcpolar1st2.34
viviflongmaxm2.18
incclean1.69
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
eratio4.73
cachecutoff3.91
startclean3.79
restart3.64
ltclean3.34
dompickf3.31
freq3.23
lockuip2.84
viviffastmaxm2.23
sccperc2.19
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