Spying on SparrowToRiss
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
pr-probeL=4349652 minLBDMinimizingClause=5 sUhdPrRb=no hlaevery=8 pr-nce=yes rlevel=2 learnDecP=100 init-pol=0 SPARROW--c1=7.931983908669672 minSizeMinimizingClause=4 laEEp=100 phase-saving=0 lhbr-sub=no vsids-d=2147483647 otfss=yes hack=0 actStart=1024.0 pr-uips=1 lbdupd=1 sUhdPrSh=8 pr-keepL=0 pr-keepI=2 vsids-e=1.0 sInterval=1 SPARROW-k=yes sUhdProbe=1 rer=no vsids-s=1.0 rfirst=771 lhbr-max=0 pr-double=yes laHack=yes sUHLEsize=30 dontTrust=yes hlaLevel=1 ics=no keepWorst=0.01807304625319327 vsids-i=1.0 biAsserting=no specialIncReduceDB=2000 longConflict=yes minLBDFrozenClause=15 varActB=1 otfssMLDB=2 lhbr=4 clsActB=0 rnd-freq=0.0014229335991899667 otfssL=yes dyn=no var-decay-e=0.85 var-decay-b=0.75 SPARROW--luby=0 hlaTop=-1 strFlips=500000000 pr-lhbr=no SPARROW--randomc=0 incLBD=no var-decay-i=0.001 lbdIgnL0=yes cp3_ee_bIter=7331490 rtype=1 laEEl=yes enabled_cp3=no firstReduceDB=5338 incReduceDB=300 var-decay-d=10000 hlabound=-1 agil-r=no strSseconds=200 quickRed=yes hlaMax=320 tabu=yes cla-decay=0.999 init-act=4 alluiphack=2 SPARROW--sp=0.7450345518096311 sUHLElbd=2
- Meta Data Details
-
Solver | SparrowToRiss |
#Instances (Test) | 250 |
#Instances (Train) | 250 |
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 | 300.00 | 10.43 |
PAR10 | 3000.00 | 21.23 |
Timeouts | 250 / 250 | 1 / 250 |
Training Performance
| Default | Configured |
Average Runtime | 300.00 | 8.38 |
PAR10 | 3000.00 | 8.38 |
Timeouts | 250 / 250 | 0 / 250 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
cp3_ee_bIter | 10.95 |
strFlips | 7.84 |
SPARROW-k | 2.39 |
pr-probeL | 1.77 |
minLBDMinimizingClause | 1.00 |
init-pol | 0.79 |
keepWorst | 0.70 |
init-act | 0.48 |
SPARROW--c1 | 0.48 |
SPARROW--luby | 0.41 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
cp3_ee_bIter | 10.91 |
strFlips | 7.80 |
SPARROW-k | 2.36 |
pr-probeL | 1.77 |
minLBDMinimizingClause | 1.00 |
init-pol | 0.79 |
keepWorst | 0.70 |
init-act | 0.48 |
SPARROW--c1 | 0.48 |
SPARROW--luby | 0.41 |
- Parameter Importance over Nothing Plots Details