From bd64af07fc50f0513c582e430449591b01a6b6df Mon Sep 17 00:00:00 2001 From: Jonas Peeters Date: Sun, 17 Aug 2025 10:37:16 +0000 Subject: [PATCH] Add/update binary-search benchmark --- ...3_ELEMENTS_1024_ELEMENTS_TO_FIND_100.riscv | Bin 129896 -> 129904 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/binaries/binary-search_BMS_MODIFIER_23_ELEMENTS_1024_ELEMENTS_TO_FIND_100.riscv b/binaries/binary-search_BMS_MODIFIER_23_ELEMENTS_1024_ELEMENTS_TO_FIND_100.riscv index ca02c4cdd4b87f1cd6b872eb3c38911b0fb10211..2aeae81ae9a3710833d747ea0bafc5de6e3d6dbd 100755 GIT binary patch delta 11845 zcmai)3tUuX`p4gQW*9D_GI)VOQ!b@QgrcR8RE!ryx4(h;H!>}})KY6HrG>6?69mf) zJnDmH2zUv#TwvUwK5Z-O4echTtfIAIh-lt0C9}5ndCqxWW%#t)`F!U5-rw_m-s_w* z=beGpcK568?ggRpYT=-F9R(otL#gmFyhO3$D}IyVEBPxU zD_M({1A~6QZkBvZmOJZZhAHD(j1)bG8m}`Q$`mW<;HNw&MZiNwUJ91Oxa@^`Ci3@R zs*g^Zp?AJ`n9=b15mK~7OF>?}I#mz_9R^j71L?@Cus->;4)MdITyr|+_Z*sGz>Wi0 z-Dv<5MoK|3Z#78t)W}TKnK&2=zOHkO20(dL>?!a5(MCSS=@`=S&^~t?m{IYp6tT(1 zYjcM(#b$T#PtU^l;5j324wjEF+mG4}bARup`skz?w>u}0Ia7-D`0AAOU;SsZU2~(j z?)@DGzUz6{9M`u0HLCDM4buQ9FO5CLy1ihq z2wlBi30oA(ybFk*+BGz$bp3hUJvEf3-T@jf+m)>*Of=`cVmSX9+oD0_Gbyuq0h0yZc#kvC{ zdP%I6TXhBd${iPCxqhK6*)-cBvomk!d|KV*tQ3@}<+^>Rjqy&4?)rtc_8zf)?dnmp z@_U=ztZvzFydg}pj`o&SYmQYHzPYb@*t@;uz3F+sI-h9iHY}~B+b3(Bxo(aoXPdXp zG$e0y;ht;=&b^WuC{;Iw2S#k6q3kO;QJ$SSJ$2I65f`MGaMK*^HCh|mJ==uxLHAIS z)7=M{+(&C3KJi}emqVhknCE_3o9Z*bmUrINOBS|%hoe6yh53U#t(V1 zo7-1&#gMt)&pK>GgHKzVwYH1?>QXPy4&sx z%;|5vKH%bn)``uNPFJ@`VH<~Cdk4j3jm3cv3i()@W{dLM{6~#<;M_nGqW>CG)Pf>4=$6H=CrSi96MJWj&qG}(O&FPE%TiB^!%s9UjE(d z5id#}JB=1Vi|ZXMmut`WeiqS}y~p`1Yt_#A34Jba_B|J}SsUONE_1cV{qDnamfu1= z|K#_fulsqQb4BOBZEn9t%dzyY?qjw6{>|9Z4toZk?+q9x^PSHG*rjzvtNA0O>3yR7 zR>YbIdW(_n<77zSMe)(HS#RyQ-(0;y`@D}9ux!k%`7I)3SIZdc+x&sm@D(j%oQwLd zGRYNM*ZxE0E@y22;ZiPjz83g+5YFjS#{vtABW|Dvj{o_Ia}k}GIHMcJMoxc?GMwoP z+z<`Qc?Hk!1bx!(|Hl1I%ho9#9uJ9Fu~mbgnN&m{NVts?q5ROe|=Y$M$v~-oxGUz_8`#VtYIp9XsodbE1dE@_=@E zd8ivoUY@hh>whqt4jgl)yyIy)5n{nB{*%lqHAka_%fx<=Yj*;#MEyG3Kj{-_+l9vk4+IWv>j8_LUJ< zn$KQo5qqWO?3LEAS6atj>2dZ-TiF|$A;e7%DD}WwoDQY_?3ISHR~p4$X*_$SN$i!T zu-6s)7ik<&n$KQo5qqWO?3LEAS6atj>2dZ-TiKIR|KcVGlzJTF6=3!6q@nDUMzL2K z&t7Q~d!;GtQT6^s8V8i-vsYTgUTHadr8Vr8*0EQ5oW0Uk_N~Wo8>g=T2X3-@;3qj9 zO8wa@4P~!1ioMc!_DYl3D@|dalEHf6N?X}ysKQMS zDE0U!uK=rmCkW~_c=k$@*egvje1_nHNaF;h`RtVzu~%BoUTF<`rFHC;9%rw# zRrh%P83nuxI62dZ-Gg>*I^d@_y9w&JPSp7R`D0`(*?3Ko|SDM70 z)k~ysAVpiatEHspErZJjh;RJ-SjL~FWIC`ud>rv9=+4*Obb`+$!ZcqHmdTS!OS#9b?5vNw?AKM1r_#z zU$8yG>Mhd5%Tax8mOeHaypeYe!lM1)3?8M%{~-71DRMY>qnb@DBk$XYno-eY?WtYC z;bS=G&LC6n49_U3MM-vU+x3P|m(5tiG!l_qqdl^3u>6}gcVAz5P+NiL!`ileU&#sD zlKqJpKle3e(T*Y~wVCm}>KLBA&4qR5?jC40hZkB?Vbm&W?d^%^x=y^ysO60zufEvT zcw#^mMb~KzCt;4)9E7jn_kH;e!LDVhA~76ehM0+8>t(SHYZ$gus|T>+4t&Xt#JXWf zc==#y5B{Df_fX91DLie$xcs|@1NACI8%8xMrs5dAPNEIKg8ZCl_ajtq6V>Z}z!Qs` z^)CPaGWR(E+wqo9>GRk^NObMn&zR(J>iQQ9>2SLNmoW?_IL^XwuiofNEvT+n#y%>0 zeSs($3v$0+53_~v*@J<2?pQZ<%CsOkt;{Vn%^l6fj%EOlz=zUem7%5=k?DyY+2qU( z9l?9fgLOx(vfWwyrAeZc9uAiBL2Yk+h@7Ui);naeGwcYGV&{EdJtt+1bM;Y^G{ux@ z5nuIlesFA@l#R|`8oH5mJ)R)DP1t0tkPj_?y7s3NQQhJ-k>EkkCaK;isrGQSKs5* zWq2|C<9#+qu#rYZeDSKeU;DASk36LHIvXPUY0-Gzs!c!pxLm7Mo*gOg)-IhL-Yw=Y zM(s;@LHo38kuCG&M_O4+q@1E1Z3&dg+KrYt>^tUMoD6p^J%k@F5&=InU^SF=nD`R?!Xvi9wF4jJLR=OTt8wEHh*$S7^sr3Yk! zcHvT`d|KOZIZkFezr8$D%1kZpYQ5a6`L_jkKU8H5Y7+Mfm zsKu|B&P{E@y9EvM93`ZiFq=IssBT_Zh!xUm{x03qn-sKLzxK~KpHA3nen)zmFm0sO zEIgwq9~A@UZ__=kXop$N#ZoVMQU;MT2C-SqUr5hx7%=G_J!yW-XunBs*{!R2qu#U` zy%)BG`6WhQcj1Tvv2m;UYrQF}d9x0z=2J%1NUM44ni@H%&q?OnrKbnwHyAv?YTmKt zXE`k6OP!l5jgAawHUEuU+mr6;PqlXI6F@a;hgi*fje!WO`Qvnb`Zg81*J_sfbb<`E znm^K)&CPB#AJmD}Ty0E9T21C-P$6ZqY_GPNWSChNSI4-?Tr=KT)epJJ5oWm6MUFQ$ zmI1mXhz*gxkPs~Is{YJd{@g=0R38kKeWb~{?GCR--fTC8S5jzQ^_MYnyEK*QE*4hC z$nMpL9+u@MuL!<4%)!v)A%m-n9de8G%2d%1csNErU;V*o`9ZL3hZmodgJm(iLlOg@ zlQhD=NgCk3KjL3Gtgz&d=)&QBk}~+3Bm%mopk!7*lp>enrwi1+BnM(M=SgC~HW#H4 zqUXwIu$gt_tWY}_TMGxzA7x6PN&K;{BDME(qkFC+S2f@6DC?}MfERXG?+UX}hb z!5|4xPocvYTKgKdIn@ZWOfwwIYQwRtH5|(Z!;hpaU0Dl-jx|JWcb|A3}6 zIZl3N1X;c?9LsUTu{0X45$YFWi>(W#Klm@gW?LX~5x!3s4QvP$Akk0qnjVMalgg;|Kpb-j$N(xm_Xn+wK08JQ@v4)EU$6|Do499}+8nr&vkYqz< zy2v8KErQ4;*nYthym|7CP(HL#=;{(2cVIfcDXWY)%Ld3wM_iPSBP!Dg_+(%zo#aj< zm8HUP*I23@8S=|6v;3` zua#h5f!FNEfksu_0O-ehyr;O~gsTuCw}vaX2I*hN3s6k7qva%c#l($f7EbhPYN4 zijRE4GokWLoO&8GVHRE%KccgT-|d=Qgb!Ov-V2VEnAHwXuEea#16;E<;`7-UWGP~~ z80ty(gM16?)PemibcbL(iv7_cu2px_Mie`k4~3Mq8EUD{DLC;K-Z}drs6cno1;}28 z=SfOn9m!QVh+^+I)wR7(x*P4i4z@zf@&ZR8u7TGy*Q^!#Uzzobf$*G8c(~1Iq!~&P z%j@tVwq<|rY1c*`_BFD$f?S1NRYBw`Og;kR(b+A}xF&DwfxCK~=c7=#N{+J+f6*29 zp-rET+o-KG5Tv18gG3F7H&uO&p&UFidePY;=0FzVNpoG>8r0js6QGiC)jU`H730~^ zMEG#3D_-Jf)W#3M)i{J4aID6x;svf*+4|q#EusNZ3Fp7&io@+jBkfR1_)MBBZeaWw z)DxbpHak=akIVo%TSN}XHMpXOz`h1Y;tS(RK7oZO_Mg?ph*I%*Ouri~q8Mr^s}b6; zs@->`YsXXWqFjsU4MA%Wzt9Pbeg-aw#I@K+1!R#Nfl5r4hv6W(B=`} zD%T#e1C1v3LMmVnp_(fW4>IstC?(u)wJUC5yb9_GTh_SZ%wVH-9LORZN&`d|Vb-Zm zSt~+}tQMF-Sy!Quvf}uc2x4@szMIY#kpQ)nwH4Yh3#aV44p;YZr{rJmF_If0aUI^5 z0k96U|@q0cSDoZC89xxPdo7;s$KwC}ffBhDuDv$JD_MIKDApdk2Hp!9fxT zsU)MIlq4JKNlt+*MmY_UBvzO~5&(rHaZpS0GPD(AnrQrD~%oK*}>lvNBrQdUfvYu4MG6$6eE%!+|0OE9akQ`Th8YJ^h6 zwBD550Ow2OGj=O~@uD@NV<{)&1WPeF912S@IUKg3vzJx6_WvR$mq8mP;{&J+lOrIy z43pJ9)M!_TM>shXvdZLZ_T)XTZ7q5T6HQjU*le5dT~zb>HKWxe^L_X8Lxyk!WPDhxKGmv{3b8DiqjCZ1#u{ENschSOUK>B z5J)6^hMx(l@o>a6q30lr@K%2O=nqV6VKif3s3aWKY%IC{bVodsaUkHIVCi19ZN;nz z+JECQQQr*-@dju00|(*PpE7W!o+QLOj6Z=?!lC?}9K(1Q<2g`DxS6qj zkzK~M&oeFt`7YwcgN(i>=vx}h!FSFkJVY8q5>DtezkWLQ6!|cNum@xMRfmp0=-4LW zp^$KFr`n5j>?I1ImazJ~)Auo0djn!xdVGu!-aptF8ZVmokZ~OZl_S2!Z(NGrvk>)+ zr$Qp(IsEu;VSI-1B*-E>fuGN+_BF;;P)T?;KcDAtZBw){w8PLuc6P{s}5AgrF-FEJj@xE)dntLOFw#-kX22BnDcn)+}Xeir2L<2#PC=5p2{ zz^}IB>_vPVs|#}rDEt%6$0I>HzKQ0}9Jvo=E;;r)rm zD)eUj6JrYm?Le${TMGL=XsqGOkVrUjdm!UL$Re!v#6?CQBAW4Ds3hEu{~<%i z(_DK3V!CdVp^32i&EJPFo+lU&0o!|s5Amgy&9zgx@kVeE?#(+C`sXY}wudv`4Yh=`V=;a^ni$%{U(%g!l4{W^?U_7~|Ji!fSbdsV4k5OFfP1}BMIl9xhp<8KRulexD3)f@Z2#`rq45uVJ8`Z^EI19uQ~b&Z0cO2nr(8e?PY)2b^JJ~^2Jz}vgS@i~D zU9##O!MZ=7O}SI|2mJ95>yQkFT9QVPH&H$X2T5z8-`xnV!s3o}x@+Xu4aQq|({s%~`&)fh2 delta 11786 zcmai)3tUvyzQ@;^fq_B98BB1Hl7}f$8K^0i*^D7d*V6&>c*x8!tnAz#P-j+^miV88s$ zPf0O6TfMv;jwzPi!B5P=_uy%jHw}-!V)hwo2<7{lf7Zs)fP~LR* z6bt!-Vu`-TgSrPe)A&;~7(V)H+M#4 zAjNMV>H0jfn2y$+yefp}YHq_s%cwhrOuH)Fj^mp>&bXGLr=)mobif7Msq(9JK|&Y{ zgGBk>p**p6do;R*-=mjYr`pG)%^^wMqZu2cD+q)%@ zoa)xsvT&pk>KGHU@N)d%pa+eG3ojd!9etfa=Pf;C>A8zI^0QJ{KMXS7ats@_;2xuR z)KEObrWZxhi=j_>oJ8YVY^U)2dnXp<6kQirMRr2yG>T&^F{k*tz~PCQexc8C%;@gC zO9mJoXZO&(U1HM;N8vlsKmH>l+nEyihvUZL{;l2Z&z>=gQZK9vVr+ci^aKVaVxn=~ zdA|%Y28G{&`zOL9Ek*Yjv%+@=nnO1{-Fx(+F&1}`qh1sZX+xW(sJk5}!$#4kjJ)o3 zGRW8emTx7tmJttxP&jZBosjWRM4Yr6&qq9k=$nYq4%<27Y^10=BZYHW^x1f?kr;WW z3^aZpc^B@BBWL6OZ;>B|FFfZsyYl?^r*2%M(|het3sa3RdY-~cAGq>ye|OX%8SKl6 za!Fh0IqP<$^LwR4hPti&LdAVSqh)-|C9!=$&YPPCTkArN#$HC0Ej4HQ84+J|CYAcO zez@R4)9*Ml(l;-<%pyY#XYYZs#+TZAh?G{}t1*wn;yHconGt|8Dy?5Ij{o_GUqp2L z;VEGld*Ja`D5GxPj6g(p6}^o6s-ov{->rBQ?tfRjtV`g&`2|Dqy6hepXk0FS0;9iK zK>PO>^tUYBV;o-ah;?&7sxe?;L}byZ%io>Mj;ieGuZ2eP^0gFdPEWD?CP|@H)i_f~dKRV2vv*fJk9#AycxVAVU5M^PI zulMW!VYLJ``<`1CYLzx)c1iTDHSeYkDn2WW;Owq1g@O$-`0|{ zaQiR4)FU9w$XwG~wi$VABJ*>`gd#xGlwPv#?rT#@O2ecNj*IL3}tCzjj8unW2*=ucJ zueF6es@cD2SnJsgT2;l_WAlCmjhZ0*lR6e zuhq+5YYls?_3X7au-Dq6e7@iV(Z&f{#bKTSR!1j|VXrlby;e7Str_gKW}6)C5SnJsgS}RJHV3ke!cAxGn^&mrnvJ~8d&ApWmGhodn(;kk7RVk(_WNGr zZ||4O1Yh}uFVSv$ZYw!GE1|wO`R;g?s^34O^p2gadtQ7Ofufs7G)o+ov(J=5=R#=TFZSnAi3Na{rTPZ?XX)H zSkx%2qcI%t2<~nXmPM4Z&u*RcPcTtf))D;LsQvsKnPwF4$;|<9vqgBFD8`abJ1} z_o3F(eb#QlXv;hyXf35FWz@FfVRT&|x>dCb#ZX8z4lJG63Ti02W-+8oB;+}SFXOjr zxr$)dO5KpyS_|G4pTsZE@*NXyV|atA?!|_i@FgpWg<(j9IPho}{%R&aqgcpexLbp9 z`H6u84Jk#NNG(2?h+_=-4s8@3$OA;XHBq~2YS(SA9S_%-T}EHvKKo*wQ2Cg79%~7S zu04&my*=_bC^P>yb;b!aj?n>p#=FcSuQQ7wwh37sb+DUQ$X95y@j!lV*1-%R9J?@( z${m|#w>D>x9Mk3(G{0%-=+1RCaonwg@`h_ewP&(%$|qNLjIZ}K?mK9c*L?4OZILJ& z8selJVjO6Umsv(zqeoWw1~yrwrJ~C49=gpp{+rQKrubGJ#N-s;>O)UU+3d4@8%EOO zaE1&^Tcak$LDN6Sc=|+eZ{YoS2)O~WivHaAigiD*bzyiEP zK6#%_6P9k)Bpk1$BtxF=CHEM&o{pDMh6nf6##5&sk!8lmr|*+7#`V)f!csm^tuNzc z?zmD`|4B@8XpwrJQR#+}0@TjhObhZhN+>L9M})5IrJ{%=SB7`X)G2A#wB03$6ID z@oj1!5|*D}A0cF*uv+Z_sDUAP;1<$my)@4rO1eVYZ3x1x(r!VGwC0-{XtN4xVZAVq z#AaQk_(<*59hGPnx9z zyIL#F+E(--SQ+zItIlr4!Q$X-))QtYHtQNQZnGX&Et755b#K+n{=JSd-yrS5l>e>b zQ8w#F2#|76euJ4{tx+8*XS43$a=Yi*ds4Gc%`>oBcdF*`HtQ}m5Mi_a_dIi6oH}%e z4QGs|G*+q2`d{XZ2D)t4eI~J4KT;igyDXP01D}Ng$6YB0CE>kU*%38{D z!{j*Gt*&W=TyK$yb+3A4171OOV;__W@%C$8b&0Gus$?WAe_A^16;&!!X@+)FD5bh% z=m!clbLdwnoiBSp+%q!V-n3q&C7CV9KO>Xu7XHNcg`JdEO=$_WDs85jcJLXjR>`5I zW+-49h7$R@9%qIIQ)n)Sc2lTs>NGhOZ*j2y1=&wlKs!kaxL!nQ2G5J~3E2cy~EtW>VjPrS;pysO+cEuL9&wERT5-C7!F$-ALpmh36N zP$8Cs%CR&n$8t=$W3Y2J&fH1ULECIRiI_ROlNVIZ1<0I(IX0-BgHsZ03e;ehbf^$Z zPvv@o^Hm(=ZOYvSdE`={@l_n;xmU5(L#jg3TV39V%82QB)p>&{yjd@2p@)8!iPKI?Tq_EE8)Je{zK@6OD<}i2+n1Q6FcF> zh-rl5!9zG9-oN!ATo@8gg*?J(o$ztSW1tGLoD3f?!&#W#DeE+@OsGgS$Tx5n5+L~v ztW}SH66m;H#>YNoU4tow!gh4+FD<3g9};{@y^yl=KYz5~~v^mb-IJK+NT<(Hzk9b&u(V&B3^3WH3N z?NCVa6V$$i!>)k+=v>Xq{42{_sQ}#%oGY+$_#6Is6XU1BgIKPGM^|9U&9E57_0^mH z$>F_Ktpm_VS>r*1yxa0?DGUTTKo-Fiz#i(${2P56qZ;*rQo?11KQ4?_I0|+Weq*^m zz9UXy0quz8NU*QOfi=D5pEWdIWgUjhm6&xBo~5iyow6S2qq0UqEoF^`{ghSBzpfCY zE&X=d2Z+t!EXR{P0G@J8ZiYw8@nVgDDhg&mBe|pCszBEh(n-d_Y?3nAfZ}Re=|99D z>DwTdbwE31g+uJyC}Sa$WGNJqtbkgQU}zI` z?ei=K@XX6eM#6p+*9%_%ezqsmYNvBX!RNcLjZ&2=Paea=}aFom+3p%k-FHlTCq)g1Q zo1oo`t1Js-;wq3%unLp)no=ik=gJ9Cix?Mut(05|KU1<^TI%FiI5`nK)tEdN@~Sa; zE-bE=uh6P%4Gw)wr?uZQ9F4Hh3NaZm-VW2(VC9u({AV^2SBMVLRd}J4icG`*CFr;% zAP&dN3RlO3Z}4gWzo?qq5XQmKPIyJRYW))9iHv`O*tIx>D==)W%d*O{c1v6*AzOxa4`ll2^a9(>d8wsF)j_Dkg&Vc+~%0rAyS~0@S;ww z%MjDGbO2fjH}j3rZT5`6urdA&oa+(q=0%RV-o%vsjIV%)@C1HDn~#3PhZ#?UJi_=- z2WHuyxcE87X;4LY3qQfPGX9luHZ&4Gz)$c!JgHrWsgdKCmko&ZqdSUmEaM7DCafRb z{9RBaF~$cNVg2a7#C;EEd;&@d>qqw@#t$*hfSnugqhA2+n1y#h`$oLsmO$o4Y;);% zY9s^9g|-ki+@=}|5#!^wd?Q|_df61im5+1QSI|mD^a?R9R`F|$@%`9@SUjQn7-;_f zDMawSYEA}%hwuyIcnDnlR>spIk8pG!h3QvX+6FLAfGWaz6+BQ;@gU=C&`4PSuVGKd z;}ARXrqu>=Gvb8fs(6+XF_l~Ifn>sZ$%5~(xy@!A4pRs}%}bUMj9+KG7D@?^k5g3- zGA?JF06Ph%@+x0nrrQ{&K|A3wj3c=9A;yy-_ILNf15; z)F-Hr@EE>vCUEQ97~@wY!unxd!FUkk&Cp8NU8zp2hVgR7+5h6;|A~$ zc2_8ThFc$E90hrVm-30}2gUb{%b<#I7|%Ihui^&dvCv3(94~I%Ts#?Eugkopn# z9AjKS5+2EG!V)fC#P|}#))3}6hJ27v5Y5h>rYMG9hdEeg!Qu2{IZHE zN4fY(s3kn%9W^Z%xb-Eo^(`U`S_!xD`+XVKqF!~ukL)U?B~ICs`JnCZoB@+V>hJ# zSq`=9h0PdPjMkaO>m2=$$m^kz8tHpP7TABlM*7iJ0O@GK{ew(`njdh{SwKf^bW~4A zN!RgbJN@ID7t*g|TfJuR!eX>ga9svVFYKq|dUb5SA&0KGVTRN3&_0HrgxCTt6ezTx zj_cL2{YPx^qiXRZ{;Y?YB>iANNfX$ALfHlBBw?_aWCrXfSqJu?Q67VIlH;(LWD@LG eV*dr*kC0BX9u|}AgZ(6JVE+qBIHdnY_WL^vsAUQO