Spying on Riss-4.27
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
pr-probeL=500000 minLBDMinimizingClause=9 agil-r=yes pr-nce=no rlevel=0 otfssMLDB=16 init-pol=2 minSizeMinimizingClause=50 lbdIgnL0=yes phase-saving=2 otfss=yes hack=1 actStart=1024.0 pr-uips=-1 lbdupd=1 rinc=3 pr-keepL=0 pr-keepI=2 vsids-e=1.0 agil-decay=0.99 sInterval=2 sUhdProbe=0 rer=no vsids-s=1.0 pr-double=no laHack=no dontTrust=yes ics=no keepWorst=0.0 vsids-i=1.0 biAsserting=no vsids-d=2147483647 longConflict=yes minLBDFrozenClause=30 varActB=1 lhbr=0 clsActB=1 rnd-freq=0.001 otfssL=yes var-decay-d=5000 var-decay-e=0.99 var-decay-b=0.95 sUHLElbd=2 specialIncReduceDB=1000 learnDecP=50 pr-lhbr=no incLBD=yes var-decay-i=0.01 agil-init=0.11 cp3_ee_bIter=10 agil-add=32 rtype=2 enabled_cp3=no firstReduceDB=2000 incReduceDB=300 hack-cost=no quickRed=no sUHLEsize=64 cla-decay=0.999 init-act=6 alluiphack=2 agil-limit=0.33
- Meta Data Details
-
Solver | Riss-4.27 |
#Instances (Test) | 250 |
#Instances (Train) | 300 |
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 | 27.95 | 18.35 |
PAR10 | 49.55 | 29.15 |
Timeouts | 2 / 250 | 1 / 250 |
Training Performance
| Default | Configured |
Average Runtime | 38.34 | 26.89 |
PAR10 | 101.34 | 53.89 |
Timeouts | 7 / 300 | 3 / 300 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
var-decay-b | 8.45 |
rtype | 3.72 |
phase-saving | 1.92 |
biAsserting | 1.33 |
init-act | 0.68 |
sInterval | 0.43 |
init-pol | 0.31 |
learnDecP | 0.30 |
rnd-freq | 0.26 |
var-decay-e | 0.23 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
var-decay-b | 23.34 |
var-decay-e | 4.34 |
rtype | 3.87 |
biAsserting | 3.80 |
phase-saving | 3.46 |
init-act | 2.39 |
init-pol | 1.46 |
learnDecP | 0.50 |
sInterval | 0.40 |
pr-probeL | 0.33 |
- Parameter Importance over Nothing Plots Details