Spying on SparrowToRiss
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
hlaevery=32 probe=no bce-limit=100000000 bva=no cp3_vars=5000000 bve=yes hack=0 pr-uips=0 pr-lhbr=no pr-double=yes cp3_fm_newAmo=2 lhbr-max=2147483647 dontTrust=yes firstReduceDB=4000 agil-r=no hlaTop=512 cp3_uhdIters=5 cp3_cls=30000000 cp3_fm_keepM=yes dyn=yes var-decay-e=0.99 var-decay-b=0.95 sUHLElbd=12 minSizeMinimizingClause=37 learnDecP=80 phase-saving=2 cp3_fm_grow=40 incLBD=no var-decay-i=0.01 cp3_fm_newAlo=2 3resolve=no cp3_fm_newAlk=2 incReduceDB=300 sUHLEsize=30 hte=no bce-cle=yes cce=no card_max=2 ee=no rlevel=1 rate=no actStart=2048.0 sls=no sUhdPrSh=0 pr-keepL=2 dense=no sInterval=1 unhide=yes rer=no vsids-s=1.0 rMax=-1 laHack=yes ics=no vsids-i=1.0 vsids-e=1.0 vsids-d=2147483647 pr-probeL=3430803 card_maxC=7 rnd-freq=0.005 K=0.8 symm=no SPARROW--luby=0 sUhdPrRb=no strFlips=500000000 cp3_iters=1 cp3_inp_cons=500000 rtype=0 cp3_uhdProbe=0 cp3_bve_heap=0 card_Elimit=1200000 hlaMax=50 bve_totalG=no bve_BCElim=yes minLBDMinimizingClause=6 init-pol=2 SPARROW--c1=2.0 subsimp=no bve_gates=yes bve_cgrow_t=0 lbdupd=1 cp3_uhdUHTE=yes sUhdProbe=1 strSseconds=150 bve_cgrow=0 inprocess=no cp3_fm_growT=100000 bce-bce=no hlaLevel=1 keepWorst=0.001 otfss=no varActB=2 lhbr=3 clsActB=0 cp3_uhdEE=yes R=1.2 szTrailQueue=3500 SPARROW--randomc=0 cp3_limited=yes cp3_fm_maxConstraints=200000 init-act=1 up=no hlabound=-1 quickRed=yes cp3_fm_limit=6000000 cla-decay=0.999 bce=yes SPARROW--sp=0.347 cp3_bve_limit=25000000 pr-nce=no tabu=yes lbdIgnL0=yes cp3_uhdTrans=yes laEEp=0 SPARROW-k=yes szLBDQueue=60 biAsserting=no bve_red_lits=1 longConflict=no minLBDFrozenClause=30 lhbr-sub=yes xor=no fm=yes pr-keepI=0 cp3_ee_bIter=400000000 laEEl=yes enabled_cp3=yes cp3_fm_maxA=200 var-decay-d=10000 card_minC=3 cp3_fm_Slimit=12000000 cp3_fm_vMulAMO=no alluiphack=2 cp3_uhdUHLE=3 specialIncReduceDB=1000
- Meta Data Details
-
| Solver | SparrowToRiss |
|---|
| #Instances (Test) | 250 |
|---|
| #Instances (Train) | 500 |
|---|
| 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 | 156.64 | 156.69 |
|---|
| PAR10 | 1517.44 | 1528.29 |
|---|
| Timeouts | 126 / 250 | 127 / 250 |
|---|
Training Performance
| Default | Configured |
|---|
| Average Runtime | 162.00 | 161.83 |
|---|
| PAR10 | 1528.20 | 1538.83 |
|---|
| Timeouts | 253 / 500 | 255 / 500 |
|---|
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
| Parameter | Importance |
|---|
| pr-probeL | 10.51 |
|---|
| firstReduceDB | 6.52 |
|---|
| cp3_ee_bIter | 5.18 |
|---|
| rnd-freq | 4.00 |
|---|
| keepWorst | 2.73 |
|---|
| minSizeMinimizingClause | 1.57 |
|---|
| learnDecP | 1.54 |
|---|
| strFlips | 1.30 |
|---|
| init-act | 1.26 |
|---|
| init-pol | 1.25 |
|---|
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
| Parameter | Importance |
|---|
| init-pol | 6.08 |
|---|
| init-act | 1.83 |
|---|
| minSizeMinimizingClause | 1.80 |
|---|
| pr-probeL | 1.59 |
|---|
| keepWorst | 1.44 |
|---|
| strFlips | 1.43 |
|---|
| learnDecP | 1.42 |
|---|
| cp3_ee_bIter | 0.99 |
|---|
| minLBDMinimizingClause | 0.92 |
|---|
| rnd-freq | 0.89 |
|---|
- Parameter Importance over Nothing Plots Details
