Spying on SparrowToRiss

Generated by SpySMAC (S. Falkner, M. Lindauer and F. Hutter).

Final Configuration Details

xorLimit=345021 agil-r=yes probe=yes pr-lhbr=yes bva=no cp3_vars=2000000 bve=no hack=0 pr-uips=-1 pr-double=yes laHack=no agil-decay=0.9955577769602765 cp3_uhdPrSize=4 lhbr-max=1024 pr-keepLHBR=0 dontTrust=no firstReduceDB=7977 cp3_uhdIters=3 cp3_cls=30000000 ics=no var-decay-d=5000 var-decay-e=0.99 var-decay-b=0.95 sUHLElbd=12 xorSelect=1 learnDecP=50 phase-saving=2 incLBD=yes var-decay-i=0.01 3resolve=yes incReduceDB=450 sUHLEsize=64 sls-adopt-cls=yes hte=no randInp=no cce=no ee=no rlevel=1 up=yes rate=no actStart=1024.0 pr-bins=yes sUhdPrSh=2 pr-keepL=0 dense=yes sInterval=2 unhide=yes rer=no vsids-s=1.0 quickRed=no vsids-i=1.0 rinc=1.9733936157146363 pr-vivi=yes vsids-e=1.0 vsids-d=2147483647 pr-probeL=518503 rnd-freq=0.00776983480632459 symm=no SPARROW--luby=0 sUhdPrRb=no strFlips=500000000 cp3_iters=2 cp3_inp_cons=20000 rtype=2 cp3_uhdProbe=4 xorKeepUsed=yes sls-ksat-flips=3.8643791764051527E8 cp3_res3_steps=783026 cp3_res3_ncls=155627 minLBDMinimizingClause=7 init-pol=2 SPARROW--c1=2.9145063524292443 subsimp=yes inc-inp=yes lbdupd=1 cp3_res_percent=0.007337287531277907 cp3_uhdUHTE=yes sUhdProbe=2 strSseconds=150 inprocess=yes keepWorst=0.001319333310346731 sls-rnd-walk=2113 otfss=no varActB=0 cp3_uhdPrEE=yes lhbr=3 clsActB=0 cp3_uhdEE=no specialIncReduceDB=1100 SPARROW--randomc=0 cp3_limited=yes pr-csize=622561760 init-act=2 sls-flips=800000 sls=yes cp3_sub_limit=7888563.53960616 cla-decay=0.999 bce=no SPARROW--sp=0.8588881515049815 xorFindSubs=yes all_strength_res=3 pr-nce=yes minSizeMinimizingClause=6 lbdIgnL0=yes cp3_uhdTrans=no SPARROW-k=no xorMaxSize=8 pr-viviP=62 cp3_str_limit=1.0875847825233866E7 cp3_res_bin=no pr-viviL=5019002 biAsserting=no longConflict=no minLBDFrozenClause=15 lhbr-sub=yes xor=yes fm=no pr-keepI=0 agil-init=0.17901419259018145 cp3_ee_bIter=5416910 agil-add=1 enabled_cp3=yes cp3_uhdPrSiBo=yes alluiphack=2 cp3_uhdUHLE=0 cp3_strength=yes agil-limit=0.2799818896720078

Meta Data Details

Solver	SparrowToRiss
#Instances (Test)	250
#Instances (Train)	300
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	89.67	20.99
PAR10	176.07	31.79
Timeouts	8 / 250	1 / 250

Training Performance

	Default	Configured
Average Runtime	104.32	28.89
PAR10	320.32	55.89
Timeouts	24 / 300	3 / 300

Scatter Plot Details

CDF Plot Details

Cactus Plot Details

Parameter Importance over Default Details

Parameter	Importance
var-decay-b	52.71
var-decay-e	2.49
SPARROW-k	2.05
strFlips	1.80
init-act	0.89
biAsserting	0.47
keepWorst	0.36
cla-decay	0.28
phase-saving	0.27
pr-probeL	0.25

Parameter Importance over Default Plots Details

Parameter Importance over Nothing Details

Parameter	Importance
var-decay-b	55.56
var-decay-e	2.14
keepWorst	1.61
strFlips	1.58
init-act	1.31
SPARROW-k	0.73
pr-probeL	0.59
biAsserting	0.36
minSizeMinimizingClause	0.34
incReduceDB	0.29

Parameter Importance over Nothing Plots Details