Spying on cryptominisat

Generated by SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
Final Configuration Details
ltclean=0.6108956634373184 burst=2000 probemaxm=2984 blkrest=0 moreminimbin=64 gluehist=245 sccperc=0.00957838914883355 freq=0.011424115799304958 presimp=0 cleanconflmult=2 eratio=0.5148552276094975 lockuip=351 viviflongmaxm=5 elimcoststrategy=1 locktop=949 incclean=1.1233234007971102 clbtwsimp=5 calcreach=1 flippolf=400 updateglue=1 cachecutoff=3379 startclean=476 calcpolarall=1 calcpolar1st=1 moreminimcache=56 cachesize=3065 viviffastmaxm=735 restart=glueagility bva2lit=1 morebump=1 dompickf=229 perfmult=1.5402808535865236E-5 clean=confdep occredmax=114
Meta Data Details
Solvercryptominisat
#Instances (Test)351
#Instances (Train)350
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 Runtime90.0492.10
PAR10820.81807.48
Timeouts95 / 35193 / 351


Training Performance
DefaultConfigured
Average Runtime84.6386.66
PAR10771.21773.24
Timeouts89 / 35089 / 350
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
probemaxm9.56
cachecutoff7.67
ltclean3.20
locktop3.16
moreminimcache2.15
dompickf2.12
presimp1.77
moreminimbin1.75
eratio1.55
gluehist1.40
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
probemaxm6.90
ltclean6.49
cachecutoff4.69
moreminimcache2.48
clean2.35
locktop2.00
gluehist1.91
lockuip1.70
presimp1.66
startclean1.45
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