Spying on Riss-4.27
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
pr-probeL=7500000 minLBDMinimizingClause=9 hlaevery=64 pr-nce=no rlevel=2 otfssMLDB=2 init-pol=3 minSizeMinimizingClause=3 laEEp=50 phase-saving=2 otfss=yes hack=1 actStart=2048.0 pr-uips=0 lbdupd=1 rinc=1.5 sUhdPrSh=0 pr-keepL=0 pr-keepI=2 vsids-e=1.0 sInterval=0 sUhdProbe=1 rer=no vsids-s=1.0 hack-cost=yes pr-double=yes laHack=yes sUHLEsize=0 dontTrust=no hlaLevel=1 ics=no keepWorst=0.0 vsids-i=1.0 biAsserting=no vsids-d=2147483647 longConflict=no minLBDFrozenClause=30 varActB=2 lhbr=0 clsActB=1 rnd-freq=0.001 otfssL=no var-decay-d=5000 var-decay-e=0.99 var-decay-b=0.75 tabu=yes sUhdPrRb=yes learnDecP=66 pr-lhbr=yes hlaTop=512 incLBD=yes var-decay-i=0.01 lbdIgnL0=no cp3_ee_bIter=400000000 rtype=2 laEEl=yes enabled_cp3=no firstReduceDB=8000 incReduceDB=300 dyn=yes hlabound=4096 agil-r=no quickRed=no hlaMax=75 cla-decay=0.995 init-act=6 alluiphack=0 specialIncReduceDB=1000
- Meta Data Details
-
| Solver | Riss-4.27 |
|---|
| #Instances (Test) | 250 |
|---|
| #Instances (Train) | 500 |
|---|
| 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 | 241.02 | 210.81 |
|---|
| PAR10 | 1969.02 | 1431.21 |
|---|
| Timeouts | 160 / 250 | 113 / 250 |
|---|
Training Performance
| Default | Configured |
|---|
| Average Runtime | 233.84 | 207.40 |
|---|
| PAR10 | 1826.84 | 1400.80 |
|---|
| Timeouts | 295 / 500 | 221 / 500 |
|---|
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
| Parameter | Importance |
|---|
| rtype | 7.05 |
|---|
| init-act | 1.87 |
|---|
| init-pol | 1.39 |
|---|
| var-decay-e | 1.24 |
|---|
| sUHLEsize | 0.80 |
|---|
| pr-lhbr | 0.72 |
|---|
| var-decay-b | 0.67 |
|---|
| phase-saving | 0.59 |
|---|
| keepWorst | 0.52 |
|---|
| learnDecP | 0.49 |
|---|
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
| Parameter | Importance |
|---|
| rtype | 6.01 |
|---|
| init-pol | 2.27 |
|---|
| init-act | 2.22 |
|---|
| var-decay-e | 2.07 |
|---|
| pr-lhbr | 1.08 |
|---|
| cp3_ee_bIter | 1.03 |
|---|
| learnDecP | 0.97 |
|---|
| cla-decay | 0.93 |
|---|
| var-decay-b | 0.72 |
|---|
| sInterval | 0.66 |
|---|
- Parameter Importance over Nothing Plots Details
