From fcb953d02c00635c82eec73699e4bd75151e3d74 Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Mon, 4 Sep 2017 12:27:59 +0200 Subject: [PATCH] Small update to bench table --- poster/poster.pdf | Bin 155524 -> 155535 bytes poster/poster.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/poster/poster.pdf b/poster/poster.pdf index 0480564613833c93128f1e5ef429717d8d8f2180..c6cac6d71c789d91d9cbd26e2ce55822b5c837a1 100644 GIT binary patch delta 8492 zcmaiaWmBCE&n@m0cXyY)@!}2zif;e} zWRgrKS!?nk3GPCT>q3pEhXe8an!67^dgFWg@Vlsmt=SbGNFn>+8wJhy-H z#Jl)3qLQ5D#QecRhAWKxI5)app{fA|+Oh!ul0bto-&PX~Uw zBRP64gmRJm!zmnen-9k+PIrwy{&%yrL?sVhZKAt}@=QBg?;aN8Bp9~=iWcmqm~?QH zN|-(ge0+N-0pd|O=cxO=n~2z?By%~mXeAREK!<@wFY@P3qPHW_nrKj=w^!4IEagHeiCd&q%m!2NGIv=0u=_eQL6PP6vq~b5+Wy26D z=m~r-Zg#zkDmco+>k?=A7NgDrsS-0_X@N7lPF-a;thxhp)}wKvwp-*`Xq0_3Cm@Q{ z5TGZ?q350wM)`7lQuTJE^xnKlz=PN>IDA0)+ysds7tTgs zMLt$Ee?M5LdS3!Ow%&anvBcXeyP?};BXS0Ae_4;e?oX}2y}_WmY(1AH1y^g<9)W%LBmB-9!tm1eiHsLX04eP<=R zAHVy5|G`R@EcN}k-b%a3{EXCUi;v_7f?TlVj3zhxA4LfrSJq(_z1f>`|Nbg9ZKWNx z%QnBA0)MQEkv)J~O$f$cDYQC>rV=Ga5V5ahib&xGMibuUn@v%HpR0w$7GQ$&8_pXI zt>h24X<%~l$9!Hw7!=}W!szSpX#?7By6SYncBY~!0196kLq@JR7${Ofs*Uf#3tR0t zSi(9z>z1xN&RWU9r+8$gir8Wpm7d)YFZA7)&n5e3Izc=Fxqs;q??-iNP*B>bP5G0R z6GslOE-bRLB9>SxU&!!}Z$N^Q9zK0D*piqHtv%&WMbrv(pY)A|%nusp!dNiq~b}%zt@LhAtEVX%XDN`{c zhn15Z@Li{*wD1zQtmaj*Q?fiiE*F5SmH7Q86aPfg^qB?zgVn3g58SsoI6S^bG;GqMj{-tWFpk~aJ-UqNvwI4MJcHL6H6G`cX(4!GUfk# zF9>9Cp_)jHK~#XnOPoh!0{U)pO5lDmCe{3316syr08Us$JxK%Eh(9ON1=U3w!+|0k z`r1=;x)J|e1A<7(2VYOAJX8AV&H78ZhGYK6%)qhgDTwp|NqNhoVz*>bTzEV0&vgUW6QKm4x zOCV!!`o(R6w|NOrR-rYfS8*75&ko*0qzCPck7!r*R%+^-0ce6#au7rq5HXTQ!KjV{ z#~($7xLMtJ{f3gGFNkU8^V-rIBqe|TqXlecpm?ui)hGAuz}v1W2JI`w0(^2y4*Gl? zftm_t6SR|$UrZwdgEa%oR+Qy2d30yCF;GvICZrY?(^*l}3dp|T!=QENg^_TbLH2M> zb7ibStf^91y=bx--0z9J$g;4OiC)Mu0AzG7CzySBrdAtqt&gBOmzhsnG@OSv++CP< zG9gta`o}F|i~4`s(T*n}T(&xFN3gc>!*#$e$6qjp;V~a)Fd6utas+iHIRqIL(Vb!G zj`|~eBOz+)_z3l2X6_#x8n9Mr+pUm1G6|EneC2s9J7Jb&WhO{Xx1?m-YZ@Tig%Dq0 z+OmCLMyqouJHv8P;f@Q|EY>aqiv}i#zz6C^Afb=fAOAw=cvIi{VKc%0HOv{}xM(Fp!v_z)cRT0k47miV41}>Cf^) zgeuI|;8$-_hbtjc)%T3>%^+L^*YgplS$V0;f92!!VE6-eOcX|?0;=veIUKoR z?|PtUe^sNo(OrpevK<~sBbi!7LO?x-tbty==E~ML)?Z@jXOQ~(O(=WRz%M+PKxzKC z)umr&`@J#Yb<<>8>lfA4E-Den&KtlGMK3I8X}rw#?bc>T+i^&_gdk(J5#K zwK2`+AY-G4cK^%=v>_G-Z0sGDZtIwYnJ5&Rl+0xvTpl9m$6PXTI|jUNldcNJJ||3z zKRx(hOqTOspZPRovS-6H50BqG66*;p*=Em>MW3|xU{RzzHg57 zNgj@$*?}aN7F3pcpm_@S9K!1q4(QaZ|LOD+)44TX9?E*{&>SP?B?*r?e+4ru!$ z1*^jQ;3`7$V&Kg(--v1LmWZPT+sRN<%|L#9BD+b?RxRU( zp%Rplm(e07t*{&c|&pCE?;WK^nFIY5A_Owwq>oO2X!hT+YVRjw3A$ycHO+T4;sR8&}R$M2w4Jjb|YkA}d$d$Q> zixi@Yl#96H-})BwHYo-d4b!x0H0<-EO6Lr;oC%!F?d ziZPso(zT_%T6QkkiFj_m&+>#|?N*rm5b`+9t=6^1xMOH2L>RQZddm3DM;xg1+|VsS z$erEriwbzcnWw;rHVWrtJgRYO-D(~{=dbjD-m9b_OfJ)oDta%UwO^c4K8}^`G8I?L zh1d;@?Rmx=g66XZIUcThJP*^_M$GU&V)*`?3R_3y=AJ_p@#-JOri8gVeEoGs&LmJY zH{SPG2(hVdz#GZUM?i@u-v0r%x z*#Wb=@-EF12dmw`zCE-ViqS9&dDT37;0+=*+P3%?dYoX){3VMb=tkPx&~p z>@JR5dM+;&qQiA+`!E%HLhQ>EQ+8Cl5US1=D_sFIs*y+dyb+}$OS7lhff7H{Y;o)b zY8EuEOsU3*zdpKi5I5uHP`v6yNXZSgd;>r}P3u~@UQ!@ZXwirn#5EFHj1)eyvwY8r z-Vr&LFN$Uu0lX@N)*jh)WOMXk9h(~7p5T$!2bd#GrK&!nDaOfmJ;rJE|KiU zJ~^#>-b982;i!cd=&LFk2FF#D4pnTZe*yNpUT*Bfe2K&+h@x%|r-5`1>8hegzC0Tc&uhIdbDc91}av@F?@m-fW8^BZ;MbK{!SjD;h1ZF=SB;tyu+QAfe!UC;uOi|>AfWvMp$PJj)ZD9juMc0t`LT^*`E7V>nvOey%Miut9E$&qq*AB%>Ss z^m~ah;2XMQtWf!a;Qx?NwT5!wYhrlVnf#*#mA;$Xj+&1Bx$4m;t;(zo@D)1dL|jq# zD!*uK^_{7jzrJ5L)(|k3>-%tHJjpmI)bfSvpDu>Yx~$?S$;h{eClVqw()F$xB%R)E zqQo6+0|42Y+Llz*<7cM>YhO6;GsHyX<<@N%+xOp5m0 z?Yz{b+V(0t346l~^|zhdEvE)^q(Aoc*{xI#0Sq{Ti`d-WXfN%b0C|_p^30kggrfPS z{qXFM#^$j&t;BhbmUH{+S7{5M92VmJ#PuORT30x7!YDR4e4ukSpAYwWrf#jp^;MZn z??S)fbKXe6IVACmbM<#BWd|N~ESuI*x%c!yqll+8p|Y=%$A(^aIKO&UF#5S(@c@iS zpi`E>4zKfWEq>apel@;VB+G}F8Kkkk7A%E6+A^R_rOT!48`gmx`j34R#Etej{!RBY ziVnAa+o%PuxkU@HgOniqRZP?)TAb`kbE>Gng`kiNKe1;LJ6gw3Xq@wCSO@xu%FyEg z4JX1A72wwX>)(Sch|VdnMLPVfjV!{5@R=;a;3GM4J3J>_75N7xC<5K8KkGr_G%g$9 z*nJT{fsw`Eh?1h9qx_Ov$}C>*gF6O-Uw0By`5H4L6Gg;Ej}-teTUpCr*TRerPptk* z!P4z@vr>bQalf`Z^k$DJM)L01Rl$7TG~tuobG<*_=G^S-XLLskxliMT32MajLg z7`u5(FCcNa2_vNUMl<7$%g-#k5t|hhbA-Cs{CH}n800G?JvF3>u*TCYxze_W)Wq78 z;6u*?9xSJV+)h}$bug^BG_?2G&blD@uG@I+s>vFTH67%;O-f`2A)Kz~P}Koz)3-Zb z4RD4VhE{{(fwcqLNipBq;nDYhoyrCgn;M?b8I^Qc&(yk z7@jOVAZa)zu;Lu!vD0)wcBxbpOUJDc3%7yP?&@{@M%16Z;V`J4B9J*5Km&0FlZ)kX zcKl!t&v0pWO!Bp=xUv{s$;(=4HZ`)bXb>2i>0CY{+b>PjGfRg-uVo2fib*o}k~7P0 zRq5k4M}>Y%a(n7W?*oX=(lm3oE55)*BOU~K@0U;se~Nnyr_EtoqnPN@v$Hs98*$-p zcRl}-oLO4oT;=bW7Xa^lfWb?9%H<1IW&bXHdXa=|)uBomJ{KxDurkUSE`XPOmXzQI z{1PExe_A-= zwzKOdc919cLbfT`I5Td|SU@cd(Oj#my$B^Vt?!iNl}(q6=W#-CvZ=8Sz^L*AUH--! z8_Al~)#9Aj0((Xct^^QT=e6%^JF>wH`} z7_X82G{~I2VZuS)H?A0eVA`1(Mu3)!dLwtgedberG;Xz3HO)^eF+^Ou%b85j6)nGk z6$R1)-{n1(|dvz! zmxHAz00!4#`S+VP%`dt<+)ZlS%3cU4;)|wr@T7+3<%N`$Ht#})xqpH$V?kJiBvu`>2zj)gYF%n*~5(x7zk;Y$Ra30z52HKivh zqmBuwMNH(;zq&yJ1ce7?M8WX5^}h`cQu^o%i8n;Vz-(`_*(cg9S~G5?%OSnyUcJE9 zdz)^(pg(!8Ww{8>p>f-q>-@oG1gxEB);!JMF%8fd_Y(MceGTeghh^mPXGFH1^NC?m zTV4vCWfWl7OMBVUZ}s?R%I0hsiO_i?h6m~W32^YDVal}t(F}C2lcn19dTI`m{RZoz zdF$m*z%hhD#Z6_a)YX>3xois)vB9OKtFht+puWY?1F=kw`pSSne_S6=FsT=ag{pH4 z&vj>nic{aikT)ePQebCJ|O;tA2LF|G8b8 zwWG;R5* z%C|zoB9ZfAseXf+zsj#uAh)gZy8bxThDD=;Z}OEVYQam>uQbFPHaAv){8<^K6Db7C z@v_L7_JI6;QRNeemg@AU+AVjXBKTjX1ltEFcj`Ih19#fp!6olo3DS;g!%f8PkD+cP zAo#cUQ32N{vTV=>Wz^%H6Ar_amI|`7^tVLET4Vo(9CkBA%pBO=07MOLKo^w}8iDP= zP4k0PC~&91P&$$L{M>1iQW;Cu@tL?zSqnAaug(Zof~wsddYi*Yj4kFd&hBKz6oFPj zb+C_R|BcK=o%g-Jw;OiBlem#f6kuQ(%&PMECwC_4F9fLc}Pog7@i9wB)^6Ab^D&%zg~v~SQH0H@obm< zAPv}DYTYVT`E<7-UJgCq2_@Jb)vIm0{MUzeeRT3KY)A(~{$u(96E2;L+-aSE9>99T zAo0SC1N(k(MMFdz#)&d3%m@P`uvMX+^ELC`Of1XrV>%}~bi;<}_RobyPH9RN!LAMWlYV-fljTlkvwoQ+)AOI|(2HCO^YgIsVRh$~7Qp?0rIg&A(*3~ykvc?C6%ZKe_ z9FI9xbl@(Iz`n&`@?GFow!)+V)TD<&FhHd|)R zmBhEqK|=%eT5V)>Ql7-)feRGl427d_kFk*|48Iftu)c}pW0YgmSnY0fDGVH;>Ph)Y zq&v%OAJFdc$gK#aD@{gFy~Eub$bR)$UTy zF_oVdbF_KUW?t-%wgAt;O1d|KX`!=V(4-3+`uO*K=^`^L#$R#vKuxxaop>-kZ&@KQ z5T+E44<=OA!HR3MrEV3L+sXa6G;Yjstoo%2GM zawzi>hz)U9PG(FXI@ti z=dUl5o@%z=VdLr?8h5>yEo2Ql+>dPZ&5H>qcuINQ(;YwqfY#@ad_9*G&_+}%{lR+U zrZ%c3XC_EmlF*kly@iY|p2^-Rfs3_W&%LjJx_PJa*v#Q~c~g$hRdB1k=3|L(wEIE* z(ITu!I==M4PuH=Ilx&>PDm6+s;x)1jxuX^jEs}NC-MX)X>^6N7Ww=8Lrh8y7*=TeX za*rBJ5NFjUz;y~H4dM!!&c6UNdYyq8osKB1bdAU~4o30M5d*i@{F3AF(Vr;ID;b`> z5Zih|%Cp&hx_?(oe-Bi!=$&z;;0oxiseM+8!*s8ieT8*bcO+7DGVM+SeyJ znn0-|NMEs?sC13Uz}iRNf=lV?bQ05)FH~m7`=OGyVsOfBZRSGSajk%hdC^Hu)?S)F zyK^pqG_PlMm`%~DhtqN87q4;WQc$3`wJkjQmH=1p0D0yrVFo{#_@4*K?k5$K{_5BT z%+yM8K*UZ5Ii1E-7u>NCN%vdT9Ha2p`fn^nRa6ht*^UtVX7p5i&K>&B$G@fA#%FHs zN%5y>Jw&)Z4NVz+@E`E_lvugYCyJ*{ltn5EX%D3+h(#AnD}Kep2$v8|U_`@#e*m{NciE!IdqQG@P~;c`$?rsyVn0iEhGR^h@}7&@WY{TH?g zsbica4_wjKWoo|FrQ-Gc&$i`;aDpLVQt_cq4Arigm)?xZ&WqSie(kRqsa-M*oHGx( z|B9=we6x1BBYZg3|KVF*JXQd!`;4_5Z}qACHjm^koa~~wXWX#;ySD=m@}^r%)P^O0 z1%iJ_M|{}WimL}xdvd#?1)^whQ(5(AkFqa#-ox#NA+Ce^Bg+iC;=xVDTnjnDO~--m z0RqC&O=Sk$#R;BGxwt06Kx&2C%Bd!+6q3P6c=w3{9*(YJP*s@*GB)5rF^>~KU_F)& z{P^NcFpv5lZYTE}&Jo_$dv`?P?d_0lXq7Uej!!T}G1@}%Mlu?BS z9Gx?l69!mTQgqZ%0Sxq17_BM+s4k~!h<8E$;*32d%6?+d%r%Msj0JJf5sq;?J%%GJwpbMI?3mVv_3mUi$4koYw z9}gQhn2DR4i3N>I#r~^|smnKNW|@y*Zjb=C5H~Lf{6CkbTU9us4;uUef;@skU_pK! z839SKpd3gL#Lq7)B_u5)CCe`-!zV^9^8a-)MB`HaW@q8@gBlFtrT)LS0fq_T&r<5d zvRfTkood+F*c-Ilcs>gg5(R}w6u~r*ltC$Zi5-~C;KF2(TWs&*a>PmTW9{9Dkbq9Y zTY^@0AXuwhPHujrIF;cchqZq-O!Ptkf^&Ud{hH2zX+ zzA9fKv`3XczcqYxs{VPQ>KOj5n_TUe TzA+p%ssJ|{1B0xp9NPZ_Q-WXT delta 8410 zcmai3Wl)`gj>TPzySrW7y|}wO1qu{*`*8P5fwowSYjNk|v_NsUixzixwr}_S-^rh3 zCX>nJLKBV!FgpO7w7I|4bcYXTC2Ef{t^N|JD-n`7T5rXO1Pj`@QLS2hb375!-V2tJbe6I-W~SQt&FgfNzK8drX`9hD#Fs5_$cq zeV>)MAFFL6>NF6mGbSQ`;}Gz+lS1crdXyG;k9yF`?{VFaGR(EsUBsJNiyO9wRvay< zi~C9bNH8UBnHmw?F$H!_dm{i|%3P450Ec3jH*vl3&=#0pA-#$SB&omoT>+QJY>o;; zUePR~0p5Z5vvj&ls;h!r3?cL%uz=~sw}-!@z!g>AgJk~OVMi7L zab7UPQtYU@kzDQ{@&J<_D(Wy!@_fO%wlyaQ;6QRL>*%4V1HC|`E>alPk5S{g z9m=8Q@Z}`(b0PQb(nn(U)L^=aQ_ zqfy(Ol^Wd{L-cGO#Fjth@~nk7`_QovP#24uW&Ic;x&chJj&a|aC#+`ML6Kf4|9+)9 zfSP2?UM>SmU^g)}tCx;8gn?6zVNmz@0|CD*anncFgMwFzm+y0uG7Yb{aTDuIoeyTy z`Bw}+IJ&-#Ssf62xssHDH|uXT6;8)>9}7&~nULv6WX3>v3X z_Kbr`>2cgT&&!s1>%}e;aB-t2LBDKt)YaOULg|h&abJv%pN$$-2u5$_qt_29YoyF$=c-3X4-P7RLs(>0C2Wb>uQIlc0M9T3 z2iiN+FMNpvh~}fZCi@?bS%%`Q`3W9Bb6bKp4i8`upi_MKXze&sSznWtGbf|SJ24mr z%kb-{H7ex^5Gku*T;-F>S!FVCWdi@@k;*MI2i5@-@(Z^}Hn8c=P5Z^oExyvPQ|nLt zlBzPU;p%182Rl9du0zuS%PGbisG}f-BUgp{zw0~yL2aog8|FajxgKniIa+< zBJqM#5xB@xNPmXHyCvcTmyxHD!-BL-g%zkL;f?j|5!`3MD+px3FC|eTl;cm?`SJ|1 z`x3_{E~Y0+kZ`eTQeAw%0=UMw)XoaU{%3Z~yBdWpV{LFMWqBQSi=);|0~*h-s>)~x zucpouI0#+{(SXDZX34#gaj$Q7E}iY6Obd-Vbg)c;4)!G$LnnL0R$2oTrEZD1#+I$9 z9(hEs99a=JSvWvq{LSiLfnoW6e63BKF{GVL)*h2bRN0qk1ScaZ!qR~k5Sf682MygY z6}%Bc1SfVksajLJt9%uyFnt^YE$hR_N#?3@{CaAQQGJ4I6n$$ivkgn6N_W>6x{37c z_lbr#h;3R4U-R@*NeGw!bwmWepd_jgioPL|NUh@-CoJ24kSOa#19xA{(4VGc+dlX5 z^;*k(2*ywD#1ut936UPL?`wr)?DKs_r=Y%eI4)C>~tq@*SjP&5?2S|O)4!TOuLp@#Hv zTuSXk;}UZN{~0$qP_G@2sOl}4qdYx@w0J|&i3T^RHSUuftd8M?Fq#fNea<`6H9HZ< z?B1`09Q0N8qUdHeP8HNrNiMcpFw8J9l8Q-dC^yvK*`< zI0*SY(2!XviE5Nu`k@l7J%-IvTFbE_0LT74&Y92qJO=JK;;BP)kHUY{sifv*Z=9R- zN1b1Mrr)48WU1+fu^alT(i1aA1vQ;78rBBSrW4M<8)F>Wlv+(2%1`5WX8sMHL=1lVa6x zL=!#8SJTl#&6iUrDouBKN|ThgH|_(Ae(nSNBw}(muQrc-cGZ^BFISRVg&TZM7G}T& zNq=&ln_HS`SZdn+@t`PIr$W1Be98?=qIG8-1lUTK^xGzo`@A^sVJ zv&i~huHQTEKe!wNv=nUlIsF*QdECL`s8j&g-3Es{2=>-$iy$MP*oyEFv@gDS&X2F* z<&S0)KBb3n6ZtE9et)5!T&V;zIxdW&SCi+N_X4Q+G3I#T0twpgX5amp&*R;Y*9xo$ zZUr5@wc|8mNj7{VT6sQN8Umn@+=ntoN0p1laF$_Ab*4qT`drr#>ntHGcrd>|yN zurl7FR}4Xx6;ZbOR4fIVY0)uJ61E@lifCbD$bB^{<8>;g)W*-Q>5J=L)V~GYoKcz7e3vxVrczppHOXMzHXx0&+K* z@~v;o#givocufM|HOk96LC0LRVt_f>b1MQ7*vE>i;)$#l>Df;zy0z=?CN`z0Kvdjh zH(?&~b)_{e8IU#;;YV>tlQjMgANMg!toX4*(?~ ztsQifA(Anpd!&yT_^|nk8Z=|BcS)I_1whneuD2Tt+_+^#db2DtlP%SqNOO~FA~Mj2#dYZ$0$pE z?wn16QhVt9RDUjNI1fa^y&3+HcVf#t_)IdoGi?_(;T$)({Wm=JLNfBVxGdp;xU9Z@ z`myFP=Sr1o^(P|+&&qVhj!eM0Ntlh^g}?oKPA26YhjHe8-Wkp1zBps4ROz#ZKIt zjtLsoZP6?3qOs3mEu~LkV-a@sf2yoY_aOc7dg;?zqG_x|Pein&NG55GB9RFl-kULj8ANnEH*8x(8Gk9D;A% zeoGtgcjI^;u{MMf+_?*@!a*q3$z?b5uv^!gQpzOL@OzJ-T?-7HO>M&Edcs>|Zl3vg zuREg4GTZ41tn^LMC~pTn`PAQd(|TN-c@UtSX?*dlu*TGs}w%&G)$o!;j5Tc5z8R!n7mtFE| zF`vlXM82u5dAz|*Ld7JV;Xlsrcier+w@-0Eml#D@wh&#c?vL$K(8%vKjMiHjH`2I! zX#%76puW9sgn-Z)Af=oA0}YUy^%C^PG%$tX@1(#`Mo_)~Q%#^B@csFW!L-u%rRCgzr|#+}9iI3EW?4t(KEy$_QfG=|P#D-1}lT>lC5EQ~0HR z^hi$F`L%5;{LkC@ZqdZUlnK(j4cC=l2bmyEiId~!5{@{af%b=`;B)w}Y!v2!sp`@q z&c0vzbKCQ0WmS?F79oD3`4CL1y#%=cuYWss=63@fxe_Q1O)$`nBCopwrh}{cD||Z6 zWh`D|H9mi+NS4wugP>tBqIG`x%>cO<8{LHXV_Lt#;y!5jgm8Zv#nHuwEXL7o+r_Q_ zW7kr0#L2I1eBbVr>2m$m2kV;9TSI|0qFcnNw`>%#`20FG@WQ;KAp~JWK-tqDzfE zTezs(8$Nrg@K{eE+f#IY{m3QDwXrpn~}8bvkcCwK)m9JF0Y=Ox8D!w(-*3|Da4CYNPKp(LDu zB4|@}vNn6#r}xluEV~%msMHwRwlwd=6TFlMdcYat6jrZif{^;9INS=2WyUt79EW0R ztk4nRMf1oE8x<1|-!xY|h&?NU&NGMDN}Vk&lG{~!eKIJII;vgPuM=*bbMLZd$M)Q< zksrD2!KFE?Rartt;7J@pSSIiujwukcB(=;Ja84V%2^T6GM#Cp0o$V+3Iw<`uxs>qX z_ugQaAK`bac+Qf``Gd}Q?87I=l;n74?V=6bs3v?@Pfu&jW+{LQty?V( z=!E6`iuHwJ%DvuW$PN!w-7tnL?hP3tr}N^L*`BT#E8M~R`FW#;=4H&;==*_7OAx6~ zP|JC*L4)x3Zxd1rTwP6h>ftxhAMiP^rQqB$1SB~JAWC`RdtJ*`4OBk8z2^zUlRD>e zFVcr*0k^POy(<_46EAoGMmzwKBXGfk+^(g13^}yX3|@O(P8AF&`upOc*&B{?*gf_H z^j=fk$`H#pg#PMb7LtCH6{ax_Yx2pOpdT9d;NFOIGu$B~x+0)V@Z7fc!Oq*YEFbXKtX%x5DZzgXiC|0X{uvsV<}9Rl__k^xhdrB>A@q=Krci=Z62QwfMv1z~hF8w3 zPL0S|;L7`zJM0FqQ^4)#ismDBVyrZu->;{Z=FAnNFCw+~HNxPNvkUwnvRjOlh40r2 z&{8%F=yP!l?*d(e@6>|?OSkPdx@S8Rzh} zhxoW)dz<;5{(j7#0b-C1$yRVX^LCI>D9EW5MkV=f@***nr&?_GENued1Y9KA45vZe zIW+tIEa9hWt1?*_bnf+b_(MFxj+>{G)vg<8*QK5)3HR2&xAY^)xC_wC|X>9MVs{z-V%VJ<{O@zQT` zeFMque5m8V0w@``T-Lmg)pX5bKZ_1ZoBa`7@npIfa-GN@;NqrGuuLUKgkbs|UGJ`G z#EN%sCKj^03gyGgRvp?31-&;5n9{@%JaF4Cdnj)j$>(s5@p0LX_OHvGgMu`k97|oZ zE7cw2KEkp8E`+03IoPLP3PX;W z#dqoAgKE5dh2E_HO|mn_nWgjjHhVpfistbyxS=Q{tm9nX$=F)Sn_;oKY|OfD9m=vB z34dyRvMqd9t`2Ibs&2E6^74z>rEcxMYyO_&C6ceT!EqF_v1^Q&O2^w3g-nXjNc|M_dU?&p?ZtPTa3>w%HA8;gILb4_dM2NDQZ8b)3K8 zJfw8`2-53@IeOq(_bh(4YclNw*0cI?a+n9bcR;7RVwHd0f?nE=Tqx8_ zv^biJ2|K@XeKtVn-Axq&<+fLH7iE+}xa0Q(4bgwOdA{3e%jep&ih^^1>zeBF6Qyzv zXfVF7Y)nF#Z~T zKmkP)A@#)6>y*US+VUjos3RF#^|p;IsI(PA_hQCw*|MFyDW%RX$M?gA>z54o4uLEt z+aC#5!dv#J;>TNvAcu7|i$l5RTazN3YLl)s25%c5_EuN z4a;8x1cn5|a+di=Fd?`TaP&#L4|96n?9$l;Th0)3nxCM1lYf`b&|98m-hnD|KX z-R<_8+N<#7yl5y{aDRdlMgEnSm~*x-f(gF-B{#(s>#<^*L>eb}6Sybqx*lVy6`D52 zZhoZpP)>M?7%BpFJLVlUW!Xh&Jh$nv-J*Jq$$vs1u=FUe^(k1Wj-1MoV#7KIWuNL} zfxg_H_>ls-{W}^>*Ks!vzbvr;6s5aq1&a&;F&l_D;nm4sTIGWBuUNa$BRWIFA+Y8^ zeJnxFJq9(l9W~-@zj8Jl6)J2D3qq-U^2WX8!X$lkM+bQ;@{Fw3s>BdGo?dvF#ZLp6 z$-pz>podaaq)2RY-h`ZGr5`d!zuF%9O_q?%@W&+UL2f<#(2!+M6rL`?1BIt;d31=V z*WKhSV0(0_XwetNLmG(aC}Ui@Ot%tv{$ebO@cF+e&5^AY|EZ1^#Gjr13z5}40E94B z_g?2E&58YdNSXQQAn_%*D0%jRrcFx2uaEs`XA;haG>|HW4l*jSDo{RzGT1L@(5yCb~K}o}ThD3VpK^ zHFA}ddOv%6srZ1hymUEsd-98HU@r4UCa#MHVcq{?D(S6d>K}A{oHyHldXls z`;D`u`&TrFgr*pzH2@*+EPL>RF?-e^Haa5WBJ-)Zw|A`PYUaclUQWSeU%%5gW3N8c z)xSFQj7m73=jUbooaL1eE0?MU)JGdBP=!=#pwe>?{g-K;_ZQK?~9kTx{Nf7;hNPDG-F~SMK)&JGgHoWVybQsqeuKlJnG}(Hbd-4gRRefp?|aQa|ZzCt=H4V(0O24-g(L?c4?{ z$}|{18U(dQD$>|oczM6ot|0yBu;IfZ%@xnXI+!jJ*e`U2a?5CFCW1jBkU1mNW)*T`WKX3AQZsd+MNL zdLBCepVw=c&jb7Ei{|;z3c$N@@yh$H#Cw-1LzEwj!vu+Wb>h@BL}8(7>=d_{6cm?{ z|8thhEOWj9;!D|mHRl5MnxEmnYs+ljB+9=nuH@rp1PRs!;KM<$H;L#hm7AHNM3pBE zKNr9;EoZyHc!VP_x?fII1H<}^1l!?Zu8RE%sc4g1o>p<&Ok@HJP~tINj+%TH+M=ep z!c+3nz82h_D_S>F^ygz{xpxcsT1iW4Yim|HOk~F(Vs{6 z3Aj1=+&2aV23kAA0m-^i2Mh?lasp&Dd%tNk`**Q#nU()1#au3(Rw9&W-zPl@ZT9`Z z#J0@iBZ6bJUm&eOEE|@8ry|0Z5{IU4L*-QmZ&_guae>uA?K|XExj{4f;V4*@c&)p4 ziQoMgg1SQWYn63{(dRbwP>9j)hfExp-GvFc(2l&|@fV7<0hwY|?Du9J`C;lAeM(O* zMf?z#hOG0T+r8*o(!y^Sp92ii^ldWQOPU(*2FH>h1t1Py)_}mu3+n33Srkm(n9lSf z!V+Sar}W)GzF_HJr-+SRGt`YPn}QR46l9G$32I-oxdp>;lkP-nW)b8uj{Md_4<29o zeY^`u-pLcs08iCIGLL+wngIv)do%|uurcxNM2DEZu;4z1lz}WmBLdY47heU`VROtN zn%+WFwqFZ?~L$9urOkdYMU`+69*}s zXt8?kS*u7OfIf5kgfT@Ab^UIP5mk&d(M@s|n{aCifQaJgd73E_DtK?R*i_P~4Aa=YgR@%GC(>JOr&cD6 z&{A2e?silsA@tWQ$~$@mw~BW)v`OU8BYo>8Yf5Zz>w#4(g?I0xL#rMfifV%!jLU)* z#ioAUP#1Z~|LOBKYGqe~wDuSN)s>Pn3% zX*oJq_ha)1kD~>kxEfgHp6fR--cDZo5X_UfGB{crQ@Rz_oBN=q4GN+&=_ySVG$=`r*;38HlUq%I5{ z;l!|ZEbH*S%DJgd-869XEzCBZ^lvt%@|tsDnj%a4R-%M&T#1H=*48vKXO`^l6}irb zok!riChy&+9u?B@p1BId=AR-iXkspCU|TL|;0`ztxP^EGv!EJqRR62Bz-qz~VQEVX z3G?#`3kt~c^74W}0{nvV!tx;Q_wwBT1SBWTEkP~z|GJo=ajAZAvG;PI=Hce2{?Ct} z8DJO}Ru9)Aj@tCBp@V}9ze3qU5Gr7+6`azh%c$wWu}LHY32^q$PmlDC4}5lDuTFdn z;nRS6dYS b&c8-RtD`W_va^7rM&%bmV_=ZekVpF;pZ`GM diff --git a/poster/poster.tex b/poster/poster.tex index d7d4698d..c0982cca 100644 --- a/poster/poster.tex +++ b/poster/poster.tex @@ -150,7 +150,7 @@ { \\ \\ \begin{tabular}{c|@{\,}c@{\,}|@{\,}c@{\,}|c|c} - solvers & \begin{tabular}{c}Alt-ergo-zero\\{\small aez}\end{tabular} & \begin{tabular}{c}mSAT\\{\small msat}\end{tabular} & \begin{tabular}{c}minisat\\{\small (minisat/sattools)}\end{tabular} & \begin{tabular}{c}cryptominisat\\{\small (sattools)}\end{tabular} \\ \hline + \begin{tabular}{c}solver\\{\small (package)}\end{tabular} & \begin{tabular}{c}Alt-ergo-zero\\{\small aez}\end{tabular} & \begin{tabular}{c}mSAT\\{\small msat}\end{tabular} & \begin{tabular}{c}minisat\\{\small (minisat/sattools)}\end{tabular} & \begin{tabular}{c}cryptominisat\\{\small (sattools)}\end{tabular} \\ \hline uuf100 (1000 pbs) & 0.125 & 0.012 & 0.004 & 0.006 \\ \hline uuf125 (100 pbs) & 2.217 & 0.030 & 0.006 & 0.013 \\ \hline uuf150 (100 pbs) & 67.563 & 0.087 & 0.017 & 0.045 \\ \hline