Spying on SparrowToRiss

Generated by SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
Final Configuration Details
pr-probeL=4349652 minLBDMinimizingClause=5 sUhdPrRb=no hlaevery=8 pr-nce=yes rlevel=2 learnDecP=100 init-pol=0 SPARROW--c1=7.931983908669672 minSizeMinimizingClause=4 laEEp=100 phase-saving=0 lhbr-sub=no vsids-d=2147483647 otfss=yes hack=0 actStart=1024.0 pr-uips=1 lbdupd=1 sUhdPrSh=8 pr-keepL=0 pr-keepI=2 vsids-e=1.0 sInterval=1 SPARROW-k=yes sUhdProbe=1 rer=no vsids-s=1.0 rfirst=771 lhbr-max=0 pr-double=yes laHack=yes sUHLEsize=30 dontTrust=yes hlaLevel=1 ics=no keepWorst=0.01807304625319327 vsids-i=1.0 biAsserting=no specialIncReduceDB=2000 longConflict=yes minLBDFrozenClause=15 varActB=1 otfssMLDB=2 lhbr=4 clsActB=0 rnd-freq=0.0014229335991899667 otfssL=yes dyn=no var-decay-e=0.85 var-decay-b=0.75 SPARROW--luby=0 hlaTop=-1 strFlips=500000000 pr-lhbr=no SPARROW--randomc=0 incLBD=no var-decay-i=0.001 lbdIgnL0=yes cp3_ee_bIter=7331490 rtype=1 laEEl=yes enabled_cp3=no firstReduceDB=5338 incReduceDB=300 var-decay-d=10000 hlabound=-1 agil-r=no strSseconds=200 quickRed=yes hlaMax=320 tabu=yes cla-decay=0.999 init-act=4 alluiphack=2 SPARROW--sp=0.7450345518096311 sUHLElbd=2
Meta Data Details
SolverSparrowToRiss
#Instances (Test)250
#Instances (Train)250
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 Runtime300.0010.43
PAR103000.0021.23
Timeouts250 / 2501 / 250


Training Performance
DefaultConfigured
Average Runtime300.008.38
PAR103000.008.38
Timeouts250 / 2500 / 250
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
cp3_ee_bIter10.95
strFlips7.84
SPARROW-k2.39
pr-probeL1.77
minLBDMinimizingClause1.00
init-pol0.79
keepWorst0.70
init-act0.48
SPARROW--c10.48
SPARROW--luby0.41
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
cp3_ee_bIter10.91
strFlips7.80
SPARROW-k2.36
pr-probeL1.77
minLBDMinimizingClause1.00
init-pol0.79
keepWorst0.70
init-act0.48
SPARROW--c10.48
SPARROW--luby0.41
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