From d0674989bbe9a25e05a4ee35d74800bccf07cd31 Mon Sep 17 00:00:00 2001
From: Peizhao Ou <peizhaoo@uci.edu>
Date: Sat, 21 Mar 2015 20:28:28 -0700
Subject: [PATCH] results for dekker-fences

---
 dekker-fences/dekker-fences-wildcard | Bin 0 -> 24110 bytes
 dekker-fences/interesting.txt        |  13 +++++
 dekker-fences/note.txt               |  10 +++-
 dekker-fences/result1.txt            |  76 +++------------------------
 dekker-fences/result2.txt            |  21 ++++++++
 5 files changed, 49 insertions(+), 71 deletions(-)
 create mode 100755 dekker-fences/dekker-fences-wildcard
 create mode 100644 dekker-fences/interesting.txt
 create mode 100644 dekker-fences/result2.txt

diff --git a/dekker-fences/dekker-fences-wildcard b/dekker-fences/dekker-fences-wildcard
new file mode 100755
index 0000000000000000000000000000000000000000..18d2194a9b666327fe06d645d65d5b21d91d416d
GIT binary patch
literal 24110
zcmeHveSB2ang6+WGRZ(fGD&y|LS=ve0c1#c+bD=bAvj1xgkYi7P9~Xwj3k*bnIz!i
zuUOEMjacGKYsD(<($}?C-PS5l34+pgmtFdE*O%&6YOw~fTijAVY(cZ%=bZE0d*>xq
zx1Z1NpPwh0d!F;WpXZ!=?z#7#d%jRpyVNuc!O0X01(i+|1SCowg$Q0PiyBughKPWe
zBqoSlVBGixB!zMXaeiK_=G>$CT*!0qt2Py)+6+j5^RWsoIA;$jCwq1ZXi(*sjZ{U>
zh44uP$&s&Rm&zjYdI@kI(0<hGoaLxUase$D&~lvb)sAt_^`pAcuTJZ$GXp45IY60M
zB9C@Xyp&eHnT!y8S*a`{4@iLX2Nhay&T`j7j{N+niTzxq?F|-}eqBG#by3W0jy24i
zGqX7|qdC^vv3bVk>UlHf&GEO#{j+4fy>NthuU@f6y2NoTLy3GIjvw^_qPsnT@9a1`
z<U9Ahc>2#}zaHT`{;W4#3|c;Z#4COER_@-hZOO=~i~F|a)ZMmCe0RLKW}n!#XuRik
zak~mK@ejkV5Wgb)bO^;Lz@zaSgWov(#^W~;zsdMj;74gHes90<hr*3tcwp<(yWTB)
zWz*WRk1YRfU-fJAkL>^L-CIYz{saGtM;_YR`jyesZyvJv#bu$FzVl4{;jN2n{{5YT
z;cq;281SrySAQRT>_4CW)$!jx^bg<o>G$SsU48S<o2K>^T=CWXu5GJtzU$kYitb(R
zeQwIkgFo60`1R-8S`J*eaO-EjdCw;4M3%!k;7YRKsh++pcsgIQ;eQBxHa(4l;5!Dv
zUpol??m_Th8U%mEAow#9Unt6SzeiD~xj2&leR^C{SRu}!la-*Sl%?T+1_rNqcVMlr
zo>^s{1b;DlM}^kU=g&3hLKDz??(_yE-`{Ade?v}sHmB)%SM$#(R{V1`|7BADXwj_s
zS^wVvPx`}}|8mX06L_yE6Tvk7<F$ToiPAqo^KaMs+tTzO20dGSe*=68?4HnipjM`L
zwVq^}p1XjT{AuyL4|wwbh>j1nAEn=D{(#ost<YkR_WyZZU-thM&Hqos0+O>AWlEL!
zk=-vA1*j+<mq#J~4s>6Z_`Cu-@!zQV>0G8%1^!~3?M=E~TD`bK`_rKPpQhNwaF?pr
z9F6yD{0mx7EKSdQz*8Lhb-j4}cuwnoK;x%tJ?|nX{`a+hs;5jCKU?CFXfuXP5ejW+
ziMNK@li@@%6cV9pIzy|X8)EIrXku}5xV=5vE;`zyiBL;8)+(e_XnnM`F&YXtCS&nd
zk!(stLXC-NI2l#&&2ftn*a-6}(O7FN$rvfQB^GUtXuVyDSklr99~)^%p9c>K)*ebX
zLeWS#83v)Dy<Oo&DB2nkq0i20t6JH~5{>O0q4lr`{OaVa%5XB?5^D@K$Kh0Tb6az)
zF_v6;!|G%eQ(~=2lxDR=TjGf=p?D$^O^9SiqE)PK4sWPbTB@{`_GCN}9aK#$Lr-Yg
zb?`J2YYicq5z!e=RKZQE23LT5{1EL-YKX_18#2_Bhfs+6SEkmV0#4Rufw&^AvU6o6
zYO*++!8(VcR+C}&F9g=<a~4_hXP%1ZvRF-cbq%$YbkZp}sObz&U7yV8kegMklOmGd
z>};65X&`SJ#MQOSKD{_J%RkFcmjIn`vN;l+<HrB`Pbnh#Zvpgby&adth6rJbsTdz9
zog7y$bDCqNSl8o29`HQY5TnO|=W77ry$-x{9$V(XJLhpe2cB$js&L@t{74fj9e7m0
zO4SbhPz#HBtpi`+zz4U#<LQ4Di2j>Vt^Oawr{MOZo+ATu_m}#_z@&pX7L5x4qH+^S
zo<2E%H0cQ{Qz%ZKkmc`FnL>8DPnN$)WfzqnljR4fOd&eGSC;RlGKJ>!Zdv|2DpN>K
zZ<FOOQkg<=x=ogEp)!TwbUn&dzhBn<%g+b9-w19$b#`UlvSWR8<qIA=Oc$u&v12rU
z=>H5D&+Xn#bqw~nUn%j4;O%`$bKr!m;%;YJ6YPF-H8F0xvI2%g$MOS}xCMaN1Qdg}
zovEPG;R~+d_A^HC@|WAo*B6ajA`q-TBiQYJAG!yIKPQ=b+<zcTm%p5N<9YY101Yzt
zxtorxU%%d8G;Rl~Kyp{^^}-I>O_n?*QSi-k)1hh@8aR2=k=?tA2A90uw_fb2x!8TI
z|E&)O27Z1-qbq~mx4s<gsd>3abl05gsX5nObN(r6kLd(n+<xmh(UJEQT_4Z5pQ6iK
zu)F4@#!?YjA_ChFEhqOII3=DT`5-K9a0zk91g5_WF+9`xOb*~fG}-BY7Nq$#=Zo&^
z+tHU?D@ENTDysm|%RoQl?w<}{pUJhP?sQ0XydkCXNQw=<hn{oD15AG|8Fcrbd4FI4
zZ2ix;fFzgbHeyF#(e0Z+KQx3mUxNv%P;%0KGA?x;q6t$!X_F2eqIpk$5k${SR7})E
z750}FlazTIMTB|(P^j*HUe)zc;11=Jtv1+_UKgNb)inUR)gWFp$a(ObCvQKa_$9m?
zu*Fr`ed}w%?v4}6J!*med&zmK!69mw{@bZYaZx_(qauDnRjnQrRg_h`9>rrd=ZSu-
z=Aw+|t~KX_yJ}88LsKtu<+h7(eb<_cK%RYu=23)fCM24jV4s4|5<DER?2SJ^V)Z|&
zSNGYSHRp<+y!ISba6g^K-Ty-T3t_V8$(nOk{bUrnJ0xGvwdWkHVX&f`TAV)U?eFe5
z1&#gag=c%#5O}uxMbi7o1^9P+A9~r&ngJNF1E|E#cCR_Pv&NDI$0^CUW}xTVlTwXz
z?>?ycXa?tl6Q>P&z~KBfrxZu9@dTL&Dp!lM*?@aiy&PgG&Yl0W!#Nc<REq=Mv*s)`
zoL6BM==A9=(s8b5jSRDL<J-<&#;pK#(1UicRjrn)cx;hvo2Kcw)Z`o;F@|<Gm%m)w
z9VtH<+%@A!zE9Ndnsksd;QMR4ljUb?ySJ93yWd!j(e<6`+Np0Y>VAJ&_j|#^@4J?D
zztn%ve^Z10J~_7PRl1(kcK^Ay`@JRIe^@jy{I%frBN$W9bi5txxv?BWb#uA5wkJ|v
zRtv~i+mkG>sO{NWUWs9}`bg2ZZPeNSi1E>xs6KN1#)w@3zk=J(4<tt)pvOLXoIc~h
zxZi{E`}{!1yLv=c*M|N9@{O)~bZs|<F~&9je%L6%F9)O_A>WC%T7a|tVdOU=uf%z>
z75NRwA4KlKaP=Da<{`g`ydL>jboj3#Ux56V$Zte$AhuhP&qe+q@>b*rkw1X^HRK18
zUqpTi`B>;3j@CMed>`^tREBO!#x1LavDs^kDaiBe27ftl^h_XleqdlPa#84AT3B{X
zQGS<ao4D$d`O{{XParh$EWxiFe#?8HMTOow%*DfUV^E~&5#+N#pN3p8J!;c;0KEWo
zdGE~hgiYTE`fAYSy(7~*Z2D2qTR^WwZt34>(@z0?E9mlGo8{v+JqPve1zp}-Gd*e3
z%R&D>=<?o->FaI!640LnT?T~dH`(+E=ud%O;q<T3rtbi~??dGGfxZOoK+mJB`mM6%
zkAglQba_wA_FZ=x#6j(I3iL<N?<PCt!?t`5`oR;R%X?>*Hy@D<<&Y@{eI@*p_vqK(
z>AoX3R2bNv_hs`g*RC9MZ6UQY^`lzwQ9Y4;l0J#RClUB00-r?SlL&kgf&Y&pfN7;n
zT;=pK<1r<XDLtoWX_WYx62G4rrqI^=oj-jr5GU0AW`Hv5-R|Z*Rpw`5J6)<gl$em_
z;?|uKz4N0~rZO=?=bULa(Lb(UqIgd8vS#3UGe29Cb2HEa`2oqn_zGR7IT9td$IsZf
zjOn?ok4N((ZnDhrIjhT$4h={>|E~`GzB=9BQvIIi2A!|hd8f|r(D_$%{%xH<sq^P`
zp04-m#fz`-Rjg^~Xiav^tc|sX6LH@h|2+Tf8C4w;Id`fmi`O8kT1Cb7M|eCz=?l84
z(%;Oazrjg=W0(GhD*eq%`Ww6SH*)E3aMIskrN8+}e?upocN~TmS@kovp}XX~j(X1K
ze(7Lj(Db<Tav<Z$dl|jPg*O&hfzSXj=P{fOIW8}~n|0qnJ<4t1Xt?R|p6MQsqsu)U
zVapM@#Of-&20VFh6HneluxRA<$>X=cV|a``aKu=h+Y4h45zo`$9&#UC96}aEt`z*?
zw?G<-9~eHLdjn;^!$I+pm}1u2p319$d>d)YBih|KUll{Xbl`pS>+oQxu>v-YLwQH>
zoY$zd7)g$89mzXNwpOJOm8ybc<o}W)LluQ-<Ssx}Ow+v|`iAAW@e&D0&lM7x*9ecy
zoV@>lrrc_ZV0AS#7v|+tEltCG7lfj1WX!lT4DY<RQIH;`x|tJ2v2htW`Q;##$tY2y
zypCT9@fxDkm`dL4zCblP2fQ1_l1)S#Vuz>L*g{;r_rSi?aw&?_Y)%>QV&hK88+YeG
zSTZdJ11%uQqOO|E-7^zJ$=L#6r_I>~4YqX^reb3rX}|X{hBPVj4e-+=1g$;0jI?v#
z-y#H3=HJ18W-uAVN}BlUHa0;uxdgwgCcu6h)#B^FK?B_iE`!dBtB8F&m4<ZVD26Mh
zhxY)MF4Pf&9bX|vc<8D0$YvZyQD+_DA+XFt++`kxp<|in%fv_EXb<|#VzlTbcR+29
z@ojS_TplAE{-R0U5G_Aewfy(Y54h1@fc&rUD<N(}d`dO__st?`GR}fvpgtw{6LAPB
zQGp+;+WryqRRoUE#u%_ou~}u~k5!HT1M@ftl4}uwRW_GXp=^~Onm=X7n!)xZoAn`h
zU^~EG$hLXhoB*O~e+V4>OG47pKbm);iKNhr5O`-WA%sjC`LRi>uq1yjdd^t<bW~D3
z1OIyzkDr*2A%e2f^T2zx&F`%AXJOWO+Wc>34TCL_owXD08VAhdXcDRQPOyDFJL_Vg
zjh~t=to0`-|13M}M)LKLIRsIcTHgTMAG5Q{j{Tgu2(0_4I}8Ib8o!e7%g*r_j;Ork
zI%axNF{yAiIIbcty9<HqK6D%77iKLiNv?I^h-Prjpy(VoKMR87`T~HS3@)kbg!x~r
z>s#P>#NvW6spbW9D{xZH^8k)J86GEZUNrv?_vN=h{G-JndmYr!8aCq<^LyL?!%*ST
z_@&ltBn9*}^GnP%8yr_<aJ>a*jn~Z%Fsu55Bbvr_sj&$@7;l*0V6MMS<G`?R7f>Vb
z!C@3#ghqG>Ec1}gGLOR0vCQ)%@eznCv5AV{N=(Z^%pCU$WS88Dwlj=-+%wT-#?fek
zvBJ=e`8Br-S3IH^v}~;azmmCB8ZsY8aj9zZJ#O+}o*xs4W2xkzGMPUC+6Z|p^DF{o
zq(amJ97W(IcY`g*_)j;TG~=Y7wgczfjR+S}jN5S7g<r{&R2p&+M|R*n_dnwdk<t8n
z;y5Nbs7wxAkJ1QvEb}}Ic%(uc2RMqrT$-=BhyI6T`z?-nlTc~H=W&nR1WFE6d!Hqi
zQU4c2L`UQ%s91Iy#qksqp40JMj_g)K>{|RLEJOteFwEYjiMOD_#vV7t#_WxVkrb-&
zR4W$c>0domv_on)t02Hu@t&J%Csj~oM|k#tJc?#K<@e*jT6pr<2V4OvHSr?4fl-%B
zvm&#1?Zh7H*LAsa=FnR=X^%GmMj;OCd@@~6jWxL>YWCJord3lYmdGOR14eiV97VM$
zKMFZE$8%I42sC9<W<!?QJ)|d;tD;b+ya;J8R!(|JTfdOvMZM*PjA6Z&mR{UXUeE-s
z{CDtzt@F%y8wf*iW2L-!I*&ZED*tpISH7S)0AajW*14+u{yY-3D!)IkNEVx^@&t~e
zb|^2!fz9y*{3LMOEVF%<Sy}nMJk@@6lNM-mp%k-+Ewi$=hc!FQmRCYA+u+H40PS?a
zvUN1o)={>l0)151c;%#aZSwvU)6b=ve$F;Mh31KWpU+00(_(vJ{8HQ)UxT0Q?F7iK
zDyzCLU-x!pexI7B_STD$H0zl{^ULq#^IZwwjnG^01k`*vL#OPr-_=SYVhT-Qeo(-2
zeD_ih>=TgvHOmuV`}AmmK7Eu=j~1v-0H5emHHGFqj~B46StY7t(9K3JZulqSC+lhH
zls-M7l|)22&GPxak5>lzpmQZj|Aa>NB}K|&v#2oIDup>>3&_k$FRv+W1MXK4nR+>f
z5Oc)6uy6JTC%vTaC_k&&rges!g(*8C288K9g``=g>en>gjnTmztxC<)?<LwLG=iJG
zE2sY>mBy&jTC5#5+Ny-P@B+pL_JEf!o`fd_g;>TNPHX^+@}x=3Fvifiw1m_%>ui12
z2H^8O5ScoKoR=(SZ>_4z5+azrfl0l(3RPNYT3DD%X~2bh(;6(ee)@4(FjsJ;XtK$r
zW;zqU27MzuUqOKUmyt(>bYU@uxM<x0CI2iZmX;q#EcINoh^_(P<t48EIB74T;RIM(
zGa-4Cge}!rUS=wcVq;QaX}+s)Okpu@?$+db(Yj{2$j@I0B<@)+H(Z`8^5^FprMQyh
z7_P$nd@i~xgsX5Y+BbJ30KzT<Q(h?w3(#9Ve&ebFiFbb~P`IpgK>_I);ugd;G=->0
z`C5&e7z+Hb1)XkEHB38%isG#pSt<idQK@ltsqKz;nB_$^qE&2J$k*m0rQ|>fIWPxG
zOH&vY6e#lW6fAiifzXH|M1<TLIa#_tYOc)6yc#{4=$Hyv9=XZX80`@%L>`T`RC7R-
z$xo%=*^x_Au<XdVu`pacbQX;HN)1(cRFABU_ahv|Mu`!~ReC455fG}Y3F8x~K=E8w
zO2u-UnPeyBqa&1{$4s7+!ZwB2=DVF*E2LktPr$IEkcz3=0K!BDra_TpQpM?7ucqQ2
z-btNd)fIGGrQa61N>)Nlq7E;<fevjL7Yc{rNKae@b#=dgCjMisjm;gAsF>N&p0Elc
z*3zcdRQj8UHxk{rF`Aem*X*{>=!!K*8pDZ*zp;@{6t&b<u5?x0a*1jZFl=LeF4ph1
zE5d??j#zVYMyz!q$u-K=ym-{1i0J7iPpe!H<Qtw+^HXpaSe_}l{*-ULX^v4yp76N-
zt-v^CRwyJ-M_jKL7@h^@WQFDFf$Qlau#Q(qzIeO(2sue1!^HveOt_8~86KZGMPd2!
z=h`=lw2o3(zJR&DI|>R)6_T$?u180cf{_Z#*A>?jqit5cT)2*2YCMu-x_%knf1r26
z4=_tNa@XT%;t^1eYb_memk)|{dDaof-b&97&pKRIa*P{1cX-wvB*>Lq>niko@tYew
zS9*qfu6)aL<-?wJRR<0nsCw&7q~E>dS?;MlaB!W8l_5sfCCR*$*0H#G*6hYOI)_}h
z+}IRu-4Mmv<3zl5L(QsKwne~y&4T2XElaT^nVsOZx3qX!uB?qGo1zKH(XyqEmRQS`
z#LV__7gsx1Y-4r#rjA%5D&lR?1R|4|e5LN@YDG8ELy2g!7$g>=3!zDblBq%v2ye!^
z?e)=QV^e5zJi#?{gg3ql3z(yuRb;WaJ3-6oLoIa7SWg|j4!kLD!$LINuGY|3iDtBl
zPaZm2+hZGAqY)oHSkx^|VbrdKBUttxQm1Mt7KyedW9wsBx1OTAJ-R8>*q#(JuIvp5
zo0QF}%7{i+G`z89RYS&N>eW>tF;6btPr}PEExJ!%SKd~O%5nIoPgiT`mFo*oi-k7r
zO8DM}0JSAzom@Fx7dc>MQU1}FgI9A~)MQjb%xsFcL}#`|W4APg<MEktIGfSf6m6uj
zlDx@=YQT37O)cTX#`c*hqbe$~K5Hw7S0E6&&8Yb@L)Eg(;#fcpu`mnI<*L(#TO-+)
z>W9KGZFiUKX5`v>YP4Ba>}Sl#JOilBZGZ9MfU?})(O`>RslHv%pA@L?4Y;kTIXBBl
zeCYQU&Ym~OX93P{GVFHDHb{N+uK+L|ZWOV0d;rq8F|<ArjS65oahZ#?>xyPQt=rnr
zL}<CRZxvQ8UtMXP+0Gh$jB`n}H^mc4d1ilvPZT)HTM_2WbFQrh-@Rm@b>G2&m8I`=
zptH=IgP~5=&KYv_7u3(Ho@0<}X>pv}pU>tAI4n<`ary8Q*I{DN0A^mKXfUEmFGn|W
zXsDXyY-ZaX2g}F07P1+;3+N9-LZMFk#CKNqL)2#usoZY=YX#(=yrSw$Y5IUX=!ZVm
z#f7eURwSK%e1uR|t5G6r7t@1Z$~RYBT}Ny15Escd#HEb2DKpqX`#VOgEdBj2e68g0
zCu3AnC#n@L8fC3fnZ6_TEuKDIzf;b1>SJ_h9UJ}*$^I(J@d1;bMClV$fAQuVpJeA$
z<CFdAUY(rH>rdI#=VCl%pQ~@^P0{6HxZ1{f84g>xPA|he!6#Wc|8^Xh)@aFfc^F=A
z<Gc*_Sh!9v!+fuhO+V9iS#n(-hIiXIFT>ATxK1y_eA|&tKhus{a$O#VkJ&gc!xt@F
zr<Y;Afyt(yX&+c}T^@!FeLDj=FT<BvxK1y_d@qzuKhyk{T$hL8DjVlzxZc8bdKu>1
zs%-k1)?mqXc^Hn`I4{Frvv8eWhWQ39n|`M4vE;fu3_oP!ybK?;aGhR;`MGB{{d^mE
z%#!Q!F#HP}=VkaU3)ksonC}|1>1Wz$ORmeq@H;ln%W#o?c4>-EFT;HQnN2^_iY>V=
z55vQ4oR{G$3)kson4gzs)6ciLKi1DMiHG5*Y@C<jUs$+KFT?zpG@E{={j(+4<ze_=
zZJd|k&*=w{6d#89;b%7eOuNaF>+&#MZ{xfS-)7-Dy$th{(ro&fw%wBJ@-Tddjq@@*
z%R0|Hy$tgc*lhYa{>;PUHIJ*D^Ek*kk6WDcIKw%Q3!L+L%sHQTobx%v=L`31&bc3Q
z&V9;pDNvxleM?I++#vjT?4a@{hHyoVCfbC*HJ*(67kzr!j3k~OsM3bk4nIA8ip+>b
zgr7=H;r1rsk8Ej$K9wgEiqaWPw9{AVl1&#vpwaz1323OTIVt?|(`bJ(x*4$iOx&M{
z%kRql(I(s<gj=GarU+!YB>atdoX`$~D!aK6MCc6Tt8y5OLk$josaxs6=jjlNx3u84
z9IVlXjt!x3f*!n(7Fmq7u8%VuZfHnEJGq3tO`;4VN(|!eg+Z+;Bg`KcL3@+XlSMr9
zld0Ma=v-#<`ws=FBk?-ZL=^A{-;%F011Q=1&-i4?KH%YeN~%K1DW5b0lAhEKmCKTS
zNS9v%(tB9j$o}7N1|;+S8gW*Z@Df<(=@XR|z~dRS<v*|Y-04yRw7P~8-WJF>v3!}t
z;(IIP#KQJ@{pe<@6cVo&RVAf^Vah*`AFb77d0wCSC>||Ss#BTeKl5?E5p-Jn$z@*u
z>7hy?`Q$Ove~lKm0HBz%Jg+yc(DGc*^!PD;N18mZUkzyam$f01$GZr%rw($KzY8$+
zDT*&8Uawn5%v4sHbxd#nZcv=^l?4IGTdC#u%94HXYLIh!(dLxr{ijZ7`5-%%CdV2d
zNR#LNW9YpNCA?ZnN$LLY1(ocVXfEC#rb5f7^K+T=?`nB&Ki;qDGA;k0*2@{oarwzK
z`Ja^rB<W{bKEjH%0QY}g6ny~5e|?%b_P0_T9A{Os+n>wF06698i*-sBm&(lA7eSRW
z<^Kf)r#yYFPN`bUr~8{;egVAH#Oyz>SLS`U_L6cW?glK+^`ce8PWvbIdhe68;S&<`
ztCC%2{BJ;T%JX{hel1_mf;wk8&fiXx5Biiu(5D30PgSz*bNMU)(#7@XeT&xm6o<}K
z0Y|pWh(7@!|0@}xbC#c$h9_Q1oPXeeB|#s)=u^N+UFMACxI7GqbR5wd#w(7(BIZ<i
zI`8N~<lA(Gewfz()8(fOB0p}nvPX+_ohe;@ww6ziUvRFHqW7uJ#PXak)bdUqg123z
zFnf96)(kACi(=Uz^1d3yae^5KkuL_G`;L?Ktd{>wn!&W9Y`e4&Ni{oHDs5$0V?e1K
zziRxr|M7K!$l2`gT?YcvU1<Yex_!l!{pf;s)n*`r=)%>K=Q&QI3!d=&B^94zeP@!2
zcMG0xq~dc0&m&Utd4lH$sd$gz>wYSJh~VpaDt@T-ok=P_b3ZepyKv>^>uM@L_V?1)
z+f;n!K59yjz5iJ%zt`GtFcn`c_<EFzFR`vOsrXV{H|m`z3A^xhF<%#)L>Io=;qg8d
zKhoNFClx=+`kp5hpSh13(OuXNjK|Yd{!5%i3wFt!0<EG2xH4wpisTZXvUr?;OX!QA
z6A9QQcOgteO1v)<De>bo@O1u|*jMagTD#LYkc0i|(gnr>VPJMc8y`3mT^H~XLq>bi
zIc{WWFB(qBu1`N3U|pY+{C1rA{JvS^>wWc-mB)?ED3PAsX?h0pe}~jlB7AB7_ey-R
zs2CXlWT%G#X7m3afG4{rO9D1Cpu_lOi`%Qf6F)x(;P1o!0K9>nC3&8JqD*d7+`w#k
zrLHgIX{`&znKln{rg1V*C1Q9QzH$)!VyP$de5nQA2fIA)U>h{<XWJ()r12+o9C+-H
zGd`_fbxJ&IwexMjPe6S5xkjZX9RS{EvsutD2EqRt_!7+0dEU+fwC4fs=f{i9_%d=@
z@-vs6dr*;V`~MXJPk!?AmCLora^QK+Z)*|aCaK3BC)sYZ*3Zk_7*7kIv+3Cme75}^
zcMrn<An@cTKR1$lWx%mt0Z;YfrFf{mOedwDVb)SexpxF8{Tk2D#~#=G|E2M?9Tp|J
zZ=+=5;!XN_p&r*O5BO~LqOW?g?Ke3Yc=Dg0OI0ZK;`%}K+^G5axzz;Cf4j!>^EA1q
z2xy0a&$b`u^O~QZ$MJmkRgLH8W~|?h3TE@a0C@7BpSw-h{?K<Y+2XKV^Ye4OIhwy!
z<N0}^U*orHJ?Z<H?v(f}*ZszDbF*W6NYR)`wkJEVV^||z^e?WvZdIsu+3Gra0~%VA
zQo3fbgA|E}HZ;c@!p$N1;4BpG*esVGG)I%sh=1PP*;RrFSiQ2DO0$J}_7>@AY1zVd
zYE~?fW|pp6bZt$DOJs&&+lqWjC#?+r=1{+vOkHbob?tSZUQ`>pZt2q1HFcr7MW3#%
zp{hmN;~}h;iZn;Lo@|qzAmV{uBD_UyKN)f$<c69ev}E0iMb|D{EK+uQ9AuYDB|^(I
zLUI$$zv6x6N7&U<ZH+1Sx6IgKGZ1iYeMoN$|H|zz)$X6p{XnyAh?%)ZXv!9uGBSFr
z(Z94_%=r#GbNP>Y|H<2B+Am3UAZX)I`E*#Wa#3ETY)+c8^JvDRi$Pzv%L=F+Pcz>V
z54t|$uUJc?Hbtf70GV%;X){n~lm@e}_gYo8bP5c*-KGjy$}X`VVR?&+2>YoQSg7q@
HWn26YxxU{R

literal 0
HcmV?d00001

diff --git a/dekker-fences/interesting.txt b/dekker-fences/interesting.txt
new file mode 100644
index 0000000..ef29e74
--- /dev/null
+++ b/dekker-fences/interesting.txt
@@ -0,0 +1,13 @@
+Result 0:
+wildcard 1 -> memory_order_relaxed
+wildcard 2 -> memory_order_seq_cst
+wildcard 3 -> memory_order_acquire
+wildcard 4 -> memory_order_relaxed
+wildcard 5 -> memory_order_relaxed
+wildcard 6 -> memory_order_relaxed
+wildcard 7 -> memory_order_relaxed
+wildcard 8 -> memory_order_seq_cst
+wildcard 9 -> memory_order_relaxed
+wildcard 10 -> memory_order_relaxed
+wildcard 11 -> memory_order_release
+wildcard 12 -> memory_order_relaxed
diff --git a/dekker-fences/note.txt b/dekker-fences/note.txt
index 15f5b6b..03b7632 100644
--- a/dekker-fences/note.txt
+++ b/dekker-fences/note.txt
@@ -3,6 +3,12 @@ dekker-fences-wildcard2 to get get result2.txt. In result2.txt, those results
 that do not impose ordering to fences should be dropped, so we got the correct
 result.
 
-./run.sh benchmarks/dekker-fences/dekker-fences-wildcard1 -m2 -y -x500 -tSCFENCE &> result1.txt
+time ./run.sh benchmarks/dekker-fences/dekker-fences-wildcard1 -m2 -y -u3 -tSCFENCE -o weaken &> /scratch/a
 
-./run.sh benchmarks/dekker-fences/dekker-fences-wildcard2 -m2 -y -x150 -tSCFENCE -o fresult1.txt
+We got result1.txt, and it took 1m20.790s.
+
+time ./run.sh benchmarks/dekker-fences/dekker-fences-wildcard2 -m2 -y -u3 -tSCFENCE -o weaken -o fbenchmarks/dekker-fences/result1.txt -x10000 &> /scratch/a
+
+We got result2.txt, and it took 5m19.538s
+
+In total, it took 6m40.328s.
diff --git a/dekker-fences/result1.txt b/dekker-fences/result1.txt
index e351bc5..20c6aca 100644
--- a/dekker-fences/result1.txt
+++ b/dekker-fences/result1.txt
@@ -1,32 +1,12 @@
-Result 0:
-wildcard 1 -> memory_order_relaxed
-wildcard 2 -> memory_order_seq_cst
-wildcard 3 -> memory_order_relaxed
-wildcard 4 -> memory_order_relaxed
-wildcard 5 -> memory_order_relaxed
-wildcard 6 -> memory_order_relaxed
-wildcard 7 -> memory_order_relaxed
-wildcard 8 -> memory_order_relaxed
-wildcard 9 -> memory_order_acquire
-wildcard 10 -> memory_order_relaxed
-wildcard 11 -> memory_order_release
-wildcard 12 -> memory_order_relaxed
+peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv$ time ./run.sh
+benchmarks/dekker-fences/dekker-fences-wildcard1 -m2 -y -u3 -tSCFENCE -o weaken
+&> /scratch/a
 
-Result 1:
-wildcard 1 -> memory_order_relaxed
-wildcard 2 -> memory_order_seq_cst
-wildcard 3 -> memory_order_acquire
-wildcard 4 -> memory_order_relaxed
-wildcard 5 -> memory_order_relaxed
-wildcard 6 -> memory_order_relaxed
-wildcard 7 -> memory_order_relaxed
-wildcard 8 -> memory_order_relaxed
-wildcard 9 -> memory_order_relaxed
-wildcard 10 -> memory_order_relaxed
-wildcard 11 -> memory_order_release
-wildcard 12 -> memory_order_relaxed
+real	1m27.052s
+user	1m20.790s
+sys	0m6.189s
 
-Result 2:
+Result 0:
 wildcard 1 -> memory_order_relaxed
 wildcard 2 -> memory_order_seq_cst
 wildcard 3 -> memory_order_relaxed
@@ -37,47 +17,5 @@ wildcard 7 -> memory_order_relaxed
 wildcard 8 -> memory_order_relaxed
 wildcard 9 -> memory_order_acquire
 wildcard 10 -> memory_order_relaxed
-wildcard 11 -> memory_order_relaxed
-wildcard 12 -> memory_order_release
-
-Result 3:
-wildcard 1 -> memory_order_relaxed
-wildcard 2 -> memory_order_seq_cst
-wildcard 3 -> memory_order_acquire
-wildcard 4 -> memory_order_relaxed
-wildcard 5 -> memory_order_relaxed
-wildcard 6 -> memory_order_relaxed
-wildcard 7 -> memory_order_relaxed
-wildcard 8 -> memory_order_relaxed
-wildcard 9 -> memory_order_relaxed
-wildcard 10 -> memory_order_relaxed
-wildcard 11 -> memory_order_relaxed
-wildcard 12 -> memory_order_release
-
-Result 4:
-wildcard 1 -> memory_order_seq_cst
-wildcard 2 -> memory_order_relaxed
-wildcard 3 -> memory_order_seq_cst
-wildcard 4 -> memory_order_relaxed
-wildcard 5 -> memory_order_relaxed
-wildcard 6 -> memory_order_relaxed
-wildcard 7 -> memory_order_relaxed
-wildcard 8 -> memory_order_relaxed
-wildcard 9 -> memory_order_seq_cst
-wildcard 10 -> memory_order_relaxed
 wildcard 11 -> memory_order_release
 wildcard 12 -> memory_order_relaxed
-
-Result 5:
-wildcard 1 -> memory_order_seq_cst
-wildcard 2 -> memory_order_relaxed
-wildcard 3 -> memory_order_seq_cst
-wildcard 4 -> memory_order_relaxed
-wildcard 5 -> memory_order_relaxed
-wildcard 6 -> memory_order_relaxed
-wildcard 7 -> memory_order_relaxed
-wildcard 8 -> memory_order_relaxed
-wildcard 9 -> memory_order_seq_cst
-wildcard 10 -> memory_order_relaxed
-wildcard 11 -> memory_order_relaxed
-wildcard 12 -> memory_order_release
diff --git a/dekker-fences/result2.txt b/dekker-fences/result2.txt
new file mode 100644
index 0000000..9d3d5f1
--- /dev/null
+++ b/dekker-fences/result2.txt
@@ -0,0 +1,21 @@
+peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv$ time ./run.sh
+benchmarks/dekker-fences/dekker-fences-wildcard2 -m2 -y -u3 -tSCFENCE -o weaken
+-o fbenchmarks/dekker-fences/result1.txt -x10000 &> /scratch/a
+
+real	5m43.236s
+user	5m19.538s
+sys	0m23.429s
+
+Result 0:
+wildcard 1 -> memory_order_relaxed
+wildcard 2 -> memory_order_seq_cst
+wildcard 3 -> memory_order_relaxed
+wildcard 4 -> memory_order_relaxed
+wildcard 5 -> memory_order_relaxed
+wildcard 6 -> memory_order_relaxed
+wildcard 7 -> memory_order_relaxed
+wildcard 8 -> memory_order_seq_cst
+wildcard 9 -> memory_order_acquire
+wildcard 10 -> memory_order_relaxed
+wildcard 11 -> memory_order_release
+wildcard 12 -> memory_order_relaxed
-- 
2.34.1