From f49a130e2d05378b47c0b4910bc1eecf5fa5b0d5 Mon Sep 17 00:00:00 2001 From: Matthias Goergens Date: Tue, 14 Jan 2025 14:31:02 +0000 Subject: [PATCH] More data --- plotting/plot.gnuplot | 4 +- plotting/sp1_ceno_scatter.png | Bin 0 -> 24966 bytes .../sp1/log | 40 +++++++++++++ .../sp1/output_time | 23 +++++++ .../ceno/hints | Bin 0 -> 32 bytes .../ceno/output_time | 23 +++++++ .../sp1/log | 56 ++++++++++++++++++ .../sp1/output_time | 0 8 files changed, 144 insertions(+), 2 deletions(-) create mode 100644 plotting/sp1_ceno_scatter.png create mode 100644 sorting-output/11193-2025-01-14T14:30:21,603209776+00:00/ceno/hints create mode 100644 sorting-output/11193-2025-01-14T14:30:21,603209776+00:00/ceno/output_time create mode 100644 sorting-output/19264-2025-01-14T14:30:47,419324968+00:00/sp1/log create mode 100644 sorting-output/19264-2025-01-14T14:30:47,419324968+00:00/sp1/output_time diff --git a/plotting/plot.gnuplot b/plotting/plot.gnuplot index 17195606..28a2bbec 100644 --- a/plotting/plot.gnuplot +++ b/plotting/plot.gnuplot @@ -1,8 +1,8 @@ # plot_sp1_ceno.gnu # 1) Choose SVG output -set terminal svg size 1600,1200 font "Helvetica,10" -set output 'sp1_ceno_scatter.svg' +set terminal png size 1600,1200 font "Helvetica,10" +set output 'sp1_ceno_scatter.png' # 2) Basic plot settings set title "Scatterplot of sp1 vs ceno" diff --git a/plotting/sp1_ceno_scatter.png b/plotting/sp1_ceno_scatter.png new file mode 100644 index 0000000000000000000000000000000000000000..c66dde00b3b4f15b24ef0dd81e57b43b11817931 GIT binary patch literal 24966 zcmeEuc{tSZ_wUD8!Vr}u3ezS008a_P<^RLYD>!TD`{1_|cWnh1P`YT1)tH0lr*ZzHsoz*Vnwl*PQCRzJ5400sJwiCfHLeDyZOo zs1*$bansc4g#3n2)K3i+Szc6l0u@$XUT$V)79St4q@+Y75`~0>a5x+g=k)H~yP%*T zJ3G6hM~@zU)p`&l0gJtwp%Vb?{IdR+E?jiyJ^+9L>KB!D+}=!du{?^oQhZVCYv+6N zJpula$pR{)e8VlZC%%u_@SerCgamE>lob}_;e@W8;8_2~pZUW5*wwLk`&IAGyAKFA zmP8*oiU7X2xn-9kseS!ko@+`8IL!+Ti-$C<*&<7E-o?E5ftBL#p8fC3Jdtyb^2i51)C%IvLagBJ#)*~X zwK-8U;{3wZ$teMe$W<9Pq5x3QH8E96l~a%&dFT03p0(E)R#1b<#LW$4E8r9sO=2hQ zrs4|92$dzL?oXA=P^Mz0d>Cijja}9{!)tpNu2Sb#gh`Mhh*n zyQw9nAvnmn39ReTP;t%2D-Q^(olTjm-g49j&pS#&bVKGQoaRhEuuV?P3_m3d;mnqo zg|V&SeZ-+j0BDQztMu+9r z$AhqaqM#wpAR7z7O6EFGG2I(G|st_#|qtE5YSUz>s~V^HJi*05IBDc2c;_InuA zuc?U{%IX{z>*e!fSU#6BzR*@ofT3&mJ!H0h>dJ;4^!>5_J9E2 z9*&PlZKy9iHn&s?f_1`VJ3)}POQ z4R0b!?sT-mA360xMO;gn}5xZGbmWXHdw zNU}flb@jnWk$A-N+SNW-^jDalIrk3m|T%G>_Qje6^8<+Jk@Y#V~h!FE!0%+y1$D@IHepz zf54gz8`S{lmt2gFpdvby?*L#?cUb$Uij~aPb#B3Zq1!l+<%=`Z;jLvB4H_lGAFOr` zxRptnW^e^{6ac(6vgB$>lUdnMLfsQKNcL9OLCZYU;Jm#dhv|Dg(B#f zHy2L{C^qyw@*MqnYo|CFA;2I4YSB*8ENt}MBH=*-0?LCQkXQkqD$@V+)C%LzJ?04j zp^0z+Nb0`O_u>~*1%NWZ4_mjRNIQG-~gODNx@kee%D? zuS9wPU0=%R_%mJ{N$6UbaxCfgv_O_3Fz@R6y1WTN9Xu&SIb1;HHWEe`z~dsX$&-g1 zn0krJrm)Da$tBX7IjQPOpvhgNCJYMOl0Ae|gE0&neHJtdA&{R6to_TM2)gdZ+_B_O z;$ncB-5|t$=RPWEB#XRQEh-qA6~MOvb90mwn(Xww&truPe}`DWbh?h=w=8|=mf(Ve zBDvZY+_~ENWGAN}eD+*C*07P68n>hC)&&()B-TV9H6S7ez;z-RPcN-g>gzi=;x2qk z)L&YQvmTcE`w7DbwYc{E20d_bjvG|pAE0R=@S(Rvw?8@vqWGI71As z_BR&}Zf@E{1pN%30utGGVzq5Y`T+w7BgE!nrsO@2dhsoS5>(&Ab}kgS7fSXwYr;Of z)VP4*V6|ZCZwB?EB7dHn`J@~xgTVowuf4E8uhb+g_Vj{=>H;eHlK9o`B7W=r-m^Z1 z4>w*~`N{~Xe+Hpz^K14E-(-hyA0iVvB#;+6^I3|uNRmtKKKR{OQ3N-a8aVIzRK)@= zhgcb2?*R!^k(dWRdx&9VOEaSeWhHBq<|h-$JsDSoFyHYhiR(-i{(%TT*Eda`nEN_= zBJ#NusI@dnFwY$I{P1{_#+pC-(-076(=%l|Bqd^H+Ga{rGoaCM(8U} z0{l~&Feey|&iUs>IL)tdF=t6XWVo`mj19Z}$3U#~EWj<{G?v!e{xs1T$DeoPV&<$v z#LTy8h%_Hi1Ld41vkr}U=BV5^r`nf%=ROZSMex&f$Hu9_ZTHeN%VS8?Q$#c<>91ot z1Y--RUO8lEX8L&Zcpe^5MY8L)VVMQiS6~QcsKyqn-#DExh9zFlf?6MRw4y1(&nuWl z_rw)-R*O?KYQnV>b=hVX^Y&#iJ!%2Bvgz~%$v-} zI76tAdeQXmNiYYOn$6}Q7lPBYp@+Rl`@aRHXu>KEGI8M#=%JpMK;hwk$C-*6AYOmL zFJ#1Ok;kEba8rst`Xjy{MZSJzR1cyV>e;=bpF*Ue2qy5=5fgZnaWQP#Lo zDuuzQ+@+3#uz!=emgJ%i>swEb-6C@ka%eIPaE#kjT7t{SVR{p?Gvk6HBh99Lj7FTm zLKfuO?!SZ>HhjMGXp_EruhK~>^2Mx&jfye`drvFV7$ufg0{6HkbC<-Uhl0@k9xE19 zcY;`TXUupE`6g|Os-;xX&XP|OOIjs{nO?$DU+)Ww@7dZ^G@=h`p&ttuK{LLj?J9_M zvWhkAlKox67wB!eI#4ZtO6HS$KP26T^rj^Ch;531p)RI6=ph3%*)ucN#6V+9yLAWB zCU7g)_T)vXy@T6q&`HBesqBzE>UpUQOp2A^X(s8oa7t$u9>u-I{Wf&^!mT4^d(<>u zKA(z|l1E(IBw6)2ee%I0pZu~O1t1u^ZHlU%8U*8092!7g0Z!KAajaeDKR2`@TPHBd z)*&gEH+^-tu!0a%^VZllPExKW0@3uU1M~BZE_}1S2eL0A2TIpRQCZjZ7fzV!i{IA_ z++}zee+O)etv0L|TKT>GZ?rReh6#;J4~`Qc#$UJ6VDjdo3}Tl>7MP4qV|K*;yD^9hL;+B(V)_N`gQi#LxL`>^vjO?0EqHMo4s-p zepR3SUeHd9iYTWS-Im!9+lQO!F(J?7+4iM#|4fO{4 zWrkRv?k)J^%A<7e!rccVEo%oUF5PC=NlGEBB{!aXUVPZc+JCbD5;{wCSLd0VPDs!P zct^G^kfWN2NA4v(^`D=-o(TV)1kX~~BTXt8BNx;#JC>;w*BBNx`aW}9xCWzM(eEKF z%lin{R|z#bDS=J$4vhg(+77C7J&h%b> zhKRO`StV1ZK8glOp`CBCTPU+Y8D9VBXX!WDUvoRz^RZu3kYGw<_O7YPlU>J{pG)7_ zMb5UT91H$&u2P|~)|n}{egQ$RE^x4ZcBaF*KdptSB&&O!%~Cg=sGxuBiFy+p;u=i! z6f2?TQD^Fg2scwZXVd2hy{n5iN2bUU3&dDNOr7q}FCh}>nvNPTA=c-`oh=SLAE{G!XFx5iRSt@r?R%eCABdF zf}L085m1_5*gio_Ts>e@D8k9kco1~Lr9c-fG}5Xh>xo1-TiF301G9B2&?)JJ+J7H; z{&U|GTm1SFSTWEB&&5vGhiAd1XXJCBK?r^V0z7AeFsQW$&8w|s#!yTBdf_-#*2n9= zS>{qRUCGz{)FdRUv|4h$4SN=WEo3%l;lfKd7{W?M#l=_|@VYeV6*i!^>LlqLL&L>` zAYaGa-_&n-NucFz?!Rw(zo7g00;1O%B97ZxIVZAy6?kcl0o}2rOAku?2=}LqT{w_& zCI)bf2s(V-9RYc^32wFV@2YZ0&hkv9GOdP>)>{bi2s}&$(&R>k@E3?mrOg zw+Kg2@x*RoAR`FWuyN1i&t{o6_!CQhx038D6pj09Qdb>Yqd;!~Poq-v^L?$0C5rQ6 z_CbkEUGnjD@&nVZ3@e(jk1?)E9a^xGNrF^-5`4bIB>f5{8vYJkWKc;~$JC09&-1S4 z7Y*T`#WTL)SoS+IuHR7BPr97PeBj9u;{&}&%%D12nZ;Z{jT_KM1#Xh?vihQ{Jk(-z z|7_8rmgxk53;#s-8vi@^!9Ha=$K#+AXy0gJ5MO3+J7R`dv~qnfOR3Vk@wghR^&1V% zEwn{Je&*TymgD#~YDAw12hZleyNO)s`PTl$HO|s)*bO`TawU(OuKzLQXU6n^6E2?J zJ8SK0KIu5gv;D;{<$TkhYbq$8Wv-`VY-dU08Tn254@f&olWp%nqTHTG9$%PiUv#}1 zo9@4UZ$mg~!9JvjpbzMu8<9Yd92E_Ix#FG-e+xR@G%6-xSdzznD40b)gs30?*yRl8 zU_E@}6XaYA#b&v<*>l-eYitK6z(=#06&H&*x7+RA?*~5|F`TGa!P^l8IN_+CyA@2Q>>u1pjro27 zgLLTG@E&3v)vaOASS^-o(kG7S%bH&34*0W$sQxs;xRSBD1vy5G5$|&>&}1Kgj`6hM zh8u)tV<%=5Oa_k>wznpZy)xb{&Z(yiuzt}AW8cHroO;x8q5RzNo<%O+Pu4fT4^bUo^0B2jpdgVYw{vvE9B?I zZbZ%DTd2n&nH?V(9XTCOG;V0{>@oCgEps zgQ_Tt^t%uiFXbBva53q3pYzGs2)<&y(-W5}cxX#YFvJ9#7?iAtXI!`^r$8E%tQF5N zxgB@EBqnZZwq)POp_$Krj77bpI%5vh=2k3gvg@jn1LT;*+t&&qLK|8R9@4NUaS(M! zgdQFZi4x3r<`%@$Glqsg?JVx0q!$uzWhi^TbD`JoIEv&oFQNIe_TLc>P1elaF?He@ z%JkJeuT)m-Zm!I&U;V+mFKGL?o?a^A(X;ae{d)Aq*{VFx7u19CS+N5*Xa+=NqH?rLyQ(uRb9#m~x(wcZ)o#V@kL(-OL!uUU zd+LgMl|DMii$5@b`d|hMzv*XXXzHUFn(Uq$!i3kFi0Z(^ zVjkWQI@{btV6mv-$3yrzvfV*v?=3uZ zq|1Q3aZRJ{O2rb}7GtmBR@XPTSu?PwG5yh)4J@6ppWzOe6ONjoMS?WdXC$CQ%muowL?36QUlE}5p;*Vbf(5dI46Sk z`;5NkvjW7OspAAhP8yv5U2JfMujll0N7Dj7h zl&Lwk)Q7*2d*yi5YKSi(A2!qp^kNQ2O+pU{%67At|0p_~6Wev%wsWL5AZg7xyk>e; z{=pE6NjL!>!5IxQ>%M2f^0l(3`Npv8wtYG+5UY|ohj=E(Q1GfaQMuyPZ`O0$WJ*j5 zb+*19)z{)ey?kU;2evar-*@Xo(_rRN>oGEDbz=HFlps`D@Kl_9-Nvnk=*n&pf%Bop zYQwZP%~ z5E1Z(qW~X}Em*#3g3uJ;bTy#8E3Jx*>KcF z@4|L}sXgmQrxuJQob}7~G=vGk+kHvD%w$#Dj&_!V2h(|I9-n^DB>w;p7&0C@5q(FXZ!OH#!<0(!tw3b;B zWI_1pa-{7!yLhsGMUDtMC09^NayTfd#;_6}^l1LqX}505kl&bBf^RtJ?yy-_To~>W zYl9yYJf+#?uS?B&$ao9Xf%QQ5`bmXBcbvfeGz7f&T;5ry<_li9KaLzn-!w+H!GXK9!{D_c z=E8IXT>-_MH-Z+%U$+!3v+G`Y#g-GnS$L{rg?_Ie7}k8gF71uJ#!cLwjqNLa+)-Py z{lQiNbezK0KWg_MzlU_b0KIh=Q`AYo0VbCis!sHuinIf z^4Yr#2Crzh<6n*#O;m2yP~N#zXJ#_t5ot1iFqr_-Ad zl9I%($z4E};ATuNhYAz=5ubTan)1gI_H&SPyMOg+@0kGp>_Tc2@%`o9+&W`3`QEjYYn^_6oU$1=tE4fElj;Pu2hTS^xjp z{eO$5n=b@5PtlyVjXbJ9S4jlrZ_16m=uu$AvR?pb$JR57HhimCGywh&?__|~AKOaP z=`&lyUT!Ao*oz=tB?`vM z&Nd<=>yFeaG=AO4m}j2nb(VR`eNp^{HHIZ-wX@Hf+DJNBM2n)+lKSZ;J$F*}-|}C- z8CZh{?QFZXb15&LQi}5-ng8Tr&T=o!IuRiShSfWXE|KIB$6M?SY8gvwLI!y76eSkO z1lOD;ofX=kbDn5m4OMh&v}P>>!kp{G+QVRn5GO}(CNSZwUt)*ini@b?9@GOfXPBZ? z0sn=yzWJrTsim@-oK>?`A>2|G_J|KRmD05@$*t6TDtHLnAGMTMX10E~QqE3DaFoC0*+gbFzj&0wZ|j-`AHX-I}=UnJu=l zN6~nVs0}#7*s+JrJ?UqC(qUDz*-VEvqL+|l?vBChB?Ud+;VXXL2Cw-TA!5nSF~n8f zM6C5l!0(TcN-O`@W}Bzt$3aA2{;+M?4_RcGQubhgDC1^A(a;&=ut&MjHL%u3dpvrI zEjS!>KWN!iSY9Jb^6h8IwiJ>3c687rxUc`b&4^q?RnR4z&O443daJFh-dIDcCzsw> z&JyY1vlC{&9OB2k3!As{ttW;?+mX5t+4xQN;3I@E=QiYWaK%N%xn5}e^ZDIe%sq)% zX4ysi?=ZDPnIw$+g#bSuZ@h(98fRd=&AdnLZSuF0C~W=iJierdNtbSNjTf)y zk54Ai`JLCA46*Z*G`*E|4wdB=+yX9WT|A?m2l#VeVC#jZn5?`qr2XWTBokuW7VJ}0 z#o1|?mGoL&@2ZOOkMtS^$4BFL;$SzaYuRZ5bs+0NhX{SGsg9*hsdcY(M|p0!c=H@1 z906uxeS_0qt@%hGGr&i)DJZ5yrL5O9fBkTzWoFUi29F7R_agK)!(@S}jJ0>6_JOUP z4UWbg>R46jKBikTa#;vtu>mxA*v)(3m|d3!Z(*qT@!273$h`dmeY(!6diNE1C-NvaFCH?nRUbX*urGiA(v z=;*Fxh3>F*MP>gcD7{hJ%eS#Joovx20i3sHxR1!AlwGC4zY{2cC73?(J>JGndD$(Lxxm4e}YbMjnsW;9cp|-BmUXnymu&V$~i65y_CxK#zoOiOydvk1Iz=LaYVvpd?wv2XY>cR%I)iILl-$0wQqKbaKeJCqgCG@QOvAV7i@pD$@*$( z{T`7F(pSOox;&)OokU6&$od`kKycfpq;VG_R!ejvqTzZA_Iw+liHJ7v8R_b^xe8%0 zOMm73(MMqfrF)#4Ip9!@k8y~^8{c{3724+P-M8$3^PorM*V&IXvO<`L8zgw_gFVD( zvjenSy`GdESpr*ncHfCxJ-Ezh1G7L6CRBfnxIFU+QKuQhj3fHa*?sQAx`9EF83VnJ zV7i|Oo&^QO_$Cl2$}=X25^KRG;vvlW@9sKLT@}logw#3Q^9R>?VSrT_L18s+`B)?o zUVUd^166Q4a;ywHYBuNBN(j3AL(qkTuy5V|8C<*$0-10KY}pMezfeZ`E!(%tpQm~~ zXlY97AjPq}3q$y%0m}ywFo)aORTdWB9>?B=+FS&G=k+W0I&$bKiP=Wu{hqV{M7UWD zTJV$Qyxk-za`lDyXX{US8yG7#Ck44g_q}%a#0=LQ4W4ii_N-66B10l{PL!4)4t3w= zr`-m9iaOfhmF%-C-r3t0VTV&P!PKlzbV=){gzn1p6sbD%C(=K2ucPpat?N0JGF9_4 zVPq{FSznS_I`OU(a!tV7ncv_bW@GQKPV3uyxfOi!MGTPjGf-{^BU8ceoQtDAh^(8K zcNLI*tO?_Hva`$}4W0P^hm6z_@%#eH$d z^`s|==muUqNy&|H*B8N`B!zyv#_tzL{`5oSV5H?7W96<_Pg55UY7NwxWbb^m-?j|i zF7qOaYYIB)gLSWJ;?Maw135-c|F-T&R39ObKyeO=rOv%^F%iVbuInNDxjkgB?#ifP z8a2NX;G?`&5@h-+tdbkQN`EuRnCk@G*uVHjiX=yx=vjEHl$w&V-1w#Xo7rB&DU*yjDE-3^*Ifwp zH|bs@p{ze@HUo`JrNS!n)uaGDRh37F@x1bRVOl$6XHJ%?oy%2Jf^!f>H1I37N!Uemqi&pGktRTHsEgH`tcE!MCX z1wc%~v@1F$LB^O8SocQT41*Sr( zhoW7rD!1}Ln79V=z-+f)9>v6f#@#)RFGfQWJ(I5pNo>Tw`0cs$Mo4E#%*iJmAuN+C zw-V{w7wjhO3dSaGl1sACMc=JqpMKv|VH_s@iU)D-pUrYTuiS~^n}#9%$83u85PK}2 z^zgP?SN)liZU}V|S0f3+7K#)v>wb6O!jAN9rsDQj%e5yw_y%QAXA@F8E|*>#*?EV9 zCr1^<)<$Fxh-A!3FuSgjD}Jk`95aLI9T|il1f9cvKKoP-~ZN+eM$HboA+w*kndiAIicM4TT@rQgy+U(B?(~J&V zej&-NRe}kO?5 z6VTUjV6rhBJnMxFs&ba@Qo~Rv!?MGdMWBBqUIguuxrdoC6djRn2YDuQ<@GeM`yEUHtDiA< zo{%2}A+j+KPUzp;drTI4@9hNfUpiappx9z`5y;chk)o3Kb4|YYlSV$xJ^RC8kX`oz z5_z@RyufU*m9FJeO(d6qfL7Qw!yRC1e_nR{lJ2FozPtp{g$qtCA}&)t!}mB>=f-26Yw>?>*(g(R0EhxEbQ8ijr)RS@jP8mIsAe zc@4dwoMG{t^j`rwz(m5tnV!VCuI|esCvt=?ffx##;z`7mEz-6|ccH5=^4!16IDsaq z((l3BW%p@P0mjpjbVc{m`|{?#Bgx+#*&_7zpT}_h2?Sc{cel8nFqKsFc#lib-7%=$ zN#c@^Ahim7lG^EFLigFi4AxN1Y(pKZvVTv}Qbz54Uv}U9_I?)cR8kUfAKc2ZlC1NL z+E#JR{7*gB!fDGw@g4T+4K=^Xg0yjj>b3C=&xCltrdfiK68*?`ad~Zuc)!Y@l*5I-Su83Ty=Iy}CdOGk^X`dtI?enI3{tZ+`jSRJj zH);7d)?ezs-Qc8|TN*-YsjI@0${BsOgVkaw+W@1)rxClOxr7^Q^;PPY5#MyIzo+EC zOB*c?R5wTJE(m`I>4iF$@P19v3o1V4aEq7wq;4Z)&RAjaEmu?v)|dy&eKH}o-=ZGZ%ni+-in~Jx*=bS4i#S^1}c@9)xL6vKs`0mj{&wm-TQQCKgN&RF>E z0&TX#|7Pdt`sCm~UCL@qnJBJs%95A*j3;kJsR;V8nT5~Z`3EgAdjf5uxFidJ(tMsWy&N3i(IA9lI;Kd(?#p&NGLQGfRzoxSqas8w_;d()+%qxoom*yaw&M z(NmVsGgyu$ew`kQoYv`ldbuLqwE(xmedG^}~${ zjXkV&)okBu43vSVTVrD=O9u zWRa7VD{|G~3fX@7S50O~c>|L_lIB<#_SJam$Ylfi4^jCa zCS?tdyUmR{DjanN7W2(u0nNq%)y8|@A;-F%i!asiGT_3*>BR2bfQ2uA{s7))e#9ZF z+O2u>C)$tSXP>o>9_`KuS2X>wkt)-dX4EzWL4PX?18HX0y|bosytF*AOI$VYQWfLJ zP3hHT(qAivY`7bFGmsAr0s|oqpB5czZz#`k$3F2Q+a03H9Z6myQ&zRvs+V>&M*}0HOo*xK)-@i6vg!i+hdyaBy*rRqMXWzFs_9Oe80Z>? zdL(M_4_xIjS>Lu&^=96Q`?zlMLshNlV~^^7+s>(L>~ztm6AitJa+|~%>1b%p{}RtK zl)%QzU@J{qi0nd1QnG>oudxK$?Djk^*_I#Lm`bLvn3Ar-5o_qlGlojo?mK?Ly)|9k~mIQGR5ytdZRGTE_z)P4WcfS|u*%AuK{x$jFO)wJ(H>zHdIIvru zAaDPfIOfiU3ZcV88AD6Hu?S8aQgN>GCUs=CwqqG#VDuY=>JCSWf+#6Ui)TZhtB0Bv z4%Sw`CWz(zi+oPDj2!D?Pei0F_mOHU=K{L=7A&`l)Ik4GtV%((&-Ie0mg1?GUHb4; z5wz{TY*(ua7XQ5T+uvdExQ%@cA`US<4wgbUy;B-`eE2N8!jB;bu?-&(ER>3oi_CG5 zaJ@iYfIqssPZ&KmcQ$kbod9~qQT&o9uj@x89tHi*yc?J`#fs-=%u!Cs^mNk{@d=+< z4I~r|4lK-cOwc8O$R047IfP%xd=U&iq$gpcyS5Xui!59i-p;vM+26UIepIVKM;t@S}~T}rA+Cd(I?VX2@^J4G-1VD0hG-2B-t=g-8`%XTNq zO7kggg?+@>g8s`C&f><|)S^xAIUSO{HuQ1!)v4(`nc6O`welSBtAfh1lVWc~$^W?| z>1=wlb|1pd))OuRq*3zewQKrRPRLW?B#6V=$M@dGQQohy2Q@uNcXZYv8NOJe49L-; z!Qw;^020;)XOhGh94f~ut#-QWnix-sKVp|R4f>-ipgw&D3s7XGLNLdh_O`0bnk>M& zy7?@~A%vWNfF?O~4GL;6_}}YXvVBqN{(xC73Ah4BWf*Hsh4h?-0B1JJ0iG2dKT6Lt z@Zt9FT{rf5msvdqN2q<`XZBszgjt_nd!0t`&$`D6oB; zPX<=T<9G8PUYmX7m$^D)6!*`ddYJZwOw{9Yu=w=?DnsQvm~B~F1Ws;1clN*081wsj zHxWyjF?zlA5-9HbqBUYfQq3^l6Cs46+&e}9AoOFsFF^CZ6m~=qSbg`gS_rt&i2yD% zEjnq6DLnF#Tq7#}k9zVf+zQ+k5XL5megDtvq4Ybu7_(rk7B>Q`r+|}@H10o-O83g? zZK2?MX9Bc&b1HmeFZ3B`DoTK?HPIH~A&m($^Q*%!^|47eCWFXhswR(@nk z9{~ozd-LlCU*grZ7DO+_oZZ4|OO(Mv(}9nu_}8M6))#*U4J^8O{{snm8l@%|Rd|ud z*Fpp>`Q*Wp=Mxsadb(ur3TM#Zo5GH~jAOa#8K47>x9VKmUj3W3{@aF^Of$fz`&@88b7N z|Lh;MFx4F-_`+2lm7WuT0TbizgtDXEuT(Uu>d&D7cnFPhUW22?$B^9#T4yp)dp9b( zY4C1HxchIj<=BcBif7cmpZ#^eJ1OhAAeMEbUc7(3lFDKC>my)**zf|5igj~gCX_?W z{UGXZ?=|jDWIA^BKodp81uH{W0S6Z^MNhGOhHO$Qr((N@OI*|3T=AF=p)+yH!wYWY zKSbnG+f5{ERUOsOPCs#%i%2D}^quqP!pR-We0lNif?N2XFM=llTQ=nrb^qbOQM^`n zx^5V8$r(Q>g_PuH0JIa}hnx9bth>A-CHZ#@lq;<+C%wr6vn@B=zu6)?54$FiaprSlG46-!_r@E&%?(T2dGp}d`{4`u6XJv4DM`1If;5~8NY}s1rF6*LK$q`F1fMf6v zo1!dQ67|D5*o?3uqpG72UkO$V=9!)@VsP42iC=J0W=0&nFK9v!SA*3L^tJ()Ko>er z!Ki5^JrgzVGMi{RXCE8&mDYn`y)Zl3EJ1u!ga3q(gv$b1zaa@jY3;W2!d^rmZ*6^P z9oLJQg=@7amW!HMAD+KEpa^lkc?y&`u=Mx&Z_h6+m~t{Twm~aOZgeONXJ<^-9I&RV zK!CJ!W?Dnw(@u$n>3vII#XcG$>qe@S|Ip~%nWIwFSiePOUdGe4Q`*H1%SkOToRXjI z^mqs|k7Vuo>iO7pv5oc!G)UDKoo=MA3EeWqv@G~m7RPxrGixDWS_Sod*8SY4;NDx` zM*0^ncv=sk0pDzJ&6DC8U7knCbJu$2=#6@ukG&c_{|e2FYryrsIO(4e|GEg@Dgh6h~dO%zw^s@lze5HTWlcDLoLQf?_Vd8#G!R@Tp1-FxLZ@p9=!d zuXMM5^S9HA-D=zuzG*Wv+ zOaZ;5QVwy5|I8?VtT~sfC#N zg<;;bmud|h9B*FhU3sPacW2;1_rwZg>ZRWp)O7CACyBHZf%aSyz70w6`_Vrxj5u3% zf}Xdb03Z!oEKrm z!j<3e0`9$1MwQC-5J?Q5%={jkS!Jz#SYG|Sjbb27)$9R@7z~!gCVM`g>e@@ajJ2bX z>oJ+afzA4jbqhzq9wu9IwhqIQ??%!pWDQ7XFAX)O-oMSTXz73d?NT@tfZb~zq&(~v znnEJ%zE3)YT_8GM@*Y?txoBK1Rl4K)g$LLhm0N`S6}M*--*e;`8grHWPMIDxtBZfu9 z2=Q!x>7@_C_GNv#4T|AAuP+SD1RgwT>ZPO~rq}%QCL{2<>Nxtxxn_mnX+!#BJ7dRS zW${T$0Gu-seyzsjgSyLV&T7ws-J)5*@8zK~<;r-Z*V_qejd*LahtG_49*)9i0VCu) z>PpZ2fcCFu}wydpvi9WN`;=2#UA_dtK%Wnf*HhBYHj@V2uJ6? z#36v=nbHLey(|ft1ic3)cW(7%>4h6j#uBCwfHN~6US5Mxh-fssGrM-it0;ZcQ*RG5 zkkR4+?f0xodz;JTcvk0umLi5koZ>I3TGf8WvwayJ&}6U_nbeqZOMfDSbZ!*uO7VVx z@DfK2IGl~xrbO0xjI$+_-gM>e$S-N#Z%b9jJiEHONa>|JYaqVPhSn&r)Bv*``**f3 zCp}D_TGa?__DP>5&;yqYtWl-j9toyAb^{!1tEH2w%WIr|6#Lk#UpL$4fQDRD0*$rz z(}DJrc5CI4&D6Ksf_!Zl*vY6N#Jk%qTvaQK+oHX4z&N^86w0rn}M$_+-r%qz`NpL6FMHIrk{VOnOZWzaRE< z12z?-to{0symaA3@2CNaC}4nX<;L5|=(ztD+1b@sHI~wJV&8UCmWhRzOKHZzO^-&o z@;u(woM*rc7Oo-eqof@r6WGM;K>)~NphA`f{B^l-k$Y|87PRJ{3vCCf=P)*Vz*c0x$Wk zb*Gp5=+t=wKt#Wjpc;8CcttR?_PhQe;q6Ut>M(GA!hNa;H@}<2lNLCY2;Jm-HE7ueG-T_X1G~5U zzG>eIXvY4)?T^I5qq}zbR2>74KHvD^8j;}6?{|6<(yjdpdVw~JI{$RdX!&FA9c8H1|%#LWJ1J0;>bLnY$ z9GhQ^gfRf^>OO*MtGauB`iFDZ&FGeJUTGgdEwZ$m57%>Zc@2{3_oMkTB9ffVBjQ*7O;j1|Kk}2 zajPw*yiNTDR(k$Rj|Nj1QPJFi9+196Vd*#CFJ=o=M2KZU(?v+C#XGlmJc=-&Kc41W zk>yC94b5vkcq|eA{GXF%@C3RkOw03UM{}A7qr@#JFm`H=VYbsrH%!T3O>x!P?O7by zH!Y~h^`^qz5RxpObiwv6PY$#Wgu`z6H`a+N^Idkoh70pq7;k~y7Pe0Rye|wnP_}(_ zLjH_kOD%A*Cf+RokkNfw_2#)Zk0-b3WrHrPRY0dn`S8rK4Sdel)q-FHW}ly}IqkLk zB>D)bcv4>gO@H4g)XL$X^>`;>eY%eyj}@!DyR)qUvAwSs!K)-Iu=%&UR(DkE6G-;? zzXBfp5ni4yNYrPridQZ~vj7?O&q4ex=BBpCyW33XO7C(SF#v7mjdO5Cs1Q8|F1l#D zGGYvQzvD!O{2C7>!!!P+B-o&2-dYVArg9zJuT9$?77f*#?6N4d6xenzWSIbe#QT6l zPSPg?zr8sa7*mN)a>Gr{Cv0a-IsepqYcm0taXbWYg_a6F4NiFoOhY|ET|Bb=8K1kdw{IM zJHqJCo=ayzqlWrB{`QV=)+osGWZ`9Fa7*ub-oOn2I^Pq9j=XvuGoQDq#(&UmSRO3{ z1_vuF#n#_!`0t1TCWGrHW;z{^wq+?B9(2B@K;tbFl_$Gycr z<@Sr`nQIB6gd(t`2TVJn3mxX|-XNF%=iSE*kC)mrBs^9U0q(#18!J2Cp8xy9*WfJ! zBCxK(+tbU$PrR$SbCvIL>7CZE`lStGNLkX5>q*hRYkn#vI^Y4-hl;DtEDG`(>H0~3SvGy(}slw-OPV?*v~NV>zOn6TJEE6}srU?Ki$#a07ezuyciZpWmAQ{d(}ryTBFH$l`CG?Rw)s zT{v4|F?@@)*}T^kJ+=K8K?2Y*?p&MeFJ*qqEe0LS3hf)*%3F8&pnT@*W1F5oA-YTulnVFD`S1V+^(lpF<0NnozcCn-59;@ za%Fu^HJ@-=^--Ya-$$yR-`ZREINUup@jO(9vfP&lEx!2XhkGaS(U$f3s2k`~FV# z?xQwlHtz$j+D~fRWmnF!`>9pz|9O)qMz8xldB=U}XH|1-rO!<hAE^cj~*eJ|~bIp5DZw|vDbdCp{8xre~Rw-?7Of2}l%t6qQn*?#@e z>))mg-@|vuY%g!z@${ESNA$Yq_JViCF53UURR8DMmWaQnzW%$o{WOd)KXrAdZ?C|c znmelYZr>iuJ^56#^)ARAnX>WiAFG~P)$?E6eClh(QOV;m=XFahf=}hFk2M0Om&FnH z>u1XSf7L(Baoy+V8`9Uu%$Kj79b*ehKYGuzUu}N4@87)tcP#5ci3fN*_`=9_r=Pdj zZjR~Sypl(L{q=o|5`gJ&-tI17fVgecVod`12<)x=$*a?6&-%096OyE{k)KNT)y8cQ zWoUS)_xthFqS8u1W`+Y 18 2025-01-14T14:29:48.536291Z  INFO prove_core: Chip SyscallInstrs: 5 -> 18 2025-01-14T14:29:48.710256Z  INFO prove_core:generate main traces: close time.busy=174ms time.idle=2.03µs index=0 +2025-01-14T14:30:20.219938Z  INFO prove_core: execution report (totals): total_cycles=3532027, total_syscall_cycles=20, touched_memory_addresses=43079 +2025-01-14T14:30:20.219966Z  INFO prove_core: execution report (opcode counts): +2025-01-14T14:30:20.219975Z  INFO prove_core: 1094549 add +2025-01-14T14:30:20.219978Z  INFO prove_core: 614218 lw +2025-01-14T14:30:20.219980Z  INFO prove_core: 575137 sw +2025-01-14T14:30:20.219982Z  INFO prove_core: 295685 sll +2025-01-14T14:30:20.219984Z  INFO prove_core: 183164 bltu +2025-01-14T14:30:20.219986Z  INFO prove_core: 146709 xor +2025-01-14T14:30:20.219987Z  INFO prove_core: 139745 srl +2025-01-14T14:30:20.219989Z  INFO prove_core: 137120 or +2025-01-14T14:30:20.219993Z  INFO prove_core: 136315 sltu +2025-01-14T14:30:20.219995Z  INFO prove_core: 64182 bne +2025-01-14T14:30:20.219996Z  INFO prove_core: 45864 beq +2025-01-14T14:30:20.219998Z  INFO prove_core: 43117 bgeu +2025-01-14T14:30:20.220000Z  INFO prove_core: 24792 jal +2025-01-14T14:30:20.220001Z  INFO prove_core: 11708 sub +2025-01-14T14:30:20.220003Z  INFO prove_core: 7244 jalr +2025-01-14T14:30:20.220005Z  INFO prove_core: 6180 and +2025-01-14T14:30:20.220006Z  INFO prove_core: 3625 auipc +2025-01-14T14:30:20.220008Z  INFO prove_core: 1515 mul +2025-01-14T14:30:20.220010Z  INFO prove_core: 454 sb +2025-01-14T14:30:20.220012Z  INFO prove_core: 289 lbu +2025-01-14T14:30:20.220013Z  INFO prove_core: 210 mulhu +2025-01-14T14:30:20.220015Z  INFO prove_core: 177 blt +2025-01-14T14:30:20.220017Z  INFO prove_core: 20 ecall +2025-01-14T14:30:20.220019Z  INFO prove_core: 4 lb +2025-01-14T14:30:20.220020Z  INFO prove_core: 3 divu +2025-01-14T14:30:20.220022Z  INFO prove_core: 1 bge +2025-01-14T14:30:20.220026Z  INFO prove_core: execution report (syscall counts): +2025-01-14T14:30:20.220032Z  INFO prove_core: 8 commit +2025-01-14T14:30:20.220034Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T14:30:20.220035Z  INFO prove_core: 1 halt +2025-01-14T14:30:20.220037Z  INFO prove_core: 1 write +2025-01-14T14:30:20.220038Z  INFO prove_core: 1 hint_len +2025-01-14T14:30:20.220040Z  INFO prove_core: 1 hint_read +2025-01-14T14:30:20.220048Z  INFO prove_core: summary: cycles=3532027, e2e=32.523103307s, khz=108.60 +2025-01-14T14:30:20.225747Z  INFO prove_core: close time.busy=31.6s time.idle=903ms +Successfully generated proof! +2025-01-14T14:30:20.753101Z  INFO verify: close time.busy=514ms time.idle=2.10µs +Successfully verified proof! diff --git a/sorting-output/11193-2025-01-14T14:29:43,583017833+00:00/sp1/output_time b/sorting-output/11193-2025-01-14T14:29:43,583017833+00:00/sp1/output_time index e69de29b..7e987434 100644 --- a/sorting-output/11193-2025-01-14T14:29:43,583017833+00:00/sp1/output_time +++ b/sorting-output/11193-2025-01-14T14:29:43,583017833+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=11193 --prove" + User time (seconds): 1318.12 + System time (seconds): 68.20 + Percent of CPU this job got: 3741% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:37.05 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 19547292 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 18 + Minor (reclaiming a frame) page faults: 13403898 + Voluntary context switches: 470200 + Involuntary context switches: 90399 + Swaps: 0 + File system inputs: 0 + File system outputs: 912 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/11193-2025-01-14T14:30:21,603209776+00:00/ceno/hints b/sorting-output/11193-2025-01-14T14:30:21,603209776+00:00/ceno/hints new file mode 100644 index 0000000000000000000000000000000000000000..7d9eca11ef177e96c1ba7b6592e488e5b240d40f GIT binary patch literal 32 OcmWe(Km|LsQTYH6wE+15 literal 0 HcmV?d00001 diff --git a/sorting-output/11193-2025-01-14T14:30:21,603209776+00:00/ceno/output_time b/sorting-output/11193-2025-01-14T14:30:21,603209776+00:00/ceno/output_time new file mode 100644 index 00000000..12599e30 --- /dev/null +++ b/sorting-output/11193-2025-01-14T14:30:21,603209776+00:00/ceno/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --package=ceno_zkvm --bin=e2e --profile=release -- --hints=/home/matthias/scroll/prog/zkVM-benchmarks/sorting-output/11193-2025-01-14T14:30:21,603209776+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 780.24 + System time (seconds): 54.03 + Percent of CPU this job got: 3309% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:25.20 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 8002024 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 4690753 + Voluntary context switches: 983096 + Involuntary context switches: 178812 + Swaps: 0 + File system inputs: 0 + File system outputs: 32 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/19264-2025-01-14T14:30:47,419324968+00:00/sp1/log b/sorting-output/19264-2025-01-14T14:30:47,419324968+00:00/sp1/log new file mode 100644 index 00000000..2f8a4b46 --- /dev/null +++ b/sorting-output/19264-2025-01-14T14:30:47,419324968+00:00/sp1/log @@ -0,0 +1,56 @@ +2025-01-14T14:30:48.765692Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T14:30:49.226293Z  INFO vk verification: true +n: 19264 +2025-01-14T14:30:51.564171Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T14:30:51.763437Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T14:30:52.726263Z  INFO prove_core: deferred 1 records +2025-01-14T14:30:53.027140Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210 +2025-01-14T14:30:53.027176Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T14:30:53.027179Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T14:30:53.027192Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T14:30:53.027194Z  INFO prove_core: Chip Mul: 2 -> 17 +2025-01-14T14:30:53.027196Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T14:30:53.027198Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T14:30:53.027199Z  INFO prove_core: Chip Lt: 17 -> 18 +2025-01-14T14:30:53.027201Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T14:30:53.027203Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T14:30:53.027204Z  INFO prove_core: Chip Auipc: 9 -> 18 +2025-01-14T14:30:53.027206Z  INFO prove_core: Chip Branch: 16 -> 18 +2025-01-14T14:30:53.027207Z  INFO prove_core: Chip Jump: 12 -> 18 +2025-01-14T14:30:53.027208Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T14:30:53.027210Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T14:30:53.027212Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T14:30:53.027486Z  INFO prove_core: Shard Lifted: Index=2, Cluster=179 +2025-01-14T14:30:53.027491Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T14:30:53.027492Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T14:30:53.027493Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T14:30:53.027494Z  INFO prove_core: Chip Bitwise: 17 -> 17 +2025-01-14T14:30:53.027496Z  INFO prove_core: Chip Mul: 11 -> 17 +2025-01-14T14:30:53.027497Z  INFO prove_core: Chip ShiftRight: 15 -> 17 +2025-01-14T14:30:53.027498Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T14:30:53.027499Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T14:30:53.027501Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T14:30:53.027502Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T14:30:53.027503Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T14:30:53.027504Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T14:30:53.027505Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T14:30:53.027506Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T14:30:53.027664Z  INFO prove_core: Shard Lifted: Index=3, Cluster=179 +2025-01-14T14:30:53.027668Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T14:30:53.027669Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T14:30:53.027670Z  INFO prove_core: Chip Bitwise: 15 -> 17 +2025-01-14T14:30:53.027671Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T14:30:53.027673Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T14:30:53.027674Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T14:30:53.027675Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T14:30:53.027676Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T14:30:53.027677Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T14:30:53.027679Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T14:30:53.027680Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T14:30:53.027681Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T14:30:53.027682Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T14:30:53.027683Z  INFO prove_core: Chip SyscallCore: 5 -> 10 +2025-01-14T14:30:53.027684Z  INFO prove_core: Chip SyscallInstrs: 5 -> 10 +2025-01-14T14:30:53.256959Z  INFO prove_core:generate main traces: close time.busy=229ms time.idle=1.71µs index=0 diff --git a/sorting-output/19264-2025-01-14T14:30:47,419324968+00:00/sp1/output_time b/sorting-output/19264-2025-01-14T14:30:47,419324968+00:00/sp1/output_time new file mode 100644 index 00000000..e69de29b