Spying on Riss-4.27

SpySMAC

Final Configuration Details

hlaevery=64 probe=yes bce-limit=100000000 bva=no cp3_vars=1000000 bve=no hack=0 pr-uips=0 pr-lhbr=no pr-double=yes laHack=yes lhbr-max=2147483647 pr-keepLHBR=1 dontTrust=yes firstReduceDB=8000 hlaTop=1024 sym-cons=0 cp3_uhdIters=5 cp3_cls=30000000 ics=no dyn=no var-decay-e=0.99 var-decay-b=0.95 sUHLElbd=12 minSizeMinimizingClause=30 learnDecP=66 phase-saving=2 incLBD=yes var-decay-i=0.01 3resolve=yes incReduceDB=300 sUHLEsize=30 hte=no randInp=yes bce-cle=yes cce=no ee=no rlevel=1 rate=no rMaxInc=1.1 actStart=2048.0 sls=no pr-bins=yes pr-keepL=0 dense=yes sInterval=0 unhide=yes rer=no vsids-s=1.0 rMax=32 quickRed=yes vsids-i=1.0 pr-vivi=yes vsids-e=1.0 vsids-d=2147483647 pr-probeL=7500000 rnd-freq=0.005 K=0.85 symm=yes sym-ratio=0.1 cp3_iters=3 cp3_inp_cons=1000000 rtype=0 sym-prop=no cp3_uhdProbe=0 agil-r=no hlaMax=50 sym-iter=2 cp3_res3_steps=1000000 sym-size=no cp3_res3_ncls=100000 minLBDMinimizingClause=6 init-pol=5 laEEp=0 subsimp=yes inc-inp=no lbdupd=0 cp3_res_percent=0.01 cp3_uhdUHTE=no sUhdProbe=0 inprocess=yes bce-bce=yes hlaLevel=5 sym-min=4 otfss=no varActB=0 sym-pol=no clsActB=0 cp3_uhdEE=yes R=1.4 szTrailQueue=4000 keepWorst=0.01 cp3_limited=yes sym-consT=1000 sym-clLearn=yes biAsFreq=8 init-act=4 up=yes hlabound=4096 cp3_sub_limit=300000000 cla-decay=0.999 bce=yes pr-nce=no tabu=yes lbdIgnL0=no cp3_uhdTrans=yes lhbr=3 pr-viviP=80 szLBDQueue=50 cp3_res_bin=no pr-viviL=5000000 biAsserting=yes longConflict=no minLBDFrozenClause=15 lhbr-sub=yes xor=no fm=no pr-keepI=2 cp3_ee_bIter=10 pr-csize=4 laEEl=yes enabled_cp3=yes var-decay-d=15000 alluiphack=0 cp3_uhdUHLE=3 cp3_strength=no specialIncReduceDB=1100

Meta Data Details

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