From 700e9492044f2c9c68182f0932273fc0b3f87f5a Mon Sep 17 00:00:00 2001
From: Matthias Goergens <matthias.goergens@gmail.com>
Date: Tue, 14 Jan 2025 14:46:24 +0000
Subject: [PATCH] More data

---
 plotting/ceno.data                            |   2 +-
 plotting/sp1.data                             |   1 +
 plotting/sp1_ceno_scatter.png                 | Bin 21316 -> 21311 bytes
 .../ceno/output_time                          |  23 ++++++++++++++
 .../sp1/log                                   |  29 ++++++++++++++++++
 .../sp1/output_time                           |   0
 update                                        |   7 +++++
 7 files changed, 61 insertions(+), 1 deletion(-)
 create mode 100644 sorting-output/950-2025-01-14T14:46:14,536528989+00:00/sp1/log
 create mode 100644 sorting-output/950-2025-01-14T14:46:14,536528989+00:00/sp1/output_time
 create mode 100755 update

diff --git a/plotting/ceno.data b/plotting/ceno.data
index 107d6525..4a40f5aa 100644
--- a/plotting/ceno.data
+++ b/plotting/ceno.data
@@ -28,7 +28,7 @@
 887	ceno	13.06
 900	ceno	13.61
 929	ceno	13.69
-950	ceno	
+950	ceno	13.76
 960	ceno	13.84
 1087	ceno	14.22
 1158	ceno	14.2
diff --git a/plotting/sp1.data b/plotting/sp1.data
index 4cff9782..287ad14e 100644
--- a/plotting/sp1.data
+++ b/plotting/sp1.data
@@ -28,6 +28,7 @@
 887	sp1	11.97
 900	sp1	11.68
 929	sp1	12.02
+950	sp1	
 960	sp1	13.32
 1087	sp1	13.45
 1158	sp1	13.89
