Spying on SparrowToRiss
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
ics_relLBD=0.01 minLBDMinimizingClause=5 ics_shrinkNew=no sUhdPrRb=no agil-r=no pr-nce=no rlevel=1 learnDecP=66 init-pol=2 SPARROW--c1=4.4057474875830955 minSizeMinimizingClause=41 lbdIgnL0=no phase-saving=2 lhbr-sub=yes otfss=yes hack=0 actStart=2048.0 pr-uips=0 ics_relSIZE=0.01 lbdupd=1 ics_keepNew=no sUhdPrSh=2 pr-keepL=0 pr-keepI=0 vsids-e=1.0 sInterval=1 SPARROW-k=no sUhdProbe=1 rer=no vsids-s=1.0 pr-probeL=2261805 lhbr-max=4096 pr-double=no laHack=no dontTrust=yes rinc=1.6583835467172323 ics=yes keepWorst=0.04782894641580293 vsids-i=1.0 biAsserting=no vsids-d=2147483647 ics_dyn=no longConflict=no minLBDFrozenClause=15 varActB=0 otfssMLDB=16 lhbr=3 clsActB=0 rnd-freq=0.008279881137777887 otfssL=no var-decay-d=15000 var-decay-e=0.99 var-decay-b=0.95 SPARROW--luby=0 specialIncReduceDB=1000 strFlips=1000000000 pr-lhbr=yes SPARROW--randomc=1 incLBD=yes var-decay-i=0.01 ics_processLast=5050 cp3_ee_bIter=174631 rtype=2 ics_window=200000 enabled_cp3=no firstReduceDB=2873 incReduceDB=439 strSseconds=150 quickRed=yes sUHLEsize=30 cla-decay=0.999 init-act=2 alluiphack=2 SPARROW--sp=0.5884802407553079 sUHLElbd=2
- Meta Data Details
-
| Solver | SparrowToRiss |
|---|
| #Instances (Test) | 302 |
|---|
| #Instances (Train) | 299 |
|---|
| 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 | 173.79 | 37.50 |
|---|
| PAR10 | 433.06 | 216.31 |
|---|
| Timeouts | 29 / 302 | 20 / 302 |
|---|
Training Performance
| Default | Configured |
|---|
| Average Runtime | 167.24 | 31.64 |
|---|
| PAR10 | 402.03 | 158.06 |
|---|
| Timeouts | 26 / 299 | 14 / 299 |
|---|
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
| Parameter | Importance |
|---|
| var-decay-b | 24.43 |
|---|
| strFlips | 12.17 |
|---|
| SPARROW-k | 4.36 |
|---|
| longConflict | 2.27 |
|---|
| var-decay-e | 1.41 |
|---|
| init-act | 0.98 |
|---|
| init-pol | 0.52 |
|---|
| incReduceDB | 0.49 |
|---|
| var-decay-i | 0.46 |
|---|
| pr-probeL | 0.45 |
|---|
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
| Parameter | Importance |
|---|
| var-decay-b | 22.17 |
|---|
| strFlips | 18.30 |
|---|
| SPARROW-k | 4.12 |
|---|
| longConflict | 1.96 |
|---|
| var-decay-e | 0.96 |
|---|
| init-act | 0.91 |
|---|
| pr-probeL | 0.69 |
|---|
| incReduceDB | 0.63 |
|---|
| cp3_ee_bIter | 0.56 |
|---|
| init-pol | 0.49 |
|---|
- Parameter Importance over Nothing Plots Details
