Spying on SparrowToRiss
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
pr-probeL=4960015 minLBDMinimizingClause=6 pr-nce=no rlevel=1 learnDecP=100 init-pol=1 SPARROW--c1=2.2899311632238755 minSizeMinimizingClause=15 lbdIgnL0=no phase-saving=0 hack=1 actStart=2048.0 pr-uips=-1 pr-double=yes SPARROW-k=no pr-keepL=0 pr-keepI=2 vsids-e=1.0 sInterval=2 vsids-s=1.0 lbdupd=1 vsids-i=1.0 dontTrust=yes keepWorst=0.024648810311642236 firstReduceDB=2276 biAsserting=yes vsids-d=2147483647 longConflict=no minLBDFrozenClause=30 varActB=0 clsActB=2 rnd-freq=0.009820182028696474 var-decay-d=10000 var-decay-e=0.99 var-decay-b=0.85 SPARROW--luby=0 strFlips=-2 pr-lhbr=yes SPARROW--randomc=1 incLBD=no var-decay-i=0.001 cp3_ee_bIter=23614 biAsFreq=9 init-act=4 incReduceDB=367 hack-cost=no quickRed=yes sUHLEsize=0 cla-decay=0.999 alluiphack=0 SPARROW--sp=0.8064411653747446 specialIncReduceDB=1000
- Meta Data Details
-
Solver | SparrowToRiss |
#Instances (Test) | 351 |
#Instances (Train) | 484 |
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 | 91.93 | 9.68 |
PAR10 | 115.01 | 9.68 |
Timeouts | 3 / 351 | 0 / 351 |
Training Performance
| Default | Configured |
Average Runtime | 103.80 | 8.13 |
PAR10 | 159.59 | 8.13 |
Timeouts | 10 / 484 | 0 / 484 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
strFlips | 16.15 |
phase-saving | 9.49 |
SPARROW-k | 4.52 |
init-pol | 1.03 |
rnd-freq | 0.91 |
keepWorst | 0.73 |
incReduceDB | 0.69 |
init-act | 0.44 |
varActB | 0.41 |
pr-probeL | 0.36 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
phase-saving | 18.88 |
strFlips | 13.19 |
keepWorst | 2.88 |
init-pol | 1.54 |
SPARROW-k | 1.48 |
rnd-freq | 0.93 |
incReduceDB | 0.90 |
init-act | 0.75 |
cp3_ee_bIter | 0.42 |
learnDecP | 0.25 |
- Parameter Importance over Nothing Plots Details