diff --git a/plotting/sp1_ceno_scatter.png b/plotting/sp1_ceno_scatter.png
index 5e65d8774833610856b88d7041f7c93b8e1e0b9a..c0fbe3de7b0f368f5869356bd1380833204e7bb0 100644
GIT binary patch
delta 2260
zcmYjRdpwi-AAdHNtzjsaO5@QvoOOg!E^}Q(3Q5aQ?$L!&Eaq_X7)P>SX)k&;xgHX^
z&u!6?hFn5>RoGaRZpw8kbIIj5hjZ%r<NL?w^?iSy&-?QEwid#g3SrEg1F&l~xd-Yb
z&O-<L_&eJpMSq%KzL?wYIZz=XNwC>t$l_R9A`Ef}!;u|T?9jvYr-S9&Jz>C#Xyy)6
z+pP{2Tfn~ZcFY+8Ft6XpMTAd={=Rj;J*BR6YJc-kH70Shqa3G~Fa5na`LDF`vHrnQ
zFHBmKtunNX`&1_~piMl60~ie*`V4a@m=beuWb3fXBn&uiX$;?_|71AjKt@Ys1gbSs
z>Bt^KNy2Hhi3Bz?UgkapF?Lks=>opC-YBR2LSLBtJEg@8h|7|{fo~i4jF{6XzytW+
zvxmT;`8(`e$$aEbZSJHI?bM*KXi0ql&t*v&G$`~NE?wdlWk~=#Nks58#dB2Nv7+E!
z%YT0+u@yVMh1TT>k9ljd#sN;Rg5&iNrX0o3sWRQ9vAB0h5s1quNBz13lATk{@_d8=
zz>pRky>qoWo0u=<Z-&xJ-yUCFCC3`s(Gg)jxnznHLNxe*YJ9O~`gVcusTBNRCJ!A`
zHQ3(p6#+!?^YK?sL7sxHDG@{OGZZfZ0Ex_N_`&{9dLF6QwO*{mjR}7mE>qDS>f*%0
z1H#|vNmcLLFwST@^_p>c<8bzri|W;LNdO=%aLlKS#&&<S3_7I!9D+S=iTs65$~u@U
zZugTsq#7KZWjUpPGTgibZB63A{vGleHGr46jUFo5+(?4qUlB*CwS-Rt1^ASq7?dO+
zON!Pl6TS1@t<c%%&bo7K110dfJ{LRc>I3F8_EmWykcC%#gGdSG-XO#~lRSs;!AzGe
zGhje&ZQmcDhl)|h-annGKwN?xD!^~LFHGcJZAChix50?T-hSa+G5)=2Ya|9-7gR)5
zwCAh5o6@NgYt&7`Aq-4e7ur|8UW3Dc2sQOYWhPcZ;DX&SY;r1D{UlbwV$DL$bq~2p
zSA|+iFrdrw1UO(KM!EAJ;!`-k4NCc^Y09ZUAs*l$`6Cc#6><u6%#w)HwF963n8-+n
z9xFURolyTb5r@E#n0X~60M;%bC4o2RUn*X8OXR0mZ(8Ra;tGxg3Y>l-z?wm}7UKaR
zZ<6AN!(5dDwvs$Rj$sr=d`FynXg&Bn@LkVl*#z&L>042k)TsRbwsUwl{pDv-g}E~0
zp}Twj%XtZ4&n%JZ`E-d0+Ip#f2=q(t`Sn4Mcoc=`Qap`p0mr#{7%Sb@pWzQZ?N6A*
z-t-MZ7PcAjGucdZQS^@E(D4)pQpzj2X^FR-HIbq9*j}ar!0z&6V2@sz4O8ZSa9ErM
z)0*n|+w&U>QC|+_ytWHnjS?&fnlR=`PQxpcZ*ao4Q)fie?&{G^`06h=ozU+LG1R5+
zqAh&XhEj&80&Hn#@?V8gZ~z$+wrh(xLa~qSc+KHu@;?l7Qm_Mac=|trvo|eIPDM&>
z_}J6yH9|!*c+DGyRCt<DYA-}Y60^R1c{sLtE_scUIA-EX4$Z;4tfBSt&b72?rf1A0
zC`bHplcCJ0C;XEsNy67yCOIO8Vp?9`n*HOJ*HZ!8rs3^o3T>komVRynQ1e2sOoGk4
zq`3C9DNN+C4_^WvJ4Zq6HKK`0GjKqm2wN&VXbt@H`SQ-Fwr!@AoK4oVDfx`>vt9ni
zusNR;93N4c;lj)>E3r8<pE}E#@UAA`cAKTzMpn9OkV@T1k$$_wKICC(BzwbUu&m+Y
z<8bWc#So^*bsvhDO(QQ?mJc}?N$!j3q%DQVjGb+Q+(@#l9vvgALO0Jo)_F$I;z%ZU
z+=5|XWr5PdRLJ!=2HA0*%~qu*y_nV-PZ($n=;;jWdm>aGj}Mup_2^&I(!0<e>{aqP
zN#Cl@SZQ=|KtCxJ&66JYHoW6&Tf_bPTTJJoZ>+utaaD#m-{@aw$|qLxmmX*j4$chT
zbvA^Sg&#&mw-%dWU3sl7n4>MFAC)IW8slfVj574c`P2^!oUcCB+G0?;$STA3zV%)F
z30X!jF1tIvuRYx4QGgTkiok*BJZ198--+2KE$-dyF0B`sD<;zAJg%EW5P>(N>PK$-
z94Yd(byd0j&Y@o_*hEYt&$uY<wGPye2qp<>o1Eo!>w8zRp{wTI+RwjRSS0e6yvw(p
ztgFl*FiVyxYvkkC$U}*_>LEDU_z)4z!)t44hy0TUi>>;>@<bUcq*-m!j9%gkG|%Yt
z_mTxkw#9V5*|`_v>$1%%aWqb$mwhuE{k>J&wjV_V5uB`$!4N6{cQdkH+kH-qFx$_t
z&|UVf)=VFA5Y63c0n>+cq}TKC^ZACSyrA|P5_JK9&yx|3@za%Cr*Fj8m=i!CE~c*r
zUW`=$<^%7evD_XxGPlUa6*G9;#Or~KgrSd0ptsM}+V2gE{s)R)=B-e7LQN+cCWbTs
zU>f^nr<Jnp<t<!6JJ}26;RTK$3rt@<3Y&r|8UqD+7;3FN42X610-u!cMc;>aj+uRa
zrD`9uFS~lR;bYsTKsRvG28er2P_^$@u^-wpTCz|rEAu|p%{XwC?Bth)ZrOnp@2u4>
zEZtYqK$jlf;i9z6b%N}`ZENM<chf`B@59x|ueemt#oWwpYJm7TT)KBrl}J`15}TT`
zYHZZi6AgFdMBJm0U5j4cU4e;LpI%1>6=@ILkDwdjz@>bdf`P=kNiqyT{t@Mp*5Kd~
h!Nb8eq?_nol@K!aByFCsVy=}A+a5hwVGZ|<|38CE4^aRB

delta 2298
zcmY+Fdpy(s7suaQTYN_@ODJY5`O;%DT?k7Sh0-@9w{J~zt6wpfFqbf+Q7V`89Y48*
zkQ77B{eFpWNf}u~rCcJ0$`Io>@%`%e`Q!8XJkH~D-sha>d7bmA&4D!KK$vNVA@L>Y
zho5esmdWJ{T8dKj(dOvBkv+DoFQC3l>clNFGq!_vbL38G^X2h^Ge{nX+qlOTgw=*D
zsy+I!G@M{mQsJgnu;dFs@7!D<riYgkUauuxnNRe~mF6)f)b5ZjiRQFubL39$R4mBH
zzod1gD^<3A?=L2bh~`9+F1bg9)DQ{;@zg4E#FNHY{@&>EIw(M)v2oMPemDOs4?K8T
z%Mk7ca6i}shIELoMn&w8ni!M0wtlpTzaw1EV^X3kb-X;2P(xpfsA_`w)_WKg<qv=^
zT8VbEr+kcOU`hjF4?1E971JhHvTx^eM4Kow$2GNJRtbL?qp3x;2pk}Ev*3HnrQT>Q
z`gY`|YydmlZ7|OMXGbKj_S7St@CcQpZQ*%En^^s#E<vT-SKt4v+Uwo}3D4V}w5^w<
zz-y>D`NKKLDsNsH0If4yOm&vzc{rW&U_2mjBYiLl%XIwXBVzxAbyje1)Q$TRz@7KI
z{DHa!UW|iT8EI;<>RF1kCkF~qe5a?eJ|mJ~ig}bKUb<AqO6;G&5j&S*6A-Xbdn@h9
z<JZLEoeF061(5E6sC6dV%5h7Kh?2YM{<hw^1pYrvjFsaCa-Q~AXBqm@u2Dn*iP^q0
z$e;JjotH&%K~hoRp!)%6Tg$QUqmmC|2<|2sYuRYu-Ei^Cr=?7lXIW#ICJG9(#$ZU%
zltN5`j2dJ5p38zJvY(PEo}TsxVvtjvO8|9sIXw-R3?y2h@qIU3e<9Z$FzN3w1K$y(
zySdjdY^`5oaO!0;BY-;9J^hkP-3q3Tok<nB?dlkz*f=XA3UoO42(o+!)P+fvg~qj}
z3F%elPe(EkM+%JAdw`awT_x|~)gav@LEQ_64<^fbfiiB;p(X_^N(U_MAUB{zC_3`Q
zrur_<#$I09=L|aZwR5F})b>@=!U>w_IYVi{95;gBzNIV$!szW{gYv<dL`*{cNm(j~
z0ngOGAOYssEO<kcF5o!9knQUkl|V;D&@!z&>9qh}uufK#ISl~AyRifS(zH>u0PA1m
zYXe6*u=?-+Qh-7%Aq4>gQru8E2AgIF!s;1t<k^Ux45O8fP*(-=PCf49*;@S2(7eZW
zlTztx6MBRd9Xl(Gw?lPPJtqIQ@@~69SJAs=0DzU}me%YSp72v$LzWJ*49<zn-kZWy
zGD;Emb$XQJeE#w?il0Zu_CI#l=foKPwmO&9<zipF9zNSXqdHX9G~C)hbqJ%h0-3t1
z^j<kpP}hlocaAsc!77<TxN{J!Osg+akQA#*9h@f*@?%R=YX!aaKAgdc_Y!FvJgZ#K
zFUJgJ%!=*An!g>?bYM%j)_NMy9!sr~I+I0+E>2D{{m-8m5cWzoac>3zd=PQ>-L3xY
z2Xnn)(k`%%fdb^e!jV@_xVL%BM%KWl>^@GhtO=w9Bc1^%ncBSrl0Zc?By8QNO0~ee
z{<&>LbI#LA&AV_N`5NBo>z1LsvccwLvp&_IQyiWbXkcfVXcB1eeI0*v1*&i&Cq?kK
zrT)3>XtTau|9-{EuByi0!D@KtuALPLy>7hbfSqX2V~Ux{t!z>1rh27{yGKO8;?>fX
z;_U<EaR7Kn7bDDf!obgqLZ&#Xd*=o*KJUGs94ckgWlq(-Ln-^+Zua3;IQH*{dM=ST
zd-MyQ3O+H=8g1t?8$DCc3Ti$t*MhWFiq33}Jk6GDNEQ=OkLr}@+30poD~r^fr_-~{
z<yN~GQ8h~vAGP92b3^%8np;S{RZicWgPN_$cPV)}=$iSecRstmv9l~X2e_pE{PQy7
zXVKU|HGxC%p`?DZHz|s?MDcS)8XTKK&SHbz$FG#CH`&Rdb6>5l7<m_@3ofgTdXbqt
z>wO5D{R`s9YZD(y4$t0pov9_!-(zj^Bgiw+)b>KR%*Uug;tye#=R!R^^Kgnx#p4J2
z2KHB7a;W!ME(+xbw~divaQ12FgUc#z;X<d2%USlm*wct3&0fb+*=_1}A?i_|%-+D<
z%Bo#v24g;9g|F^Y(e1dKt{+bER|;8t^6s*ZtEA!eD2257Y+r=UY1eq&8W$py8p$?$
zqZs6)H(%`(!fe@Cm^AhMRk)cT_9MTe(H&X+o^2J-KG~g|VZHEB7oN|hstSwOSSfzd
zc5d`FqY=Y7UzpTQFN$8YNa>B3F6NV-PDL<{uE<ZGQk(E1?_(7vn=^aAX;eh~UcHLV
z#$0-_Xy}zB>n(QJkLvhn!1tbZ_xA{94uN5GG0H96Z^gsN=PkQ)Qbi&BZM6&4Q&(L0
zbXt|e|J_50@wL-}3$@~4%34t=IBVQfm;d>|^L=nAD6`ea#zjLRVdp4c!oK$PY0d`g
zo$k)qO=o9UYFd1AwH%(In^scO^Kr7idZ;n9+E=r`p1%`7z*Ni*+*d2ht^?CmAqRW1
z<GSI<7{bHG35AiR5$+iliYslpAO$|mcEL~eZTsYfjeAs+@G?aBPh#&{NO$u{v7o>^
z55d5kz8}qnOzYD3E=a~bXA(35{jB%~Ju)q$nlES;7%-I(4*kuTieW?Zq7;w5UhZ>&
z-L@2(vl^hI!vu}eJ<kM+t=Y@vZHlJGG*B0d@ORWQade$oc&>{d6z=NA0sE++1Gav8
z#4+?e0s!`S5oE@L8`*=euz;XiK}aUr^&XM~VR2D%TK}!QW9^^1c@16N%SD4xPmQaC
TJ-3p?S8T_Qo;*@uNDBWS^!_}A

diff --git a/sorting-output/950-2025-01-14T14:46:00,120241858+00:00/ceno/output_time b/sorting-output/950-2025-01-14T14:46:00,120241858+00:00/ceno/output_time
index e69de29b..21e65531 100644
--- a/sorting-output/950-2025-01-14T14:46:00,120241858+00:00/ceno/output_time
+++ b/sorting-output/950-2025-01-14T14:46:00,120241858+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/950-2025-01-14T14:46:00,120241858+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+	User time (seconds): 274.60
+	System time (seconds): 26.30
+	Percent of CPU this job got: 2186%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:13.76
+	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): 1611720
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 0
+	Minor (reclaiming a frame) page faults: 1128642
+	Voluntary context switches: 630475
+	Involuntary context switches: 101896
+	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/950-2025-01-14T14:46:14,536528989+00:00/sp1/log b/sorting-output/950-2025-01-14T14:46:14,536528989+00:00/sp1/log
new file mode 100644
index 00000000..52bfb86d
--- /dev/null
+++ b/sorting-output/950-2025-01-14T14:46:14,536528989+00:00/sp1/log
@@ -0,0 +1,29 @@
+2025-01-14T14:46:15.888563Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu'    
+2025-01-14T14:46:16.357072Z  INFO vk verification: true
+n: 950
+2025-01-14T14:46:18.692461Z  INFO prove_core: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+2025-01-14T14:46:18.706373Z  INFO prove_core: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+2025-01-14T14:46:18.762784Z  INFO prove_core: deferred 0 records    
+2025-01-14T14:46:18.800186Z  INFO prove_core: Shard Lifted: Index=1, Cluster=2438
+2025-01-14T14:46:18.800210Z  INFO prove_core: Chip Cpu: 19  -> 19 
+2025-01-14T14:46:18.800213Z  INFO prove_core: Chip DivRem: 2   -> 16 
+2025-01-14T14:46:18.800214Z  INFO prove_core: Chip AddSub: 18  -> 18 
+2025-01-14T14:46:18.800216Z  INFO prove_core: Chip Bitwise: 15  -> 17 
+2025-01-14T14:46:18.800218Z  INFO prove_core: Chip Mul: 8   -> 16 
+2025-01-14T14:46:18.800219Z  INFO prove_core: Chip ShiftRight: 14  -> 16 
+2025-01-14T14:46:18.800220Z  INFO prove_core: Chip ShiftLeft: 15  -> 16 
+2025-01-14T14:46:18.800222Z  INFO prove_core: Chip Lt: 16  -> 16 
+2025-01-14T14:46:18.800223Z  INFO prove_core: Chip MemoryLocal: 10  -> 16 
+2025-01-14T14:46:18.800224Z  INFO prove_core: Chip MemoryInstrs: 17  -> 17 
+2025-01-14T14:46:18.800225Z  INFO prove_core: Chip Auipc: 9   -> 16 
+2025-01-14T14:46:18.800227Z  INFO prove_core: Chip Branch: 15  -> 16 
+2025-01-14T14:46:18.800228Z  INFO prove_core: Chip Jump: 12  -> 16 
+2025-01-14T14:46:18.800229Z  INFO prove_core: Chip Global: 13  -> 18 
+2025-01-14T14:46:18.800230Z  INFO prove_core: Chip SyscallCore: 5   -> 16 
+2025-01-14T14:46:18.800231Z  INFO prove_core: Chip SyscallInstrs: 5   -> 16 
+2025-01-14T14:46:18.800233Z  INFO prove_core: Chip MemoryGlobalInit: 12  -> 17 
+2025-01-14T14:46:18.800234Z  INFO prove_core: Chip MemoryGlobalFinalize: 15  -> 17 
+2025-01-14T14:46:18.800235Z  INFO prove_core: Chip Global: 15  -> 18 
+2025-01-14T14:46:18.858620Z  INFO prove_core:generate main traces: close time.busy=58.3ms time.idle=1.97µs index=0
diff --git a/sorting-output/950-2025-01-14T14:46:14,536528989+00:00/sp1/output_time b/sorting-output/950-2025-01-14T14:46:14,536528989+00:00/sp1/output_time
new file mode 100644
index 00000000..e69de29b
diff --git a/update b/update
new file mode 100755
index 00000000..c7f849e9
--- /dev/null
+++ b/update
@@ -0,0 +1,7 @@
+#!/bin/bash
+set -euo pipefail
+
+nice ./plotting/plot 2>/dev/null
+nice git add sorting-output/ plotting/
+nice git commit -m "More data"
+nice git push origin