Spying on Riss-4.27

Generated by SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
Final Configuration Details
hlaevery=1 probe=no bce-limit=100000000 bva=no cp3_vars=1000000 bve=yes hack=1 pr-uips=1 pr-lhbr=no pr-double=no cp3_fm_newAmo=2 cp3_uhdPrSize=2 lhbr-max=16000 dontTrust=yes firstReduceDB=8000 hlaTop=1024 cp3_uhdIters=5 cp3_cls=4000000 cp3_fm_keepM=yes dyn=no var-decay-e=0.99 var-decay-b=0.95 sUHLElbd=12 learnDecP=50 phase-saving=0 cp3_fm_grow=0 incLBD=yes var-decay-i=0.01 cp3_fm_newAlo=2 3resolve=no cp3_fm_newAlk=2 incReduceDB=300 sUHLEsize=64 rate-min=5 hte=no randInp=no bce-cle=no cce=no cp3_extITE=no card_max=2 ee=yes rlevel=1 rate=yes cp3_ee_it=no actStart=2048.0 sls=no sUhdPrSh=2 pr-keepL=0 dense=yes sInterval=0 unhide=yes rer=no vsids-s=1.0 laHack=yes ics=no vsids-i=1.0 vsids-e=1.0 vsids-d=2147483647 pr-probeL=7500000 card_maxC=6 rnd-freq=0 rat-compl=yes symm=no sUhdPrRb=no cp3_iters=2 cp3_inp_cons=200000 rtype=2 bve_gates=no cp3_uhdProbe=3 agil-r=no hlaMax=50 bve_totalG=yes bve_BCElim=no minLBDMinimizingClause=9 init-pol=2 laEEp=66 subsimp=no inc-inp=no bve_cgrow_t=10000 lbdupd=1 rinc=2 cp3_uhdUHTE=no sUhdProbe=3 bve_cgrow=10 inprocess=yes cp3_fm_growT=1000 cp3_extAND=no bce-bce=yes hlaLevel=1 keepWorst=0.001 otfss=no varActB=1 cp3_uhdPrEE=yes lhbr=3 clsActB=0 cp3_uhdEE=yes hack-cost=yes minSizeMinimizingClause=30 cp3_limited=no cp3_ee_level=2 cp3_fm_maxConstraints=100000 init-act=0 up=no hlabound=-1 quickRed=no cla-decay=0.995 bce=yes cp3_bve_heap=1 pr-nce=yes tabu=yes lbdIgnL0=no cp3_uhdTrans=yes cp3_extXOR=no biAsserting=no bve_red_lits=0 longConflict=no minLBDFrozenClause=30 lhbr-sub=no xor=no fm=yes pr-keepI=0 cp3_ee_bIter=10 laEEl=no enabled_cp3=yes cp3_fm_maxA=3 var-decay-d=10000 cp3_uhdPrSiBo=no card_minC=3 cp3_fm_vMulAMO=yes alluiphack=2 cp3_uhdUHLE=0 specialIncReduceDB=1100
Meta Data Details
SolverRiss-4.27
#Instances (Test)302
#Instances (Train)299
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 Runtime39.3135.12
PAR10218.11213.93
Timeouts20 / 30220 / 302


Training Performance
DefaultConfigured
Average Runtime33.8829.72
PAR10178.36138.08
Timeouts16 / 29912 / 299
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
var-decay-b1.56
init-act1.08
init-pol1.02
var-decay-e0.94
var-decay-i0.79
pr-uips0.40
learnDecP0.35
varActB0.34
rtype0.33
minSizeMinimizingClause0.29
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
var-decay-e8.01
var-decay-b6.54
var-decay-i5.04
longConflict2.80
init-act2.26
learnDecP1.40
rtype0.96
init-pol0.77
sInterval0.66
rnd-freq0.64
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