Spying on lingeling

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

Final Configuration Details

cintmaxhard=10000000 cce3wait=322644869 deco=0 saturating=88 lkhdmisifelmrtc=0 elim=1 move=2 rstinoutinc=157 unhdextstamp=1 simpvarchg=83 minimize=2 bva=0 elmreleff=16 delmax=10 blklarge=1 elmblk=1 liftwait=2 rephaseinc=2044 lftroundlim=1085593536 locsmaxeff=100000 compact=0 prbasicroundlim=9 ternres=1 flipvlim=100000 carduse=1 unhdlnpr=3 cliff=1 cardmaxlen=360546574 trnrmineff=529817941 ccemineff=30000000 cardmineff=2000000 synclsint=100 bcawait=2 score=5 blkreleff=100 maxscorexp=500 rdpreleff=3466 elmsuccesslim=1000 blkmineff=1051483357 locswait=2 cceonlyifstuck=0 syncunint=111111 unhdhbr=0 probe=1 sortlits=0 psm=3 gluescale=4 redlexpfac=10 randecflipint=0 unhdatrn=2 actvlim=284877999 dlim=-1 boost=1 bumpseenlits=1 prbasicmineff=1000000 transred=0 tabrkeep=1 elmocclim=1000000 restart=2 locsred=0 transredwait=2 bumpseenbeforemin=1 cgrmaxority=27 treelookrtc=1 locsclim=1000000 redinoutinc=1 cgrextxor=1 synclslen=671816378 elmfull=0 blockwait=1 locscint=10000 elmineff=412978552 sizemaxpen=3 simpidiv=3 blksuccesslim=10000 megaint=4 liftlrg=3 synclsall=1 locsvared=139 redfixed=0 blksmall=1 cgrexteq=1 force=337692233 cce=0 prbsimpleboost=10 bias=1 cgrextunits=1 reduce=1 blkschedmin=0 trdreleff=6429 actstdmax=112 gaussextrall=1 cardmaxeff=114586282 cliffwait=2 randec=0 actstdmin=2 cardcut=0 reusetrail=1 unhdmaxeff=20000000 treelook=1 trnreleff=10 cardreleff=5 unhide=1 redoutvlim=91879609 batewait=0 actgeomlim=3 locsrtc=0 redloutinc=10000 minrecgluelim=20 phasegluebit=0 tabrcfactor=2 cardreschedint=1179 locsdec=2 import=0 redoutclim=820301256 prbasic=1 lftmaxeff=20000000 incsavevisits=0 ternresrtc=0 mocint=1000 gaussexptrn=1 elmaxeff=996475023 binsimpdel=2 otfsconf=0 cliffreleff=8 bumpclslits=1 redlminrel=10 subl=9 actdblarithlim=15 redlminabs=500 bumpseenaftermin=0 simpen=0 rephase=1 elmocclim1=1000 smallvewait=0 treelookboost=20 cardocclim2=15 blksuccessrat=1000 prbrtc=0 elmblkwait=1 card=1 simprtc=5 bkwdscale=1 smallve=1 prbsimplemaxeff=200000000 prbasicreleff=10 rdp=0 gaussmaxor=20 simplify=2 cardocclim1=300 redlbound=0 defragfree=50 blkocclim1=100000 defragint=1377014647 elmclslim=1000000 treelookfull=0 redlinc=1000 agile=1 sizepen=1000000 gausswait=2 block=1 locsboost=4 memlim=14559926 bate=1 decompose=1 tabrvfactor=4 locsreleff=0 cgrextite=1 elmocclim2=265 cardexpam1=3 flipping=0 termint=122222 elmroundlim=1 cgrmineff=200000 redlmininc=10 redlmaxrel=285 keepmaxglue=1 otfsbump=0 factor=3 locsmineff=1000 synclsglue=8 rdpwait=2 cceboost=10 trdmineff=100000 blkschedprod=0 cgrclsr=1 itsimpdel=16294 cliffmineff=7886537 gaussreleff=2 trepint=55555 cgreleff=1 unhidewait=0 itlocsdel=100 elmsched2b2=0 treelooklrg=1 treelookmaxeff=50000000 prbsimpleliftdepth=3 wait=1 locset=2 cardglue=0 blkmaxeff=1928230844 simpiscale=100 elmsuccessrat=1000 incredconfslim=0 prbsimple=2 lhbr=1 phaseflip=0 unhdreleff=942 bcaminuse=430481694 trnrmaxeff=200000000 blkrtc=0 prbasicmaxeff=100000000 gauss=1 unhdroundlim=20 otfs=1 lift=1 cce2wait=1 locsexport=1 prbsimplemineff=4199332 unhdmineff=524120500 mega=0 seed=36912074 actgsdul=44 agilesinint=117011 megawait=2 rmincpen=4 ccewait=2 elmboost=234 restartint=5 simpdelay=118131458 plain=1 redlmaxinc=200 restartinit=0 elmschedsum=1 irrlim=1 elmschedmin=0 fliptop=1 treelookmineff=300000 prbsimplereleff=40 binlocsdel=41 bcamaxeff=2252092 trep=0 blkboostvlim=1000000 ccereleff=20 lftreleff=2609 cgrclsrwait=2 elmschedpure=1 rdpmaxeff=10000000 maxglue=2147483647 redlmaxabs=1000000 elmschedprod=0 factmax=1003300424 tabr=3 bumpseenminsize=3 incredcint=1 smallirr=72 cgrextand=1 cceboostvlim=4705327 locs=0 rdpmineff=10000 blksched2b2=0 ccemaxeff=2147483647 cliffmaxeff=573619997 actavgmax=112 blkocclim2=5 cardwait=0 clim=12617418 blkschedpure=1 cintmaxsoft=2457099 cintinc=204 prbasicrtc=0 lftmineff=500000 smallvevars=7 blkschedsum=1 bumpbcplits=0 acts=2 fliplevels=6 blkboost=8356 penmax=4 ccesuccessrat=1000 scincinc=200 rdpclslim=3 pure=1 ternreswait=2 cgrmaxeff=1197783958 ternresboost=5 rdpmodelm=1 flipdur=5613 cintincdiv=1 gaussmaxeff=1658849690 prbsimplertc=0 waitmax=4 randecint=1000 elmlitslim=5773967 inprocessing=1 minlocalgluelim=30 phaseneginit=0 redlinit=1966 jwhred=1 lkhd=3 treelookreleff=1 ccertc=0 ccesuccesslim=10000 cardignused=0 agilelim=30 phase=-1 simpinterdelay=140109284 blkclslim=2580529 simpvarlim=317445978 plim=-1 cardminlen=1637938 flipldmod=4 flipint=10 gaussmineff=2000000 gluekeep=3 blkocclim=1000000 decolim=30 bca=1 elmrtc=0 rdplim=100 restartintscale=0 trdmaxeff=2000000 elmschediff=0

Meta Data Details

Solver	lingeling
#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	.

Performance Overview Details

Test Performance

	Default	Configured
Average Runtime	26.92	17.83
PAR10	50.00	25.52
Timeouts	3 / 351	1 / 351

Training Performance

	Default	Configured
Average Runtime	26.14	18.44
PAR10	42.87	40.75
Timeouts	3 / 484	4 / 484

Scatter Plot Details

CDF Plot Details

Cactus Plot Details

Parameter Importance over Default Details

Parameter	Importance
restartinit	13.09
phasegluebit	3.61
bcamaxeff	3.60
cgreleff	3.40
cardreleff	2.49
phaseneginit	2.14
elmaxeff	1.56
sizepen	1.54
subl	1.19
redinoutinc	1.13

Parameter Importance over Default Plots Details

Parameter Importance over Nothing Details

Parameter	Importance
phaseneginit	9.08
itsimpdel	3.22
restartinit	2.14
score	1.07
treelookmineff	1.00
prbasicreleff	0.99
blksuccesslim	0.73
treelookmaxeff	0.68
elmlitslim	0.65
redlexpfac	0.55

Parameter Importance over Nothing Plots Details