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
-
Solver | Riss-4.27 |
#Instances (Test) | 302 |
#Instances (Train) | 299 |
os system | Linux |
os release | 3.13.0-39-generic |
cpu vendor | GenuineIntel |
cpu brand | Intel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz |
cpu hz | 2.6000 GHz |
cpu arch | X86_64 |
cpu count | 16 |
cutoff | 300 |
verbosity | INFO |
repetitions | 1 |
budget | 86400 |
prefix | - |
seed | 0 |
memory | 2000 |
outputdir | . |
- Performance Overview Details
-
Test Performance
| Default | Configured |
Average Runtime | 39.31 | 35.12 |
PAR10 | 218.11 | 213.93 |
Timeouts | 20 / 302 | 20 / 302 |
Training Performance
| Default | Configured |
Average Runtime | 33.88 | 29.72 |
PAR10 | 178.36 | 138.08 |
Timeouts | 16 / 299 | 12 / 299 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
var-decay-b | 1.56 |
init-act | 1.08 |
init-pol | 1.02 |
var-decay-e | 0.94 |
var-decay-i | 0.79 |
pr-uips | 0.40 |
learnDecP | 0.35 |
varActB | 0.34 |
rtype | 0.33 |
minSizeMinimizingClause | 0.29 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
var-decay-e | 8.01 |
var-decay-b | 6.54 |
var-decay-i | 5.04 |
longConflict | 2.80 |
init-act | 2.26 |
learnDecP | 1.40 |
rtype | 0.96 |
init-pol | 0.77 |
sInterval | 0.66 |
rnd-freq | 0.64 |
- Parameter Importance over Nothing Plots Details