Spying on Riss-4.27

SpySMAC

Final Configuration Details

xorLimit=1200000 hlaevery=32 probe=no phase-saving=2 bva=no cp3_vars=2000000 bve=yes hack=0 pr-uips=0 pr-double=no laHack=yes bve_gates=yes dontTrust=yes firstReduceDB=4000 hlaTop=1024 cp3_cls=4000000 var-decay-d=10000 var-decay-e=0.99 var-decay-b=0.95 sUHLElbd=12 xorSelect=1 learnDecP=80 pr-lhbr=yes incLBD=yes var-decay-i=0.01 3resolve=no incReduceDB=300 cp3_ee_limit=1000000 cp3_ee_glimit=10000 sUHLEsize=30 hte=no cp3_extITE=no ee=yes rlevel=1 rate=no cp3_ee_it=no actStart=1024.0 sls=no sUhdPrSh=4 pr-keepL=2 dense=no sInterval=1 unhide=no rer=no vsids-s=1.0 vsids-i=1.0 ics=no vsids-e=1.0 vsids-d=2147483647 pr-probeL=7500000 rnd-freq=0.005 symm=no sUhdPrRb=yes cp3_iters=4 cp3_inp_cons=1000000 rtype=2 cp3_bve_limit=2500000 agil-r=no hlaMax=50 xorKeepUsed=yes bve_totalG=no bve_BCElim=yes minLBDMinimizingClause=6 init-pol=1 laEEp=50 subsimp=no bve_cgrow_t=0 lbdupd=1 rinc=4 sUhdProbe=1 bve_cgrow=-1 inprocess=no cp3_extAND=no hlaLevel=1 keepWorst=0.001 otfss=no varActB=0 lhbr=0 clsActB=2 minSizeMinimizingClause=30 cp3_limited=yes cp3_ee_level=2 init-act=3 up=no hlabound=16000 quickRed=yes cla-decay=0.999 bce=no cp3_bve_heap=1 xorFindSubs=yes pr-nce=no tabu=yes lbdIgnL0=yes cp3_extXOR=no xorMaxSize=9 biAsserting=no bve_red_lits=0 longConflict=no minLBDFrozenClause=30 cce=no xor=yes fm=no pr-keepI=2 cp3_ee_bIter=1 laEEl=yes enabled_cp3=yes dyn=yes alluiphack=2 specialIncReduceDB=1000

Meta Data Details

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