Spying on SparrowToRiss
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
pr-probeL=2319745 minLBDMinimizingClause=5 pr-nce=no rlevel=2 learnDecP=80 init-pol=1 SPARROW--c1=2.2539544652678742 minSizeMinimizingClause=4 lbdIgnL0=yes phase-saving=2 hack=1 actStart=2048.0 pr-uips=-1 pr-double=no SPARROW-k=yes pr-keepL=0 pr-keepI=0 vsids-e=1.0 sInterval=2 vsids-s=1.0 lbdupd=1 vsids-i=1.0 dontTrust=no keepWorst=0.011050331636993038 firstReduceDB=4226 biAsserting=yes vsids-d=2147483647 longConflict=no minLBDFrozenClause=15 varActB=0 clsActB=0 rnd-freq=0.006291303829455201 var-decay-d=15000 var-decay-e=0.95 var-decay-b=0.75 SPARROW--luby=0 strFlips=-2 pr-lhbr=no SPARROW--randomc=1 incLBD=no var-decay-i=0.01 cp3_ee_bIter=45480738 biAsFreq=15 init-act=3 incReduceDB=379 hack-cost=yes quickRed=no sUHLEsize=0 cla-decay=0.5 alluiphack=2 SPARROW--sp=0.48300324349338253 specialIncReduceDB=1100
- 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 | 18.61 | 9.62 |
PAR10 | 115.81 | 63.62 |
Timeouts | 9 / 250 | 5 / 250 |
Training Performance
| Default | Configured |
Average Runtime | 18.54 | 7.38 |
PAR10 | 137.34 | 39.78 |
Timeouts | 11 / 250 | 3 / 250 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
strFlips | 7.90 |
incReduceDB | 2.64 |
init-act | 2.30 |
init-pol | 1.60 |
SPARROW-k | 1.01 |
pr-probeL | 0.68 |
SPARROW--c1 | 0.43 |
keepWorst | 0.42 |
cp3_ee_bIter | 0.35 |
learnDecP | 0.29 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
strFlips | 14.13 |
incReduceDB | 2.46 |
init-act | 2.45 |
init-pol | 1.81 |
pr-probeL | 0.72 |
SPARROW-k | 0.64 |
keepWorst | 0.42 |
firstReduceDB | 0.31 |
SPARROW--c1 | 0.30 |
learnDecP | 0.25 |
- Parameter Importance over Nothing Plots Details