From 8286c708583de72931b0cbf220e97a5e49a8d177 Mon Sep 17 00:00:00 2001 From: FertileFragrance Date: Tue, 16 Apr 2024 09:54:45 -0400 Subject: [PATCH] fix 2 TimeKiller figs --- .../experiments/data/tps-min.csv | 25 ++++++++++++++++ .../experiments/exp-decompose.pdf | Bin 15030 -> 14392 bytes .../experiments/exp-decompose.tex | 26 ++++++++--------- .../experiments/exp-runtime.pdf | Bin 18939 -> 19505 bytes .../experiments/exp-runtime.tex | 27 ++++++++++-------- 5 files changed, 53 insertions(+), 25 deletions(-) create mode 100644 examples/paper-timekiller/experiments/data/tps-min.csv diff --git a/examples/paper-timekiller/experiments/data/tps-min.csv b/examples/paper-timekiller/experiments/data/tps-min.csv new file mode 100644 index 0000000..d4f0835 --- /dev/null +++ b/examples/paper-timekiller/experiments/data/tps-min.csv @@ -0,0 +1,25 @@ +time,tps +0.0 , 811.6666666666666 +1.0 , 793.3333333333334 +2.0 , 793.3333333333334 +3.0 , 2066.6499999999999 +4.0 , 1833.3333333333333 +5.0 , 1889.6666666666667 +6.0 , 1833.3333333333333 +7.0 , 1889.6666666666667 +8.0 , 1683.35 +9.0 , 798.3333333333334 +10.0 , 800.0 +11.0 , 808.3333333333334 +12.0 , 791.6666666666666 +13.0 , 803.3333333333334 +14.0 , 803.3333333333334 +15.0 , 2116.6499999999999 +16.0 , 1871.6666666666667 +17.0 , 1833.3333333333333 +18.0 , 1871.6666666666667 +19.0 , 1833.3333333333333 +20.0 , 1666.6833333333334 +21.0 , 805.0 +22.0 , 791.6666666666666 +23.0 , 808.3333333333334 \ No newline at end of file diff --git a/examples/paper-timekiller/experiments/exp-decompose.pdf b/examples/paper-timekiller/experiments/exp-decompose.pdf index 1e627b9f3f1be56070a014b0edf1c555e12d5f11..7abe569974200848b89bb201349503e069e10d3e 100644 GIT binary patch delta 12324 zcmajELv$rv6E+&#ww)7oY^#%WY+D_i*e6EEwr$(Coph{@ZQb|3ck=zCJE~o^_Ndlg zk9Lb|n`0aoh>ev^NC?5%#mU^*4#8vNQePqQZyR#=iRQmFq6``l45~^!q2KB&>fV{r zl}>9H{Ri6KsOL)?nH3+OUsYS}Xua6A=TAL;Z#*B&yK^6OLJd0F+nd(pkjBSKhrz>i+keV?iEA1wR3Z2oCq)VBvBe>dA0{H zG*U-xg^)bvaLhs_SGgK}?yCkX6S83+-)oP9WzY2Uka-ALYZFZi(>-nUwPt{;rsz%RFPBD0z!&C>Q&$oukXNd5E>RV?CL*MNw>z#TV*T&^(Rp=}qi4 z!=bAM=4^)aQ1NI?K9DHhx1T;i*3sQE8!BPtLa2OKI4&YeDOS4t#rmRdMq^PY>Pa9m zEtIrvN}RG}*E+YUD_A6z5o6Qp1nR#V^-bJ7V~p3UZ7IGw(q>_{8ddc51+G&Xw~fi3 zp5TTC7xx99xeE8!G_iPwpI@g3*M`D^T%=!C*Rt-K+ux&HARnW>AkCFR6l6sK6b~SL z*GLl%m4?{pYVX&=SVtm{BM^WUI1Vz4a$RW=i#aUmIyueRF>&XR3AhW7YL^KqYciIJ zIx6wlAS^ySFe^_^ctvZLH#BMK|G6q|iy(~tLC0FDK77N(u`kQ^aC`^FaCae zdAqziARbn@&!Mb01@M$-LP%f03_uBx-;>`j^R2L>VJ*wC%@{|riS^o+WzAO)-xq6B zAVugI%y}fPZEhiLE-7nn{dkKoJjfK}SzW207)62c_;*u*6wZXSA|erxFZ$)Rw6U8R z#1>lHfN56u!r#5F?Li=j3IHhxJWUa_LE*h95#w2{OSPw7go*F6O;^H^z>j?e4GG>O z;u7SP$vYZ3ojjcUdi-TgNPx@Jw zSPdz>xX>)_bh{dOaWX`m;$M_U5q2G6fjI56AQCd#$H#M2V(Ah6iSyK7O{L0+8Hgh?MY=?1`R44DFB zCX-b3N~A&~J(6vxfgCg(N{(rVo)So8sr&q=jqKvvLBkYpMh!z)BUX0;xB(Ez^Ohz= z0kesMc{1V|ydVtGQbBcjms^R8Iq{5z`EXWI|Ki_{DNbyj6ZjB-kqxmF?#TK0N$@xh z{E#li>pq1?%e8K~dt2*L!lKR?t*jY$WS*>F9>{oEQy$1~xsx8muC)ob6{kOc+g8b` z8mt5U9(UDI>Xm(CG)T5}5IPw>pZJXe@SyyrZhUxs4au8)3j>`o>%+Gd5oh(2aQWyLU`qW9kU3v@40e7jX)Ajo ziO#akSv8Fh3A{p((}tYmhon@_QvBsR24sSeIm{1U_N*-JXkcd+EQU`YF-lL{z(ej` z^dkFY`Ru`Vk%+nJ41;1SJChO-Ty$hckJ#(yfGHgvwE2eu)y2D4b4N5G|Nhpjh=JXh zHV2=lxDqNkJ`>SZT>UdQQ2ZJl$N*LW3hX+}$K z0RJFa^i}!~nt8LOjc1OP>8h@+{8|v0jy^EVrOPEY;ra1?2M{48s;XnSN{>tIz(>mD zi%_W0RXLSAJ|R@^6O^yLxyhUMU)X{q023p&whkrkjz}-5@?g+R_Gv`i{btH`hWMDq z^KN021sgp-m>>M;=^r2*BLx0VM~hp9)d3jJ`30j=?!#HYGNA=bz|+kI_9p|xpF%|S z0${H&V^cJd8E@*|hX(PFx(owgFaMiZ8U#tN5tEE7vot}Vm7OZ%vR|tqO@ZuBws@f$ zrNTZuQh18D*3S!C=~Jf~F?geR-x+8zLLaJd-B$jA-QE8p(lr|@l0#u?W?MvcmuH!}!bMmvz~Sxrs#XsoST~D~6Vw?0FoNYy?qGjd>r$2)LC9 z>G0MwB;QLkVITPg?@tA=2!fDG;h(_+7ioKlmW4IHz0^K&27EC|DWDDYUu^*$ag&wm zdz-~e%j-QK$qST5PdG?kT$E?{W}Wt~ERtCk^g%x0naN0Z&45#Ai1g9=ks6F8GW%h& zS?~1>v7BeEbn%+<1sRGUgf$vM9Wh$k_-?z_vDV=}qp4PknePLN8BhY7!2R~=I#bn_ zfd0Z!%D5?}Rf=+zxs`@v1PgeEIlvY_1KVd`&fkJc2iQEnrcVKBmDD?Jalz6lVFACW z17<3ia_1$LZIYh>) zF>mHV$X7U6<-#s;*|5^5SWcDTKPIx0#ziuS1y<|Ra-??}5V&qZ>k2!ZUcDrZH?v~z zhL*MYbE_OwDM9?Hbu9EWRYe%YrNr==a$1~hRYjVSBrlV(_i^gPG!@0{wJa}; zb^6DpaRX71U@;sLt_2{`MY)RyvJ&BuV?!)ED6RRjjP|t{S(9)43+IjZUpar1I1To} zXvBz6&0Tt-7pFy1hLQGbva<`OM$e8Q8G94x?D#SSKlgnUer=oFMMS$1g>JEQ%&d9A zzG^Im4QLr&y+6~ifB!|Ujd8ISpaX?S)$B|5?{)A=YO?7lxYJPac@%` zb2D8CQ5;c;-Wbt7PdR<;`2^8=og8Sye>#4zU;Y|=y4t?i&7N?1)~5#4@@}wJ7}abk zY3GP_-%TfBm>!(prm8nllhzwj8EbBkMV85$^{|lAKxJKM7~n)(mbDPVe*%d`u)#Yx z$$GJza5j1$KKEF@Au0ckEHv&QFF}Ghx&GHi=quIR2eD%P{ls>VS69aiFF=7Srw}ud z(FvK$&#Wh1QmJP$h571PYs2STTjAf?;@4NXXl7tOX8`!VHokaH{DyFc8 z5p%*Vb-a(jPf)|PsQE1>({a9PxhkNUs{7Nh!#g`iWVep}suCnRw*NP4)76cK(`HTy z3yQ4WF0`?ck!U;k>UP}pS|cynCRkjv8QdDz)X!1u$UmV0$?cRR!Zx7Mn21T0G9hpQ z<4*@OJj3lZ3&UFgh+Xc_hpVYdhhPrj{6#G0rISOdC4XWHq2oiJHEfJ>N8+cH;dCK> zk5;ES%4Z0dk0VO?jdK0`NaesQbi%pMS7Hl>42X?`=YMy?6z?mqs)-kNZ71iA1$E>_ zJLBoy`Wu})2%1`F3BKWljqZ2eJ!IudOA}nN7IO+jt5sqSH3_iQufa9~F5bI+g6qMnb~@D3K|1TW+aH zva$rB-m9Ne`LzNNZYXl&5ceSlKP&U<*$@IHy34ETgTpmE+F1G$1E+1wLry8HrleM_ z!W5}eZh}$miK3e_K2;z8HvGFur`rUcuu!FZ9V&7@rFiwIfq>YOOUEV4W6XH5`VByN zVnnH#$;-@Qf2z{CMN-@dI+WJ7D|yCcF}~E!N>^Y%CbWZ%f^qBSOf^+?!J*{8B;uTw zsHCp-XW!6@UN&kv!hoVzmraq=`18j(+%b^CYM;}Dge_MDBaq5W0v{L|MXM;2K-K$` zsf#_y9mm5^(qnuwsLfAl;=2En14#`z?b=#;8JSNe#P$7I%DlD~qyt$=_T}jEzQG9m ze5#y-6wW=x6J_$1CK+InVTJ!}0vEdDm6G!|#@|eu!7%3Kbc_YND$4S16|Z+`=_5>DJ|obEx@x1xt5IqVa1lwz zgx&cXPH=*K=j@>$r(j@SzUEt2RN#Y&_2Cd}_zm} zs-!Uj(5#Gm6Ee^Q@O*EO8#M!K1rE`NR z^`-KVKFEI4AO+ov}SM_F6qfg zi8z(l{p$#jh~vjgLV#ScAwFb?<)2vE=6p#$g0N~{%{A+Qq*wS`-R1g-Rv7%Yd8cb zK}lap!6Aqh>A$?^Wvx5|W23y2tSAB@0`gpK7dCh(Plhr=jOXS$v#2VJ`1k99;O1;o zRc*5d$-h|k0!h@ug@rv64O%pqtR$Ls_#zCy*#unn*5DN6)*ThNGPh@ju;=iPv-MLh|il)lu zUY^3IJ{jdA;QBp*ew#8kMGZ03wGPvub&A#xx#8MyL_&g|t#kGO(ll?=79QV;0r0(4Q_p!qqE|m25;74!^N${zY$Ii2D0V<4Xl8V$ zcQ5gP=M6G|@?))$Y4mhI@Yp;NHPnBg-j)>h-N9u?-Z21?kB``{ct)U3w7k=(sd*H- z)!!yCr4oJtQIe7ab-sJ<=!!5+U+YP}A0sOHxhYn!XRx2Qu1`BMfLnuSA`k4>>#Mp= z$^AB6lyc*84vi*nlG$$yBWev(kQ1TwUR)Ka3YDEdA`?u^8!5fb2zN^xP0^O^iN0&JQSr;3POifcfBjg`&lHSeNR=uzN@OE-<`m=Q zStg>O!bBli;|Dg@q!oh#$E*h(XY>l1vmAr_=GlIXNAufDm`@}U&L|CG&fShR5kK_0 zCx)={k{%?woYL(yM!bFJ@L;~O( zi2?sT_6n%b^T0R;I$D?-b!W}fkvKepaw=swNRVNIIJZk3wQ#THd%A|*76GxppBE!9 z3|^BmiDjop#N0s{^0mTJ{j#2 z;QA+xHTKLenTLTW8HACabQvX7R!hCxHUD5=DL+Q0xM@ruZTGLN)FeTu-cGlEo0&Or zM8iiLy9bIh9c4dnVf*Us3=^G+4Pl(!qmk}i8`p>#wa zlYD+fU@2!v3d79&NrwSt6`zMn63Hz7V@_r$LSF0US;0qIpF@R$c+>fM%Iw1Oe0W1G z`$pJK^`ac}WFjfWetHXs>X%D-6s}Z3)t{Jg-$*_OLE+8gOK*e3o1K=-)$7`mX}8s- zcKD!MPz>|4t^MfeAcI;#5&JJv5~hf7&+av0d*WqVXZs4==r zW>npT>M6;nnDy=Ii)%aY;tY9O2o{BGz3_)WB}KZKxMt4IV6Mca?1c<$9u#m4Aj*u+fq96LPk~K_ zBB<&pvs=2Gm%dA;+-ah4STI)%^?9MYyPtMLN>!QXHttuZPl-FtNoI=-8(qao^ne7# z3>#s?>8_Oj{<(V-j6}&X^|kX4*WLDA)CG4a`h_(*Ilq^GiR%*WXxk8hZf!MDo?H>c z#ruEJO|%xg7M5m94NM0jwlY0GoBFXv=1`j?Rw^(usGxv~fq6H9&bzTzfg28v!;wNCKDi2E=!RvzozuYaE#UMz`!#H(8ng_pOB`XeEfx673HWy$!5v4ePcxbl#e z3B)bUt>7(7yu{(nW^@YdFw~e};NkoPtN8-a$$H~Sb$En=3Me=vn8DoHVm9YJ=dnZP z_!#isC(KGg!zM%_e@seD_1>r5GNauhM5By{oTv~Tkpev?{z(~R&es2f<&`U)!JsBQ zHH6MYt^Rf~%iJK}__kpPPcm5kMPrQe=qFMQDGePc=DHV{O!#5@kT1-xhas^+gb8_lup{+f zICm4yTk`rCEkzFu!U%<6+&zWg`_8$TI&T09`m>A=mA)CA=cobafGHIB{%CwfJP4oD z6U*s_^mF4M$>?|tcntT5Jc+YQ)%{u*@O;Gg=x~2YqB~ZH$g_GQYbyVb!>^3&42Ocg zN^XD}0VwxHWTSLV-d^pnY>;#G4tzt@Z9ts-a#v~Y=}&CB81CBx+g-MhK*pXwftVuO$FeUC>oo^^r=llys z9G24*mC$F6;8!24Ij=MM6EGb$FrrtI=2tOVK9GY{fA+80H$j*+dBG^#vI#X@J}%6g zU9C=0M&DZ?QwLJv-3m)YLsVQA`X9ebNm&f<3Jz_p={cl)CWO^!zY#V!Pa@{y=g=tE zItXP(qI|(bE3G7y7vIZ&XC{GZfWks>+YQXMaM9{K08!?_h|8}vLxEGw4qp{qffF!6 z#%P?cQy6fnZS?L0)V*m@WyiaSI5}uvLxn96HpXotVe$ypGMnYQBV58+x~tow;A8b~ z5o$U*DNtV6M=G0MvUYOm<9!QyFtV8Z3!=0V(s3+pw49~(m0={zn~wNdc<@BcwWO)Z z^||~wmwVf$oz`c1`!cE;FIbQnFMjJBR?#kml8vr6A?d~k-&%H7dg!xdOVrL#Sr>Vf zo1iw#xIGkarrTuL%^f7&!-*`%_GrbBpeN*(w?5z%xAcRmSuT*z^+z6xFVRuq9mv#2 z>b?XU&*_+FxljG^|ZH^U{)qqkei989`tvrAQU`l{d-^pU}|5& zOe+Vw4euI&KlRjC;zmvAit*GsU#4xs)t@oCy>kFu^IPE`NdEHVqliCXGt(XR%HuBL z5f3cE{@YAsx=Hpz^Az%ncJ&w-UCd^4L~;n3(2{EgP5MAZ(0laLj1@lG;M^e~0&Fhj8+*0TN-v zGWd8nAuWpQ+9Krxwar7MR7FY3=&Y|l|M1$ar>hNVKoJJDEauO#Z<9g|!;W5>{pEVh zQnV;HpM0Q6> z8k`3o`=Nw9d+2gXR=iUARW$wR=B1nGrtKqD(%Ra;{?DDwTwQ^lI47Cle{WnB-6-)j zsLfDA%pSt^ig*p1vK)p>30?LqXKZv=gLC{|hg)Sw5Vjh#puEFq16lB)u4rfkrHK=7 zFdTPQYC5!(HZj_)L)zKBzT=&_asq;B1eI)^mQP)rti2?G>c&icjBMo5%hDGb{tp0i zc`|m?FQv|%IX!#h^2xJq$!6rR^moTU36fmmg+<$pt%}~O-JK^d{ZEB7js{Ms>;11{ zagT6+Jq{$%$TBNsKz_*`{oIJkb?V@m4}cB%?I1lf!ZLZ}+U+sG%_EYm@#DXU;J2@3 zHPzPyeiO`w#Xr1G(F7!>^E!8@k3EyAKfAcWv)(2M>M8d_W%1V|BxbXEzG{a*lb}WS zT1YZJ!~qU+Dwg$A9pA}J#HP%K{&AeY_-AqIImkNRey0&E2# zVBl3dr%`amX1?)j_8s+671AfZ&b1EVX-r!_f7zs)t+h|$ME|>}4NmXuiem-uf>(tw z8^$y(&Q(gBflyZCG;-P6#l*%-gR3vGt}snALGApSkm(0`W~$V;gniZYLyVP20nGTljJE1cuw!I zn!1pq%rVHi3(~xhL?zW`@#)Fw)=E8E2^i0TnL=RtR)@^vt=xWn)J_jltx zDa|&cQu&Cm#g?3z=C`<6G{{4fT(()TOV@iGf|LSxQZ!Qagqw3GuYN~K_~C|so|yiJ z>0PaJm(b6eetFO*DAcSj42`L)7(iEs^Er2raefsFH0DpkGRQw`l?6d<$iD;fb?0WZq38Q4DTjpf`@wRuYH|R(-U@1KZoVU z9|=ghZTjy-JYA&$Xu&D@8B(`YoIRcOmGznJKx1YcM7-@jS@_hLq-$9;A#mfUXxkIJE$dcwK1 z%N7NLNP^~77$1K)H8wi;on6|RfVR@q&jF>~YZLnLN9a-K6VM(|B%i1IvkqCl{udLw z5y6YUZ<1Bp?WSTtd~k<$^gqZKfy?E21-xv)9a&J$UO<+J}_CeX%z)Op|aNVNOppKUj;eLl5C z*IX&sA)e7McvXb^O06bmkk(Jj^T*S5GMB_QHikS?6v{fItD+D=`&N^63~fqCr;q--rmE+B_obR=drsTIH7lQ>Z9G$@Ef4a9154V-UBursZkCAc_cv$Ou>^$ zkSwZ`=+0l1(q34M3nJEk<9F3QtvYXWmIOF$GHrQ?65o6ubnR~2c{__N@^T zlV~;W-nv52b+D>Eu_169hoH?xbZouWJwT;eh~)r!0e(>C9yzpv!H7fbpohWxyKwY@ z6Nw`B`$!eMTqCy+w9~l`Q1UCDs4?*r>7VllkAMbJ$2fZlyJR<6ZOg^>d}O$2Cd~zULG4I}mqD;P z>30Xy^=sf&c}5fxQy=Ktfg5N~FcmVG-TK^fvg@^sNyRFG!z<+iqy>`|4_gEO81$65i(cOQF+G>G?P_eJf z-Ird2kCU^*U#|JtUZptEK2Gx#Vl$}uHzbM(l1u7dmY3D7wtd;3CpEsZJL#L;2l|?d ztB&_IQZ*ZYJ#501<~!QH7Pv|dq9&;ITiIq(qu+Qy@|AO&=Z*WW>+&f=y1Am2h{n`B z4DE|OUIaP+NG{J?tL}X0HZvyEQ5Wp$m*;QM%X=Do??osMUoKmPbuZdReSTFC7y{lx+v8`Yub2k&a&;0Xm^Dd*8tYPdRF=TyB*uKszWG)6 zOkIJ>Z#*9=Jwmm^k9_G1zrrEbHzE->zH(fPntE-}hb|ALyh?Y_@fXKtlB9Ns8cf$*Q-vjnG2g7QrP_EGkqmP@)M!+z9h!nA6BOW=3 z3gfQ;hfWrK7Kk}phb~VX62lgd21}bJ83v;ipXdBBhkSbZcQZdX0Cc6Nwm0hm>KNvQ ztwX))s3#^_AjX0iDKCfW65fX?N-_6$ycwCQ}3dpJCo(2>$u1s&ze zR=r`q+z9yMKOy47MOVD}#D-X(DrV>m<2Z!Y*q$0V`ed^1Z#I=zjTzJ{&T|9hs)a~pf7d>ldj%GZT zxBw7ZcfF+WYZ-Bu4iqOe8R8@?@`y&jOGd__n3d6TQ_qpTEpGV0GzVXijI*L2_lyk6 zF0ujI5KjFi)CGljU5vR@1rw$iTaC+W4*)B5uB;Eo!ubv|%80b`J<`A+HoRUOr z5DilD{b4+%;S}Wf1>_juQ$MJ-sw6Nwo2$SqQu_Rk1Uj>>0v02-CZ3kgZCuYB}0n`{&X{1kcgtTdh3HC9V}*+2zZdty)&oTS6pxPL@W_qVUR1eI3v>(c0|bYjtlLz_&pLnkZM(Ikk%c zYwfhnFE)@hP<-b2#Iu7Ve7BslQdenU&^$py#xoO_+1NWUk0jBN1r6dkl&U_L&_eFu zDyM_0&zJ5m%GYEPG_zCCWiGT|u-8EBdSk!(Q((8We(#fR!w*<=lHogMd8tiSeEvXs zZA4JX+F+J1X^bVeJ>w^8%Ez}!`HsoB%V0v_{V3p-d=k=!$+6nXFFliImnOEYxvpNY zd2;r-^+0aT((79a<IYHp9l?mZm{@Bx`% zk<4Vse-gRh?{fR>WIO>-Ma^HbuYwMJ3Gp zlFb?Kd2_vBOKj*%%a=7m@oNX}jjSHD_uEVNu$$$@8HE~b)L++>vqlnv8S9JM!QfP5 z_}@r$FL-cgmqVfkFF=f!%lHQ;7nivOyO|lcnHi@E2P+o`C$A}&sWG>ii7~s7!2jQk z#35cO5bOUU5%qXKa-b4g@E*RB=w81#rYvi45V2z(0`meGw&R`+;)78D4!A=@D$D&f z#M(0)2`&()J}*427A(@R&(7aI-LU`*RT;h5x8JYDwZOdvLqpX=U?+wCTye~zsq5|$ sd7U}M-7T@2@O@2#8DWq2BLET#rx_6@F@}!>ft8aNftp%UQ3~Pz0b91#WB>pF delta 13036 zcmaiaQ;;RVvTfV8r)}HVZQHhO?w+=7+qOMzPTRIUJ*_wQzIYMme7&!#idbJ+D_3T% ztPZC(_XJKLJ2$(aAe^h4i@C8qoY%&+{#-o)6q&Z{(4WInn`KnXC)s`0}`eMIcoLj)~rH-EFCAnSn|j3@T1%ElO^*-q1Ijh zj=F^C-K81DnYsSEMZT{Gx_}an{E?GFBSVdSLv z7eWr;G~cf5re6c4*gCn@MTPh~H!2|GNs!71tQaiR>aEv7kaLEH8mwOb{p*zymAQc3 z20jzGl#vmsQ_OyD#Ja%3f=;2v3#LhrNr=w2V1$W7JSjFNh6M>f$s=FP8fcJ-^HDKF zo@m1sS$ZMYRLPrcS2ahTeZe+S1}EQC3HWzh=+7!*Ilbnf6r0izA3QauFQ3J0SNv1U z@UYl5%gVJ4=TA{3wI&z~ZnTOX;I-}dT?}+MauuDqd^NwX-~IgXEN}g~NnaJ>`1bN& zc4A#MB9JG#0YfrXcS~~xahQ4b5)L1I6#|IT`XG?5lEiGq>(QAZhh{v={N0pCbqxp5 zTOI%8Bs=jLkRu(nNAbS07y6E0DZ`d_yu@I5Yq@Yj*EnX!rX$|Y#0j}7RMZd;y%l8y5q+-1}7*aC1B$UILTu2 zy_?z*^u7Le$P)VNZqU7v2;D98?WbPm_tlW%@-XRB3|_8f%Ad|S4eoYXHrLO25U7Gc z4a>>#P6bSaOB9MdAj46VW<*h23TeYkl3uXN9QM+SR^Akw zFRlrZr}{H&q^l|$@O>Ko3JmzVTkH9(wujv=?Rl%W|MGd4ETcjDrKf(%Kf4raWJ-A) z**dLu(z)qluui3dgAklkb%hIct(uDoer`$2XP^NO0!xds~eGrEPV zy*3o^9p+n?)@D}6jUEAhKb2nWfw0jW38vU8Ah{rz!f4StcxSl4R1$cRYI3%^)vq*c zYUX3(5kmd4F6)@Zs}wJs=S@B%9%r8=hk90ZXZvaJs<+G^EpjV8!>0|f#w?1-&M8NR z2QTa8HtI7<_NnI(ukAfvy#@Yh_4W?IEzOlbvZaD3?R-`gwlivgB!&C^_~*W&bGL_| zgtYu&e9q{et(SkTh<_5MLK+pB9DfhZXwTl=sNh(ulyN;YCs?JYVV2^@=Gms`}MjA z?G^^;%C`2zovc`W_5hOFv&L{vB)HUa1%#g@TDQyymeJebz_j;kTN3-f<%VW(*&*Kk z>fBq6XNpbV5B1QQEZK)srD@|7y3(rODc&}_uxHPy`U05~-l%8GnO+^@G7-?NFSxIj{$#s{&TEFg69%bQP8M0n8xl zNplg!jfOM0k<;(2PWI7~xJ_Z~^DOgQSk*{tcgWLL>S2Iqmzp6$Pngq@^14U7%TD%Z zqLr&W`j_DXF&^r}3Epx^l}WLa`n|$8wDU{}-a4<&iw9my#Zb0Ns2GQsAsx^dKKumK zj1M^-@E8c;;J{K-qgT)TVbDdDxrTmtLZl3aK?pK>{9xD{0(f)`6D?#Y0@N6f+pT)& z;eQ*LNzz(q@XMc#9*0}Mi&XVI7jwLvC<5K4R;Wn_GHw}~2(Debh9Qqy4g}JCZMe|PabFkB)$Zd86t{GXV+^s>(URM1#wVxH>H~uQtx)FyxcII zU-U;kjhzXx;y6E3tt@4=o{N$o zvkv9)z)8b3rCZGUrd$JOl-7z61-;JPyuU`*9$n`ZdKW(chm%kPao5kj+3sc6?l4;o z_HOh%6vi031gpAs4ZGJ>%y&m--H0A7*;v8~ZLk+$&FPi?Q87JnRpPd(aWA84_9~Ou zMK;N3j-tyN%GQxp&o2n-(SdM;0f#pI&aLj9z>SfHD!T^l#v}ETNu^-C8kr*bQ11#_ z&RpmY`0TiReqzqqHl#fwJIbtwz&{WN3$z*+n$RQA#MH=*DyO`}!uV3#5V`g>H=o0e zQLFOzfu;wIQ5*92%wr>_nBCb2KQZq+WCK>E=N2Y#vB}B{+^D4#e(S-KPkL#XiO`!qt&%7zpCY^;C)~};5ZUcXL$9WFyvyN?= zIHesDKKBpY$91h5d0+ax4vj9#WN~@UhMcx8gGq7n43?OLG8xYSSCEJa?u;Drx2D_Dvfa(G5 zRe(ijNTR28^`zv)oxeFdp~R~=6Q%qWHF2KOw?3G9)OBR|=xoZjM|}kNYzr*T4360; z*>`QygUNO}cjVb=Jz4SY5b%A^^sTg1-A0HUE38)y2KZ+hD@FwpD>2dVI#(HN4nY%D zf7Z?ALLB)C7^?wR>CS~*w&%^3z(Cofn>fDic~E0*Oi|xH{8~%Bd{9n0oK;A(6_&a= zXrvTrcDsRLLZtYc3kpY!cT{|kpIKNE?fH}ullGjYX;*qj$_puyV<7BSXuto5&J#F${ghO;voRlr! zQB-6ct$4G7Z`Jug48+rN@7Kr)&{mVo6^)t`>ATZVe1hnb9qhUaWY}Lc%+`BSbeqi| z(dZVtAP0neYcG28MC4S$=@ z$+@9htvEYP&D#-Y=Yg|dT6LIPaiS>9fo4TUvSr7P5~1NTS9}O&H}(^uWpb!(ficr{ zc36gttKY{*Ck!Z)bkah&prW~|N!3LK>4iYp0$lP>w~kkY@|^?GT1A?Lr3|Kw0`-tS zoL0TDU@GPD&M1p{fuRQnZnLwZ#M2{z)oP>QO+2=;)_Vo0lDobY&hy)l(B3tL_oD|_ z1)e21BxJRLLD~@^F(7Za9(y4lS$)_4-HN=7kH-@s z*pJap-LChCnjiOR3e_;PZ14`N`YgRk`+i_~GZ?3-^gHeZ&xf8}T9c!jW7y%ruWeT9#`LDeo!w+jGt##zNBJ z(VXlKvZ)-8fN zIJk-bSw{#klib}j;b2!n%ue{G{emdQj3)*wWIcJP=N`kXhQ-Xh?2B^VW9>5xXiova zGvGr*G(Kle{MI+jL-hDM=>B{@@{YKov#A6&Jm~hO``p$U{gsBmJQi0esOvFqwl51;oUFf!p`i3W+Q|pa3DL^e?H{& zl^Pv_nNhYsF}cd3Xyp=$kYFlFNll1j0jzH9FCq+>o2(Xlx6!e`<_Ftuw!1y&m}o9# zYfFNU95@^oM3_<=xX;&JLXe;(2o*D7;@9S!wit%*CF~M!ICC zPtD>dOPs7c!uz55qWHCWwBj7V<-ZD+4hbk1$L7PGLL!6dddDZDVxcFiqH+LPdHyRL z3`vek=#n_$Oejg}C@F`u8oed8wOWJ-T2&$p#DoiQMMjb=5-}(+0I(1vm^~C&qj5g5 zdt@CEQF1jztct)EjHnh`_Y@?Z7M+krIY_$J2+{4uLs8@nrn%`pzW2UrqCqOS$m|}aorLJ6<4#-9-DnnH))TvTTSLCv2Vz0av&pMLe~hQ}r|O#t$$vD2#KsA`AE_|91YydiTrmTP z9gqTJU9%>y?_-2cus#Tup9&)Y7%>2~7!FtAhdIl|c3{W(o*7kgBZ6;`lgn#iV(V^n8_A>Zm9NJVMD z-OESm^wF>)!kXbH{P~C`%e=h}Y5LeeT#)~4wmp;vJ?atITJ>e-T3e_go?U=3o#xu! zjaLtj*M~-rIe5{*v01cce!4(6d1(el3U1s?DAM?Sh%bllmTNT#AWURLF8_A~9;sG*=8ih)@RB=F9qvOFn{7 zA&LXOAv1HI)8F~(fk1NOeoN#wuHRfC=MnlX>WyHE=8BQf6jley_aR9g#t|F15ygbL z3_4`s8K#(;9gh)7pRc_RJq$*LqGrtYu8ZqMhoiKse6{4$Awz}?w zM}}S$WaUTL$o`P(XXTp=p6?F!$mJxI%2>647r%@2(HDg?5wf4F88npEY_H#PI63U{u(7)I z@h}2h6T&Xt+lksq=Ip5X&<#R4FpoVzyI)J@d74+Z1Ga{XS5H`?^Ck?fA2WUeU*E7H zl5HaY2_`R)TYNn(#jCE9Jwtt-Vr90UFR4(80} z*0Jc{_7V(jWr!4tr?+Kyubkdi+VS`C(AF zY7sco>flZ`EyC(g66$SZFzh6_al;?e!Bp1C;zxcw#Kgi!pfl+&fLN5f1J-`TrBux6>Lr* z_kYHLaL!Q*-I-wQe%HR7&poqJmL&IeKu*?8$D|oyIsy$r-;A3?;Atz(p3k9NmF}D2 z_p^HQ2lSVIlKmf#NZXJpHnDhbLSPvwKVsZr7$gq#~qy3!5tK;n?Joy z#nP}UNRH2j{5d79=*gRF9kZNhaVk%xqGDYx&b$bLr*{}{yqQ2q9 zwIi9(9@OWwIJVc$!wdyk1;;i)AAn_;nc)q=v#X0AIl6l1xnbrwOqb5F27SW-7Olc@ zo!M+!0txCsHqw5H8ILXeU}u}UuJ#FiC~Q_gT&>t*mQG+SnX}RgG7mr(30rqk`vO=} zlDW2(mq(7(cd#%gsCGvN6;b2Yg%G&D`?wI4Y(e1Fp=(V+YxRlCY}k*Q~5Krt2h z0Lr6Lmk90b#i+4&m#@nWB}w6*B-%1o&{Oh)7J7KJnx#^aRpaY3bD0%xelhiXQ~sLG zYl&IoGm!Jz?Bfl}sDn1Vvup=Otz(hw7};1Cm`|l;0i|YgCb1?~uhYv?vr~#l(JXL* zLc{y_hY%^L;Q#hK@_1B0*8imM|1^Lh%m~|$m_+qev|ys$#N-fw$${<4PJG_55vN2M zv{2@|R|+0CQE1(VN8h&m=CIc3Gm!OV-3gX~ir9yawPo25P%3*VgTUXc1nQG6SaD|Z zOk3L1Fu2w4eSJM#0^bwoW1lO>`2|jXDh}DA)WEo`RzF>^+36Up$s`c7-S-iSKZpvg zP2hdvR|l9r_LSV)_<1OOysy!0Ss*ED>Uilwj!7E(2O(li(;+1#EkR9}v_TS|mxNKq zDaiYt7L9B)_WfwD!o{?IebnS_G14phyP74k_oV2 zlKt@IpdQ_xp533CXYnIJAvkz5IsP|54un+yo!|P&Q#QlQDB`bQa16RKccN`6!p!6z z0C0KThd>8H-y}Sfb?RACprNkkco7(WTuG;=1 z*ZKYKOiFAz+wZ&MdC6|N6Z5f?Dnuw`xqU})WU9zU@rn1we?7|1p7G!~<9d7cYsX#F zX8eit?)TC}s8qcjU6;GKbQ?4F!^vQS3X35!-SfEG_v|r(ak=Z8?%KUi2I6Y4aOk;I zB7}HBXt7pM8n>wqFxW(r6^w!yQKg`gY{IgpQlw^LBuiD2#dcO0t_5O{WLCH)DcEHm zt|f@CdVmCgC>@b)i}FFvn>Z5Z1|owJK8<#SCc-AdhOz8YA=LBQU$;xrG>j6y(OwY((~dV_2_^2my` z^am{uxv)oi>50Klp*%%>TvhSS?sB49Sff zP#-)@Wos(iF8Sw-MY1BV5nFu>Ob+FHka)4qaMzA7T!o+eImH%X_^2p2I1u;{YIj)T zJ*oN}lnXc4p{UWP>zPr~g%TFsa%d5KnR@d*`e(uy$gam_=BueRN z0BiK{(J@i3Io%(0#499l3-HdKF-GAWMW~2D0DI&?TM9UqOg-0uyPi$Er$_U*KVRc1 z5c`cD7=jXxVsWe-V*!i`j?v#{-%dWB1&8qEuP~B)0007+1e$3?d&F%dP^tv2-0(*W zGdHDDBfl1EEs`dcqH8X%`)Ek(1iLp*p8sVUka+3+#w z!r()^{xO~YakUBBuN|kiKN(iu1*G)CxTNv0iN184lN|SO>OK5wn8lH?`FpglNbvFL zRHGH7#|QN?g=!EZbV0{iXGWnibx5k?>3?e;(|kw8s*mZ0f-x5E;ogoWT)cY#KoVrt zYSUAN%%YW$uF(oWc}RroK{>UdTvR@*)2^9fz4}hFCcR;c*>V>}-356oKe+@2vPK2? zQ0jf%_rZoHVYP{xGN=sTBZgv!gc2<|f@Xx>1dAm*Lw1^M3l@1OSxd$bP(!YPYA}Ll z!muy@2jwynF+>Pe7y@lj39+d&I#P%zXr=<`xy?Dc4P+=maae+=141qzyDJXQw5L{i^6dH8K3}dTpC|7( zJE@o0>3Atww}f-CLnpO<*E!D<#nJ)&S?dZ0k-8waiMw@QTo9vS^TIg*c;K%cZ$sEB zky;%)Pe>19#kLIl8rBxvJD5!?WP0l5U_hjv{CmEmxXf7BUJJo6Yx0?T(!> zWTV2c$Po3ogIKS1Fut(WwO>>JOrYh~iK9Ru=)n_;z`}OU{yS{=vCFLGd{}(HFCVIn zh;Q8+e})EPb_lliS&xbrXev&U%Q)wozAJIE`DAPitul!sun(Iy`?{Nx12>Ne*I!MM zx|Dj5quBX%Yp1s9t)josc@B?-==*{*(Xmdc9Wh9^flZB$fhtH(c!007OEg!y446WK zf>c?aSJQy?dC8-%vqWzDMRU;^COowvJle@5HvB4oLLndo+t_^te5WjC*QTMDSsmJv zBOACin>sau?S^yQitU^B@P%`6Py(}iVdC73L!GD_4a55`?LS_CvP zm>o7s)4vR{-Md}I2hU5cA=Uz#iO7(6TxN%CY7txcZQ7+hb|vtM*5MZyn6<4bmn?DJ zI-&OPKAk0Cx&!_K1K81Lx|Y3*j)GWPQsI|QB}&W^#C>jEXMVWszp1Re?Q9;xVXe8u|>Al?msGiJ_IQXsQ@kCQE*Nk8&jS`8J*io(7kp3d-s>aZW3tpV`q|SyX1=R%x&paYdxq z70ao;aO=S2O|Y0@)Jon(;G5+1T}&nAkxwL`awnn-G_zXE`N4dj3AE9o7RIOEXyj}! zqbSc5C#&P9XIjEOa(Y4myD-ipGNbtC>BW>@M-(uKw`OCnjr0rgoxDt0YM@7fz}@StmS(k2Pes-Wz?b-V{Rv# zTH7ZG{DqZ>mDU_uY&$mH!;i{CJoe)|%xZ6IwP0TvkEw?X<|Y1S^YvFTKdz#&r2y^| zYDpG^m!&xaQjfZ2M!ogz7IkW zXt8&0b={hcXzAga_24gJZU;+Wx0e9j%GJLI{2gfMY(%Kz``1X{oG{28*PYSoZ@N;C z#HOva3>`WAp}9Kl%wS|d=TFeU(T%h~kmxY?=ckY0e05{lz2EJWk|8XUE|B>!Ju0N1 z!5QL;J&A01e`_u!Y;{&gCFVN<5cPgleH7A!M^7v6WoP&Xr&{ia!!?xV>R$AElunwl_F7g?5@sWQAfTC3CGmT{z1+I`TH^;Dn5JLCy|@Gk zi02PI{Cs9gJ&H0j@^`P#4Yjl9!0~i_!g1WMv@7o-q1BTcYIJw*_E=@#7BkZ}M$D&##E4nz%gVU8P`?rs*pA={yAB zz$H8EqACtzxFQj3RKRH?IZV#oiw98_uXJmG{9b#8}?6s|BidXrF zBa;1beffoaS}C=EQ_4X9XfD9{ULUg`P_3n<=O;Maag1LSrR30>J2`^@{I znIRD6tQtvcU{4vC7f3Mc?v_^vo`|6Uw4BPq`0;q7aHVZTqE;9ANqdfKp2 zT<+CyFBJCdMDVB!d0Q^!=?QZ4RlRVcDT}-Vb5E&~TbR_-TAZT>wfi?Wzo-wmdlF@{ zxvrpUntGA^a=GoZ5#tTX{lzYkitJ*Nk%#Be*OiRIuEqzK+@W_RYrn=X4Mu_72; zyw5>beuDU{2ny1FV-xLQ|vEpDu)J?8^(zoIHH6R`tlo z`&B+u3JxMYf`70_7Nq~BI@D*Fd_Md;Y_LB$7&LCU@akI?A_HVNdwRP_h42GMHe|Im zPADoP!-^Q1QyVVuiXz%xc5A7O?)7lsr4+~C8JU3Xx06rd=lMsDJ%UWgEY&Iytmu5H z7ASd(gfXI{pArSi1%CMKx*4Ro6kLn;G-aB>v1^Rrn{y^7>HGUsEU_|ijiGPgGR3?EUhskjKl)q zcu#T;eRT~_gZU`_P;MmM_Tyi(AO@@2sBHkcCaqg-eV^Ii9d}f9t|O zg-62Tq2puOOX(TJofLVePueQFG5F!b7<~Td;RF%$ez+`XW`4={d+K?8)7N1{8KTy1 zZkpI7a|31q@q|6VuZBPQUfwjHPh=Jj^WAp7tHu#xEeg0OEk;;aT6Jsr>^8HYTN$E`4)9<`Q1NHwD0Y90SUH2 zo#u8t^c5%bX(EZqrtB6+feo!@s%l1K>>6T&PeA8pMX#-h<4HGtTul{^ldDN<1m~Jq zy4VOKEJq!7x{cnwGoOYsUEspniI&ZDn2&~=Gix}PDh+da&A1sO9oT%*t_xVmBev*m zv(@;_*to(7>b%a(@=%9OdKww^UBq7)0sQCUg(h_6Zq~M+5hr^GfhJ?_=2Mf3Y_*7l zp1?%?pV_|=1&x!D zXOa2ORCT9zMXcjsu>&>EDjk!BJ9jej-+upQ2~NYxkXv3JunRjOT#f^UM#8hz79;$7 zcv@8IV;bc2>eCGK_R9n{d5cRT%w6Tmjv83M;!JA|fkbYvB5OVo`d}XyD$ZrZ6CG4i z)Q}_5Wy}fYddreI|2j|N)qvrqOvOMI-7ONZ{n8CRONLcTs7fkfcn$L0gHTPh@A(q6 zD%(+h&dT--@_h{CAMbI?fQHU=@eQ!9ge>U)I1s^#$O{B-&4p=IhqV%5vTiOscn4Oj zar*qbC*xvzSnKfsa`_>=1qpUnUvc=XksGVPFqJwD=vEsExz~N>YkL%O7p<}QI~3nD zs*2maKg1XI9sXQYOR5}B?{R)cjGM64+U%92U~^l717IfGY)q);k5=MEQ_WMf_$GEw zOlP|6DjqV&^8ZpVggzL#8suPs56B;2NgO__BpvHobcF5}hZl9y|4Uwl|DZdjtvXhd zsgGK)F6wx@+uiDH@sShO#UJ9AEjtCJvgdj&Cf80SWV=UR-vfuMtvr!JS&g*3 zUu^67ngvTS;j!=3=2~1bUOU2Y7Pk=NMYB`y^I zFJ2P-2B9*h|bER z+?+PO>nV(rS~>={)C!8`Dr}37E`yVAkNHX3rSp2@YHBG<86f(M8ag3)a%*<1V^NFs z88HUoom5(F>+pD-_5Q9imeq)`CU6{FcV$p7_2Axd1_g~rDVoeHWofSY!S#Z~(XGdo zopKs0D_Ud)&rC-*v%p@7VMbIhP6DHCXJ{Qrp`FsdNd8LHC_9+Ze8IdM6&99SBe9R8 zlNgxE*6c^-fv=6In`CsAbR0*gY>3wlco8SkPiA%r69g1lo+Wr;kpOd(ezDf9r3k4sLHXk(|?x^$UgB{J?slme6OY)@;UajNAPpgQy&$v|wpF1geit#8q6W}OuB zAr#+zfg_3_aO4@8yWu!`B3kjDJ+ZVD5m!OgJj7(sKFZ~TOcU}iEv@aiD=qTWgOjg) zvoxxUXr0%Z1U;zM zU!bA#nr^~pJ?SZLmINWK4DylFwk?~~=}*lbGRT$l&vuxg3>r?y7?%aDP;qtYu9|sT zNKwKb)0{Bja^sKrso@&R<_SAa%*>fIR|SPOB-z5wd6PyAj1xY@Z$k)6UCaM;Ha}PZ z$XgZkd2@Fc@T;gGM4=G($?~k~KrWX5w0v7r?HxBcQ3CsKHScuoF_3npD`CL?m|MrJ z*jtqUga5$DR)$zhB3{sLGVCX#;A_f8_!S77FisXf)*bFini@g;lNw!$w2I~+0yTld z1kPZDM;rro0tGP<#wd*hR-ZEQh`_y*wb zx(;^itmF38L>&*U!5Avc-luvud38yvusLKYFUlP@H}4MEWbUL#VoG_l#bOX|Ct|?i z4f8$I_C^Ce1P>#DTv%A(bWK~6%cE*=ot%dpA^Cyp1L>z{u86w=p{MW7@ zdOZ-~bjxFf%&U1144~(xX=NpTsU97if(j|4!4@h47V3UzQZ|Y&i*lVzZWWl=PSu7s zn;(Qkpic^-%nbL5wrnuUFK3(Q3p+OWOiwO&wese1%(Rz{T$WNI7%ML+Bphl z6NNCJg-Qn}-9de*+qJv$-}!Y?j6=n#jZGsbnIt^abN|;7ftOb78a`W^PGz*1Goh#owP@^pKqD=-9Bre zZ1DoVFs|R5_*&-fNl^FE_8qS`Y2k|bQyyH}ng6iS%o2QVu4+3BF9`zt%1>@%!X%<- zy+0A$F$ln&+ljYymHB`|S7oZM2@!K%?p6fe^nx=zIz=6aPW*&52 zdxpjcp&@W@BRDzVAP&M_vFi&)6EvihTL|^|8(aAkPq|FD2qQ;`auPX`Xzw!cQtWYRYXp?bd!#lv zwpS?|$+CH0bIsEEU4}C1dm#3zG7;Pi{35`MflEZkA&ODg{r>XxXlG!Tl#?{LRkG=>!t?yg6;V*}@qNgU z(pqElqLWJx)3YqTUxQB7+PCit>1|=nDAi`@=G8bEzoozw-IWU78Dx}Sl!O$ zQEuXPIV$AD+0U7L&w`$O#fb}G=49hxV>V_nVKz7C;$Y)qH)A)p;AFO7F*asqXJg|K zM8G+}(TK+jY1 z-76qcpnv>cVuTg}g!qUF_*r-06zH~#G7J@-GU{yKUc&}&la5_!4RC+qB@MUUbbNF3 wVdS0b=+IRAk!OR~HN#$CjE3J3{SFe^;T}Oe8HJk&j+2KIj)Fp5Q3CG&02vM`#sB~S diff --git a/examples/paper-timekiller/experiments/exp-decompose.tex b/examples/paper-timekiller/experiments/exp-decompose.tex index 9454754..994ed79 100644 --- a/examples/paper-timekiller/experiments/exp-decompose.tex +++ b/examples/paper-timekiller/experiments/exp-decompose.tex @@ -27,7 +27,7 @@ xlabel={\#txns}, x tick style={draw=none}, ylabel={Time (s)}, - ymax=90, + ymax=20, ymin=0, ybar stacked, bar width=15, @@ -39,8 +39,8 @@ \addplot[color=blue, pattern color=blue, pattern=crosshatch] table [x expr=\coordindex, y=load, col sep=comma] {./data/decompose-txns.csv}; \addplot[color=red, pattern color=red, pattern=crosshatch dots] table [x expr=\coordindex, y=sort, col sep=comma] {./data/decompose-txns.csv}; \addplot[color=black, pattern color=black,pattern=north west lines] table [x expr=\coordindex, y=check, col sep=comma] {./data/decompose-txns.csv}; - \addplot[color=brown, pattern color=brown, fill=brown] table [x expr=\coordindex, y=gc, col sep=comma] {./data/decompose-txns.csv}; - \legend{Loading,Sorting,Checking,GC} + %\addplot[color=brown, pattern color=brown, fill=brown] table [x expr=\coordindex, y=gc, col sep=comma] {./data/decompose-txns.csv}; + \legend{Loading,Sorting,Checking} \end{axis} \end{tikzpicture} \begin{tikzpicture} @@ -50,7 +50,7 @@ xlabel={\#sessions}, x tick style={draw=none}, ylabel={Time (s)}, - ymax=3, + ymax=2.5, ymin=0, ybar stacked, bar width=15, @@ -62,7 +62,7 @@ \addplot[color=blue, pattern color=blue, pattern=crosshatch] table [x expr=\coordindex, y=load, col sep=comma] {./data/decompose-sessions.csv}; \addplot[color=red, pattern color=red, pattern=crosshatch dots] table [x expr=\coordindex, y=sort, col sep=comma] {./data/decompose-sessions.csv}; \addplot[color=black, pattern color=black,pattern=north west lines] table [x expr=\coordindex, y=check, col sep=comma] {./data/decompose-sessions.csv}; - \addplot[color=brown, pattern color=brown, fill=brown] table [x expr=\coordindex, y=gc, col sep=comma] {./data/decompose-sessions.csv}; + %\addplot[color=brown, pattern color=brown, fill=brown] table [x expr=\coordindex, y=gc, col sep=comma] {./data/decompose-sessions.csv}; %\legend{Loading,Sorting,Checking,GC} \end{axis} \end{tikzpicture} @@ -73,7 +73,7 @@ xlabel={\#keys}, x tick style={draw=none}, ylabel={Time (s)}, - ymax=3, + ymax=2.5, ymin=0, ybar stacked, bar width=15, @@ -85,7 +85,7 @@ \addplot[color=blue, pattern color=blue, pattern=crosshatch] table [x expr=\coordindex, y=load, col sep=comma] {./data/decompose-vars.csv}; \addplot[color=red, pattern color=red, pattern=crosshatch dots] table [x expr=\coordindex, y=sort, col sep=comma] {./data/decompose-vars.csv}; \addplot[color=black, pattern color=black,pattern=north west lines] table [x expr=\coordindex, y=check, col sep=comma] {./data/decompose-vars.csv}; - \addplot[color=brown, pattern color=brown, fill=brown] table [x expr=\coordindex, y=gc, col sep=comma] {./data/decompose-vars.csv}; + %\addplot[color=brown, pattern color=brown, fill=brown] table [x expr=\coordindex, y=gc, col sep=comma] {./data/decompose-vars.csv}; %\legend{Loading,Sorting,Checking,GC} \end{axis} \end{tikzpicture} @@ -99,7 +99,7 @@ xlabel={\#ops/txn}, x tick style={draw=none}, %ylabel={Time (s)}, - ymax=12.5, + ymax=10, ymin=0, ybar stacked, bar width=15, @@ -111,7 +111,7 @@ \addplot[color=blue, pattern color=blue, pattern=crosshatch] table [x expr=\coordindex, y=load, col sep=comma] {./data/decompose-nops.csv}; \addplot[color=red, pattern color=red, pattern=crosshatch dots] table [x expr=\coordindex, y=sort, col sep=comma] {./data/decompose-nops.csv}; \addplot[color=black, pattern color=black,pattern=north west lines] table [x expr=\coordindex, y=check, col sep=comma] {./data/decompose-nops.csv}; - \addplot[color=brown, pattern color=brown, fill=brown] table [x expr=\coordindex, y=gc, col sep=comma] {./data/decompose-nops.csv}; + %\addplot[color=brown, pattern color=brown, fill=brown] table [x expr=\coordindex, y=gc, col sep=comma] {./data/decompose-nops.csv}; %\legend{Loading,Sorting,Checking,GC} \end{axis} \end{tikzpicture} @@ -122,7 +122,7 @@ xlabel={read proportion \%}, x tick style={draw=none}, %ylabel={Time (s)}, - ymax=3, + ymax=2.5, ymin=0, ybar stacked, bar width=15, @@ -134,7 +134,7 @@ \addplot[color=blue, pattern color=blue, pattern=crosshatch] table [x expr=\coordindex, y=load, col sep=comma] {./data/decompose-readpct.csv}; \addplot[color=red, pattern color=red, pattern=crosshatch dots] table [x expr=\coordindex, y=sort, col sep=comma] {./data/decompose-readpct.csv}; \addplot[color=black, pattern color=black,pattern=north west lines] table [x expr=\coordindex, y=check, col sep=comma] {./data/decompose-readpct.csv}; - \addplot[color=brown, pattern color=brown, fill=brown] table [x expr=\coordindex, y=gc, col sep=comma] {./data/decompose-readpct.csv}; + %\addplot[color=brown, pattern color=brown, fill=brown] table [x expr=\coordindex, y=gc, col sep=comma] {./data/decompose-readpct.csv}; %\legend{Loading,Sorting,Checking,GC} \end{axis} \end{tikzpicture} @@ -145,7 +145,7 @@ xlabel={ key distribution }, x tick style={draw=none}, %ylabel={Time (s)}, - ymax=3, + ymax=2.5, ymin=0, ybar stacked, bar width=15, @@ -157,7 +157,7 @@ \addplot[color=blue, pattern color=blue, pattern=crosshatch] table [x expr=\coordindex, y=load, col sep=comma] {./data/decompose-distrib.csv}; \addplot[color=red, pattern color=red, pattern=crosshatch dots] table [x expr=\coordindex, y=sort, col sep=comma] {./data/decompose-distrib.csv}; \addplot[color=black, pattern color=black,pattern=north west lines] table [x expr=\coordindex, y=check, col sep=comma] {./data/decompose-distrib.csv}; - \addplot[color=brown, pattern color=brown, fill=brown] table [x expr=\coordindex, y=gc, col sep=comma] {./data/decompose-distrib.csv}; + %\addplot[color=brown, pattern color=brown, fill=brown] table [x expr=\coordindex, y=gc, col sep=comma] {./data/decompose-distrib.csv}; %\legend{Loading,Sorting,Checking,GC} \end{axis} \end{tikzpicture} diff --git a/examples/paper-timekiller/experiments/exp-runtime.pdf b/examples/paper-timekiller/experiments/exp-runtime.pdf index cd9ecf30239c1bfb616277681a71c8fe41afacd1..39b80a42b0c01ab88a8a0de641017c76cd11655c 100644 GIT binary patch delta 17601 zcmZs>V{oQHw*?y8wkNi2+qP{dlP8*)SZ{3Gwmq?viS3zKljP2K?x|bn+&ceO?LS@B zd#}~2SN9tTydfPtfd}B_5*9}A@N~B_b3*XlxH3|RXBugK)j7eNz41aAQU z?My`$Jsf>XyI{1*#wZ~A5%jzqHgbNQ@#}=`b~%z!fn(YXq*Z*Rwx7f?_+sqW2pDHq-Q32w*#&3zX%aTnt_#+=P{j#Z~R@h_Nz@= z3iX|nrvRtl&3ck=-&(%NFU5yX`+3byaqZ|I;;+9|$~Y!`$f^7_%hDEoy`yh3hXeU@ zVoYM@bBcr_`+$I+@?`N#qQ8v3=DLlj+@2&sID+~aU+~KUZ3v(ytQIgD<5D})$=cgV z*5_GfMk?I#x!J`ul^eYlO!o=oTE&QB44Ec)Bf{J?mD~|3O^;rcs>Aqo`-I#~URn8X ztDNfO48}8<{HPNPHLRX~!u-ch>x;2dA(ExZEoNUr9hn6+CF^ZXZWye)9 zilI)~#({H1pY{r`nsK$O=C0%VNZfjf0}Kr8zE(ysb=5z2Q! z!FJyNkOC%j*mtYI$F)is@P0klU0(yKf=Jp67lzj)84xct_@rWmnkH*a55u-c9kzCI zPBzcPnYFbn@mB+1k|7h}%4jF1W!4HkbGxv2jBHzQtG_bVz>}=Nl88XHRhrF(;3)4? zgYI1b@9+tzPx6S=g~Y|FAqW$g-)Gr?f~nuY1ZsFZX%#Rb*sx#n)I{#1_(YTrpzi_boE6Sf0Ru>9Os9;(_NwOW7x&|^a$lP1C~AQZc$#F zB*%&G7EOB_j)jj;`fqRS8z%2>XZLC52bG^YA8Wvy0bh-p6>#kyTUpqyk-K?Urn9N!8mU#1@5S2!XS6?FRX$Nr#ih1`}Q+i~iM)&7Q#k8uwN z)Kqms8!+6N_?s(VZf#hd=5^ZNUh9wlZ^x@j1#kZINL^^xuf)CRS}I(d;@G#goHg!e zS{d|NllX>ZORF+t%?j#lsh~JC+v%dyp*g>X(U*=Q4xXnnWnfK3!<@brL2h_1|}5B`XARD@Td?E7I7%+{`U5IVZ+g zbP6n=t4~S04=ePX94MTGVkvC_2P^w!SQ{GU?Dq$4ZF@LU&@xRHZi&ZC%e-udcopw? z1T)ntVa+YO*S-~ep7xcmt>BAbe8F$-FAQTj%7rlXxkz$hH9GZd>s%clTB$oMCGce; zd8>7KtMtreVhqInKZeauS>)FF`|fwnzAc;Z)crnvZpT;c8$m;>e##sJmeRxuZ>6(& z7Tdx=vejF$aqf6@vn`YId`ateHl8L$Og~Mm9)BpE(c4|ZA9zn(P zBP+HG{)f)lCYc(M={suwOrAMc9oR9u|7}|p+fi?pRn={Rd zN0K7f>aQNFo_uWZ+pr~oow_wSo-kw7GM5(w=fgg$2Fss>rdsWm0qf3c>HL<`LbacF zF)tLh88Dn_Q*_T?Bo#2rMn^~HbcC(nmC2a~Osimv*a+#GxDUxIFgrVc+RX_v>9Ynk z5)o7umhq*xctLERTbY*{+v7CV>T?ZS$IkgfPE&@AX0WEhvtXtG!uBVu2J^m>`xOO9 z70T&IBN#=XIqmNVyS6wOR1|Q3#1U>8Z~h zmW;1eQ^ab$g(ks|oe*j0uZw#=6pM2+^Iz+dxlHnET6llov*NrXsdycqQO5DN6h1V! z@Z>;(jP8&2yyv@V^GIeYrs|rjis47+#rr{ES6acVImg0){_=j-`>}oVXjiteuVV8b z6ahkR)!6i(%tEJAvaxx>9t5h&#H{54nLTeAkV=U38FP76i>(|FZu8sq zmsPg;i@n!R>5pocDnCElxQbr*U`230Cuh3RZ@>a9oUkr9Z#!53?VUiu`+=afn+dlv=AL350+D8Ay8Bq%mkbE#St_d-8Wd8QHF+v;L*uJbdSLAhyj*h<1hIm#D`VXj%-3$ zyme9f?(9zcjHbpLf(pu|O4%BBoXVwMs|`QmEg%>TI9^f_!>ZvtCNhz<^)RhdwD7AN z>8I!~*mcXOFRL5b>&#N57@Uxs>dY-NRUGVm%u-GY4#2~-j1^s<6Hy1S!#{rYD|-OY z*FuK=&3s6$2|NZvB3XRhMuwd|KAWN5uZ_q_wtrk-yu$>IQ0Jvtq<6NZrWU;ttM-ai zgp0icu%OPEcBViZMWV7UFXp*RB+%mi(PEb%f?`uy7q*Cid@*jsz3F{#0J*!*SU8ki z>7Mi|5Zvg&$qWi1zd+UxHhou3gBef~=)d(I5846#dX=}lS`iO5b;AnWX1Jy`3D92Vm5(uYugON+I@ix%gj@RC%&BZ)>mn$9w7{vv4e z{Z?g=w1zP76$|^O1#iix+hbx?Jj-4|<(1r@0zuO5Y>{eseHTxaAS7@AQH+hV!FZRr z*QOt0B zpW!#5Q3`ywilpM=-Y3#O0!M-N9up1c+71V&Vye#JzvBk~9YdJ{i3%)^M=c#typ5@f zW>tm7kV2&<+nvNl+({>fgZxFivk8USQ7!RYNu;y@ykK=|C#uV{mv&-9L}>;XV#xS9 zmQbjClH*uO(jH`--Pq!vhjXw;%CvFfPNzVavbOc7*4Nz&|ylr7gR6-&~o-O|cHw(VTO-nXf9@Zd6314XeM zce)$u>_vGrH?fA@WnFa|&#!5V`F8f4Qdy3~ zSg~K%N65crX5r{LaaLnGm1z<=FwL4Cu=}X}s%*(^(Bp;kweuW^9U1y5S;FnbJ&Lf~ z973&Z?~~_=^D|ERbWQ#B8VY10jv}hkSS)rUIOFL1NKdJX?uF{?O&~~8DZBnEf_S3_Q8u5 zl&k}IH}4TeAXS=W5s=;dK?9})ri3K+nE?YZc{k;xkN~0X2^#--&OD6xPZlU1G=d#i zmp=*gSKugx0no0dTucFOU(T5O#RhsLVZi@1K@r(jn&ZI<{kx=~>?ETi8SdH)U{(My zHhQ=s3jHC2DNI#UaLp_5gu0<|9E@UP@TqeS>@PhTv}W)N(6{{sBt3*jN`iQhOB>IZ|_Q`umpYnkim?3p87>7o<7Z1rfkrER1IE8n+ea2nnf(eIP3QtZJ#v6kiC2DFgAtE%58yGH&~uqy9{ z?MG_tX+2(FZD^P+YiSM`Kr+|$?-#{OlLVqO9Rd@LKBsee)IwmZ4N2@#f)iZ0rBRU% zp-Gk9Jj2XBelmoFslRop&sr-Jx<>xB4$Is@>V!EN%t&(PE`OiSXDHw-IoN&H4(t3^ zClT`+*1MU;dFa#gT~FuU352(Pq4?2^iDr zPrrhC!V7TZ*2;=q_z1EGetSXTVH&ylAD2>o+`&UB`(isGlwn3dk;dn! zK%ZKrgvGn$o9}*=pM;Nf<OU>+Qpmt&4%FO69JQby;I92jTe z>7GbZ8r2Dj+j8YT+F(sV%2Sy_wjGMe;bwbmBiyH=bZ%aSj@&mdM;~AW6XnL5lK14A z{Iz>I9NE;j{YSv8Abvgh4M^6nAV5OhjZV-ik4V8gpJ4Xz-XC5!!F^6oP#oE(9o{#e zi(Z9p#Z=P%4$hv^reU+qyw`)yZcb!Q0P$E*OPp#R65;66`7B0Z$$!<2?zT;v1c(1> z&Tfijln@OkQg$9I5QGPYPhA6jY4=Y#?fPoWco|FSNSyzPQmQ=(Kq57))(m~Qs~#0O zcKQ)m(Lm@q8Fq|&wD)L3u6SCBP+dCD%4~U{ifK03y=1Iy={W@6zpF7lj9gaJGp1mRaW6jG*IZWGJX+hjtwt)GPVtPeFuWVO{ zS%W4{{hx47YFRj@VPP;9brb)LN{h5l)7{O-PJ)2KS&mr&oTV9M2|@1_s}W4_C& zMGzF%g67%3Ap~<`Fd*5XAWEORnG-M2A*G3}!|arUEBw;d8nil`JU4ES8RzgnYm-I9;en}fhD|uXiO>koeL4lfP8r=|Ps%zm6)}Puh zrCb6Vewa_^i7*jjlkq))>ReEj^IzD578c(sn1Rj?yz7-x3>#sR;@J(&YS4>sy33l0 zk82KcV;96%X@&>Me;xPAa9?LrE2g-_&P+mQcVl(0p*kRo@(k~>*WeeYp8N;=J@~~- zofptw+tcFa#(tDhYF^8ViyxtsQE6Vgs{aRk(R60H$z81)4j-sZl0_R+HXk&7!obA% z4g7!Tzkz>GS~}~R3^jE!Klh`buK8e&*cmSJW5Wv2a_3YA;lrrEJwg<*Z?!mm%sOk0 zx=CICY8}vS(3zGR8tTe#MBU*-uBKi?I>i7>G0yD1fLxG$qme?Yh%&0K{|XNY6tx?_arzcj`zDaUoATSQC>d$m>Lp!3?mP z$<7A_@g4&D0KjpSgGl3p1Qk%K(nRR%KM?H3A=(T$H7Ss1}(m&auVT-j6-*sFdIDvQtn8uRrp#Z8FuPusjbq7pr&Yt z;7}SaKeTrEo*)6EFh5#QgUMW`Ms0mQa;?6iEd7l36W<BNQ>eVw#lUpU#Rn+@=iWlGMdU6j^hN6q- z*8r@Vvxy7E5N#@gzctwp0+AXQ0~xe<3fyh9#mMrDeCij=z7G8MNG}q2T!k&r2Lt*7 zc84nxH|dF0{R=DDIT#m_C5t_-D4E1X{@4ryl;F}8fBe74+?3c3SE(J>{2MMpY&iPA zK`v#>5*u^PbFvTq$9*n+*+crp7WdGziGV|6Esx=~Kv(hi6VYl+yoO;Bc=qM()!CM+ z;u+DblCa2w$1AOU-!%tvguI67ShR0N&d;-CShk+3r7(~U{C&8RW>rT$YzPLis4#Sb zjq>c#D6vh@C1Al9G3xoqD%Urr%{{0k`RLtqsEVQi-R$D95cLFL=m8|fAB+|*bHM(r z4PytdnGTI?t#&Y7yI9#4mRi_PihmwadSVwsX#@6Qz>VEjnjeh@(h&B*GWfwX8>yZo z1_ZuB>Be3tfJI}G(sek^i(hs5#btCt_lU)hLwS@wY@&`rd346+Gs0mS@!Em-)}ZEo z$F;Y!Wq!)`5D-*6tutx-Q(csn9}0Lx!RiO7mB_if1&WU1p{AS+o57CoqOPGxiYRcL6iZL zBEOqsrMmK+RZxp0c2Un2d!I>+T@WjCJWDEP6T0BzYOl5EE(CfRg50z2&k~N!wIRCS z14y{rb%?=TZ`!M_2!>#;8-~Q&hG1w-ULJzrhRk=5wMe+mk?>L zqUc}Ck9g?rL8czQBozXgkM(RTKVdU0@vNw7_-s24=B1~*Qa>nnAN>%y&<(01RRyDF zl!oaoJvDvH0;iJ`_g==yDWSj~PE}*&dM0;Ka;R!+@6!Ta2ac9=f-sbN#_F!`5zn>! zn0K*TgpS0D%zDa}&XoZg`O%MC8kDl%63jPyc8cXZWEI$ojg|nFVPt%z_n(3PzRZ@$ zg#9IX9S@3>3E1R%~y7bal_~ z$ev8Uox}pEbVuK$HcYL}DCm;Wq5|u>a z?zd(=MNv~cBVeHs8&=B*L(G%Hr&mlsAOx>-Yv9LB%RX|XUkl93@@xGfRiG!XRWFre zX96|7IH%4YP$ES+4NGABB3t#HO~Plgq*Mpx3p8w#UNM)uafG?NjxQfPMXUk;%7`{* z2`)6iIik7-mj0W%n^V16BmDT?SjT?PMEU^h(x%nk zRC|u?__aW5CO*(+Yq?KTyd2BQdFGJc$R%L6Ts%$?pq69Q`2jlZLrx;hBRUnsyh0+j0;E4F#-B#n9gEK7K%a zook5s&AQMy=MkRw*Zm)!n5}*Cq-KbABijR`6h>jt?abMsu~Pm}i2NG<(F{KiJ0-qz z7mZm3G@}V^Btiu9QLj=rDb*?+=NM*933PC0__#Z<|32KX+@5He=yvJkmJ(2eSx@U~ zm?$IPvz9ql#tjq|eq?9P;}So3nMDSsE-;$)e*eh4f?veD8vd8=?3i$=|JMASt9NNs z{mqDbQ}-#Ip|zh|7iXCC+rc zxRy0YjM#e|TFluHnQ@<6&RS2594OD7hgD;3-D#RFX8d=gx7pm2|UL^nYc1(4oXU09ob%zH{HLsk(O5p?>XYM^zgZ`raO zRy#%wB);R;oC^T~s_$v`kuNW2C%!Y=BB*7xTKq`IG(aUOkJWLS2M&U^I`r?mCYn*= z-##yQ!m3@XT4PDW7E`1{nQx}Kj;+jH3_VIdJEc^Mr_W=TVbN%XOe;tZgVhLA?$O5 z>ce7eaDdx929+6R{ujp?4`_FK<}j!ZBvn1A)Mu2#+Zs`bW^g|2lMcwQ!TA&O5=4Wk zA^G?PPrhbyF!^|HHF2B+nl=TjRPKHHi z56Z8#d4-oxuvcP>CJ0u}mjC_Z;2&}^w?|-SO+=>x*g5}q>r@Bq!&%XKP8g2c73ipO zHlpEbx|qeC6uc0HMlG8|GQ;suKfWp@3*EDtS>J9S^vFe>YuX)=zqm?so)+ln^Jh<8 zLW%zfTL>>9OZoGLWy0pJkW_g57#j~Kw`JVRT<0UT70BTaI4L~BVZ0$P0L(b#TPNpB zjG(cGg`N;bO0bEON?yOV{yn`+lz6kJYbyQ{SYE?uYUj-L4HF`@fPAXiBBEb{@RV+i zhWQ8nqDg9*656SJVoaa!C4@y6Bd9(MNj0+aCb{lOLgB(n>wLG~lB#feE@~r}o9E;t zRHca0$)mrfs~bYFFHmimAzZpZ8?+>#3l@3^J`Ru>6E<*%?1t*`H1GY09LLEC7WvP3 zBfdQBoj9(LvLlID;sfJs?+G>^ma;kdO+{W1CBb zQ-{NX(7?`cQq0okFa{Zo3^}g|A4f~Ey4VnPQE_pB#n=VTq?Uu5JOo3n% zl>|9$3vWv~BbU?wlSrN901F$B7Wh8A5ZqCAo`I@#z1zOj$w9MTf6T_)JU|>_|1Ezo$kAY zJJ-S9H<4kMzi1}oe=P=|MhXi~E^Lk%;kVHRc?z=*c*@>gN_VpR*6Tj3KW3Oeb9&yk zn}pg>J5}oRv^;sQU5|R5<9=ta_HleY`8#v{ob$rd_1ERm88M93A+98&(16+G{ZCFy z)&X!KW+kD7%3$%*f8AbVg&38ZQhnPsvX@Ghd3ag=NLVh)c7M0nc5*G4Dzec-=_aDDGyx zn}!KL^b^X82+$$Dc@h9!Pdf{j?fOk)!mudVv;>WP%gc>(WJX`!*Ypr@oh3K0m7R4dxCO z&e1O!bi(i-V$cC>?0mfcb3d4p0#r3*uzt9ZQB{%ArWrJxD{X8uEKhu(7 zSF^<6k)wq}!407GlVjwQ+eGX`)<{ZFX(Hp42RCCyHPd?~qv$v5hc_rfGqglVY*nR+ z_!qpNWUV(fo&0_Lb%Y)$JaBMh?Gzgsvk4INa#HYfi?VCM$y+kjDHvmSu-(C1gU9Qg z4$jq18GeX|lKsi1LkUp2nZKm#{W;(i!ZUDkqpED2A=x-+LIEE$KEC9ju92+YV6uX3qvV)&D3VZ;qTvI3#T__9s9V%Zvo#iVxe>@RRs z>G+AHG%2Hy8tGM`U&5=MSTlF2LlwDdRo=3%q&8==QP<5tn4&#F4g(A}J-(LJFc=|Lk>9I|dW;|K3L6P{4%98zsHhqJ z-h=%^Xs)p)Ob;*Ybt;3r#R{>yM}1Fp#UHlyo7kgY>U2KuMt}sC91Xglej6y`ZQ}Bx-8#c_G-5C(-{}YXq z3t6mZjKU_9wO@0cHq+jNR7FwH$KOYBH{2{X%#zhF@AU*a)wHtH;&D@3CqW%JK`#*__P{x@L#t$y!P?he7|6D)*l~DiTHYT+ zTb!ZlT5f{_q2>qD;~C0%9@hYhwC}v0;N1)I4;mJLRnRz%gdp{G2Nx8bUCx&jd`e(80!OJ^0FJP0*+#r%f7m*u0_R z_ppd;PQ19_6lZKC&RUZ}X5BJnw5t%+s$2iB6^ke)Mc);(_yw*+Ll1!o>8YXIp`im# z9wL}Rl5UOnJd?krphS<*U)LU?4au*f>FU;SMNegjnM^rz3+~XFd?|0=%&bz73k%pz z%&Bu1jT2RHL*Qe+IX+odx^$umWMesCm|}7aIlb<$9pT3{9(06l69Z!cZr7xT3dbCb zMfF{tF<(x7*FbrNlD0A(NFM zGBK1zZ-f)>`M@*uSExy*AN2H91YIQJG`yBF4_XsPa`ljjbz<;r>$jK1hm82)5|=66 z7dTBLhVZ9_%W4{+lQkbvJx0XyucUWUhYB&HGHi62GgIAPywEc8^vA4M3<+y^{ z$hdsVCqVl5P7826g7C66aC53^4f~5&XK9&yIe20cg8lAUb)>vA?S#%bOg%D2o7fZl zTGG&i=|3mCt2ME|%L)+OA9WdcYvFL)6Zu61Hs}#!!3Ley+#qAFU7hVJ5D*~k(CWKa z-Nnmr7mTqIcc8QCf2ah6kv5E$VaY`OrXEvs| z=e3uZ6ryDsNol*NsQvm&XhjIYC&^yC=RQpT>G`?))*iMitT z4f4-~V-F~w`TsRjoNWIwQ?T%^C^sJWb07{@c7O(+t)7+LJz2Av5D)JH9}kc31XmNs zs?;W#)|SeF9#3CC^MV!+A5WK__qY_tikjw_?wLB(viO)f6^xG$Vc=yVqvA^n0s%Mv zmoL!Tudhc(NB)r=BmOT^XWp6o2uJ@ukRpgxj8sTjRnQ?gzxaJY2#V~eKp>;J2!T8K zy9tCYBrQ=u@BB?(Diq8I;VFg0VOp4)TUzS96ovgBTfbc<-2r^`K8&8x4}7j4c4+#{ zKWaY@5>9(NQ?{DA_<9vK1Nj~F6-=@MZG3Ee0%Y7YbUQ43f_!xAR+C2IbGD4Oh`hFt zmv8%gnsmHYXH&BlwiX4vURxz-sOv6-w`F@6{l)J#t0OD6Lbf`#z&mcF&frJXwv4w( zE~01L9WT?{iUaV+TAL@la^|-RzWX5e-38*l%-o)L&G~3A&h|kc?sp9l?rVV3*ckA5 zsY}xSk7?ukFHg_G`9F_qqko=$h!v^ljluI0Z%7$IAfrDOZJhkdR$n?kuEz5F2zQ*v z_zsJ=1gd~+e%TY1(0pSBK@sE}i;LBd|22AzM9HaUb?T`g*YMODR~k0*x$}>&otq{< zTb-@Yp)71_9bcc(uuG&V+>CC`x4y-uG0y&s@yHr)UC7Dx^*&i@)hk4U5^ z#Hb~Z7d;bN5m`jw7%GJce6Xw+*}y3ksF6MvfZ4XV8OiT@!`au4#oD?MMJ&Msq1g z4c{2W7$S-W2M0I&b%)2eW}|WyC+%cG$)ReS&$IpaHfHmAK-mY+l+-gIrJT*`oWjUUy{Y1yWi*a@@I!*8A2RervU@3x)ND51v!9fI zy-k4czWqRGNOsyKok$t2@DjZB=9TPlpHux=D$mP*hx_K+B5ZgOF*(I6I%FjIu28;^?dC>f6mbkO;CUjYX={)|sVZJra|&_8upT(ySj zipA92?eZ1(a0y7RUR`Rx3N;AIlkDLt!_}D$2Mo&$`qyeXc6)=u)iu0A-OrLFvyDJ%RK zdIPpUlkQwk#7}S`H()zaH-&Bc^X-=or>e9{p%Cc0P$i3Lx zmk27f@Yw)6+`-)H+G{wQ2pbTqX-=j#jGOILh3o~bwS|q|0p5$$#H-zRs&144r<%J| z%n|x!#`(qsd%QfFy(>Qov^anylhe(epnf>pr{K+;AlS7^4}spjKh=~N`cF6As=sI7 zvrzNuy$kUD`ZGjI*>jo-IjFHLz5M1oiV@GcP9cFnXoNH}|0zty+^a4&Vf1_!y1%_q zNM*f@)I{Xe2sFza z+#3PTey-caB{J{nLm^xG%*UDs-92b0SB{gqnJ8JaR&Ck~dxoEcz3GdOI)b)>)PF<; zpC@b&BhsZ0HSZVrQ;v$EbI>lE!VQeVDPwY)W9t0I#F@s&MTT!?X*(~O7F~IlG0qGw zM)rFt$4uc%N#mvWqu;!_GCRIt3E|2S?H2&jDPX6q$mrW_z12RhSJ$@A4nJNsVHYb! z4Ej)YE4_J$ZL(_QwsC5C!R_}=GVs*CZ7LOZGAD1pOpYRb_3or*kbvAq&4626djLnS zL15k|yL2>DEn2e-)>7#X8VsvHcz*hp=qHS$Htt8-$m6asrwXr(S;XeoHr=&m63q$_ zj>A`AYpe?OGd7ac^2aRwxO!1K#gvP-&znNnuf&KJcJS%m@ISSsxwBoUfG@J{>=?c1 zsUZ||v#;9B-fd@hKR=(JiZH4EJZ5E%qddypJHgG4kJ?x@*guYPnT*w zPhfHms*9P>fF1{g={e|6-yUId8v--T9u@}S_#>q1){LGx9gmV5;*VZwbHwW~qKZ#p zU)Q<uQ#oYVe*>imowIuYw2ad*{{AF*UCS>ac~QKOkW34e$%4 zdO90`^kZq33w@n_#>XTK#FPjH*H@U2)6z>(%7|qo_;WOrB>2#(7dAjDoybNRqck=LZ){+Aq{ad${-#XBH?n0V%ePxy$`v_ zKs!ahf`upwYjrl?(jgWA^#k)BC-%rNPHew4oog%PSY4D+CN_uXwIoW7Nur4o4p>Ae zHmqTr$wmjqXr)fqumgmVrW16fZwSlf)6>#xzgOUcP zZd|cY-MZPZdn$jyf!B^s%=|5ZVBP?5>3jK`c|ow+up9K`U0q}I`hd<@h370 zlNyAODZ+XmLBXSy)FL7hNEe;1dnR8M**zH3lCb*t!r@sG^^*H3$)|XNGoFSq`HFgH z<2D_Yg&S*8mTL6i)0*5(%6}dXx?3>CDl%6y*FmW{5!+L~Z5{pO(Z@76THdTpO?AR% ze6K|~mI%WscW>0HPz1!~?DZ1a`UrMk(i0r#zkit!v;R&(ADjaL)NWTeFmid^OD#W! zo_Bgbk`R^bCK#!RM6UjQun;!%JzV?PstG{ejd^Bv57ziLB|=@iIj8d_?vj~u-RhNK zhj!^%pU-j5-ImJ>SAWnz)bI9qGUbw!G=5i7IXXA$EN@%7KjCsko-=QB=%%k3Lw~6zbeoVpip@Z0V|m6D?8<=A1l#1<~Wl536Ydb%_Zq@gjjEdhn4R} zDPGp(I#VnR4pqSP6mE`*Ppj90QD6ueKP?Oi$SqwuTDC@5V7C9zn9o2HjG3t6yvj2U zN1iwXqG)Z`%HN0`R~f%WsuD{&BRew@{tw)x;w?gy^M{2>1k(6*3r$c7b1s=nOnq&f z%|3?vzT-uBNOj$+{W;&sb)A2UMuxGJ=ra{Uc1bv4uI1C^`lvq__?Z_v5nR9nE^Nv18i z5VRHYxOHTkUCfR`4Nk;}gCol+V`v|qGN{S^qb$OOf}vuOu=Rv}2lTa5M_ZE3$Ar$fPCs`gZCRoZ6iZ}@iW%AA!%-82TL?-JrBDJns^)Byr{CE>gbL4p7V)t8jusrg7Upr1jX<4)fBCyqw9m!&-Vv?i&k#9=b|{ zCX^MND(m-vck4TeCeJT4h`NUSc%{Fp3XSVWBUYL#QmBC=?xVs3C{6Ey=E?b>S7Nl< zLmS}5RfxRq;KWq)FpCxt$5xO0Rc*X#0?PAo{e)iJgs@B@HV78=^GrdCDm@*LIY(V4 zHLJ_XijfohQNSzw*hW=yI$;;!NoXUFq?)ISQZM>2G$+p)CwASHC_oSl6OweL>SB89 zfuv`LiEHK$t^4Cjz2TkH+MDeffB=D^@&W-*ixk`}s|lZ}rpdIjtrTI0r3epClErhW zLZ!y?7ESK%jZ3N)F()MP!ry2t@WW1^;Kv2fx`LB6%hfpaI{5sgPC1Mzymsr_YTZc$p;JUck-~x;s zqz{La2j&VxYkYTQd&2FX%NZsn0$!wim%*^+@$O=2C^l{NtMR(-cf2{RV;7{D6Zcr@ z@c3G4{%VQBZS7!xzF#x4*QuU1DeBC&VMx}r^L&1eLkN+Je+~|B_&KB~$j>QqUZ~40 zH&8lLg8!c9IIn>w74*uU$4x5E297O ziQAW-FUr&XZ8EzmQA1MRGPzWvsHv4yG1%Rs#tUDr=uas!c)H+;_Cl&jR9sd>!l~=d zSV-EsR>xLkJfnU>41pO97?lYFi+Sn#38Iz5QV*HP?F1AI_#=< zSA9`X3ouNrZ@6=2Y@z&xmUQrl-yg3RwHqQfK23B?8l{6Qy;g_3o1!1U-2>1bg0Iob zi|SPIK|#Zh(V;6&s-Xl3M?gUclZ<_}UIBFi7Ff@aLz1Eu@;4`&uPDl6VQdVpM>Xvj zd^4YMMJi-(q`fi{?UDQwFzv$Rc)pU3liKwPlryQ;Za1*IH3-Mn2eYV?k3&{Cs_0Ow zU!585b>sq*fYsb5-xR|MK07=6;J!~%A9ev~>mg&qjYI=YOR&?o9bj|9DYPj+p;AoT zG;OSq3r8&)AA3^<`gmZdbL-hFi5E-ak<5)Kj(pmj(@Vw<^EINT{97hPEj?@{mZAzW zHUdZ{6pXOu75dud>2pJ&3ZgvGb&NT#4n2J>F3K>UWg9-0@wMEOBe!!%+XJE`uS60b zr&;st_Ofv^29M*N5aBa-ry}A?x`4Ofh1*c zz3b0L^2f;jXG$jnZb0O2Y@T!ex7j>>LlhC2LA!kAi}3zW^DhKquMnFo6B?uKL5x%Hrja5QmNH zeTm+M$c-UPJhkOXLa7bS297V z?oZU}Dg*Bn8PN89s|$5`38kgkGnu455qo+C?n;~6Jk~gkA^}@pzl2U!&Jtr$y|Jmk zalI)o=}byBZ!9?#NBbPi$h?5HfZBrR{N5n^%H+J61h$<>KD?u-)Z0foRUVlI5_G2)Oxb~e5ITVBI`tRr-F!~tUmbSZl&cdcSUj9lcO zRv6OWIl%2)6It}`h41j&24yF^cDt-Nhls9iTOet`2V{ubJK%)^(M+RH3M9F zH2-#%PU?=7uMCF_e-29Vt%9n5ylLwI%#LP{mw?{X=4Rx-+~|+D|Uy zZSOmmsr##>4%ftUjz4Y-m2fWHuHRn9e3iX$g!zXI!*ig=z|U>|cFs+4dyU3(yGvE= zWtU9-W<;8QGH?uz5k3vixsTkg@^i_;E@$_aqrq$;V6to`Kvu+wkt|NX_H%E050p^I zECeu~9U2QUGNxPTM$gY1zjNej^XP245aWO|e(acgEzLqf0 zR-tOb@g`+b6dE}5%B!1SOlf$SB6UPkI42py`E_A7$r_}mOS214?jj)Ny2T5x7yq8U zY!IkpD4}eY0}tuft$WVvC!&P1`2N2D2c#<@hsN36F3Xu`wvJs(2}W)LO#o_;-~s0V z&?Y+U~<9cj@rP&wem3d%FtYojB;-nsG(Pq6J0g|<@tbyTQGB5omH%w3U`9P<7U zaCx7^I>oGi)oj22^Tgw2#>cP{O$5$JW-$~vRyS556tq71j440`&mO@JsXY)1Mg|+4?2N9)1YSCz1omc{3>FurHOd=| zey|%#I822&H;>*MS2c-)4<$c`_jD&^tf+l6B|hc6$2m(cnxpP|b~45HKzY6SlBm!~ zB6k8IJvR2-Ic|e#@a@^(HLC2fWN^qzuFds>)vKOPG`L9CeFIZPD0{;@ou-)I~z{0d=L^;tu|0qy3%8*(o-6-UNV1H&{NqU zsVn*0`e$ykTA87)eLb*ZQ{9T1(l%!Ea%q^5x!GL%t1~7)|Cu{0#NUJKvG3QI>m_%mUQK2DqNH&rWXekpe#d1m->A&i*HQXW zQZIPkd&z-!uMbtlrdMY6pZKQi`MP+|$v0YYx8gTH7g+xCP?3Q5-9HY?*9uI3ud-MB zB764byFvGCkJqPcwrMnaa4gCA>s9SL9sd@8{Ju4m@xE8%n-+&C z(>Foo*K=DGw~1a|qR5;Ua9tyS(L~@m9CFKKgUxkebC=xyxr> zSBHNK%aTuN^oMMq|kY<*aW^9>iVP`vmmV7uShS$iBh%u*gs*ZkIs}*ml@y$MF1}V`W@eC<5v)d@N05Om4k|85EGnreN=@T3v@|p|=2BI4^>^a} E00T4CAOHXW delta 17029 zcmZsiQ;;Sw_vYKSIc?kKv~3&Hw)sxmeA~9IY1_7KPTSh~cK71j+W$qWo=W8=$*JFS zl9SY@fxZJlsR`+Kyoho?sv__IYBkX9b{b=XmL->`aks; zdjsCc8e{VW?OYlEu$r5J*Bq40Y{hk1&sHricuWJz2&u8V2?~{T0 zNGm|Hhme8BXp}?6KrRyC3;y#Fyz2w;Gl7H1c4MbYX?Nu5x*avQM}&THO>^1&LzunpS1D>qIL zP9dM94;rB7*;|<=WR>Sd`)07tjL7zs|AXGMiB*A<;I78>dY>(Fq0mz%t_yL#=Q8DpL#Et(wVX4iOr@O0lKh6SL&%xYy4Z9O)o!-SL0&Z4lTiJK0w z#ohIiH}bNSGOo(gz8%>|qRX;s_7kesc62w{4!5&`AxM+c;zmJWw6j4xlX3HDUW4b| z-1gzVDMcb!v3NAMHuJuPZI-ZvKjYSxpWr^xi?9-XePxI6>qgQo&kzFdc;~Z~@vDRA z>jN-zZuoV#m5cQKwIwdw-}2T;>ia?Jn!k|f>zT>;Z#=^)L5zgd$n|&gr$1Vw7((Km z&%IK+t9``7m_Ma{d)PdMytUxPO!35xQv0MC=i5h{Yx)nHZgTw1vP|d_e`fPmacDG| z5_tu_b!H};gPx>$3kgNrLdoYn3uLnm2|#8qh=vcbi%b~whhCfn6DJni&?&(69m2=p z!pbzy5~)K3|Eq7&*veK5S{0lx;^KtpG3^b;DWXZF%YX=(SFph#tIODr^_hSu^Yidm zTx(DA=8pUP)2$G4SkJO)sLC6_cLDHLOdvr+AVhACHjY;+KfG#oaXW0Hvbb7D1(+8} zz}qZ{zCHepNiWGp6hyAGt@2>^N3Wx`h0uH@S8Q$VsE&3cakkvH3*sm`eY|9h;VfxO z&$CHZZLPH2)$7H*Mh>WEkZk4KWKRq9$3-hQW(2!w~S30N1~$?$CSIQhz~E%Vb^}t|CoE&CVL+kyknVDTwcfnt9_nc2Gl0e8xcN= zeJrjoy{#L2D?N6OGdxguMdMaG<1VK2@+L1VDU{d7UH7Yu3~5c*i4wag&SmA@o5b9^ zfh1eSLdB9l@!oh~D8(*3l1I~KVyH8y5H_#aeLzDq53U(H zxE06VpysAcMa}b^tXrwIiq>-Dg)@?`@KxWjy6v08DpvY;TJrj214?HYP1Y~S&p|Gv z6WCXLAPIp6zzak3*H^W6$G1nP&o?LiL1_hR9FUyudB&1S=N885PYZA3$Bn5AK6Bso z$&(!uIGAOhDb=@oVr4%ve%Obr-Dunmtir-9iE$UZ29;PdcRa-|eJFHq9x5Io)nfT3 z|4|yY7LP(^$}FTVfS}y@qdCh3=VQxEl%}0fIya@a&gA>sBfVu)%CD?&%LYUYm zw>s_WO0>~Q4R#wZgSuQuhK1ncL>`EqU`wm5<<&;qxACw!z#NU54D;%dsMX|hs(i{K zY*#B#OIKh`E=@=qNnU*pcso+;2DW|fW>R8cgVkuSqdqt+W>pxloFIHJhodomFIF74 z&QqnqPL$wzPW@AyiaxZz|BU=0IUkN&CxqOT4LOv(QgHg70h|Zyr zI!U@TsBFs!aL9?^v@!go+)%%ib29eiavkQ&@@NG|obGfTJl@kv^cMLmohTVjn-oljw)>fEH(zCnBGO_{5Pi^c(vF18qUQh%VmSeV59zFSm|O#JNC{I3Nr;u4&*2 zRWe&ALD}kxVLi~`;q0&XoNc-S@`xH1u1}qsgKT96ptSh6hWH!kU&}Yo3Ce?u%0B9A zXYalGbpitIu%ccLG>Unsv0jB61hLn%c%yP$v@r6_K|dob5^?3MQWp0+g^B$tk{&G=mn4CYjK-0heug_ zB*Ll-0c`1(#!E9NiUy3=C)0}^xRou89k12~^AfGLqynxQTz}-=U2kFHn|tg)>Vo+m zgm7InH2Jg)m%p1ImOt4m@!t;0-^mz)88?|BT6t3AKzt)e>;)fRUoP%qk)x*AeMdAt z+I04Ly+?d*OZ)zexMTQY#|D>U{y_{O*>8*v0cd>i}lE)_?d#!>H)FXud6d_6ho_bX%c zE#ZtnbrtAOFD6>o%Odg{3Wif1?Qln4TT^c`M^lki#hGSqv&KHh)Jvy2{J9duDjiu8 z1u#L9U5D?W7O=@RdJJ2|iTYDyJyGBIIj%oj&K_~w$t8lGG{43OU)2p-Lclc%Y0kQ6 ze>(OG`#_HmJzlK1e0TQ>ZpR6l zcm5?kXQYDN!#9~}5sWN7n=zj7K;Q)_T#E4*}Meb9Tob9nzUYaa~-)5X^nd~6T{~5YNt*-BCj7(prPA$L;PieaLf-_A*;~pQX-+-1t=bpA+`v6F-{#0;MW@ysl-1C zuLjj?cB!^!yy-iv)-lnhysowYO`zl^t}-)x+}Kz^QCIAMpXi^82WYX>g8e<)yZL&8 zEWD+98RJY2VV9+MA`gsb*t_|lQ6VYjXyUJzC#(@T&8#k&5ou(dP7QMB@@Q$3@-IrP z?^WV)k#8@~@Y;$?0jBd6{JA73g{6#As&3)vFa0;ag3H*VSjS&n41`nwC?LUuzk#|h8m%sgW-lZfQh^fee8bB z(+5X|bfl3KG8PJgwr!rW!!IzqWLim30228PiGwq$Jy__dz_GJH8AaGF`I}cjjLjSR zoELJAn8}g|hMDPD;2f3DoIRS^hF7!USx_lteLm8rB;}N$ipdKCDpq+VAqm8wRLmP5 z(XV~8*>4|HDfkyxVP;du!Ea%2ngU>KI$^;Hb+q{0j_tsRuItPw-cIcR#8$#P$!_Jf(Ai3xChN08LCe34Q|5DZMW}L0%a`$<3ELr31Ijp@ zsy?zEc^&oBhMVnFmJzLcdzavrl^TlTAv)QaOlA^K$INE?2rTFG&q5Z@1FTDtb*ucd zooV+(vKC}e-r?BD-9(wL*;7b_{SphV_T#~AD@lB8F;-{*o^duy5rxP4i!A}_gd0m8 zBobrMjUIG8=-KW zr)I5Pn2g@n`iTQ`hw7elUa5cg%_(;`I;HJA zpcDM}EOsO0LS`L{xM&b6Xj-d$Dvqm-f;9QhQv(nIRW9KkkJFam%Hy>VTqqRX$lJS& z^6TIPVjfVAMjW^R#%@$cB}b+N5s(jhQ0R;d94OkTT*$Zqt|M@8?0>iu!^`c{W{k?E z*cAq?vrfjH+v7C`mz{MAr8wp8L-UrU?BPPEpwItf5lF$T?C4xcenJeVV4rzNAO^4ksG z6yySG7-YG+F$aUe34yY-j&~Pg1aDMntwjpzrX~R)*#q7jbq%@1_hbCHGRXj*k@s?BOJ47S7`5!=dEzKjrt@+3PhTqrY-QBeh>9)YIXol znfLed&#o2mUYsDGy_(l}%o-~&Y;+Yj(l{3^MR#k&IgV*{FjDo?S8fO++#%Fq!_Xly z&5u}Zj34&}>TZ+HYupAJO=Q_{ijIw|uTp^q8ayvAV3bfuc|}>&sNFemg?nIo>#*%_ zFKxYG{!T8Y;DPbpf`41lP<~?Q^KpxtNI`&b(Par2eIOr?bt6hLeeHNHCww~6ggpJ2uau`_GYHw#KF_@+X7mN4f z#)s6zL@%&d(NAv!rLPGS)tG<>g5 zp`xJP0Q?V$So|N%sRBR5c@5DPs%uIUOjbdp7fSgMzg}ZlIoxif6PFOzgnm@PNjWjt zi2S+W;XDF~!QFSssbpNI1+^A-7>Y+crRccRX97(v>{L5G;Vl$MvYt&4Dp}5O3)CBJ zjy(A`3R#YU5qy`Q>&&L5^3k7wD=41)GqBT8F!6k*g5lQ&VURT?VY<1cRlA@@bgJnu zZ}6MokPNXAid zh-B5r1`;8JU8nOj#0oi(>yCcoeAe|UMa7hc2 z_ekVoffe3Zljzwj>qIR~z9Y5nE~)z#LNNm`t;M_tG)0quJN9+?2&vHm zly62#GMUSy1rfFAwbr|Ttc*dVYt&w?R5%qsV0OA$|Duoh0htedI`9V)U2JH#f<6=C zAAA=ilo;{*mQz+4ONE{q6ihLnC<4jTm4Ct^8e@;i5QMnFZ65%5-S*4e{;^U|eRw%9 z!4miAirG4cszTqSFGxcUj#z7vwSgdpISemgj+NG;Z^WO~G&M)V|h z>j;MNvJ@i+iZg)lI4jfj@dt4_lc$A&Fza95_{l2fvf*uA4hP7w&QNeKREk3QhlP~Z z9}oBMzs=m?ybPl!6#_g$MmL*9$l&CKmA24CS=>=3rK*lVz$qx#=PO*p;t85!FzLvtaKwQFN9zb0YQzv%C&_J>1|qnq|lXaE4xx-S|zm~@%dW5oxjWT835 zSG+a`RWL!y$d8CF5mhL0N+b#UWHSP>grD_XcH{Y@V(I^c!*u@WqCAo~(X%u4o98n@ zzj=kbZF}acs72WZz$NRr2lsD;~U=GEM4y z0Baas+Y==?mjaD6EdC0sPC`t-KRxQ?&r~N&=2hE zKv{~JNMv&+Ylg9qff)B5%B5_twoy1q8nD(5qm!%ZpX;?|1LDGQ(YtVSip4gboNggW z5Bt*XF)|zFp0v_l7aA6D$_Lva&P+xEmJ<%q^DgC3VV_R47~NMX8{v-00_2iG z?n+CI&1{>dvv^{G9dUvrW;1jEzsRCrjLC8q`G_nrU$Wst0+#Ax*LLKW59P;>O;U?j z{Q)Hv7=DC4ke;ZfIpL%rGOxk}zE!^i)JhCOo`t_Uc%a~xM&Hz7k`#bOaZksp&-r{d$(6(a{0%|cxNs_t z1--H0XL4LVW!9(EN+p5=Z!>n-Sp}& zc?j-^VTnnogU?bSGdBgueU%cO(1tplB};A<^{DLoO&jm9x2#_qd&VGq~wx2tS4 zLA&DzhY1W}@D=NvVps`ADluM3G21$+u|Rfx{#@7bas+)mU5X!K78mHZC__ma zyV7ziX_=iw&QiwZax+~`3fzPe*=gmP9kSY7)oo=f@Y+#9fdo*1;&DF~pA@lPcEajA zta9Xd+aPyVEO=a|vFzV@j1*L**m9lIbp$03`wGrHcTyw)gDLVVx4rFeuWps4XbR9Z z3r73ajal*+6|9_et>FQQ!)RapQmFTm>>S%LG4*IcA-__HHNF(iSd`-Fk|H{j8p=e@ zjS5)tIX=0thnY8Wz@%e^r*{(NUEsE6v9NJe!~EPTkfwjIwbt{RSQY21e)BO~%f0@@aVuzsJnSoWpO;DxJ7*!| z3Mj6|=RKN058c4OA-HzYijoWJ-sNdPtZm)&aF<4$3DBYf)Pcx;0Ey90{XDDmDf~2> z^xK#TH@mxK2#|dk#P%?^Her-o7ZJbVL<71}%&nPGD(`(nFj|T`xg?Br_p?Rdo^9ua zX)Gr>Ad5kgPNG$a3x%FNnb*4!i}O(XXOQKDeL7i1p-J=b@@~E7OTOq$9pXU`*(Q+` z<`-cTE7gqvaQ3rST;hwn?NZYsNy@CPqN-;>-Y49+O|6C~RN#8p!($*9Ax^Bl-o{x7 zbp~iuWbIM=W>wCqoj6pc$z6v-+_;q=6imZoTIS5J@`Gcmub0=r{E$!2Uq`_TjA76U%&i4J8A3krMN^W}2Q2<54 zHh^m^=x;i)EL!qCb0+K_M;j#QYL8LJfV9QGw&#(ZmY(6WXVVpp>6Gzr z%lKmb>^QwAs=v&l)ZklLEF= zNIKsVYP{x^Sexr@4y+Xll+aqA5Niwu~@5)&Qi1S{VB5T_NgxZf|-=>_l( zUwV-lZMJ-%_Hbq9!^>2wFLy5oBN}@QhUN$DT*REx(7KptM~l1Eq$>BR815S_zI=W=>3DUDV}_x|=NuPHbo8nEhnSZ?_MEOtdz z*)f|GtQa+-Q_mwZTn4~^@M)5&JR_kD9@4Lii>rU=G}x7mL#|IJ!RvXJT4lnQwn}ADH|2V(o{5jupAU*KPY&T7Ss=yFYETx}1k#KN_XVK)Y=6=}7dV`7m4EFKw)fKy2!f(&! z>lgE-%}c)SSpo0#dz{q6y-#n$lX~hSP3Ip`XgecbzNwUU*&}??#O!j`3!*x^S$p!^ z2XuOQ%suVU=>SUoff~gRiml+QKl75S`@HoYb@fs!Mgg(#rADR+Kl%cdlD7B9S=;`` zmrkBKt^E)Xi*qjmF^U~)99uQH;UYtDx=~SxDp)^EsWMT%Hn|`6FJ}yQ4yaS zTsd~e6+COa?+ec1=-Ila%5++8r~w@ZJ%$y)16GP+Q@eYBCLLb)OC@xJ?ij^hk`#h~IIug%DdXQTQU`sO+E~TIXm?i=HrHWfypR~N6ou=qy zU?#c2;+^bkFDi!KD}14HPJPX>QWCchtKrg5tQGY3<6q;MaGPP}J-qeaP3h2NH82N~HgV0yOjsiRWHp=7+wi`tNG^k!mJyW@MG zWN=kAQQY(O$+`2?*~F*D303^6Lo{H+1U0tYe)@{livWKM-zXZyY(?Gi&OTrulbuiy z@^V4iRR-CyRntyveQn*4K-nj+h`vy-TN_Pc->gk|7xh6#0eiMt8iG5ccF?l^S$*&WQD3+R+*IiYsP4wpB&~kjwFA%b3 zuSz&`d$a#r!T+ZmOswHpS%AJwYycKk9G`SQtzNf}}W6@+>dk3TA{G zmJ)ZLI78*hzg^WDUad<8@L)uYi$#o=!wf{zp14TV z6t|!B4b<*6#cF46qGL<#i6@5Pw}>1tQ1xZ^iM)1p)ZLZ8@#0ScYEmXt-K0u^4Y093 zW-MY9Yh0$biV+Ye*XU6qB}oKc zVT>=$?T<7S7Xlw3{y%NuHY6$fN|8Rx^6@2hc{hV|3iU1O-n&eZT44m<*!)Khh#?Ay zF_!U3mHQgBmh6Q$T^(6trZw=9Ew}q|>@Tgbj=Mw0M5tZ6!hab*rwG&B!5ga=ZCib=J)Os7&T-QhcCR*ZJt z8&P@sU?5L!c)4Qo)YP*a>+)7xQJqT`PO>@xL8u0)=TjVG9IMtkn%_ncUX*Y!>6KR4qygrQ-Pk zYvEq2E}ouQ$Dsqli$NY0-}g~FuB^@qjvIao%qc2FFskDS#t&bvB8|o9IyyDNY^BaU z%vDtlBJAwPdXs}L>vVT#q|5>J@mD!=kMh_iVL%gkFk6#ft@4Hh9sC2z?))CJ9S7H* zRMVe9zGJ?j<{0j&vGovy$Ub+fNiYro^mQ3VtQF9HgFj)48fi$_QIlCqD!>}cQhRXn zz{}AZ>%!vb%KRXsN$mP7Q30Huyg1>uBPDTjb<>rfrx0P6W!~$t-a8|{sIO>+x5{#nC2VXCxr77&`~4s1 zEDCt9hb%l1ez!j>B*N)#E<>-+@GNQSOA7+URS>iB%(BEi%>#%TQT9|o)*^6W2J^dWZw+1^}P zZNsurkooRZ)L0r+uD*AmzkM+Qx^2RQ>l%6+6<5UH{dBmv6dgCOnnvP6Th?t09xl4v zi1pI9EHY+HdHzQoVf; zGs@N{CRa%XEkZJ{wp0W}`T(+BM$RJkNo3p&ot^BQi`mMMc+x_qV8{P;gz08qKiC!9Xk~t;Oy@B zhnzluV3XVn7q&RmuyuDN95RqKH)R6Tv^~egnxRy;XH0e|Qy=b4FCgdC;U^Q4C7F^+ ziZtU6KTWCAgNku{i)24FLx8%v^z1nRFf?q*_ZS~g_k0jo)YO_J3t0Eg@#Hg6*J>0j zte^=V`pGLL^9PRwE0^njy0+@!3q;w$p&btW|2Go${}>548#gyFp8^xw1tT`NJnBEgc zfTFM5$<0*T%FX29bQ_5ogn7lSmRknXkXZZClNy0|Dd={0z0RovoaVpIXnyRA!P^ZS|ht zKo7xk=MT_1eLK7VVd`AO%*6l68~FK|RNYKmy?{|nftB+>*L;u?K06kf{+;wV3hSU-t>!Pn)G=#>PQF~NDmG^ASr_K8cQVBjRuln zEgYyU6CMzfkWg4vveDbCHPhQW%F~nAK+PslC?-Ott=cy`Kd&d*H`?2)(#OKpOwGo_ zqS(h(Pfo_cRSz)=7*mFsR-Be&C|8@U8>6P7sheM6Vq#j6on%;^V3PT>u&7KuLqDbj zBg3G;Kr1V+>^Lz)r+gzjDX;#!RUcWD=i~${DWwRD=Hq)csxLzlMcft5xrL3&%s>y+0&$h28L(k~7RWGGro{ z8|H$Btci^L{HtbaGt=V!288AMKVh{(Wkv?HWcm+CfG&)vfO`7@VwA1dNPJawOzz}) zNbQPndM_!J5VNz;y-U)i-^@Qgo;e1`X9Ipd|LyAVkrel_&6XGLDOf>6e^^cr2j&(^ zoI2LUs`)T$lrqpM$I+tDD$r&vg$svZ>=bxmmR^i(d@id&Gp`E4{GlMe{L?8gZZ5;! zQuEx)1Ddze4A@E92kTHg;PV|@rNE0`My%_A*GAz9yNM!ehlpNuv(gmcoZsHXNE$BN z{2k1u0q&5Ik;nFJomp`47#A7bL!?1zdXf4snAF#{7P4|o^-faIF(kcO-CjCXZb&M} z-@&iNY`gydU}9tbKfweHWMTwm1=cfRK|3M2$2z+&0H>K)0X88xS~$2oGPLW62+@xS z2+>*h@U&5^3v4nN?1>zh2n-BUZWz%B2=tf)E~-(iK=gYIUvybk6&G~b-&q79yB~*> zi-|Ijh?&ueiC}bopLci8U4xq@T^|LmeDZ`Lcaw<-A$g1Yivx4iDe;I4#AG6ZYzl293*qB*Z8{}U9(dxkV^_-|+!l6g!PvGrt z$F++g8(`(lU$^P~Z&4+_VwHfW@o-3-4h>zOn7VA4F$G7Q{%^7 zTO&N%1YPdB_7=|-;}lj=sy=8P;2lBj=)%II9u+F zbUtMH&h?r+z`mYI}5fPng+D0kq36HrD&3HJJ+i)$hnC^;x8Ogtz*tiQ*Y61TOmg`j$NvWOq96zqY^l|3i zA?n(GuD)Y%w(Nc7)@e=+)H8X4l^_~6F_KOoge7=}HyS|_AOJ%u@K=sl9V8|s94(vT zLf#!*VjczcV6}+NEIte^L9#iGEj|i6B=2}hjvClFO4udtos-$jEV$$ns|W!lNq%{} zVkq|^@RV~vFI1z`g7|?r5YAg^G*8sLOk6}Y9}7~x8AL=i4;qt_gyqj(!hlWejKJSB zQ~9Z>He;&~OxAZd0-$x!_M*FDMgGHtRDJGdoBo2 zL_}@4$!$0%!rjSg=(ByP(n#D+U8%2F{i$vg4JM!t{fV3kmXB1H7zF|xtf4jPT_ss_ zeSLYmrIp`d!$-IL&pF>u@IPv6co&|x)|>})fdftwq4LZ7g7W35yj?{Ql4F|?5mD!LJ9txJ({8? zO}TCvl!A}jmiH0#gvxvNz1$1F>Dmn_M!p^q?sZhs{)jZ;PSH-853vtbax5O9olya? zALP13q*2Ne)WDODsq7BNW`0g>Q~)YgP11BOpGV(D%ezW>Smr}l@2*rEtstu?9u7LG z-;8|woP4`<4Vna55!)flJh8T?ky@GB58B6st9Z)635?r$<`8}oPXCh3MJj$$gNj5t z(&GMFQ7j7h=+qD?bQ4iCxN=rKO8twDCCPJ|IAs|wF^CD1ee?OX#^QO;bbuUQjoL6{ zCYxkB$}y#8@DwcO@!(8^H!F>Q>{Z)ZjzOmHF9)q2@2Qe%o6RI?8LKiq62t@=aI%8^ zt*@cx87R&%%((#NU`Kfp1F~(>W0d=dp+Phgp8CWaV*ZHdh?rpP`t()N7nJTnP7^*< zVF=WGF>X{5F|@hhL@DybaDW-1*Np-#Y&;#PX6Hh%x{mj>7ceCpYG)+HIH*{ zH1bo;Zt_0&8}1ivPoGqDI%_~|(PNkVMWiXbsZh%ib=1hKFNA7?C*Z#Icm3Z3N?{)e z?7ztT)60fy&xm2E&(fBk8d_ES)BXe7+zZm@j(jlaLBWU zuF}SHHr8C9NYkf}k3Xn$Vv>c3d`kqe)n}b`o4!xTq)nH(>@LOKRE@OBoRMZ7b{dj zwjPa}3`IdMumQ`i)HzWXb9$%7yojl~v0yfz`7MpMJ`NeV$(2$8>xZS35-ViLjb&aa z=FdXSEFY4eFrpiDntO^XYLp$zDf4mHwg5ILSL}tU&?}p%TvQn`v@5DVBc8w5gUO#yrO`bN zn{)%SQUG7k5y;>w0|OxI3UjfKUT$`6)%1AZV;;#v83lT=KYj`$POkj6U4pJ~qqmcU zxMnQh89Ks&CpJ6%$<|<`KpUp0GRACS7}2Mt2U9`EJL5l)({ic6cvSHdk%TYZ@f4E? zMs)w@fqUZ*-Dy3Uy;Jo{SBb)!K)cF%cFq#5ry@Yu$=~DCH%%J^?8&JWPgZ~#&?JENO`ekw9R>~yUcOfdbU8?}S#G!B+M8g4D&>wYE zl;rj8qwJ8Qlgi^kYaur$p`UNdwD6LKs@Dv5mVbX;_n*lit;KLl`|fP<+{@2&vyC9R z{a^`{-RBzxW!w)IL#bnVwL&BA042xIbGQLii(=Vo_JZ>w*%kj4wo!vFlipGNldgYx zjhQljHVe-3xe(=Lc#ptWgvw(nMc1r=80TyW{&=%+zfz;|Vh_sw8NyQp-w+$fT7ez$ zqhtH4*8H;xQp9-U5mH>Az(H{iyKb@N>#>2KPlxzB-Vc@3_!eAYa0oO zMQN9_{ka(s&sOjNsqj2o;M_CQjCnTmwcX zNX>U|#7A#Qy5fkj-_D%2g(A7r;>wizZM;Fs#TLhhVEmXJ@tuhU8-N|l1k^PFwm0na zb)LK9#qH`bITaa^M0o|Au@tQAmJk;J?w79`U-N5uW5{(8&BNGU<9FPMInCyl>oc6t zvZ-dT1kZDLK~JA*E_TVA(1U>A-E-IXwYVh)9#fgjpAQzs94pQn2kYfK$qpny>=ydm z%GPK#zF#$3HW5-iQH@9=g_|@p;x2PNG4Y&?Q!?x_?9Vd-1L`lh$3*WSCkGOMYJz@= z!jf4ThY_xzqRF)o7R}I^v{Er^A1zWyL{L3`gl6PI4#L&JtmrM=rtEoB#w3`8eu}=b zT~!rxpu?;en%8%|6wNkO*^n{eU3@g-nLtHN^&j1rwnC1t-aG-Kh$pGpqO-VLZhj{$ zELaM?yBh{}s2CqdLuz4J846>-ELR`V3&qRGr5X6gMcj~cB-xD&^aA7z=MT`4C!*Tx zUvUHqFqZonV7tH4XC>K1%Xq6-)JQSj+XQ-EC~U|%6jkTOZn4WHER_PExfp*Z*kY)A zz;b3EOH`CG%OCTj;8Jk5?1XIDKI@lR{lNt9oQmA$ya!gFVXcgSmwCqna&DTAX7Kuv z=)gYF)$(%R7@ma~#_mrf`g4b7`oc#~l>NhK3ss`L{d#QY^IWw{2q$h%z8Z37Ln$w=3`0Dg2TMQ?w%6bo`jnQ^*Q?ENUr?If{WDT@%is9&< zNed6@IPgw_q<#X5nfim^7Le(N*MqWZ(!m+aEYYZG>Vqv6y zKbndeg87ZwGd1)K!FX<2OROSHjaqiwxC?yGVNU#n*Lgx+H_2B7OKv{z(2GAch!ZU8 z({Ig&pyg=qr`Nc#VGT3PS23~|PcU#`1q}klvzCtykc>S)*A^pukDKAfr||^Kx&N4W z>RegKE5SAcm|KB-Z2)}YUvZg2?Jsi_Ntfcc&uA?~0Kxax~~TB~Ec89$;;G8M;Ht3igw zz#7y#HJr0!7jYKZ``IQrA-d9cZ4J^;uu}EHp(}1shH{Z2A!~ufO{vuM$Z3yya4Tfy z?z{eR#(_^0$OUMR;3pEOYtQj^{YL$W{Zc1(`GFR~EyTMbL^s7kL}B~Ke!LLVA6TTkL&Z%YLpywWJ1WcdiDFD>H0{B zLvrfs+Sxy5lQrPb@mQTww^8WizQtqsi(jlSu|UO+j!&1uEI4@LcXypCq}dEAGZR3nf{!pvBP4W&je`i=wSybS zRzcjI_{RmBh@^S6!WbhvT&S+w5)B-sZ0Xbtgo6oTi{!6{JUv~lQFb>`bd*JOtI<`X zE)pH3>tNVW_$i0waH&1{H}X+|9g8zS=BtcW=Absb?9`H+s!Fp;ay;tQ3cmZf^-KtS z3`o~REqN{H<5{Kl9y>V02YLR~t?A_}S9~f65-b$$zt}i8uc7F5CrvpH$#pliorDbNWIXHifV|pLZq-9CxZ~B%lX93yX+*#s-ZU)G1UULIaW)xkXL8~-42|ly^+7EP zFfl}|_OE!x7A`S#&*j%C zP1ry!GoO=#s|=%K&6T{gNRvjKXt$dLzPNyCh2?s1gV zJ*A~DwDrqLJcH7+IM0z@$_goCi^8LShx0}mED>QKcFoVT-f>;*KPUMf*v{kzE-w)b zlZRYQY=djxz!uK?;wpV)Z2>Ih7gcLGq81IYg+S{;EkCNp_gc_9)`yZ`gri^4X>hzxE z!QmlKiR1=}toveKbgU2Sk?(HBy=o{nXwpzYfM~F3Q+=VzpG=Uh=(+?je?XLeetT5r zM|zI#GyfJDOk#E*To;;;=3z*?cDC^^M*JHFrb1ZJDkax;1+=%HI8} z{9N?RW4^|@95*>^j*${r@Bx0 z0FdWkXry2d*%;W6*oLap4U1&xNw0`FXt`EfQb1)MJUd|_JC+u6*YmxhW;7NDk=h=d&L4%yd z5^e2uw6%72ek0{j3dQZhe?ba1gh*~vQjM}W-&kJ+k9Q63dM@j5j-HtwW)Z1o09@nr z$qGFh;qfl}2aeHwrl{N>yn)+(4!du9-@}X_JuQubE!m)oTdo*Sb0P~)^J36^?r|#y zNDg!7i0=yS@MftWuT!TdFBhc~bFEtBJQUgW>D9;5|7$O=sIM12Vs%EI`~S7MsZ(|1 zqn~GfOt|%<->CJ`)6LfmT3w8P-(vGWUH|lsPR;cL?uQgl|H^oA-*GO-zT*3K|4)?p z8Y`^wEUuP$_rQAY=jSu^ZKjyru~*z_t>m1bb!WR^s+HY}X{=KsC=Hh-%H2I%qYdc+|tO<(9psn*)lmT%{(nFG0`A3Ezu;& z%-qt<&W4bR$-3T|^-ui`3=FjHun85tmXL5rvQcQ_cj0K@P!v#PQ*x1z{GsS2Au*TV zIYOt$Yo36Z_2MGw0H?>iEvFBzSjzDv>wimurDUmTW6WM(0X^}>|7sPke_(6TK9#YD z(9uz!{JY+pt)JKrp!qmc?OI6j?-;E0ZjBu*F diff --git a/examples/paper-timekiller/experiments/exp-runtime.tex b/examples/paper-timekiller/experiments/exp-runtime.tex index 27eac4f..55bf795 100644 --- a/examples/paper-timekiller/experiments/exp-runtime.tex +++ b/examples/paper-timekiller/experiments/exp-runtime.tex @@ -27,13 +27,16 @@ ylabel={Time (s)}, ymax=200, ymin=0, + xtick={0,200000,400000,600000,800000,1000000}, + xticklabels={0,2,4,6,8,10}, + xtick scale label code/.code={$\cdot 10^{5}$}, legend pos=north west ] - \addplot[color=blue,mark=square,mark size=3pt] table [x=param, y=fast, col sep=comma] {./data/txns.csv}; \addplot[color=red,mark=triangle,mark size=3pt] table [x=param, y=gc10k, col sep=comma] {./data/txns.csv}; \addplot[color=black,mark=x,mark size=3pt] table [x=param, y=gc20k, col sep=comma] {./data/txns.csv}; \addplot[color=brown,mark=o,mark size=3pt] table [x=param, y=gc50k, col sep=comma] {./data/txns.csv}; - \legend{fast,gc10k,gc20k,gc50k} + \addplot[color=blue,mark=square,mark size=3pt] table [x=param, y=fast, col sep=comma] {./data/txns.csv}; + \legend{gc-10k,gc-20k,gc-50k,gc-$\infty$} \end{axis} \end{tikzpicture} \begin{tikzpicture} @@ -48,11 +51,11 @@ mark list* \nextlist } ] - \addplot[color=blue,mark=square,mark size=3pt] table [x=param, y=fast, col sep=comma] {./data/sessions.csv}; \addplot[color=red,mark=triangle,mark size=3pt] table [x=param, y=gc10k, col sep=comma] {./data/sessions.csv}; \addplot[color=black,mark=x,mark size=3pt] table [x=param, y=gc20k, col sep=comma] {./data/sessions.csv}; \addplot[color=brown,mark=o,mark size=3pt] table [x=param, y=gc50k, col sep=comma] {./data/sessions.csv}; - %\legend{fast,gc10k,gc20k,gc50k} + \addplot[color=blue,mark=square,mark size=3pt] table [x=param, y=fast, col sep=comma] {./data/sessions.csv}; + %\legend{gc-10k,gc-20k,gc-50k,gc-$\infty$} \end{axis} \end{tikzpicture} \begin{tikzpicture} @@ -63,11 +66,11 @@ ymax=4, ymin=0, ] - \addplot[color=blue,mark=square,mark size=3pt] table [x=param, y=fast, col sep=comma] {./data/vars.csv}; \addplot[color=red,mark=triangle,mark size=3pt] table [x=param, y=gc10k, col sep=comma] {./data/vars.csv}; \addplot[color=black,mark=x,mark size=3pt] table [x=param, y=gc20k, col sep=comma] {./data/vars.csv}; \addplot[color=brown,mark=o,mark size=3pt] table [x=param, y=gc50k, col sep=comma] {./data/vars.csv}; - %\legend{fast,gc10k,gc20k,gc50k} + \addplot[color=blue,mark=square,mark size=3pt] table [x=param, y=fast, col sep=comma] {./data/vars.csv}; + %\legend{gc-10k,gc-20k,gc-50k,gc-$\infty$} \end{axis} \end{tikzpicture} \end{minipage} @@ -81,11 +84,11 @@ ymax=20, ymin=0, ] - \addplot[color=blue,mark=square,mark size=3pt] table [x=param, y=fast, col sep=comma] {./data/nops.csv}; \addplot[color=red,mark=triangle,mark size=3pt] table [x=param, y=gc10k, col sep=comma] {./data/nops.csv}; \addplot[color=black,mark=x,mark size=3pt] table [x=param, y=gc20k, col sep=comma] {./data/nops.csv}; \addplot[color=brown,mark=o,mark size=3pt] table [x=param, y=gc50k, col sep=comma] {./data/nops.csv}; - %\legend{fast,gc10k,gc20k,gc50k} + \addplot[color=blue,mark=square,mark size=3pt] table [x=param, y=fast, col sep=comma] {./data/nops.csv}; + %\legend{gc-10k,gc-20k,gc-50k,gc-$\infty$} \end{axis} \end{tikzpicture} \begin{tikzpicture} @@ -97,11 +100,11 @@ ymin=0, legend pos=north east ] - \addplot[color=blue,mark=square,mark size=3pt] table [x=param, y=fast, col sep=comma] {./data/readpct.csv}; \addplot[color=red,mark=triangle,mark size=3pt] table [x=param, y=gc10k, col sep=comma] {./data/readpct.csv}; \addplot[color=black,mark=x,mark size=3pt] table [x=param, y=gc20k, col sep=comma] {./data/readpct.csv}; \addplot[color=brown,mark=o,mark size=3pt] table [x=param, y=gc50k, col sep=comma] {./data/readpct.csv}; - %\legend{fast,gc10k,gc20k,gc50k} + \addplot[color=blue,mark=square,mark size=3pt] table [x=param, y=fast, col sep=comma] {./data/readpct.csv}; + %\legend{gc-10k,gc-20k,gc-50k,gc-$\infty$} \end{axis} \end{tikzpicture} \begin{tikzpicture} @@ -119,11 +122,11 @@ xtick=data, xticklabels={uniform,zipfian,hotspot} ] - \addplot[color=blue, pattern color=blue, pattern=crosshatch] table [x expr=\coordindex, y=fast, col sep=comma] {./data/distrib.csv}; \addplot[color=red, pattern color=red, pattern=crosshatch dots] table [x expr=\coordindex, y=gc10k, col sep=comma] {./data/distrib.csv}; \addplot[color=black, pattern color=black,pattern=north west lines] table [x expr=\coordindex, y=gc20k, col sep=comma] {./data/distrib.csv}; \addplot[color=brown, pattern color=brown, fill=brown] table [x expr=\coordindex, y=gc50k, col sep=comma] {./data/distrib.csv}; - %\legend{fast,gc10k,gc20k,gc50k} + \addplot[color=blue, pattern color=blue, pattern=crosshatch] table [x expr=\coordindex, y=fast, col sep=comma] {./data/distrib.csv}; + %\legend{gc-10k,gc-20k,gc-50k,gc-$\infty$} \end{axis} \end{tikzpicture} \end{minipage}