Spying on SparrowToRiss

SpySMAC

Final Configuration Details

hlaevery=32 probe=no bce-limit=100000000 bva=no cp3_vars=5000000 bve=yes hack=1 pr-uips=0 pr-lhbr=yes pr-double=yes cp3_fm_newAmo=2 lhbr-max=2147483647 dontTrust=yes firstReduceDB=2192 agil-r=no hlaTop=512 cp3_uhdIters=5 cp3_cls=30000000 cp3_fm_keepM=yes dyn=yes var-decay-e=0.95 var-decay-b=0.75 minSizeMinimizingClause=28 learnDecP=80 phase-saving=2 cp3_fm_grow=40 incLBD=no var-decay-i=0.01 cp3_fm_newAlo=2 3resolve=no cp3_fm_newAlk=2 incReduceDB=431 sUHLEsize=0 hte=no bce-cle=yes cce=no card_max=2 ee=no rlevel=0 rate=no actStart=1024.0 sls=no sUhdPrSh=0 pr-keepL=0 dense=no sInterval=1 unhide=yes rer=no vsids-s=1.0 rMax=-1 laHack=yes ics=no vsids-i=1.0 vsids-e=1.0 vsids-d=2147483647 pr-probeL=6726809 card_maxC=7 rnd-freq=0.005 K=0.8 symm=no SPARROW--luby=0 sUhdPrRb=no strFlips=100000000 cp3_iters=1 cp3_inp_cons=500000 rtype=0 cp3_uhdProbe=0 cp3_bve_heap=0 card_Elimit=1200000 hlaMax=50 bve_totalG=no bve_BCElim=yes minLBDMinimizingClause=8 init-pol=0 SPARROW--c1=2.0 subsimp=no bve_gates=yes bve_cgrow_t=0 lbdupd=1 cp3_uhdUHTE=yes sUhdProbe=1 strSseconds=150 bve_cgrow=0 inprocess=no cp3_fm_growT=100000 bce-bce=no hlaLevel=1 keepWorst=0.020539666964070082 otfss=no varActB=1 lhbr=3 clsActB=2 cp3_uhdEE=yes hack-cost=no R=1.2 szTrailQueue=3500 SPARROW--randomc=0 cp3_limited=yes cp3_fm_maxConstraints=200000 init-act=1 up=no hlabound=-1 quickRed=no cp3_fm_limit=6000000 cla-decay=0.999 bce=yes SPARROW--sp=0.347 cp3_bve_limit=25000000 pr-nce=no tabu=yes lbdIgnL0=yes cp3_uhdTrans=yes laEEp=0 SPARROW-k=no szLBDQueue=60 biAsserting=no bve_red_lits=1 longConflict=no minLBDFrozenClause=30 lhbr-sub=yes xor=no fm=yes pr-keepI=0 cp3_ee_bIter=876 laEEl=yes enabled_cp3=yes cp3_fm_maxA=200 var-decay-d=5000 card_minC=3 cp3_fm_Slimit=12000000 cp3_fm_vMulAMO=no alluiphack=0 cp3_uhdUHLE=3 specialIncReduceDB=1100

Meta Data Details

Solver	SparrowToRiss
#Instances (Test)	302
#Instances (Train)	382
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	.