Spying on SparrowToRiss
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
pr-probeL=1206173 minLBDMinimizingClause=8 pr-nce=no rlevel=2 learnDecP=80 init-pol=4 SPARROW--c1=3.561890722312066 minSizeMinimizingClause=43 lbdIgnL0=no phase-saving=2 hack=0 actStart=1024.0 pr-uips=1 pr-double=yes SPARROW-k=no pr-keepL=2 pr-keepI=0 vsids-e=1.0 sInterval=2 vsids-s=1.0 lbdupd=1 vsids-i=1.0 dontTrust=yes keepWorst=0.00769293998671446 firstReduceDB=2503 biAsserting=yes vsids-d=2147483647 longConflict=no minLBDFrozenClause=15 varActB=0 clsActB=1 rnd-freq=3.30456971561921E-6 var-decay-d=10000 var-decay-e=0.99 var-decay-b=0.95 SPARROW--luby=0 strFlips=-2 pr-lhbr=no SPARROW--randomc=0 incLBD=yes var-decay-i=0.001 cp3_ee_bIter=1264331 biAsFreq=13 init-act=6 incReduceDB=434 quickRed=no sUHLEsize=0 cla-decay=0.999 alluiphack=2 SPARROW--sp=0.34019518203516874 specialIncReduceDB=1100
- Meta Data Details
-
Solver | SparrowToRiss |
#Instances (Test) | 351 |
#Instances (Train) | 1032 |
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 | 115.02 | 47.52 |
PAR10 | 538.10 | 370.60 |
Timeouts | 55 / 351 | 42 / 351 |
Training Performance
| Default | Configured |
Average Runtime | 125.86 | 52.64 |
PAR10 | 552.32 | 387.53 |
Timeouts | 163 / 1032 | 128 / 1032 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
SPARROW-k | 32.79 |
strFlips | 17.14 |
keepWorst | 2.19 |
rnd-freq | 1.29 |
pr-probeL | 1.20 |
incReduceDB | 0.82 |
init-pol | 0.53 |
cp3_ee_bIter | 0.51 |
init-act | 0.51 |
learnDecP | 0.32 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
SPARROW-k | 24.54 |
strFlips | 17.30 |
keepWorst | 2.28 |
rnd-freq | 1.44 |
incReduceDB | 1.16 |
init-act | 0.91 |
pr-probeL | 0.79 |
init-pol | 0.58 |
cp3_ee_bIter | 0.45 |
minLBDMinimizingClause | 0.43 |
- Parameter Importance over Nothing Plots Details