Spying on SparrowToRiss
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
pr-probeL=4733342 minLBDMinimizingClause=7 pr-nce=yes rlevel=2 learnDecP=80 init-pol=1 SPARROW--c1=7.259444170500145 minSizeMinimizingClause=14 lbdIgnL0=no phase-saving=2 hack=1 actStart=1024.0 pr-uips=-1 SPARROW--luby_base=468621.53482946195 pr-double=yes SPARROW-k=no pr-keepL=0 pr-keepI=2 vsids-e=1.0 sInterval=3 vsids-s=1.0 lbdupd=1 vsids-i=1.0 dontTrust=no keepWorst=0.028358172129142156 firstReduceDB=7800 biAsserting=no vsids-d=2147483647 longConflict=no minLBDFrozenClause=30 varActB=2 clsActB=2 rnd-freq=0.002237629829307388 var-decay-d=10000 var-decay-e=0.95 var-decay-b=0.85 SPARROW--luby=1 specialIncReduceDB=1100 strFlips=-2 pr-lhbr=yes SPARROW--randomc=0 incLBD=yes var-decay-i=0.01 cp3_ee_bIter=109265051 init-act=3 incReduceDB=369 hack-cost=yes quickRed=yes sUHLEsize=30 cla-decay=0.5 alluiphack=0 sUHLElbd=0
- Meta Data Details
-
| Solver | SparrowToRiss |
|---|
| #Instances (Test) | 302 |
|---|
| #Instances (Train) | 684 |
|---|
| 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 | 190.12 | 60.85 |
|---|
| PAR10 | 744.42 | 382.71 |
|---|
| Timeouts | 62 / 302 | 36 / 302 |
|---|
Training Performance
| Default | Configured |
|---|
| Average Runtime | 204.66 | 87.96 |
|---|
| PAR10 | 1061.24 | 660.33 |
|---|
| Timeouts | 217 / 684 | 145 / 684 |
|---|
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
| Parameter | Importance |
|---|
| init-act | 30.24 |
|---|
| phase-saving | 3.97 |
|---|
| strFlips | 3.82 |
|---|
| firstReduceDB | 1.15 |
|---|
| rnd-freq | 0.89 |
|---|
| init-pol | 0.77 |
|---|
| keepWorst | 0.45 |
|---|
| incReduceDB | 0.41 |
|---|
| learnDecP | 0.39 |
|---|
| pr-probeL | 0.37 |
|---|
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
| Parameter | Importance |
|---|
| init-act | 23.26 |
|---|
| phase-saving | 8.55 |
|---|
| strFlips | 4.84 |
|---|
| rnd-freq | 1.10 |
|---|
| firstReduceDB | 0.98 |
|---|
| minLBDMinimizingClause | 0.85 |
|---|
| init-pol | 0.83 |
|---|
| pr-probeL | 0.68 |
|---|
| sInterval | 0.52 |
|---|
| cp3_ee_bIter | 0.39 |
|---|
- Parameter Importance over Nothing Plots Details
