Spying on SparrowToRiss

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

Final Configuration Details

pr-probeL=4575211 minLBDMinimizingClause=5 pr-nce=no rlevel=2 learnDecP=50 init-pol=2 SPARROW--c1=7.31556625610086 minSizeMinimizingClause=27 lbdIgnL0=yes phase-saving=0 hack=0 actStart=2048.0 pr-uips=1 pr-double=yes SPARROW-k=yes pr-keepL=2 pr-keepI=0 vsids-e=1.0 sInterval=1 vsids-s=1.0 lbdupd=0 vsids-i=1.0 dontTrust=yes keepWorst=0.03425547374415633 firstReduceDB=7111 biAsserting=no vsids-d=2147483647 longConflict=yes minLBDFrozenClause=30 varActB=2 clsActB=0 rnd-freq=8.098275758753771E-4 var-decay-d=15000 var-decay-e=0.99 var-decay-b=0.95 SPARROW--luby=0 specialIncReduceDB=2000 strFlips=-2 pr-lhbr=no SPARROW--randomc=0 incLBD=yes var-decay-i=0.01 cp3_ee_bIter=202767892 init-act=3 incReduceDB=385 quickRed=no sUHLEsize=30 cla-decay=0.999 alluiphack=2 SPARROW--sp=0.3577480875520971 sUHLElbd=12

Meta Data Details

Solver	SparrowToRiss
#Instances (Test)	250
#Instances (Train)	250
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	19.75	9.53
PAR10	52.15	9.53
Timeouts	3 / 250	0 / 250

Training Performance

	Default	Configured
Average Runtime	32.80	12.46
PAR10	173.20	34.06
Timeouts	13 / 250	2 / 250

Scatter Plot Details

CDF Plot Details

Cactus Plot Details

Parameter Importance over Default Details

Parameter	Importance
SPARROW-k	21.69
strFlips	5.06
init-act	1.40
incReduceDB	0.98
firstReduceDB	0.91
init-pol	0.59
cp3_ee_bIter	0.56
SPARROW--c1	0.34
minSizeMinimizingClause	0.32
keepWorst	0.32

Parameter Importance over Default Plots Details