Spying on Riss-4.27

SpySMAC

Final Configuration Details

hlaevery=32 otfssMLDB=30 laEEl=yes hack=1 pr-uips=0 pr-lhbr=yes pr-double=yes ics_keepNew=yes vsids-i=1.0 ics_dyn=yes dontTrust=no firstReduceDB=8000 laEEp=66 dyn=no var-decay-e=0.95 var-decay-b=0.75 sUHLElbd=6 minSizeMinimizingClause=30 learnDecP=66 phase-saving=0 incLBD=no var-decay-i=0.01 incReduceDB=450 sUHLEsize=30 ics_relLBD=1.0 ics_shrinkNew=yes rlevel=2 rer-min-size=30 rer-maxLBD=30 actStart=1024.0 sUhdPrSh=0 pr-keepL=0 pr-keepI=2 rer=yes vsids-s=1.0 rMax=-1 laHack=yes ics=yes vsids-e=1.0 vsids-d=2147483647 pr-probeL=5000000 rnd-freq=0.01 K=0.85 sUhdPrRb=yes rtype=0 ics_window=80000 otfssL=yes agil-r=no hlaMax=25 minLBDMinimizingClause=3 init-pol=4 ics_relSIZE=1.0 lbdupd=1 rer-minLBD=6 sUhdProbe=2 rer-freq=0.1 hlaLevel=1 keepWorst=0.05 otfss=yes varActB=0 lhbr=0 clsActB=2 hack-cost=yes R=1.5 szTrailQueue=4000 ics_processLast=5050 biAsFreq=2 init-act=5 hlabound=16000 quickRed=no cla-decay=0.995 rer-max-size=2147483647 pr-nce=no tabu=yes lbdIgnL0=yes hlaTop=512 szLBDQueue=45 rer-f=yes rer-l=yes rer-r=2 biAsserting=yes longConflict=no minLBDFrozenClause=30 sInterval=3 cp3_ee_bIter=10 enabled_cp3=no var-decay-d=15000 alluiphack=2 rer-new-act=1 specialIncReduceDB=1100

Meta Data Details

Solver	Riss-4.27
#Instances (Test)	351
#Instances (Train)	484
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	.