Spying on Riss-4.27
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
rer-max-size=30 pr-probeL=500000 minLBDMinimizingClause=6 hlaevery=32 rer-r=1 pr-nce=no rlevel=2 hack=1 init-pol=1 tabu=yes minSizeMinimizingClause=15 laEEp=0 phase-saving=2 rer-maxLBD=6 sUHLElbd=12 actStart=2048.0 pr-uips=1 lbdupd=0 pr-keepL=0 pr-keepI=2 vsids-e=1.0 agil-decay=0.9999 sInterval=3 sUhdProbe=0 rer=yes vsids-s=1.0 rfirst=100 rer-l=no pr-double=no laHack=yes rer-freq=0.5 sUHLEsize=64 dontTrust=no hlaLevel=1 ics=no keepWorst=0.01 otfss=no vsids-i=1.0 biAsserting=no vsids-d=2147483647 longConflict=no minLBDFrozenClause=15 varActB=1 lhbr=0 clsActB=1 rnd-freq=0 dyn=yes var-decay-e=0.95 var-decay-b=0.75 rer-min-size=15 specialIncReduceDB=1000 learnDecP=50 pr-lhbr=yes rer-minLBD=6 hlaTop=-1 rer-f=no incLBD=no var-decay-i=0.01 lbdIgnL0=no agil-init=0.01 cp3_ee_bIter=10 agil-add=32 rtype=1 laEEl=no enabled_cp3=no firstReduceDB=8000 incReduceDB=450 var-decay-d=10000 hlabound=4096 agil-r=yes quickRed=no hlaMax=50 cla-decay=0.995 init-act=3 alluiphack=2 rer-new-act=1 hack-cost=no agil-limit=0.22
- Meta Data Details
-
| Solver | Riss-4.27 |
|---|
| #Instances (Test) | 302 |
|---|
| #Instances (Train) | 684 |
|---|
| 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 | 72.79 | 53.32 |
|---|
| PAR10 | 421.47 | 384.11 |
|---|
| Timeouts | 39 / 302 | 37 / 302 |
|---|
Training Performance
| Default | Configured |
|---|
| Average Runtime | 107.65 | 80.20 |
|---|
| PAR10 | 786.60 | 648.62 |
|---|
| Timeouts | 172 / 684 | 144 / 684 |
|---|
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
| Parameter | Importance |
|---|
| init-act | 10.14 |
|---|
| enabled_cp3 | 4.95 |
|---|
| phase-saving | 3.32 |
|---|
| init-pol | 1.29 |
|---|
| learnDecP | 0.48 |
|---|
| minLBDMinimizingClause | 0.35 |
|---|
| cp3_ee_bIter | 0.31 |
|---|
| sInterval | 0.25 |
|---|
| rtype | 0.20 |
|---|
| var-decay-d | 0.18 |
|---|
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
| Parameter | Importance |
|---|
| phase-saving | 11.08 |
|---|
| enabled_cp3 | 10.67 |
|---|
| init-act | 6.88 |
|---|
| init-pol | 1.12 |
|---|
| learnDecP | 1.06 |
|---|
| cp3_iters | 0.65 |
|---|
| minLBDMinimizingClause | 0.43 |
|---|
| rnd-freq | 0.38 |
|---|
| firstReduceDB | 0.38 |
|---|
| cp3_ee_bIter | 0.27 |
|---|
- Parameter Importance over Nothing Plots Details
