Spying on cryptominisat

Generated by SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
Final Configuration Details
ltclean=0.467953542778599 burst=300 probemaxm=1128 blkrest=0 moreminimbin=4727 gluehist=80 sccperc=0.008561938004522185 freq=0.024912371223690614 presimp=0 cleanconflmult=0 eratio=0.9155715749545057 lockuip=561 viviflongmaxm=6 elimcoststrategy=1 locktop=1931 incclean=1.1228698988857637 clbtwsimp=5 calcreach=0 flippolf=400 updateglue=1 cachecutoff=607 startclean=7809 calcpolarall=0 calcpolar1st=0 moreminimcache=22 cachesize=2487 viviffastmaxm=647 restart=geom bva2lit=1 morebump=0 dompickf=3618 perfmult=0.6310402857899134 clean=confdep occredmax=114
Meta Data Details
Solvercryptominisat
#Instances (Test)351
#Instances (Train)1032
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 Runtime38.8335.07
PAR10369.60219.69
Timeouts43 / 35124 / 351


Training Performance
DefaultConfigured
Average Runtime40.1636.45
PAR10341.04245.75
Timeouts115 / 103280 / 1032
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
sccperc9.66
moreminimbin8.69
moreminimcache4.00
viviffastmaxm3.53
cachecutoff2.83
gluehist1.51
probemaxm1.20
startclean1.13
dompickf1.09
perfmult1.09
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
sccperc11.11
moreminimbin10.20
moreminimcache4.04
viviffastmaxm3.14
gluehist2.50
startclean1.86
dompickf1.85
probemaxm1.28
clean1.22
occredmax1.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