diff --git a/plotting/ceno.data b/plotting/ceno.data
index be45050d..bd70b96a 100644
--- a/plotting/ceno.data
+++ b/plotting/ceno.data
@@ -7,6 +7,7 @@
241 ceno 12.84
264 ceno 12.34
278 ceno 12.18
+280 ceno 12.72
286 ceno 12.53
341 ceno 12.87
356 ceno 12.77
@@ -41,6 +42,7 @@
1553 ceno 15.07
1574 ceno 14.25
1590 ceno 14.84
+1593 ceno 14.78
1595 ceno 14.08
1602 ceno 14.09
1613 ceno 14.98
@@ -48,6 +50,7 @@
1644 ceno 14.85
1838 ceno 14.77
1875 ceno 14.84
+1899 ceno 22.68
1927 ceno 15.24
1936 ceno 15.02
1996 ceno 14.46
@@ -102,6 +105,7 @@
3477 ceno 16.18
3481 ceno 16.56
3542 ceno 16.66
+3548 ceno 16.92
3628 ceno 16.71
3631 ceno 16.64
3693 ceno 16.89
@@ -134,6 +138,7 @@
4490 ceno 17.09
4530 ceno 17.17
4532 ceno 17.07
+4542 ceno 17.96
4568 ceno 17.12
4596 ceno 18.1
4597 ceno 18.54
@@ -149,6 +154,8 @@
4931 ceno 17.28
5004 ceno 18.25
5019 ceno 17.77
+5026 ceno 18.4
+5132 ceno 18.65
5136 ceno 17.67
5170 ceno 18.03
5171 ceno 18.51
@@ -158,9 +165,10 @@
5260 ceno 18.55
5272 ceno 18.82
5344 ceno 19.12
-5362 ceno 5777 sp1 33.77
+5362 ceno 18.54
5434 ceno 19.28
5439 ceno 18.51
+5555 ceno 19.52
5567 ceno 18.57
5572 ceno 18.65
5598 ceno 18.67
@@ -180,7 +188,9 @@
6081 ceno 20.01
6138 ceno 19.31
6176 ceno 18.72
+6213 ceno 20.06
6244 ceno 19.14
+6248 ceno 19.55
6276 ceno 19.13
6289 ceno 18.99
6301 ceno 18.61
@@ -224,6 +234,7 @@
7495 ceno 19.86
7529 ceno 19.46
7614 ceno 19.65
+7630 ceno 20.55
7649 ceno 19.99
7664 ceno 19.78
7673 ceno 20.46
@@ -272,6 +283,7 @@
9359 ceno 20.88
9405 ceno 20.77
9435 ceno 21.19
+9459 ceno 21.25
9505 ceno 21.56
9525 ceno 21.82
9679 ceno 22.72
@@ -284,6 +296,7 @@
9781 ceno 22.1
9806 ceno 21.79
9837 ceno 22.68
+9846 ceno 22.67
9896 ceno 22.64
9930 ceno 22.8
9953 ceno 22.99
@@ -330,6 +343,7 @@
11225 ceno 23.85
11258 ceno 24.28
11301 ceno 24.26
+11307 ceno 24.62
11352 ceno 24.4
11426 ceno 23.93
11500 ceno 24.26
diff --git a/plotting/get_data b/plotting/get_data
index 6ab29712..5f4d3247 100755
--- a/plotting/get_data
+++ b/plotting/get_data
@@ -3,17 +3,17 @@ set -euxo pipefail
# find sorting-output -iname output_time -print0 | xargs -0 grep --only-matching --perl-regexp 'Elapsed \(wall clock\) time \(h:mm:ss or m:ss\): \K[0-9:]+\.[0-9]+$' | awk --field-separator=":" '
(
-for file in $(find sorting-output -iname output_time); do
- n="$(echo ${file} | sed -n 's|sorting-output/\([0-9]*\)-.*|\1|p')"
- system="$(echo ${file} | grep --only-matching --extended-regexp "ceno|sp1")"
- echo -ne "${n}\t${system}\t"
- (grep --only-matching --perl-regexp 'Elapsed \(wall clock\) time \(h:mm:ss or m:ss\): \K[0-9:]+\.[0-9]+$' "$file" || true) | awk --field-separator=":" '
+ for file in $(find sorting-output -iname output_time); do
+ n="$(echo ${file} | sed -n 's|sorting-output/\([0-9]*\)-.*|\1|p')"
+ system="$(echo ${file} | grep --only-matching --extended-regexp "ceno|sp1")"
+ echo -ne "${n}\t${system}\t"
+ grep --only-matching --perl-regexp 'Elapsed \(wall clock\) time \(h:mm:ss or m:ss\): \K[0-9:]+\.[0-9]+$' "$file" | awk --field-separator=":" '
{
if (NF == 3) {
print ($1 * 3600) + ($2 * 60) + $3
} else if (NF == 2) {
print ($1 * 60) + $2
}
- }'
-done
+ }' || echo
+ done
) | sort --human-numeric-sort
diff --git a/plotting/sp1.data b/plotting/sp1.data
index dbd8edb8..c7446a43 100644
--- a/plotting/sp1.data
+++ b/plotting/sp1.data
@@ -7,6 +7,7 @@
241 sp1 10.83
264 sp1 10.43
278 sp1 10.44
+280 sp1 10.55
286 sp1 10.77
341 sp1 10.53
356 sp1 11.07
@@ -41,6 +42,7 @@
1553 sp1 14.42
1574 sp1 14.6
1590 sp1 14.66
+1593 sp1 14.79
1595 sp1 14.58
1602 sp1 14.79
1613 sp1 14.91
@@ -48,6 +50,7 @@
1644 sp1 14.79
1838 sp1 14.63
1875 sp1 19.26
+1899 sp1 19.77
1927 sp1 20.18
1936 sp1 20.07
1996 sp1 19.58
@@ -102,6 +105,7 @@
3477 sp1 20.72
3481 sp1 21.16
3542 sp1 20.72
+3548 sp1 21.3
3628 sp1 34.42
3631 sp1 32.11
3693 sp1 32.11
@@ -134,6 +138,7 @@
4490 sp1 31.63
4530 sp1 32.01
4532 sp1 32.5
+4542 sp1 32.62
4568 sp1 32.51
4596 sp1 32.39
4597 sp1 32.82
@@ -149,6 +154,8 @@
4931 sp1 33.67
5004 sp1 32.78
5019 sp1 32.14
+5026 sp1 32.82
+5132 sp1 34.86
5136 sp1 34.73
5170 sp1 34.4
5171 sp1 34.21
@@ -158,10 +165,10 @@
5260 sp1 35.29
5272 sp1 34.34
5344 sp1 34.26
-5362 ceno 5777 sp1 33.77
5362 sp1 33.67
5434 sp1 34.9
5439 sp1 33.35
+5555 sp1 34.66
5567 sp1 34.11
5572 sp1 35.17
5598 sp1 34.51
@@ -169,6 +176,7 @@
5617 sp1 34.15
5730 sp1 33.66
5749 sp1 33.76
+5777 sp1 33.77
5833 sp1 34.63
5846 sp1 33.97
5885 sp1 33.6
@@ -180,7 +188,9 @@
6081 sp1 33.75
6138 sp1 34.28
6176 sp1 33.75
+6213 sp1 34.53
6244 sp1 33.65
+6248 sp1 34.63
6276 sp1 33.58
6289 sp1 33.57
6301 sp1 34.01
@@ -224,6 +234,7 @@
7495 sp1 30.82
7529 sp1 30.83
7614 sp1 31.62
+7630 sp1 31.76
7649 sp1 31.77
7664 sp1 31.85
7673 sp1 32.2
@@ -272,6 +283,7 @@
9359 sp1 32.83
9405 sp1 33.32
9435 sp1 33.59
+9459 sp1 31.81
9505 sp1 33.82
9525 sp1 32.44
9679 sp1 32.79
@@ -284,6 +296,7 @@
9781 sp1 34.4
9806 sp1 33.97
9837 sp1 33.84
+9846 sp1
9896 sp1 32.66
9930 sp1 33.53
9953 sp1 32.9
@@ -330,6 +343,7 @@
11225 sp1 35.68
11258 sp1 37.06
11301 sp1 37.1
+11307 sp1 37.76
11352 sp1 37.26
11426 sp1 37.02
11500 sp1 37.03
diff --git a/plotting/sp1_ceno_scatter.svg b/plotting/sp1_ceno_scatter.svg
index 5881fe43..5519b4e5 100644
--- a/plotting/sp1_ceno_scatter.svg
+++ b/plotting/sp1_ceno_scatter.svg
@@ -46,12 +46,12 @@
-
+
-
- 0
+
+ 5
@@ -59,12 +59,12 @@
-
+
-
- 1000
+
+ 10
@@ -72,12 +72,12 @@
-
+
-
- 2000
+
+ 15
@@ -85,12 +85,12 @@
-
+
-
- 3000
+
+ 20
@@ -98,12 +98,12 @@
-
+
-
- 4000
+
+ 25
@@ -111,12 +111,12 @@
-
+
-
- 5000
+
+ 30
@@ -124,12 +124,25 @@
-
+
-
- 6000
+
+ 35
+
+
+
+
+
+
+
+
+
+
+
+
+ 40
@@ -137,11 +150,11 @@
-
+
-
+
0
@@ -150,11 +163,11 @@
-
+
-
+
2000
@@ -163,11 +176,11 @@
-
+
-
+
4000
@@ -176,11 +189,11 @@
-
+
-
+
6000
@@ -189,11 +202,11 @@
-
+
-
+
8000
@@ -202,11 +215,11 @@
-
+
-
+
10000
@@ -226,735 +239,762 @@
-
+
time (s)
-
+
n
-
+
sp1
-
+
sp1
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
ceno
-
+
ceno
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -964,9 +1004,9 @@
-
+
-
+
Scatterplot of sp1 vs ceno
diff --git a/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/log b/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/log
new file mode 100644
index 00000000..598fa181
--- /dev/null
+++ b/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/log
@@ -0,0 +1,42 @@
+[2m2025-01-14T14:26:03.967667Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu'
+[2m2025-01-14T14:26:04.419064Z[0m [32m INFO[0m vk verification: true
+n: 10423
+[2m2025-01-14T14:26:06.736808Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:26:06.836562Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:26:07.306226Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records
+[2m2025-01-14T14:26:07.486264Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=54
+[2m2025-01-14T14:26:07.486286Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21
+[2m2025-01-14T14:26:07.486289Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10
+[2m2025-01-14T14:26:07.486290Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21
+[2m2025-01-14T14:26:07.486292Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 18 -> 18
+[2m2025-01-14T14:26:07.486294Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17
+[2m2025-01-14T14:26:07.486295Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 17 -> 17
+[2m2025-01-14T14:26:07.486296Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18
+[2m2025-01-14T14:26:07.486298Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19
+[2m2025-01-14T14:26:07.486299Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18
+[2m2025-01-14T14:26:07.486300Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20
+[2m2025-01-14T14:26:07.486301Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18
+[2m2025-01-14T14:26:07.486302Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18
+[2m2025-01-14T14:26:07.486303Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 18
+[2m2025-01-14T14:26:07.486304Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17
+[2m2025-01-14T14:26:07.486306Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10
+[2m2025-01-14T14:26:07.486307Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10
+[2m2025-01-14T14:26:07.486548Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=61
+[2m2025-01-14T14:26:07.486552Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21
+[2m2025-01-14T14:26:07.486554Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 20 -> 21
+[2m2025-01-14T14:26:07.486555Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 17
+[2m2025-01-14T14:26:07.486556Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17
+[2m2025-01-14T14:26:07.486557Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 12 -> 17
+[2m2025-01-14T14:26:07.486559Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17 -> 17
+[2m2025-01-14T14:26:07.486560Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19
+[2m2025-01-14T14:26:07.486561Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 18
+[2m2025-01-14T14:26:07.486562Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19 -> 19
+[2m2025-01-14T14:26:07.486563Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12 -> 18
+[2m2025-01-14T14:26:07.486564Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18
+[2m2025-01-14T14:26:07.486566Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18
+[2m2025-01-14T14:26:07.486567Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 17
+[2m2025-01-14T14:26:07.486569Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 18
+[2m2025-01-14T14:26:07.486570Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 18
+[2m2025-01-14T14:26:07.633550Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m147ms [3mtime.idle[0m[2m=[0m1.85µs [2m[3mindex[0m[2m=[0m0[0m
diff --git a/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/output_time b/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/output_time
new file mode 100644
index 00000000..e69de29b
diff --git a/sorting-output/11307-2025-01-14T14:21:14,940614849+00:00/sp1/log b/sorting-output/11307-2025-01-14T14:21:14,940614849+00:00/sp1/log
new file mode 100644
index 00000000..11603d3b
--- /dev/null
+++ b/sorting-output/11307-2025-01-14T14:21:14,940614849+00:00/sp1/log
@@ -0,0 +1,82 @@
+[2m2025-01-14T14:21:16.321485Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu'
+[2m2025-01-14T14:21:16.776820Z[0m [32m INFO[0m vk verification: true
+n: 11307
+[2m2025-01-14T14:21:19.093475Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:21:19.210707Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:21:19.771908Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records
+[2m2025-01-14T14:21:19.959684Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=54
+[2m2025-01-14T14:21:19.959725Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21
+[2m2025-01-14T14:21:19.959728Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10
+[2m2025-01-14T14:21:19.959731Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21
+[2m2025-01-14T14:21:19.959733Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 19 -> 19
+[2m2025-01-14T14:21:19.959734Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17
+[2m2025-01-14T14:21:19.959736Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 18 -> 18
+[2m2025-01-14T14:21:19.959737Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18
+[2m2025-01-14T14:21:19.959738Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19
+[2m2025-01-14T14:21:19.959740Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18
+[2m2025-01-14T14:21:19.959741Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20
+[2m2025-01-14T14:21:19.959742Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18
+[2m2025-01-14T14:21:19.959743Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 17 -> 18
+[2m2025-01-14T14:21:19.959744Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 18
+[2m2025-01-14T14:21:19.959745Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17
+[2m2025-01-14T14:21:19.959747Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10
+[2m2025-01-14T14:21:19.959748Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10
+[2m2025-01-14T14:21:19.959949Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=180
+[2m2025-01-14T14:21:19.959953Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21
+[2m2025-01-14T14:21:19.959954Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21
+[2m2025-01-14T14:21:19.959956Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 17
+[2m2025-01-14T14:21:19.959957Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17
+[2m2025-01-14T14:21:19.959958Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 12 -> 17
+[2m2025-01-14T14:21:19.959959Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17 -> 17
+[2m2025-01-14T14:21:19.959960Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 20 -> 20
+[2m2025-01-14T14:21:19.959961Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 18
+[2m2025-01-14T14:21:19.959963Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19 -> 19
+[2m2025-01-14T14:21:19.959964Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12 -> 18
+[2m2025-01-14T14:21:19.959965Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 19
+[2m2025-01-14T14:21:19.959967Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18
+[2m2025-01-14T14:21:19.959968Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 17
+[2m2025-01-14T14:21:19.959969Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 10
+[2m2025-01-14T14:21:19.959971Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 10
+[2m2025-01-14T14:21:20.114785Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m155ms [3mtime.idle[0m[2m=[0m2.73µs [2m[3mindex[0m[2m=[0m0[0m
+[2m2025-01-14T14:21:52.344587Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=3569390, total_syscall_cycles=20, touched_memory_addresses=43307
+[2m2025-01-14T14:21:52.344612Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts):
+[2m2025-01-14T14:21:52.344622Z[0m [32m INFO[0m [1mprove_core[0m: 1105861 add
+[2m2025-01-14T14:21:52.344625Z[0m [32m INFO[0m [1mprove_core[0m: 620961 lw
+[2m2025-01-14T14:21:52.344627Z[0m [32m INFO[0m [1mprove_core[0m: 581130 sw
+[2m2025-01-14T14:21:52.344629Z[0m [32m INFO[0m [1mprove_core[0m: 299496 sll
+[2m2025-01-14T14:21:52.344631Z[0m [32m INFO[0m [1mprove_core[0m: 185054 bltu
+[2m2025-01-14T14:21:52.344633Z[0m [32m INFO[0m [1mprove_core[0m: 148425 xor
+[2m2025-01-14T14:21:52.344634Z[0m [32m INFO[0m [1mprove_core[0m: 141321 srl
+[2m2025-01-14T14:21:52.344636Z[0m [32m INFO[0m [1mprove_core[0m: 138668 or
+[2m2025-01-14T14:21:52.344638Z[0m [32m INFO[0m [1mprove_core[0m: 138358 sltu
+[2m2025-01-14T14:21:52.344639Z[0m [32m INFO[0m [1mprove_core[0m: 64744 bne
+[2m2025-01-14T14:21:52.344641Z[0m [32m INFO[0m [1mprove_core[0m: 45113 beq
+[2m2025-01-14T14:21:52.344643Z[0m [32m INFO[0m [1mprove_core[0m: 43494 bgeu
+[2m2025-01-14T14:21:52.344645Z[0m [32m INFO[0m [1mprove_core[0m: 24838 jal
+[2m2025-01-14T14:21:52.344646Z[0m [32m INFO[0m [1mprove_core[0m: 11910 sub
+[2m2025-01-14T14:21:52.344648Z[0m [32m INFO[0m [1mprove_core[0m: 7356 jalr
+[2m2025-01-14T14:21:52.344649Z[0m [32m INFO[0m [1mprove_core[0m: 6289 and
+[2m2025-01-14T14:21:52.344651Z[0m [32m INFO[0m [1mprove_core[0m: 3681 auipc
+[2m2025-01-14T14:21:52.344653Z[0m [32m INFO[0m [1mprove_core[0m: 1531 mul
+[2m2025-01-14T14:21:52.344654Z[0m [32m INFO[0m [1mprove_core[0m: 454 sb
+[2m2025-01-14T14:21:52.344656Z[0m [32m INFO[0m [1mprove_core[0m: 289 lbu
+[2m2025-01-14T14:21:52.344658Z[0m [32m INFO[0m [1mprove_core[0m: 210 mulhu
+[2m2025-01-14T14:21:52.344659Z[0m [32m INFO[0m [1mprove_core[0m: 179 blt
+[2m2025-01-14T14:21:52.344661Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall
+[2m2025-01-14T14:21:52.344662Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb
+[2m2025-01-14T14:21:52.344663Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu
+[2m2025-01-14T14:21:52.344665Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge
+[2m2025-01-14T14:21:52.344667Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts):
+[2m2025-01-14T14:21:52.344673Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit
+[2m2025-01-14T14:21:52.344675Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs
+[2m2025-01-14T14:21:52.344676Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt
+[2m2025-01-14T14:21:52.344678Z[0m [32m INFO[0m [1mprove_core[0m: 1 write
+[2m2025-01-14T14:21:52.344679Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len
+[2m2025-01-14T14:21:52.344681Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read
+[2m2025-01-14T14:21:52.344689Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=3569390, e2e=33.251862551s, khz=107.34
+[2m2025-01-14T14:21:52.347790Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m32.3s [3mtime.idle[0m[2m=[0m910ms
+Successfully generated proof!
+[2m2025-01-14T14:21:52.877945Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m517ms [3mtime.idle[0m[2m=[0m2.27µs
+Successfully verified proof!
diff --git a/sorting-output/11307-2025-01-14T14:21:14,940614849+00:00/sp1/output_time b/sorting-output/11307-2025-01-14T14:21:14,940614849+00:00/sp1/output_time
new file mode 100644
index 00000000..5a90f9ec
--- /dev/null
+++ b/sorting-output/11307-2025-01-14T14:21:14,940614849+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+ Command being timed: "cargo run --release -- --n=11307 --prove"
+ User time (seconds): 1339.29
+ System time (seconds): 62.76
+ Percent of CPU this job got: 3712%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:37.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): 21288260
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 86
+ Minor (reclaiming a frame) page faults: 13437897
+ Voluntary context switches: 449198
+ Involuntary context switches: 144677
+ 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/11307-2025-01-14T14:21:53,683311366+00:00/ceno/hints b/sorting-output/11307-2025-01-14T14:21:53,683311366+00:00/ceno/hints
new file mode 100644
index 00000000..a373bf2e
Binary files /dev/null and b/sorting-output/11307-2025-01-14T14:21:53,683311366+00:00/ceno/hints differ
diff --git a/sorting-output/11307-2025-01-14T14:21:53,683311366+00:00/ceno/output_time b/sorting-output/11307-2025-01-14T14:21:53,683311366+00:00/ceno/output_time
new file mode 100644
index 00000000..713c3f31
--- /dev/null
+++ b/sorting-output/11307-2025-01-14T14:21:53,683311366+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/11307-2025-01-14T14:21:53,683311366+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+ User time (seconds): 755.47
+ System time (seconds): 55.53
+ Percent of CPU this job got: 3293%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:24.62
+ 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): 8005728
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 2
+ Minor (reclaiming a frame) page faults: 4484702
+ Voluntary context switches: 1008968
+ Involuntary context switches: 161682
+ 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/1593-2025-01-14T14:14:24,458759165+00:00/sp1/log b/sorting-output/1593-2025-01-14T14:14:24,458759165+00:00/sp1/log
new file mode 100644
index 00000000..411f7f72
--- /dev/null
+++ b/sorting-output/1593-2025-01-14T14:14:24,458759165+00:00/sp1/log
@@ -0,0 +1,69 @@
+[2m2025-01-14T14:14:25.822390Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu'
+[2m2025-01-14T14:14:26.277871Z[0m [32m INFO[0m vk verification: true
+n: 1593
+[2m2025-01-14T14:14:28.630655Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:14:28.648587Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:14:28.725393Z[0m [32m INFO[0m [1mprove_core[0m: deferred 0 records
+[2m2025-01-14T14:14:28.773449Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=2144
+[2m2025-01-14T14:14:28.773472Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 19 -> 19
+[2m2025-01-14T14:14:28.773475Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 16
+[2m2025-01-14T14:14:28.773477Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 19 -> 19
+[2m2025-01-14T14:14:28.773479Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 16 -> 16
+[2m2025-01-14T14:14:28.773481Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 9 -> 16
+[2m2025-01-14T14:14:28.773482Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 15 -> 16
+[2m2025-01-14T14:14:28.773484Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 16 -> 16
+[2m2025-01-14T14:14:28.773485Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 17 -> 17
+[2m2025-01-14T14:14:28.773486Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 10 -> 16
+[2m2025-01-14T14:14:28.773487Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 18 -> 18
+[2m2025-01-14T14:14:28.773489Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 10 -> 16
+[2m2025-01-14T14:14:28.773490Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 16 -> 16
+[2m2025-01-14T14:14:28.773491Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 12 -> 16
+[2m2025-01-14T14:14:28.773492Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 13 -> 18
+[2m2025-01-14T14:14:28.773493Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 16
+[2m2025-01-14T14:14:28.773495Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 16
+[2m2025-01-14T14:14:28.773496Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalInit: 12 -> 17
+[2m2025-01-14T14:14:28.773497Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalFinalize: 15 -> 17
+[2m2025-01-14T14:14:28.773498Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 18
+[2m2025-01-14T14:14:28.838889Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m65.3ms [3mtime.idle[0m[2m=[0m2.45µs [2m[3mindex[0m[2m=[0m0[0m
+[2m2025-01-14T14:14:39.086130Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=447099, total_syscall_cycles=20, touched_memory_addresses=23849
+[2m2025-01-14T14:14:39.086164Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts):
+[2m2025-01-14T14:14:39.086172Z[0m [32m INFO[0m [1mprove_core[0m: 128528 add
+[2m2025-01-14T14:14:39.086174Z[0m [32m INFO[0m [1mprove_core[0m: 79705 lw
+[2m2025-01-14T14:14:39.086177Z[0m [32m INFO[0m [1mprove_core[0m: 73960 sw
+[2m2025-01-14T14:14:39.086178Z[0m [32m INFO[0m [1mprove_core[0m: 38800 sll
+[2m2025-01-14T14:14:39.086180Z[0m [32m INFO[0m [1mprove_core[0m: 22281 xor
+[2m2025-01-14T14:14:39.086184Z[0m [32m INFO[0m [1mprove_core[0m: 21568 srl
+[2m2025-01-14T14:14:39.086185Z[0m [32m INFO[0m [1mprove_core[0m: 20938 or
+[2m2025-01-14T14:14:39.086187Z[0m [32m INFO[0m [1mprove_core[0m: 20885 bltu
+[2m2025-01-14T14:14:39.086189Z[0m [32m INFO[0m [1mprove_core[0m: 14672 sltu
+[2m2025-01-14T14:14:39.086191Z[0m [32m INFO[0m [1mprove_core[0m: 6440 bne
+[2m2025-01-14T14:14:39.086193Z[0m [32m INFO[0m [1mprove_core[0m: 6262 beq
+[2m2025-01-14T14:14:39.086194Z[0m [32m INFO[0m [1mprove_core[0m: 4928 bgeu
+[2m2025-01-14T14:14:39.086196Z[0m [32m INFO[0m [1mprove_core[0m: 2840 jal
+[2m2025-01-14T14:14:39.086197Z[0m [32m INFO[0m [1mprove_core[0m: 1738 sub
+[2m2025-01-14T14:14:39.086198Z[0m [32m INFO[0m [1mprove_core[0m: 1146 and
+[2m2025-01-14T14:14:39.086199Z[0m [32m INFO[0m [1mprove_core[0m: 1022 jalr
+[2m2025-01-14T14:14:39.086201Z[0m [32m INFO[0m [1mprove_core[0m: 514 auipc
+[2m2025-01-14T14:14:39.086202Z[0m [32m INFO[0m [1mprove_core[0m: 374 sb
+[2m2025-01-14T14:14:39.086203Z[0m [32m INFO[0m [1mprove_core[0m: 262 mul
+[2m2025-01-14T14:14:39.086204Z[0m [32m INFO[0m [1mprove_core[0m: 131 lbu
+[2m2025-01-14T14:14:39.086206Z[0m [32m INFO[0m [1mprove_core[0m: 50 mulhu
+[2m2025-01-14T14:14:39.086207Z[0m [32m INFO[0m [1mprove_core[0m: 27 blt
+[2m2025-01-14T14:14:39.086208Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall
+[2m2025-01-14T14:14:39.086210Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb
+[2m2025-01-14T14:14:39.086211Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu
+[2m2025-01-14T14:14:39.086212Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge
+[2m2025-01-14T14:14:39.086215Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts):
+[2m2025-01-14T14:14:39.086221Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit
+[2m2025-01-14T14:14:39.086223Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs
+[2m2025-01-14T14:14:39.086224Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt
+[2m2025-01-14T14:14:39.086226Z[0m [32m INFO[0m [1mprove_core[0m: 1 write
+[2m2025-01-14T14:14:39.086227Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len
+[2m2025-01-14T14:14:39.086229Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read
+[2m2025-01-14T14:14:39.086236Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=447099, e2e=10.456234921s, khz=42.76
+[2m2025-01-14T14:14:39.089008Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m10.3s [3mtime.idle[0m[2m=[0m195ms
+Successfully generated proof!
+[2m2025-01-14T14:14:39.321901Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m224ms [3mtime.idle[0m[2m=[0m1.47µs
+Successfully verified proof!
diff --git a/sorting-output/1593-2025-01-14T14:14:24,458759165+00:00/sp1/output_time b/sorting-output/1593-2025-01-14T14:14:24,458759165+00:00/sp1/output_time
new file mode 100644
index 00000000..f5b8a8f3
--- /dev/null
+++ b/sorting-output/1593-2025-01-14T14:14:24,458759165+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+ Command being timed: "cargo run --release -- --n=1593 --prove"
+ User time (seconds): 302.70
+ System time (seconds): 27.55
+ Percent of CPU this job got: 2231%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:14.79
+ 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): 6737404
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 0
+ Minor (reclaiming a frame) page faults: 3933544
+ Voluntary context switches: 207018
+ Involuntary context switches: 41959
+ Swaps: 0
+ File system inputs: 0
+ File system outputs: 848
+ Socket messages sent: 0
+ Socket messages received: 0
+ Signals delivered: 0
+ Page size (bytes): 4096
+ Exit status: 0
diff --git a/sorting-output/1593-2025-01-14T14:14:40,241672171+00:00/ceno/hints b/sorting-output/1593-2025-01-14T14:14:40,241672171+00:00/ceno/hints
new file mode 100644
index 00000000..d9d4d57d
Binary files /dev/null and b/sorting-output/1593-2025-01-14T14:14:40,241672171+00:00/ceno/hints differ
diff --git a/sorting-output/1593-2025-01-14T14:14:40,241672171+00:00/ceno/output_time b/sorting-output/1593-2025-01-14T14:14:40,241672171+00:00/ceno/output_time
new file mode 100644
index 00000000..31843809
--- /dev/null
+++ b/sorting-output/1593-2025-01-14T14:14:40,241672171+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/1593-2025-01-14T14:14:40,241672171+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+ User time (seconds): 330.78
+ System time (seconds): 28.92
+ Percent of CPU this job got: 2432%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:14.78
+ 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): 2038444
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 0
+ Minor (reclaiming a frame) page faults: 1384638
+ Voluntary context switches: 686761
+ Involuntary context switches: 104518
+ 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/1899-2025-01-14T14:14:55,641814792+00:00/ceno/hints b/sorting-output/1899-2025-01-14T14:14:55,641814792+00:00/ceno/hints
new file mode 100644
index 00000000..33c5f640
Binary files /dev/null and b/sorting-output/1899-2025-01-14T14:14:55,641814792+00:00/ceno/hints differ
diff --git a/sorting-output/1899-2025-01-14T14:14:55,641814792+00:00/ceno/output_time b/sorting-output/1899-2025-01-14T14:14:55,641814792+00:00/ceno/output_time
new file mode 100644
index 00000000..409ee61c
--- /dev/null
+++ b/sorting-output/1899-2025-01-14T14:14:55,641814792+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/1899-2025-01-14T14:14:55,641814792+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+ User time (seconds): 334.43
+ System time (seconds): 30.86
+ Percent of CPU this job got: 1610%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:22.68
+ 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): 2105332
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 0
+ Minor (reclaiming a frame) page faults: 1532741
+ Voluntary context switches: 733238
+ Involuntary context switches: 113027
+ 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/1899-2025-01-14T14:15:18,980705982+00:00/sp1/log b/sorting-output/1899-2025-01-14T14:15:18,980705982+00:00/sp1/log
new file mode 100644
index 00000000..27110e62
--- /dev/null
+++ b/sorting-output/1899-2025-01-14T14:15:18,980705982+00:00/sp1/log
@@ -0,0 +1,69 @@
+[2m2025-01-14T14:15:20.353433Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu'
+[2m2025-01-14T14:15:20.819544Z[0m [32m INFO[0m vk verification: true
+n: 1899
+[2m2025-01-14T14:15:23.136100Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:15:23.156590Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:15:23.246243Z[0m [32m INFO[0m [1mprove_core[0m: deferred 0 records
+[2m2025-01-14T14:15:23.297564Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=2643
+[2m2025-01-14T14:15:23.297581Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 20 -> 20
+[2m2025-01-14T14:15:23.297584Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 17
+[2m2025-01-14T14:15:23.297586Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 19 -> 19
+[2m2025-01-14T14:15:23.297587Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 16 -> 19
+[2m2025-01-14T14:15:23.297588Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 9 -> 17
+[2m2025-01-14T14:15:23.297590Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 15 -> 17
+[2m2025-01-14T14:15:23.297591Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 16 -> 17
+[2m2025-01-14T14:15:23.297592Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 17 -> 17
+[2m2025-01-14T14:15:23.297594Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 11 -> 17
+[2m2025-01-14T14:15:23.297595Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 18 -> 18
+[2m2025-01-14T14:15:23.297596Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 10 -> 17
+[2m2025-01-14T14:15:23.297597Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 16 -> 17
+[2m2025-01-14T14:15:23.297598Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 13 -> 17
+[2m2025-01-14T14:15:23.297600Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 14 -> 18
+[2m2025-01-14T14:15:23.297601Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 17
+[2m2025-01-14T14:15:23.297602Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 17
+[2m2025-01-14T14:15:23.297603Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalInit: 13 -> 17
+[2m2025-01-14T14:15:23.297604Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalFinalize: 15 -> 17
+[2m2025-01-14T14:15:23.297606Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 18
+[2m2025-01-14T14:15:23.382489Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m84.8ms [3mtime.idle[0m[2m=[0m1.72µs [2m[3mindex[0m[2m=[0m0[0m
+[2m2025-01-14T14:15:38.927288Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=542136, total_syscall_cycles=20, touched_memory_addresses=24461
+[2m2025-01-14T14:15:38.927320Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts):
+[2m2025-01-14T14:15:38.927330Z[0m [32m INFO[0m [1mprove_core[0m: 158464 add
+[2m2025-01-14T14:15:38.927333Z[0m [32m INFO[0m [1mprove_core[0m: 95884 lw
+[2m2025-01-14T14:15:38.927335Z[0m [32m INFO[0m [1mprove_core[0m: 89109 sw
+[2m2025-01-14T14:15:38.927337Z[0m [32m INFO[0m [1mprove_core[0m: 46603 sll
+[2m2025-01-14T14:15:38.927339Z[0m [32m INFO[0m [1mprove_core[0m: 26370 xor
+[2m2025-01-14T14:15:38.927341Z[0m [32m INFO[0m [1mprove_core[0m: 25558 srl
+[2m2025-01-14T14:15:38.927343Z[0m [32m INFO[0m [1mprove_core[0m: 25105 bltu
+[2m2025-01-14T14:15:38.927345Z[0m [32m INFO[0m [1mprove_core[0m: 24831 or
+[2m2025-01-14T14:15:38.927347Z[0m [32m INFO[0m [1mprove_core[0m: 18006 sltu
+[2m2025-01-14T14:15:38.927348Z[0m [32m INFO[0m [1mprove_core[0m: 8712 bne
+[2m2025-01-14T14:15:38.927349Z[0m [32m INFO[0m [1mprove_core[0m: 7416 beq
+[2m2025-01-14T14:15:38.927350Z[0m [32m INFO[0m [1mprove_core[0m: 6109 bgeu
+[2m2025-01-14T14:15:38.927352Z[0m [32m INFO[0m [1mprove_core[0m: 3720 jal
+[2m2025-01-14T14:15:38.927353Z[0m [32m INFO[0m [1mprove_core[0m: 2050 sub
+[2m2025-01-14T14:15:38.927354Z[0m [32m INFO[0m [1mprove_core[0m: 1387 and
+[2m2025-01-14T14:15:38.927355Z[0m [32m INFO[0m [1mprove_core[0m: 1232 jalr
+[2m2025-01-14T14:15:38.927357Z[0m [32m INFO[0m [1mprove_core[0m: 619 auipc
+[2m2025-01-14T14:15:38.927358Z[0m [32m INFO[0m [1mprove_core[0m: 379 sb
+[2m2025-01-14T14:15:38.927359Z[0m [32m INFO[0m [1mprove_core[0m: 321 mul
+[2m2025-01-14T14:15:38.927360Z[0m [32m INFO[0m [1mprove_core[0m: 141 lbu
+[2m2025-01-14T14:15:38.927362Z[0m [32m INFO[0m [1mprove_core[0m: 60 mulhu
+[2m2025-01-14T14:15:38.927365Z[0m [32m INFO[0m [1mprove_core[0m: 32 blt
+[2m2025-01-14T14:15:38.927367Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall
+[2m2025-01-14T14:15:38.927370Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb
+[2m2025-01-14T14:15:38.927371Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu
+[2m2025-01-14T14:15:38.927373Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge
+[2m2025-01-14T14:15:38.927376Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts):
+[2m2025-01-14T14:15:38.927383Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit
+[2m2025-01-14T14:15:38.927385Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs
+[2m2025-01-14T14:15:38.927387Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt
+[2m2025-01-14T14:15:38.927389Z[0m [32m INFO[0m [1mprove_core[0m: 1 write
+[2m2025-01-14T14:15:38.927391Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len
+[2m2025-01-14T14:15:38.927393Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read
+[2m2025-01-14T14:15:38.927403Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=542136, e2e=15.791947042s, khz=34.33
+[2m2025-01-14T14:15:38.927546Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m15.6s [3mtime.idle[0m[2m=[0m231ms
+Successfully generated proof!
+[2m2025-01-14T14:15:39.168518Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m227ms [3mtime.idle[0m[2m=[0m1.35µs
+Successfully verified proof!
diff --git a/sorting-output/1899-2025-01-14T14:15:18,980705982+00:00/sp1/output_time b/sorting-output/1899-2025-01-14T14:15:18,980705982+00:00/sp1/output_time
new file mode 100644
index 00000000..4005aea4
--- /dev/null
+++ b/sorting-output/1899-2025-01-14T14:15:18,980705982+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+ Command being timed: "cargo run --release -- --n=1899 --prove"
+ User time (seconds): 424.90
+ System time (seconds): 30.74
+ Percent of CPU this job got: 2304%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:19.77
+ 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): 9041556
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 0
+ Minor (reclaiming a frame) page faults: 4894225
+ Voluntary context switches: 229253
+ Involuntary context switches: 33139
+ Swaps: 0
+ File system inputs: 0
+ File system outputs: 848
+ Socket messages sent: 0
+ Socket messages received: 0
+ Signals delivered: 0
+ Page size (bytes): 4096
+ Exit status: 0
diff --git a/sorting-output/280-2025-01-14T14:20:10,273769425+00:00/ceno/hints b/sorting-output/280-2025-01-14T14:20:10,273769425+00:00/ceno/hints
new file mode 100644
index 00000000..b397f8e5
Binary files /dev/null and b/sorting-output/280-2025-01-14T14:20:10,273769425+00:00/ceno/hints differ
diff --git a/sorting-output/280-2025-01-14T14:20:10,273769425+00:00/ceno/output_time b/sorting-output/280-2025-01-14T14:20:10,273769425+00:00/ceno/output_time
new file mode 100644
index 00000000..939dd877
--- /dev/null
+++ b/sorting-output/280-2025-01-14T14:20:10,273769425+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/280-2025-01-14T14:20:10,273769425+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+ User time (seconds): 224.62
+ System time (seconds): 17.39
+ Percent of CPU this job got: 1901%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:12.72
+ 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): 1285732
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 0
+ Minor (reclaiming a frame) page faults: 998875
+ Voluntary context switches: 489055
+ Involuntary context switches: 78682
+ 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/280-2025-01-14T14:20:23,657862076+00:00/sp1/log b/sorting-output/280-2025-01-14T14:20:23,657862076+00:00/sp1/log
new file mode 100644
index 00000000..2170cb36
--- /dev/null
+++ b/sorting-output/280-2025-01-14T14:20:23,657862076+00:00/sp1/log
@@ -0,0 +1,69 @@
+[2m2025-01-14T14:20:24.976519Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu'
+[2m2025-01-14T14:20:25.429095Z[0m [32m INFO[0m vk verification: true
+n: 280
+[2m2025-01-14T14:20:27.751168Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:20:27.759340Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:20:27.775592Z[0m [32m INFO[0m [1mprove_core[0m: deferred 0 records
+[2m2025-01-14T14:20:27.801569Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=1225
+[2m2025-01-14T14:20:27.801585Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 17 -> 17
+[2m2025-01-14T14:20:27.801589Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 14
+[2m2025-01-14T14:20:27.801590Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 16 -> 16
+[2m2025-01-14T14:20:27.801592Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 16
+[2m2025-01-14T14:20:27.801594Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 7 -> 14
+[2m2025-01-14T14:20:27.801595Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 13 -> 14
+[2m2025-01-14T14:20:27.801596Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 13 -> 14
+[2m2025-01-14T14:20:27.801598Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 14 -> 14
+[2m2025-01-14T14:20:27.801599Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 9 -> 14
+[2m2025-01-14T14:20:27.801601Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 15 -> 15
+[2m2025-01-14T14:20:27.801602Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 7 -> 14
+[2m2025-01-14T14:20:27.801603Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 13 -> 14
+[2m2025-01-14T14:20:27.801604Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 10 -> 14
+[2m2025-01-14T14:20:27.801605Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 12 -> 18
+[2m2025-01-14T14:20:27.801606Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 14
+[2m2025-01-14T14:20:27.801608Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 14
+[2m2025-01-14T14:20:27.801609Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalInit: 10 -> 17
+[2m2025-01-14T14:20:27.801610Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalFinalize: 15 -> 17
+[2m2025-01-14T14:20:27.801611Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 18
+[2m2025-01-14T14:20:27.849869Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m48.2ms [3mtime.idle[0m[2m=[0m2.11µs [2m[3mindex[0m[2m=[0m0[0m
+[2m2025-01-14T14:20:34.380484Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=86269, total_syscall_cycles=20, touched_memory_addresses=21327
+[2m2025-01-14T14:20:34.380510Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts):
+[2m2025-01-14T14:20:34.380519Z[0m [32m INFO[0m [1mprove_core[0m: 21812 add
+[2m2025-01-14T14:20:34.380524Z[0m [32m INFO[0m [1mprove_core[0m: 15443 lw
+[2m2025-01-14T14:20:34.380525Z[0m [32m INFO[0m [1mprove_core[0m: 14522 sw
+[2m2025-01-14T14:20:34.380528Z[0m [32m INFO[0m [1mprove_core[0m: 7876 sll
+[2m2025-01-14T14:20:34.380529Z[0m [32m INFO[0m [1mprove_core[0m: 5690 srl
+[2m2025-01-14T14:20:34.380531Z[0m [32m INFO[0m [1mprove_core[0m: 5569 xor
+[2m2025-01-14T14:20:34.380533Z[0m [32m INFO[0m [1mprove_core[0m: 5393 or
+[2m2025-01-14T14:20:34.380535Z[0m [32m INFO[0m [1mprove_core[0m: 3080 bltu
+[2m2025-01-14T14:20:34.380537Z[0m [32m INFO[0m [1mprove_core[0m: 1926 sltu
+[2m2025-01-14T14:20:34.380538Z[0m [32m INFO[0m [1mprove_core[0m: 1267 beq
+[2m2025-01-14T14:20:34.380540Z[0m [32m INFO[0m [1mprove_core[0m: 889 bne
+[2m2025-01-14T14:20:34.380542Z[0m [32m INFO[0m [1mprove_core[0m: 751 bgeu
+[2m2025-01-14T14:20:34.380544Z[0m [32m INFO[0m [1mprove_core[0m: 474 jal
+[2m2025-01-14T14:20:34.380545Z[0m [32m INFO[0m [1mprove_core[0m: 422 and
+[2m2025-01-14T14:20:34.380546Z[0m [32m INFO[0m [1mprove_core[0m: 354 sb
+[2m2025-01-14T14:20:34.380548Z[0m [32m INFO[0m [1mprove_core[0m: 308 sub
+[2m2025-01-14T14:20:34.380549Z[0m [32m INFO[0m [1mprove_core[0m: 199 jalr
+[2m2025-01-14T14:20:34.380550Z[0m [32m INFO[0m [1mprove_core[0m: 102 auipc
+[2m2025-01-14T14:20:34.380552Z[0m [32m INFO[0m [1mprove_core[0m: 93 lbu
+[2m2025-01-14T14:20:34.380553Z[0m [32m INFO[0m [1mprove_core[0m: 54 mul
+[2m2025-01-14T14:20:34.380554Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall
+[2m2025-01-14T14:20:34.380556Z[0m [32m INFO[0m [1mprove_core[0m: 10 mulhu
+[2m2025-01-14T14:20:34.380557Z[0m [32m INFO[0m [1mprove_core[0m: 7 blt
+[2m2025-01-14T14:20:34.380558Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb
+[2m2025-01-14T14:20:34.380559Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu
+[2m2025-01-14T14:20:34.380561Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge
+[2m2025-01-14T14:20:34.380563Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts):
+[2m2025-01-14T14:20:34.380569Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit
+[2m2025-01-14T14:20:34.380572Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs
+[2m2025-01-14T14:20:34.380573Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt
+[2m2025-01-14T14:20:34.380575Z[0m [32m INFO[0m [1mprove_core[0m: 1 write
+[2m2025-01-14T14:20:34.380576Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len
+[2m2025-01-14T14:20:34.380578Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read
+[2m2025-01-14T14:20:34.380586Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=86269, e2e=6.63008227s, khz=13.01
+[2m2025-01-14T14:20:34.383242Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m6.54s [3mtime.idle[0m[2m=[0m96.1ms
+Successfully generated proof!
+[2m2025-01-14T14:20:34.613261Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m226ms [3mtime.idle[0m[2m=[0m4.79µs
+Successfully verified proof!
diff --git a/sorting-output/280-2025-01-14T14:20:23,657862076+00:00/sp1/output_time b/sorting-output/280-2025-01-14T14:20:23,657862076+00:00/sp1/output_time
new file mode 100644
index 00000000..651e1f9e
--- /dev/null
+++ b/sorting-output/280-2025-01-14T14:20:23,657862076+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+ Command being timed: "cargo run --release -- --n=280 --prove"
+ User time (seconds): 189.17
+ System time (seconds): 19.12
+ Percent of CPU this job got: 1973%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:10.55
+ 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): 4691680
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 2
+ Minor (reclaiming a frame) page faults: 2566779
+ Voluntary context switches: 162757
+ Involuntary context switches: 26546
+ Swaps: 0
+ File system inputs: 0
+ File system outputs: 880
+ Socket messages sent: 0
+ Socket messages received: 0
+ Signals delivered: 0
+ Page size (bytes): 4096
+ Exit status: 0
diff --git a/sorting-output/3548-2025-01-14T14:20:35,141086641+00:00/ceno/hints b/sorting-output/3548-2025-01-14T14:20:35,141086641+00:00/ceno/hints
new file mode 100644
index 00000000..21bd00ea
Binary files /dev/null and b/sorting-output/3548-2025-01-14T14:20:35,141086641+00:00/ceno/hints differ
diff --git a/sorting-output/3548-2025-01-14T14:20:35,141086641+00:00/ceno/output_time b/sorting-output/3548-2025-01-14T14:20:35,141086641+00:00/ceno/output_time
new file mode 100644
index 00000000..c42b7912
--- /dev/null
+++ b/sorting-output/3548-2025-01-14T14:20:35,141086641+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/3548-2025-01-14T14:20:35,141086641+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+ User time (seconds): 418.53
+ System time (seconds): 36.38
+ Percent of CPU this job got: 2688%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:16.92
+ 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): 2918580
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 0
+ Minor (reclaiming a frame) page faults: 1759428
+ Voluntary context switches: 778466
+ Involuntary context switches: 117735
+ 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/3548-2025-01-14T14:20:52,683524999+00:00/sp1/log b/sorting-output/3548-2025-01-14T14:20:52,683524999+00:00/sp1/log
new file mode 100644
index 00000000..aae68bbf
--- /dev/null
+++ b/sorting-output/3548-2025-01-14T14:20:52,683524999+00:00/sp1/log
@@ -0,0 +1,69 @@
+[2m2025-01-14T14:20:54.025938Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu'
+[2m2025-01-14T14:20:54.487877Z[0m [32m INFO[0m vk verification: true
+n: 3548
+[2m2025-01-14T14:20:56.809921Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:20:56.844972Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:20:57.001136Z[0m [32m INFO[0m [1mprove_core[0m: deferred 0 records
+[2m2025-01-14T14:20:57.077618Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=2602
+[2m2025-01-14T14:20:57.077642Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 20 -> 20
+[2m2025-01-14T14:20:57.077645Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 17
+[2m2025-01-14T14:20:57.077646Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 20 -> 20
+[2m2025-01-14T14:20:57.077648Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 17 -> 17
+[2m2025-01-14T14:20:57.077649Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17
+[2m2025-01-14T14:20:57.077652Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 16 -> 17
+[2m2025-01-14T14:20:57.077653Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17 -> 17
+[2m2025-01-14T14:20:57.077655Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 18 -> 18
+[2m2025-01-14T14:20:57.077656Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 11 -> 17
+[2m2025-01-14T14:20:57.077657Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19 -> 19
+[2m2025-01-14T14:20:57.077658Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 17
+[2m2025-01-14T14:20:57.077659Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 17 -> 17
+[2m2025-01-14T14:20:57.077661Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 17
+[2m2025-01-14T14:20:57.077662Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 14 -> 18
+[2m2025-01-14T14:20:57.077663Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 17
+[2m2025-01-14T14:20:57.077664Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 17
+[2m2025-01-14T14:20:57.077665Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalInit: 13 -> 17
+[2m2025-01-14T14:20:57.077667Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalFinalize: 15 -> 17
+[2m2025-01-14T14:20:57.077668Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 18
+[2m2025-01-14T14:20:57.160246Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m82.5ms [3mtime.idle[0m[2m=[0m2.43µs [2m[3mindex[0m[2m=[0m0[0m
+[2m2025-01-14T14:21:13.690067Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=1044756, total_syscall_cycles=20, touched_memory_addresses=27759
+[2m2025-01-14T14:21:13.690100Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts):
+[2m2025-01-14T14:21:13.690109Z[0m [32m INFO[0m [1mprove_core[0m: 311965 add
+[2m2025-01-14T14:21:13.690113Z[0m [32m INFO[0m [1mprove_core[0m: 183933 lw
+[2m2025-01-14T14:21:13.690115Z[0m [32m INFO[0m [1mprove_core[0m: 171313 sw
+[2m2025-01-14T14:21:13.690117Z[0m [32m INFO[0m [1mprove_core[0m: 88718 sll
+[2m2025-01-14T14:21:13.690118Z[0m [32m INFO[0m [1mprove_core[0m: 50848 bltu
+[2m2025-01-14T14:21:13.690120Z[0m [32m INFO[0m [1mprove_core[0m: 47984 xor
+[2m2025-01-14T14:21:13.690121Z[0m [32m INFO[0m [1mprove_core[0m: 46176 srl
+[2m2025-01-14T14:21:13.690122Z[0m [32m INFO[0m [1mprove_core[0m: 45031 or
+[2m2025-01-14T14:21:13.690124Z[0m [32m INFO[0m [1mprove_core[0m: 36605 sltu
+[2m2025-01-14T14:21:13.690125Z[0m [32m INFO[0m [1mprove_core[0m: 17371 bne
+[2m2025-01-14T14:21:13.690126Z[0m [32m INFO[0m [1mprove_core[0m: 14619 beq
+[2m2025-01-14T14:21:13.690127Z[0m [32m INFO[0m [1mprove_core[0m: 12088 bgeu
+[2m2025-01-14T14:21:13.690129Z[0m [32m INFO[0m [1mprove_core[0m: 7283 jal
+[2m2025-01-14T14:21:13.690130Z[0m [32m INFO[0m [1mprove_core[0m: 3801 sub
+[2m2025-01-14T14:21:13.690131Z[0m [32m INFO[0m [1mprove_core[0m: 2258 jalr
+[2m2025-01-14T14:21:13.690133Z[0m [32m INFO[0m [1mprove_core[0m: 2251 and
+[2m2025-01-14T14:21:13.690134Z[0m [32m INFO[0m [1mprove_core[0m: 1132 auipc
+[2m2025-01-14T14:21:13.690138Z[0m [32m INFO[0m [1mprove_core[0m: 585 mul
+[2m2025-01-14T14:21:13.690139Z[0m [32m INFO[0m [1mprove_core[0m: 405 sb
+[2m2025-01-14T14:21:13.690140Z[0m [32m INFO[0m [1mprove_core[0m: 192 lbu
+[2m2025-01-14T14:21:13.690142Z[0m [32m INFO[0m [1mprove_core[0m: 112 mulhu
+[2m2025-01-14T14:21:13.690143Z[0m [32m INFO[0m [1mprove_core[0m: 58 blt
+[2m2025-01-14T14:21:13.690145Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall
+[2m2025-01-14T14:21:13.690146Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb
+[2m2025-01-14T14:21:13.690147Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu
+[2m2025-01-14T14:21:13.690148Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge
+[2m2025-01-14T14:21:13.690151Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts):
+[2m2025-01-14T14:21:13.690157Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit
+[2m2025-01-14T14:21:13.690158Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs
+[2m2025-01-14T14:21:13.690160Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt
+[2m2025-01-14T14:21:13.690161Z[0m [32m INFO[0m [1mprove_core[0m: 1 write
+[2m2025-01-14T14:21:13.690163Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len
+[2m2025-01-14T14:21:13.690164Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read
+[2m2025-01-14T14:21:13.690171Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=1044756, e2e=16.880945627s, khz=61.89
+[2m2025-01-14T14:21:13.702029Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m16.6s [3mtime.idle[0m[2m=[0m321ms
+Successfully generated proof!
+[2m2025-01-14T14:21:13.943756Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m224ms [3mtime.idle[0m[2m=[0m1.42µs
+Successfully verified proof!
diff --git a/sorting-output/3548-2025-01-14T14:20:52,683524999+00:00/sp1/output_time b/sorting-output/3548-2025-01-14T14:20:52,683524999+00:00/sp1/output_time
new file mode 100644
index 00000000..0e84b4d7
--- /dev/null
+++ b/sorting-output/3548-2025-01-14T14:20:52,683524999+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+ Command being timed: "cargo run --release -- --n=3548 --prove"
+ User time (seconds): 459.43
+ System time (seconds): 26.40
+ Percent of CPU this job got: 2280%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:21.30
+ 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): 9485376
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 5
+ Minor (reclaiming a frame) page faults: 5064549
+ Voluntary context switches: 232982
+ Involuntary context switches: 46296
+ Swaps: 0
+ File system inputs: 0
+ File system outputs: 848
+ Socket messages sent: 0
+ Socket messages received: 0
+ Signals delivered: 0
+ Page size (bytes): 4096
+ Exit status: 0
diff --git a/sorting-output/4542-2025-01-14T14:16:32,542031938+00:00/ceno/hints b/sorting-output/4542-2025-01-14T14:16:32,542031938+00:00/ceno/hints
new file mode 100644
index 00000000..903706af
Binary files /dev/null and b/sorting-output/4542-2025-01-14T14:16:32,542031938+00:00/ceno/hints differ
diff --git a/sorting-output/4542-2025-01-14T14:16:32,542031938+00:00/ceno/output_time b/sorting-output/4542-2025-01-14T14:16:32,542031938+00:00/ceno/output_time
new file mode 100644
index 00000000..c4a6b0e0
--- /dev/null
+++ b/sorting-output/4542-2025-01-14T14:16:32,542031938+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/4542-2025-01-14T14:16:32,542031938+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+ User time (seconds): 455.86
+ System time (seconds): 36.24
+ Percent of CPU this job got: 2738%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:17.96
+ 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): 3636692
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 0
+ Minor (reclaiming a frame) page faults: 2188347
+ Voluntary context switches: 845382
+ Involuntary context switches: 123581
+ 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/4542-2025-01-14T14:16:51,202191818+00:00/sp1/log b/sorting-output/4542-2025-01-14T14:16:51,202191818+00:00/sp1/log
new file mode 100644
index 00000000..6b6f692e
--- /dev/null
+++ b/sorting-output/4542-2025-01-14T14:16:51,202191818+00:00/sp1/log
@@ -0,0 +1,69 @@
+[2m2025-01-14T14:16:52.552605Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu'
+[2m2025-01-14T14:16:53.009969Z[0m [32m INFO[0m vk verification: true
+n: 4542
+[2m2025-01-14T14:16:55.328959Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:16:55.372630Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:16:55.567640Z[0m [32m INFO[0m [1mprove_core[0m: deferred 0 records
+[2m2025-01-14T14:16:55.654308Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=2989
+[2m2025-01-14T14:16:55.654328Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21
+[2m2025-01-14T14:16:55.654330Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 18
+[2m2025-01-14T14:16:55.654332Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 20 -> 21
+[2m2025-01-14T14:16:55.654333Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 17 -> 18
+[2m2025-01-14T14:16:55.654335Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 18
+[2m2025-01-14T14:16:55.654336Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 16 -> 18
+[2m2025-01-14T14:16:55.654338Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17 -> 18
+[2m2025-01-14T14:16:55.654340Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19
+[2m2025-01-14T14:16:55.654341Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 18
+[2m2025-01-14T14:16:55.654342Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19 -> 19
+[2m2025-01-14T14:16:55.654344Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18
+[2m2025-01-14T14:16:55.654345Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 17 -> 18
+[2m2025-01-14T14:16:55.654346Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 18
+[2m2025-01-14T14:16:55.654347Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 18
+[2m2025-01-14T14:16:55.654348Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 18
+[2m2025-01-14T14:16:55.654350Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 18
+[2m2025-01-14T14:16:55.654351Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalInit: 14 -> 17
+[2m2025-01-14T14:16:55.654352Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalFinalize: 15 -> 17
+[2m2025-01-14T14:16:55.654353Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 18
+[2m2025-01-14T14:16:55.759920Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m106ms [3mtime.idle[0m[2m=[0m1.82µs [2m[3mindex[0m[2m=[0m0[0m
+[2m2025-01-14T14:17:23.968201Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=1359685, total_syscall_cycles=20, touched_memory_addresses=29762
+[2m2025-01-14T14:17:23.968227Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts):
+[2m2025-01-14T14:17:23.968235Z[0m [32m INFO[0m [1mprove_core[0m: 410278 add
+[2m2025-01-14T14:17:23.968239Z[0m [32m INFO[0m [1mprove_core[0m: 238665 lw
+[2m2025-01-14T14:17:23.968241Z[0m [32m INFO[0m [1mprove_core[0m: 222892 sw
+[2m2025-01-14T14:17:23.968243Z[0m [32m INFO[0m [1mprove_core[0m: 114882 sll
+[2m2025-01-14T14:17:23.968244Z[0m [32m INFO[0m [1mprove_core[0m: 68016 bltu
+[2m2025-01-14T14:17:23.968246Z[0m [32m INFO[0m [1mprove_core[0m: 60370 xor
+[2m2025-01-14T14:17:23.968247Z[0m [32m INFO[0m [1mprove_core[0m: 58067 srl
+[2m2025-01-14T14:17:23.968248Z[0m [32m INFO[0m [1mprove_core[0m: 56680 or
+[2m2025-01-14T14:17:23.968249Z[0m [32m INFO[0m [1mprove_core[0m: 49188 sltu
+[2m2025-01-14T14:17:23.968251Z[0m [32m INFO[0m [1mprove_core[0m: 22674 bne
+[2m2025-01-14T14:17:23.968252Z[0m [32m INFO[0m [1mprove_core[0m: 19055 beq
+[2m2025-01-14T14:17:23.968253Z[0m [32m INFO[0m [1mprove_core[0m: 16133 bgeu
+[2m2025-01-14T14:17:23.968254Z[0m [32m INFO[0m [1mprove_core[0m: 9316 jal
+[2m2025-01-14T14:17:23.968256Z[0m [32m INFO[0m [1mprove_core[0m: 4774 sub
+[2m2025-01-14T14:17:23.968257Z[0m [32m INFO[0m [1mprove_core[0m: 2852 jalr
+[2m2025-01-14T14:17:23.968258Z[0m [32m INFO[0m [1mprove_core[0m: 2810 and
+[2m2025-01-14T14:17:23.968259Z[0m [32m INFO[0m [1mprove_core[0m: 1429 auipc
+[2m2025-01-14T14:17:23.968261Z[0m [32m INFO[0m [1mprove_core[0m: 734 mul
+[2m2025-01-14T14:17:23.968262Z[0m [32m INFO[0m [1mprove_core[0m: 417 sb
+[2m2025-01-14T14:17:23.968263Z[0m [32m INFO[0m [1mprove_core[0m: 216 lbu
+[2m2025-01-14T14:17:23.968265Z[0m [32m INFO[0m [1mprove_core[0m: 136 mulhu
+[2m2025-01-14T14:17:23.968266Z[0m [32m INFO[0m [1mprove_core[0m: 73 blt
+[2m2025-01-14T14:17:23.968267Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall
+[2m2025-01-14T14:17:23.968269Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb
+[2m2025-01-14T14:17:23.968270Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu
+[2m2025-01-14T14:17:23.968271Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge
+[2m2025-01-14T14:17:23.968274Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts):
+[2m2025-01-14T14:17:23.968278Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit
+[2m2025-01-14T14:17:23.968280Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs
+[2m2025-01-14T14:17:23.968282Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt
+[2m2025-01-14T14:17:23.968283Z[0m [32m INFO[0m [1mprove_core[0m: 1 write
+[2m2025-01-14T14:17:23.968285Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len
+[2m2025-01-14T14:17:23.968286Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read
+[2m2025-01-14T14:17:23.968294Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=1359685, e2e=28.640056821s, khz=47.47
+[2m2025-01-14T14:17:23.983588Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m28.3s [3mtime.idle[0m[2m=[0m392ms
+Successfully generated proof!
+[2m2025-01-14T14:17:24.218985Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m226ms [3mtime.idle[0m[2m=[0m1.37µs
+Successfully verified proof!
diff --git a/sorting-output/4542-2025-01-14T14:16:51,202191818+00:00/sp1/output_time b/sorting-output/4542-2025-01-14T14:16:51,202191818+00:00/sp1/output_time
new file mode 100644
index 00000000..fd6f4e68
--- /dev/null
+++ b/sorting-output/4542-2025-01-14T14:16:51,202191818+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+ Command being timed: "cargo run --release -- --n=4542 --prove"
+ User time (seconds): 716.74
+ System time (seconds): 43.72
+ Percent of CPU this job got: 2331%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:32.62
+ 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): 13509352
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 0
+ Minor (reclaiming a frame) page faults: 7993015
+ Voluntary context switches: 257026
+ Involuntary context switches: 54937
+ Swaps: 0
+ File system inputs: 0
+ File system outputs: 848
+ Socket messages sent: 0
+ Socket messages received: 0
+ Signals delivered: 0
+ Page size (bytes): 4096
+ Exit status: 0
diff --git a/sorting-output/5026-2025-01-14T14:15:39,736375511+00:00/ceno/hints b/sorting-output/5026-2025-01-14T14:15:39,736375511+00:00/ceno/hints
new file mode 100644
index 00000000..19b6fa9b
Binary files /dev/null and b/sorting-output/5026-2025-01-14T14:15:39,736375511+00:00/ceno/hints differ
diff --git a/sorting-output/5026-2025-01-14T14:15:39,736375511+00:00/ceno/output_time b/sorting-output/5026-2025-01-14T14:15:39,736375511+00:00/ceno/output_time
new file mode 100644
index 00000000..84d8653e
--- /dev/null
+++ b/sorting-output/5026-2025-01-14T14:15:39,736375511+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/5026-2025-01-14T14:15:39,736375511+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+ User time (seconds): 483.90
+ System time (seconds): 45.23
+ Percent of CPU this job got: 2875%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:18.40
+ 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): 4094408
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 0
+ Minor (reclaiming a frame) page faults: 2472382
+ Voluntary context switches: 793628
+ Involuntary context switches: 135153
+ 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/5026-2025-01-14T14:15:58,752350795+00:00/sp1/log b/sorting-output/5026-2025-01-14T14:15:58,752350795+00:00/sp1/log
new file mode 100644
index 00000000..c7b5af4b
--- /dev/null
+++ b/sorting-output/5026-2025-01-14T14:15:58,752350795+00:00/sp1/log
@@ -0,0 +1,69 @@
+[2m2025-01-14T14:16:00.106859Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu'
+[2m2025-01-14T14:16:00.569513Z[0m [32m INFO[0m vk verification: true
+n: 5026
+[2m2025-01-14T14:16:02.908213Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:16:02.957562Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:16:03.183382Z[0m [32m INFO[0m [1mprove_core[0m: deferred 0 records
+[2m2025-01-14T14:16:03.279033Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=2989
+[2m2025-01-14T14:16:03.279056Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21
+[2m2025-01-14T14:16:03.279059Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 18
+[2m2025-01-14T14:16:03.279061Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21
+[2m2025-01-14T14:16:03.279064Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 18 -> 18
+[2m2025-01-14T14:16:03.279065Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 18
+[2m2025-01-14T14:16:03.279067Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 16 -> 18
+[2m2025-01-14T14:16:03.279068Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17 -> 18
+[2m2025-01-14T14:16:03.279069Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19
+[2m2025-01-14T14:16:03.279071Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 18
+[2m2025-01-14T14:16:03.279072Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19 -> 19
+[2m2025-01-14T14:16:03.279073Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18
+[2m2025-01-14T14:16:03.279074Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18
+[2m2025-01-14T14:16:03.279075Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 18
+[2m2025-01-14T14:16:03.279076Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 18
+[2m2025-01-14T14:16:03.279078Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 18
+[2m2025-01-14T14:16:03.279079Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 18
+[2m2025-01-14T14:16:03.279080Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalInit: 14 -> 17
+[2m2025-01-14T14:16:03.279081Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalFinalize: 15 -> 17
+[2m2025-01-14T14:16:03.279082Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 18
+[2m2025-01-14T14:16:03.390148Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m111ms [3mtime.idle[0m[2m=[0m2.76µs [2m[3mindex[0m[2m=[0m0[0m
+[2m2025-01-14T14:16:31.714973Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=1507314, total_syscall_cycles=20, touched_memory_addresses=30760
+[2m2025-01-14T14:16:31.715001Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts):
+[2m2025-01-14T14:16:31.715010Z[0m [32m INFO[0m [1mprove_core[0m: 455277 add
+[2m2025-01-14T14:16:31.715013Z[0m [32m INFO[0m [1mprove_core[0m: 264578 lw
+[2m2025-01-14T14:16:31.715015Z[0m [32m INFO[0m [1mprove_core[0m: 246668 sw
+[2m2025-01-14T14:16:31.715016Z[0m [32m INFO[0m [1mprove_core[0m: 127508 sll
+[2m2025-01-14T14:16:31.715019Z[0m [32m INFO[0m [1mprove_core[0m: 75168 bltu
+[2m2025-01-14T14:16:31.715020Z[0m [32m INFO[0m [1mprove_core[0m: 67103 xor
+[2m2025-01-14T14:16:31.715022Z[0m [32m INFO[0m [1mprove_core[0m: 64341 srl
+[2m2025-01-14T14:16:31.715024Z[0m [32m INFO[0m [1mprove_core[0m: 62866 or
+[2m2025-01-14T14:16:31.715026Z[0m [32m INFO[0m [1mprove_core[0m: 54650 sltu
+[2m2025-01-14T14:16:31.715027Z[0m [32m INFO[0m [1mprove_core[0m: 25653 bne
+[2m2025-01-14T14:16:31.715029Z[0m [32m INFO[0m [1mprove_core[0m: 20511 beq
+[2m2025-01-14T14:16:31.715031Z[0m [32m INFO[0m [1mprove_core[0m: 17732 bgeu
+[2m2025-01-14T14:16:31.715032Z[0m [32m INFO[0m [1mprove_core[0m: 10368 jal
+[2m2025-01-14T14:16:31.715034Z[0m [32m INFO[0m [1mprove_core[0m: 5365 sub
+[2m2025-01-14T14:16:31.715036Z[0m [32m INFO[0m [1mprove_core[0m: 3196 jalr
+[2m2025-01-14T14:16:31.715037Z[0m [32m INFO[0m [1mprove_core[0m: 3047 and
+[2m2025-01-14T14:16:31.715039Z[0m [32m INFO[0m [1mprove_core[0m: 1601 auipc
+[2m2025-01-14T14:16:31.715041Z[0m [32m INFO[0m [1mprove_core[0m: 789 mul
+[2m2025-01-14T14:16:31.715042Z[0m [32m INFO[0m [1mprove_core[0m: 420 sb
+[2m2025-01-14T14:16:31.715044Z[0m [32m INFO[0m [1mprove_core[0m: 222 lbu
+[2m2025-01-14T14:16:31.715046Z[0m [32m INFO[0m [1mprove_core[0m: 142 mulhu
+[2m2025-01-14T14:16:31.715048Z[0m [32m INFO[0m [1mprove_core[0m: 81 blt
+[2m2025-01-14T14:16:31.715049Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall
+[2m2025-01-14T14:16:31.715052Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb
+[2m2025-01-14T14:16:31.715054Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu
+[2m2025-01-14T14:16:31.715055Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge
+[2m2025-01-14T14:16:31.715058Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts):
+[2m2025-01-14T14:16:31.715064Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit
+[2m2025-01-14T14:16:31.715067Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs
+[2m2025-01-14T14:16:31.715068Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt
+[2m2025-01-14T14:16:31.715070Z[0m [32m INFO[0m [1mprove_core[0m: 1 write
+[2m2025-01-14T14:16:31.715072Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len
+[2m2025-01-14T14:16:31.715074Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read
+[2m2025-01-14T14:16:31.715083Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=1507314, e2e=28.807530236s, khz=52.32
+[2m2025-01-14T14:16:31.734402Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m28.4s [3mtime.idle[0m[2m=[0m438ms
+Successfully generated proof!
+[2m2025-01-14T14:16:31.977179Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m233ms [3mtime.idle[0m[2m=[0m1.91µs
+Successfully verified proof!
diff --git a/sorting-output/5026-2025-01-14T14:15:58,752350795+00:00/sp1/output_time b/sorting-output/5026-2025-01-14T14:15:58,752350795+00:00/sp1/output_time
new file mode 100644
index 00000000..d9336aa3
--- /dev/null
+++ b/sorting-output/5026-2025-01-14T14:15:58,752350795+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+ Command being timed: "cargo run --release -- --n=5026 --prove"
+ User time (seconds): 717.41
+ System time (seconds): 38.92
+ Percent of CPU this job got: 2304%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:32.82
+ 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): 13424352
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 0
+ Minor (reclaiming a frame) page faults: 7990997
+ Voluntary context switches: 241795
+ Involuntary context switches: 57556
+ 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/5132-2025-01-14T14:23:15,143530189+00:00/sp1/log b/sorting-output/5132-2025-01-14T14:23:15,143530189+00:00/sp1/log
new file mode 100644
index 00000000..9715b12d
--- /dev/null
+++ b/sorting-output/5132-2025-01-14T14:23:15,143530189+00:00/sp1/log
@@ -0,0 +1,69 @@
+[2m2025-01-14T14:23:16.507403Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu'
+[2m2025-01-14T14:23:16.972009Z[0m [32m INFO[0m vk verification: true
+n: 5132
+[2m2025-01-14T14:23:19.291574Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:23:19.342478Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:23:19.577613Z[0m [32m INFO[0m [1mprove_core[0m: deferred 0 records
+[2m2025-01-14T14:23:19.675558Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=2924
+[2m2025-01-14T14:23:19.675583Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21
+[2m2025-01-14T14:23:19.675586Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 18
+[2m2025-01-14T14:23:19.675588Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21
+[2m2025-01-14T14:23:19.675589Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 18 -> 18
+[2m2025-01-14T14:23:19.675591Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 18
+[2m2025-01-14T14:23:19.675594Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 17 -> 18
+[2m2025-01-14T14:23:19.675595Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17 -> 18
+[2m2025-01-14T14:23:19.675597Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19
+[2m2025-01-14T14:23:19.675598Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 18
+[2m2025-01-14T14:23:19.675599Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20
+[2m2025-01-14T14:23:19.675600Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18
+[2m2025-01-14T14:23:19.675601Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18
+[2m2025-01-14T14:23:19.675603Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 18
+[2m2025-01-14T14:23:19.675604Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 18
+[2m2025-01-14T14:23:19.675605Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 18
+[2m2025-01-14T14:23:19.675606Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 18
+[2m2025-01-14T14:23:19.675608Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalInit: 14 -> 17
+[2m2025-01-14T14:23:19.675609Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalFinalize: 15 -> 17
+[2m2025-01-14T14:23:19.675610Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 18
+[2m2025-01-14T14:23:19.784095Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m108ms [3mtime.idle[0m[2m=[0m2.23µs [2m[3mindex[0m[2m=[0m0[0m
+[2m2025-01-14T14:23:50.071044Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=1554836, total_syscall_cycles=20, touched_memory_addresses=30942
+[2m2025-01-14T14:23:50.071071Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts):
+[2m2025-01-14T14:23:50.071080Z[0m [32m INFO[0m [1mprove_core[0m: 472998 add
+[2m2025-01-14T14:23:50.071082Z[0m [32m INFO[0m [1mprove_core[0m: 271600 lw
+[2m2025-01-14T14:23:50.071084Z[0m [32m INFO[0m [1mprove_core[0m: 253525 sw
+[2m2025-01-14T14:23:50.071085Z[0m [32m INFO[0m [1mprove_core[0m: 130930 sll
+[2m2025-01-14T14:23:50.071087Z[0m [32m INFO[0m [1mprove_core[0m: 76848 bltu
+[2m2025-01-14T14:23:50.071088Z[0m [32m INFO[0m [1mprove_core[0m: 68681 xor
+[2m2025-01-14T14:23:50.071089Z[0m [32m INFO[0m [1mprove_core[0m: 65923 srl
+[2m2025-01-14T14:23:50.071091Z[0m [32m INFO[0m [1mprove_core[0m: 64418 or
+[2m2025-01-14T14:23:50.071092Z[0m [32m INFO[0m [1mprove_core[0m: 56285 sltu
+[2m2025-01-14T14:23:50.071093Z[0m [32m INFO[0m [1mprove_core[0m: 27878 bne
+[2m2025-01-14T14:23:50.071095Z[0m [32m INFO[0m [1mprove_core[0m: 21089 beq
+[2m2025-01-14T14:23:50.071096Z[0m [32m INFO[0m [1mprove_core[0m: 18359 bgeu
+[2m2025-01-14T14:23:50.071097Z[0m [32m INFO[0m [1mprove_core[0m: 11112 jal
+[2m2025-01-14T14:23:50.071098Z[0m [32m INFO[0m [1mprove_core[0m: 5456 sub
+[2m2025-01-14T14:23:50.071100Z[0m [32m INFO[0m [1mprove_core[0m: 3254 jalr
+[2m2025-01-14T14:23:50.071101Z[0m [32m INFO[0m [1mprove_core[0m: 3144 and
+[2m2025-01-14T14:23:50.071102Z[0m [32m INFO[0m [1mprove_core[0m: 1630 auipc
+[2m2025-01-14T14:23:50.071104Z[0m [32m INFO[0m [1mprove_core[0m: 806 mul
+[2m2025-01-14T14:23:50.071105Z[0m [32m INFO[0m [1mprove_core[0m: 421 sb
+[2m2025-01-14T14:23:50.071106Z[0m [32m INFO[0m [1mprove_core[0m: 224 lbu
+[2m2025-01-14T14:23:50.071107Z[0m [32m INFO[0m [1mprove_core[0m: 144 mulhu
+[2m2025-01-14T14:23:50.071109Z[0m [32m INFO[0m [1mprove_core[0m: 83 blt
+[2m2025-01-14T14:23:50.071110Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall
+[2m2025-01-14T14:23:50.071111Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb
+[2m2025-01-14T14:23:50.071113Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu
+[2m2025-01-14T14:23:50.071114Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge
+[2m2025-01-14T14:23:50.071116Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts):
+[2m2025-01-14T14:23:50.071122Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit
+[2m2025-01-14T14:23:50.071124Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs
+[2m2025-01-14T14:23:50.071125Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt
+[2m2025-01-14T14:23:50.071126Z[0m [32m INFO[0m [1mprove_core[0m: 1 write
+[2m2025-01-14T14:23:50.071128Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len
+[2m2025-01-14T14:23:50.071129Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read
+[2m2025-01-14T14:23:50.071137Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=1554836, e2e=30.780227287s, khz=50.51
+[2m2025-01-14T14:23:50.077894Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m30.3s [3mtime.idle[0m[2m=[0m447ms
+Successfully generated proof!
+[2m2025-01-14T14:23:50.318556Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m231ms [3mtime.idle[0m[2m=[0m1.57µs
+Successfully verified proof!
diff --git a/sorting-output/5132-2025-01-14T14:23:15,143530189+00:00/sp1/output_time b/sorting-output/5132-2025-01-14T14:23:15,143530189+00:00/sp1/output_time
new file mode 100644
index 00000000..51b1682a
--- /dev/null
+++ b/sorting-output/5132-2025-01-14T14:23:15,143530189+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+ Command being timed: "cargo run --release -- --n=5132 --prove"
+ User time (seconds): 766.80
+ System time (seconds): 46.83
+ Percent of CPU this job got: 2333%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:34.86
+ 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): 14431960
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 82
+ Minor (reclaiming a frame) page faults: 9290534
+ Voluntary context switches: 230275
+ Involuntary context switches: 60398
+ Swaps: 0
+ File system inputs: 0
+ File system outputs: 880
+ Socket messages sent: 0
+ Socket messages received: 0
+ Signals delivered: 0
+ Page size (bytes): 4096
+ Exit status: 0
diff --git a/sorting-output/5132-2025-01-14T14:23:50,952443817+00:00/ceno/hints b/sorting-output/5132-2025-01-14T14:23:50,952443817+00:00/ceno/hints
new file mode 100644
index 00000000..fa324a5c
Binary files /dev/null and b/sorting-output/5132-2025-01-14T14:23:50,952443817+00:00/ceno/hints differ
diff --git a/sorting-output/5132-2025-01-14T14:23:50,952443817+00:00/ceno/output_time b/sorting-output/5132-2025-01-14T14:23:50,952443817+00:00/ceno/output_time
new file mode 100644
index 00000000..c68942f1
--- /dev/null
+++ b/sorting-output/5132-2025-01-14T14:23:50,952443817+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/5132-2025-01-14T14:23:50,952443817+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+ User time (seconds): 493.01
+ System time (seconds): 39.89
+ Percent of CPU this job got: 2856%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:18.65
+ 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): 4073284
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 1
+ Minor (reclaiming a frame) page faults: 2453881
+ Voluntary context switches: 849287
+ Involuntary context switches: 133493
+ 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/5362-2025-01-14T14:14:05,251897509+00:00/ceno/output_time b/sorting-output/5362-2025-01-14T14:14:05,251897509+00:00/ceno/output_time
index e69de29b..dfae2017 100644
--- a/sorting-output/5362-2025-01-14T14:14:05,251897509+00:00/ceno/output_time
+++ b/sorting-output/5362-2025-01-14T14:14:05,251897509+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/5362-2025-01-14T14:14:05,251897509+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+ User time (seconds): 510.75
+ System time (seconds): 45.95
+ Percent of CPU this job got: 3001%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:18.54
+ 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): 4623776
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 0
+ Minor (reclaiming a frame) page faults: 2637127
+ Voluntary context switches: 846750
+ Involuntary context switches: 205398
+ 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/5555-2025-01-14T14:17:24,769309814+00:00/ceno/hints b/sorting-output/5555-2025-01-14T14:17:24,769309814+00:00/ceno/hints
new file mode 100644
index 00000000..001d7d51
Binary files /dev/null and b/sorting-output/5555-2025-01-14T14:17:24,769309814+00:00/ceno/hints differ
diff --git a/sorting-output/5555-2025-01-14T14:17:24,769309814+00:00/ceno/output_time b/sorting-output/5555-2025-01-14T14:17:24,769309814+00:00/ceno/output_time
new file mode 100644
index 00000000..ac7b6ca8
--- /dev/null
+++ b/sorting-output/5555-2025-01-14T14:17:24,769309814+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/5555-2025-01-14T14:17:24,769309814+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+ User time (seconds): 541.57
+ System time (seconds): 41.23
+ Percent of CPU this job got: 2985%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:19.52
+ 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): 4697452
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 1
+ Minor (reclaiming a frame) page faults: 2701462
+ Voluntary context switches: 878912
+ Involuntary context switches: 134178
+ 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/5555-2025-01-14T14:17:44,940422137+00:00/sp1/log b/sorting-output/5555-2025-01-14T14:17:44,940422137+00:00/sp1/log
new file mode 100644
index 00000000..c1acf502
--- /dev/null
+++ b/sorting-output/5555-2025-01-14T14:17:44,940422137+00:00/sp1/log
@@ -0,0 +1,69 @@
+[2m2025-01-14T14:17:46.307792Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu'
+[2m2025-01-14T14:17:46.773071Z[0m [32m INFO[0m vk verification: true
+n: 5555
+[2m2025-01-14T14:17:49.113064Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:17:49.166447Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:17:49.418425Z[0m [32m INFO[0m [1mprove_core[0m: deferred 0 records
+[2m2025-01-14T14:17:49.521573Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=2924
+[2m2025-01-14T14:17:49.521593Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21
+[2m2025-01-14T14:17:49.521596Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 18
+[2m2025-01-14T14:17:49.521597Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21
+[2m2025-01-14T14:17:49.521599Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 18 -> 18
+[2m2025-01-14T14:17:49.521601Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 18
+[2m2025-01-14T14:17:49.521602Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 17 -> 18
+[2m2025-01-14T14:17:49.521604Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18
+[2m2025-01-14T14:17:49.521605Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19
+[2m2025-01-14T14:17:49.521606Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 18
+[2m2025-01-14T14:17:49.521608Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20
+[2m2025-01-14T14:17:49.521609Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18
+[2m2025-01-14T14:17:49.521610Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18
+[2m2025-01-14T14:17:49.521612Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 18
+[2m2025-01-14T14:17:49.521613Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 18
+[2m2025-01-14T14:17:49.521614Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 18
+[2m2025-01-14T14:17:49.521615Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 18
+[2m2025-01-14T14:17:49.521616Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalInit: 14 -> 17
+[2m2025-01-14T14:17:49.521618Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalFinalize: 15 -> 17
+[2m2025-01-14T14:17:49.521619Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 18
+[2m2025-01-14T14:17:49.639354Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m118ms [3mtime.idle[0m[2m=[0m1.53µs [2m[3mindex[0m[2m=[0m0[0m
+[2m2025-01-14T14:18:19.747555Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=1670500, total_syscall_cycles=20, touched_memory_addresses=31788
+[2m2025-01-14T14:18:19.747586Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts):
+[2m2025-01-14T14:18:19.747595Z[0m [32m INFO[0m [1mprove_core[0m: 506296 add
+[2m2025-01-14T14:18:19.747597Z[0m [32m INFO[0m [1mprove_core[0m: 292792 lw
+[2m2025-01-14T14:18:19.747599Z[0m [32m INFO[0m [1mprove_core[0m: 272978 sw
+[2m2025-01-14T14:18:19.747600Z[0m [32m INFO[0m [1mprove_core[0m: 141482 sll
+[2m2025-01-14T14:18:19.747602Z[0m [32m INFO[0m [1mprove_core[0m: 83572 bltu
+[2m2025-01-14T14:18:19.747603Z[0m [32m INFO[0m [1mprove_core[0m: 73805 xor
+[2m2025-01-14T14:18:19.747605Z[0m [32m INFO[0m [1mprove_core[0m: 70648 srl
+[2m2025-01-14T14:18:19.747606Z[0m [32m INFO[0m [1mprove_core[0m: 69067 or
+[2m2025-01-14T14:18:19.747607Z[0m [32m INFO[0m [1mprove_core[0m: 61288 sltu
+[2m2025-01-14T14:18:19.747609Z[0m [32m INFO[0m [1mprove_core[0m: 28713 bne
+[2m2025-01-14T14:18:19.747610Z[0m [32m INFO[0m [1mprove_core[0m: 22043 beq
+[2m2025-01-14T14:18:19.747611Z[0m [32m INFO[0m [1mprove_core[0m: 19837 bgeu
+[2m2025-01-14T14:18:19.747613Z[0m [32m INFO[0m [1mprove_core[0m: 11612 jal
+[2m2025-01-14T14:18:19.747614Z[0m [32m INFO[0m [1mprove_core[0m: 5963 sub
+[2m2025-01-14T14:18:19.747615Z[0m [32m INFO[0m [1mprove_core[0m: 3508 jalr
+[2m2025-01-14T14:18:19.747617Z[0m [32m INFO[0m [1mprove_core[0m: 3368 and
+[2m2025-01-14T14:18:19.747618Z[0m [32m INFO[0m [1mprove_core[0m: 1757 auipc
+[2m2025-01-14T14:18:19.747619Z[0m [32m INFO[0m [1mprove_core[0m: 850 mul
+[2m2025-01-14T14:18:19.747620Z[0m [32m INFO[0m [1mprove_core[0m: 424 sb
+[2m2025-01-14T14:18:19.747622Z[0m [32m INFO[0m [1mprove_core[0m: 230 lbu
+[2m2025-01-14T14:18:19.747623Z[0m [32m INFO[0m [1mprove_core[0m: 150 mulhu
+[2m2025-01-14T14:18:19.747624Z[0m [32m INFO[0m [1mprove_core[0m: 89 blt
+[2m2025-01-14T14:18:19.747626Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall
+[2m2025-01-14T14:18:19.747627Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb
+[2m2025-01-14T14:18:19.747629Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu
+[2m2025-01-14T14:18:19.747630Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge
+[2m2025-01-14T14:18:19.747633Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts):
+[2m2025-01-14T14:18:19.747638Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit
+[2m2025-01-14T14:18:19.747641Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs
+[2m2025-01-14T14:18:19.747642Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt
+[2m2025-01-14T14:18:19.747644Z[0m [32m INFO[0m [1mprove_core[0m: 1 write
+[2m2025-01-14T14:18:19.747645Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len
+[2m2025-01-14T14:18:19.747649Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read
+[2m2025-01-14T14:18:19.747657Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=1670500, e2e=30.635279547s, khz=54.53
+[2m2025-01-14T14:18:19.769202Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m30.2s [3mtime.idle[0m[2m=[0m478ms
+Successfully generated proof!
+[2m2025-01-14T14:18:20.010011Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m229ms [3mtime.idle[0m[2m=[0m2.10µs
+Successfully verified proof!
diff --git a/sorting-output/5555-2025-01-14T14:17:44,940422137+00:00/sp1/output_time b/sorting-output/5555-2025-01-14T14:17:44,940422137+00:00/sp1/output_time
new file mode 100644
index 00000000..2e52d899
--- /dev/null
+++ b/sorting-output/5555-2025-01-14T14:17:44,940422137+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+ Command being timed: "cargo run --release -- --n=5555 --prove"
+ User time (seconds): 773.54
+ System time (seconds): 40.53
+ Percent of CPU this job got: 2348%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:34.66
+ 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): 14152912
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 1
+ Minor (reclaiming a frame) page faults: 8561691
+ Voluntary context switches: 250484
+ Involuntary context switches: 53536
+ Swaps: 0
+ File system inputs: 0
+ File system outputs: 880
+ Socket messages sent: 0
+ Socket messages received: 0
+ Signals delivered: 0
+ Page size (bytes): 4096
+ Exit status: 0
diff --git a/sorting-output/6213-2025-01-14T14:22:18,953753997+00:00/sp1/log b/sorting-output/6213-2025-01-14T14:22:18,953753997+00:00/sp1/log
new file mode 100644
index 00000000..01cc9149
--- /dev/null
+++ b/sorting-output/6213-2025-01-14T14:22:18,953753997+00:00/sp1/log
@@ -0,0 +1,69 @@
+[2m2025-01-14T14:22:20.314191Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu'
+[2m2025-01-14T14:22:20.775345Z[0m [32m INFO[0m vk verification: true
+n: 6213
+[2m2025-01-14T14:22:23.110118Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:22:23.170830Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:22:23.445783Z[0m [32m INFO[0m [1mprove_core[0m: deferred 0 records
+[2m2025-01-14T14:22:23.551294Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=2924
+[2m2025-01-14T14:22:23.551318Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21
+[2m2025-01-14T14:22:23.551321Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 18
+[2m2025-01-14T14:22:23.551325Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21
+[2m2025-01-14T14:22:23.551326Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 18 -> 18
+[2m2025-01-14T14:22:23.551328Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 11 -> 18
+[2m2025-01-14T14:22:23.551329Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 17 -> 18
+[2m2025-01-14T14:22:23.551330Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18
+[2m2025-01-14T14:22:23.551332Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19
+[2m2025-01-14T14:22:23.551333Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 18
+[2m2025-01-14T14:22:23.551334Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20
+[2m2025-01-14T14:22:23.551335Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18
+[2m2025-01-14T14:22:23.551336Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18
+[2m2025-01-14T14:22:23.551338Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18
+[2m2025-01-14T14:22:23.551339Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 18
+[2m2025-01-14T14:22:23.551340Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 18
+[2m2025-01-14T14:22:23.551342Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 18
+[2m2025-01-14T14:22:23.551343Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalInit: 14 -> 17
+[2m2025-01-14T14:22:23.551344Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalFinalize: 16 -> 17
+[2m2025-01-14T14:22:23.551345Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 18
+[2m2025-01-14T14:22:23.675725Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m124ms [3mtime.idle[0m[2m=[0m1.85µs [2m[3mindex[0m[2m=[0m0[0m
+[2m2025-01-14T14:22:53.541673Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=1895384, total_syscall_cycles=20, touched_memory_addresses=33119
+[2m2025-01-14T14:22:53.541711Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts):
+[2m2025-01-14T14:22:53.541718Z[0m [32m INFO[0m [1mprove_core[0m: 574556 add
+[2m2025-01-14T14:22:53.541721Z[0m [32m INFO[0m [1mprove_core[0m: 332658 lw
+[2m2025-01-14T14:22:53.541723Z[0m [32m INFO[0m [1mprove_core[0m: 310674 sw
+[2m2025-01-14T14:22:53.541724Z[0m [32m INFO[0m [1mprove_core[0m: 160640 sll
+[2m2025-01-14T14:22:53.541728Z[0m [32m INFO[0m [1mprove_core[0m: 96051 bltu
+[2m2025-01-14T14:22:53.541729Z[0m [32m INFO[0m [1mprove_core[0m: 82828 xor
+[2m2025-01-14T14:22:53.541731Z[0m [32m INFO[0m [1mprove_core[0m: 79289 srl
+[2m2025-01-14T14:22:53.541732Z[0m [32m INFO[0m [1mprove_core[0m: 77572 or
+[2m2025-01-14T14:22:53.541733Z[0m [32m INFO[0m [1mprove_core[0m: 70721 sltu
+[2m2025-01-14T14:22:53.541735Z[0m [32m INFO[0m [1mprove_core[0m: 31738 bne
+[2m2025-01-14T14:22:53.541736Z[0m [32m INFO[0m [1mprove_core[0m: 24722 beq
+[2m2025-01-14T14:22:53.541737Z[0m [32m INFO[0m [1mprove_core[0m: 22839 bgeu
+[2m2025-01-14T14:22:53.541738Z[0m [32m INFO[0m [1mprove_core[0m: 12875 jal
+[2m2025-01-14T14:22:53.541740Z[0m [32m INFO[0m [1mprove_core[0m: 6608 sub
+[2m2025-01-14T14:22:53.541741Z[0m [32m INFO[0m [1mprove_core[0m: 3988 jalr
+[2m2025-01-14T14:22:53.541742Z[0m [32m INFO[0m [1mprove_core[0m: 3743 and
+[2m2025-01-14T14:22:53.541743Z[0m [32m INFO[0m [1mprove_core[0m: 1997 auipc
+[2m2025-01-14T14:22:53.541745Z[0m [32m INFO[0m [1mprove_core[0m: 938 mul
+[2m2025-01-14T14:22:53.541746Z[0m [32m INFO[0m [1mprove_core[0m: 427 sb
+[2m2025-01-14T14:22:53.541747Z[0m [32m INFO[0m [1mprove_core[0m: 236 lbu
+[2m2025-01-14T14:22:53.541749Z[0m [32m INFO[0m [1mprove_core[0m: 156 mulhu
+[2m2025-01-14T14:22:53.541750Z[0m [32m INFO[0m [1mprove_core[0m: 100 blt
+[2m2025-01-14T14:22:53.541751Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall
+[2m2025-01-14T14:22:53.541752Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb
+[2m2025-01-14T14:22:53.541754Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu
+[2m2025-01-14T14:22:53.541755Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge
+[2m2025-01-14T14:22:53.541757Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts):
+[2m2025-01-14T14:22:53.541762Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit
+[2m2025-01-14T14:22:53.541764Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs
+[2m2025-01-14T14:22:53.541766Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt
+[2m2025-01-14T14:22:53.541767Z[0m [32m INFO[0m [1mprove_core[0m: 1 write
+[2m2025-01-14T14:22:53.541769Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len
+[2m2025-01-14T14:22:53.541770Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read
+[2m2025-01-14T14:22:53.541777Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=1895384, e2e=30.432307009s, khz=62.28
+[2m2025-01-14T14:22:53.560282Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m29.9s [3mtime.idle[0m[2m=[0m511ms
+Successfully generated proof!
+[2m2025-01-14T14:22:53.813474Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m228ms [3mtime.idle[0m[2m=[0m3.43µs
+Successfully verified proof!
diff --git a/sorting-output/6213-2025-01-14T14:22:18,953753997+00:00/sp1/output_time b/sorting-output/6213-2025-01-14T14:22:18,953753997+00:00/sp1/output_time
new file mode 100644
index 00000000..5f08c237
--- /dev/null
+++ b/sorting-output/6213-2025-01-14T14:22:18,953753997+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+ Command being timed: "cargo run --release -- --n=6213 --prove"
+ User time (seconds): 769.62
+ System time (seconds): 38.70
+ Percent of CPU this job got: 2340%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:34.53
+ 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): 13921208
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 2
+ Minor (reclaiming a frame) page faults: 8380388
+ Voluntary context switches: 248701
+ Involuntary context switches: 53798
+ 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/6213-2025-01-14T14:22:54,457041539+00:00/ceno/hints b/sorting-output/6213-2025-01-14T14:22:54,457041539+00:00/ceno/hints
new file mode 100644
index 00000000..807393c9
Binary files /dev/null and b/sorting-output/6213-2025-01-14T14:22:54,457041539+00:00/ceno/hints differ
diff --git a/sorting-output/6213-2025-01-14T14:22:54,457041539+00:00/ceno/output_time b/sorting-output/6213-2025-01-14T14:22:54,457041539+00:00/ceno/output_time
new file mode 100644
index 00000000..b036ad07
--- /dev/null
+++ b/sorting-output/6213-2025-01-14T14:22:54,457041539+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/6213-2025-01-14T14:22:54,457041539+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+ User time (seconds): 528.70
+ System time (seconds): 44.43
+ Percent of CPU this job got: 2856%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:20.06
+ 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): 4745524
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 36
+ Minor (reclaiming a frame) page faults: 2678613
+ Voluntary context switches: 893672
+ Involuntary context switches: 139227
+ 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/6248-2025-01-14T14:19:14,509998807+00:00/ceno/hints b/sorting-output/6248-2025-01-14T14:19:14,509998807+00:00/ceno/hints
new file mode 100644
index 00000000..0aa45d80
Binary files /dev/null and b/sorting-output/6248-2025-01-14T14:19:14,509998807+00:00/ceno/hints differ
diff --git a/sorting-output/6248-2025-01-14T14:19:14,509998807+00:00/ceno/output_time b/sorting-output/6248-2025-01-14T14:19:14,509998807+00:00/ceno/output_time
new file mode 100644
index 00000000..5f54039d
--- /dev/null
+++ b/sorting-output/6248-2025-01-14T14:19:14,509998807+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/6248-2025-01-14T14:19:14,509998807+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+ User time (seconds): 541.40
+ System time (seconds): 40.61
+ Percent of CPU this job got: 2976%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:19.55
+ 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): 4797384
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 0
+ Minor (reclaiming a frame) page faults: 2557674
+ Voluntary context switches: 872642
+ Involuntary context switches: 142187
+ 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/6248-2025-01-14T14:19:34,697385929+00:00/sp1/log b/sorting-output/6248-2025-01-14T14:19:34,697385929+00:00/sp1/log
new file mode 100644
index 00000000..a9cb7ad4
--- /dev/null
+++ b/sorting-output/6248-2025-01-14T14:19:34,697385929+00:00/sp1/log
@@ -0,0 +1,69 @@
+[2m2025-01-14T14:19:36.021813Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu'
+[2m2025-01-14T14:19:36.483447Z[0m [32m INFO[0m vk verification: true
+n: 6248
+[2m2025-01-14T14:19:38.841208Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:19:38.902114Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:19:39.180968Z[0m [32m INFO[0m [1mprove_core[0m: deferred 0 records
+[2m2025-01-14T14:19:39.283895Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=2924
+[2m2025-01-14T14:19:39.283918Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21
+[2m2025-01-14T14:19:39.283921Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 18
+[2m2025-01-14T14:19:39.283922Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21
+[2m2025-01-14T14:19:39.283924Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 18 -> 18
+[2m2025-01-14T14:19:39.283926Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 11 -> 18
+[2m2025-01-14T14:19:39.283928Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 17 -> 18
+[2m2025-01-14T14:19:39.283929Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18
+[2m2025-01-14T14:19:39.283930Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19
+[2m2025-01-14T14:19:39.283931Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 18
+[2m2025-01-14T14:19:39.283933Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20
+[2m2025-01-14T14:19:39.283934Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18
+[2m2025-01-14T14:19:39.283935Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18
+[2m2025-01-14T14:19:39.283936Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18
+[2m2025-01-14T14:19:39.283937Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 18
+[2m2025-01-14T14:19:39.283938Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 18
+[2m2025-01-14T14:19:39.283940Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 18
+[2m2025-01-14T14:19:39.283941Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalInit: 14 -> 17
+[2m2025-01-14T14:19:39.283942Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryGlobalFinalize: 16 -> 17
+[2m2025-01-14T14:19:39.283943Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 18
+[2m2025-01-14T14:19:39.418416Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m134ms [3mtime.idle[0m[2m=[0m2.10µs [2m[3mindex[0m[2m=[0m0[0m
+[2m2025-01-14T14:20:09.435435Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=1903381, total_syscall_cycles=20, touched_memory_addresses=33189
+[2m2025-01-14T14:20:09.435463Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts):
+[2m2025-01-14T14:20:09.435472Z[0m [32m INFO[0m [1mprove_core[0m: 580319 add
+[2m2025-01-14T14:20:09.435475Z[0m [32m INFO[0m [1mprove_core[0m: 332841 lw
+[2m2025-01-14T14:20:09.435477Z[0m [32m INFO[0m [1mprove_core[0m: 310308 sw
+[2m2025-01-14T14:20:09.435479Z[0m [32m INFO[0m [1mprove_core[0m: 160933 sll
+[2m2025-01-14T14:20:09.435481Z[0m [32m INFO[0m [1mprove_core[0m: 95666 bltu
+[2m2025-01-14T14:20:09.435483Z[0m [32m INFO[0m [1mprove_core[0m: 82981 xor
+[2m2025-01-14T14:20:09.435484Z[0m [32m INFO[0m [1mprove_core[0m: 79316 srl
+[2m2025-01-14T14:20:09.435486Z[0m [32m INFO[0m [1mprove_core[0m: 77584 or
+[2m2025-01-14T14:20:09.435488Z[0m [32m INFO[0m [1mprove_core[0m: 70876 sltu
+[2m2025-01-14T14:20:09.435490Z[0m [32m INFO[0m [1mprove_core[0m: 33564 bne
+[2m2025-01-14T14:20:09.435491Z[0m [32m INFO[0m [1mprove_core[0m: 24414 beq
+[2m2025-01-14T14:20:09.435493Z[0m [32m INFO[0m [1mprove_core[0m: 22877 bgeu
+[2m2025-01-14T14:20:09.435495Z[0m [32m INFO[0m [1mprove_core[0m: 13204 jal
+[2m2025-01-14T14:20:09.435496Z[0m [32m INFO[0m [1mprove_core[0m: 6758 sub
+[2m2025-01-14T14:20:09.435498Z[0m [32m INFO[0m [1mprove_core[0m: 4024 jalr
+[2m2025-01-14T14:20:09.435500Z[0m [32m INFO[0m [1mprove_core[0m: 3805 and
+[2m2025-01-14T14:20:09.435501Z[0m [32m INFO[0m [1mprove_core[0m: 2015 auipc
+[2m2025-01-14T14:20:09.435503Z[0m [32m INFO[0m [1mprove_core[0m: 944 mul
+[2m2025-01-14T14:20:09.435505Z[0m [32m INFO[0m [1mprove_core[0m: 428 sb
+[2m2025-01-14T14:20:09.435506Z[0m [32m INFO[0m [1mprove_core[0m: 238 lbu
+[2m2025-01-14T14:20:09.435508Z[0m [32m INFO[0m [1mprove_core[0m: 158 mulhu
+[2m2025-01-14T14:20:09.435510Z[0m [32m INFO[0m [1mprove_core[0m: 100 blt
+[2m2025-01-14T14:20:09.435512Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall
+[2m2025-01-14T14:20:09.435513Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb
+[2m2025-01-14T14:20:09.435515Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu
+[2m2025-01-14T14:20:09.435517Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge
+[2m2025-01-14T14:20:09.435520Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts):
+[2m2025-01-14T14:20:09.435526Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit
+[2m2025-01-14T14:20:09.435528Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs
+[2m2025-01-14T14:20:09.435530Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt
+[2m2025-01-14T14:20:09.435532Z[0m [32m INFO[0m [1mprove_core[0m: 1 write
+[2m2025-01-14T14:20:09.435534Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len
+[2m2025-01-14T14:20:09.435536Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read
+[2m2025-01-14T14:20:09.435545Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=1903381, e2e=30.595062812s, khz=62.21
+[2m2025-01-14T14:20:09.438394Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m30.1s [3mtime.idle[0m[2m=[0m522ms
+Successfully generated proof!
+[2m2025-01-14T14:20:09.678510Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m230ms [3mtime.idle[0m[2m=[0m2.43µs
+Successfully verified proof!
diff --git a/sorting-output/6248-2025-01-14T14:19:34,697385929+00:00/sp1/output_time b/sorting-output/6248-2025-01-14T14:19:34,697385929+00:00/sp1/output_time
new file mode 100644
index 00000000..228a8ce5
--- /dev/null
+++ b/sorting-output/6248-2025-01-14T14:19:34,697385929+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+ Command being timed: "cargo run --release -- --n=6248 --prove"
+ User time (seconds): 767.27
+ System time (seconds): 47.53
+ Percent of CPU this job got: 2352%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:34.63
+ 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): 14284412
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 0
+ Minor (reclaiming a frame) page faults: 9179418
+ Voluntary context switches: 253834
+ Involuntary context switches: 64435
+ 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/7630-2025-01-14T14:18:20,583656181+00:00/ceno/hints b/sorting-output/7630-2025-01-14T14:18:20,583656181+00:00/ceno/hints
new file mode 100644
index 00000000..c17c7c8b
Binary files /dev/null and b/sorting-output/7630-2025-01-14T14:18:20,583656181+00:00/ceno/hints differ
diff --git a/sorting-output/7630-2025-01-14T14:18:20,583656181+00:00/ceno/output_time b/sorting-output/7630-2025-01-14T14:18:20,583656181+00:00/ceno/output_time
new file mode 100644
index 00000000..9d9378ac
--- /dev/null
+++ b/sorting-output/7630-2025-01-14T14:18:20,583656181+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/7630-2025-01-14T14:18:20,583656181+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+ User time (seconds): 576.16
+ System time (seconds): 42.77
+ Percent of CPU this job got: 3010%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:20.55
+ 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): 5033952
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 0
+ Minor (reclaiming a frame) page faults: 3069735
+ Voluntary context switches: 921274
+ Involuntary context switches: 137178
+ 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/7630-2025-01-14T14:18:41,775825431+00:00/sp1/log b/sorting-output/7630-2025-01-14T14:18:41,775825431+00:00/sp1/log
new file mode 100644
index 00000000..22b80468
--- /dev/null
+++ b/sorting-output/7630-2025-01-14T14:18:41,775825431+00:00/sp1/log
@@ -0,0 +1,82 @@
+[2m2025-01-14T14:18:43.142852Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu'
+[2m2025-01-14T14:18:43.600815Z[0m [32m INFO[0m vk verification: true
+n: 7630
+[2m2025-01-14T14:18:45.920119Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:18:45.993411Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:18:46.329208Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records
+[2m2025-01-14T14:18:46.465943Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=54
+[2m2025-01-14T14:18:46.465969Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21
+[2m2025-01-14T14:18:46.465972Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10
+[2m2025-01-14T14:18:46.465975Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21
+[2m2025-01-14T14:18:46.465976Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 18 -> 18
+[2m2025-01-14T14:18:46.465978Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 11 -> 17
+[2m2025-01-14T14:18:46.465979Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 17 -> 17
+[2m2025-01-14T14:18:46.465980Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18
+[2m2025-01-14T14:18:46.465982Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19
+[2m2025-01-14T14:18:46.465983Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 18
+[2m2025-01-14T14:18:46.465984Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20
+[2m2025-01-14T14:18:46.465985Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18
+[2m2025-01-14T14:18:46.465986Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18
+[2m2025-01-14T14:18:46.465988Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18
+[2m2025-01-14T14:18:46.465989Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 17
+[2m2025-01-14T14:18:46.465990Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10
+[2m2025-01-14T14:18:46.465991Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10
+[2m2025-01-14T14:18:46.468100Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=265
+[2m2025-01-14T14:18:46.468110Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 18 -> 18
+[2m2025-01-14T14:18:46.468112Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 18 -> 18
+[2m2025-01-14T14:18:46.468113Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 12 -> 14
+[2m2025-01-14T14:18:46.468115Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 8 -> 14
+[2m2025-01-14T14:18:46.468116Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 10 -> 14
+[2m2025-01-14T14:18:46.468117Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 15 -> 15
+[2m2025-01-14T14:18:46.468118Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 17 -> 17
+[2m2025-01-14T14:18:46.468120Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 10 -> 15
+[2m2025-01-14T14:18:46.468121Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 17 -> 17
+[2m2025-01-14T14:18:46.468122Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 9 -> 15
+[2m2025-01-14T14:18:46.468123Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 16 -> 16
+[2m2025-01-14T14:18:46.468124Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 12 -> 15
+[2m2025-01-14T14:18:46.468126Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 13 -> 14
+[2m2025-01-14T14:18:46.468127Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 10
+[2m2025-01-14T14:18:46.468128Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 10
+[2m2025-01-14T14:18:46.589697Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m121ms [3mtime.idle[0m[2m=[0m2.73µs [2m[3mindex[0m[2m=[0m0[0m
+[2m2025-01-14T14:19:12.866771Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=2346486, total_syscall_cycles=20, touched_memory_addresses=35953
+[2m2025-01-14T14:19:12.866804Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts):
+[2m2025-01-14T14:19:12.866812Z[0m [32m INFO[0m [1mprove_core[0m: 718869 add
+[2m2025-01-14T14:19:12.866815Z[0m [32m INFO[0m [1mprove_core[0m: 409581 lw
+[2m2025-01-14T14:19:12.866817Z[0m [32m INFO[0m [1mprove_core[0m: 383029 sw
+[2m2025-01-14T14:19:12.866818Z[0m [32m INFO[0m [1mprove_core[0m: 197429 sll
+[2m2025-01-14T14:19:12.866820Z[0m [32m INFO[0m [1mprove_core[0m: 118781 bltu
+[2m2025-01-14T14:19:12.866822Z[0m [32m INFO[0m [1mprove_core[0m: 100975 xor
+[2m2025-01-14T14:19:12.866824Z[0m [32m INFO[0m [1mprove_core[0m: 96525 srl
+[2m2025-01-14T14:19:12.866825Z[0m [32m INFO[0m [1mprove_core[0m: 94573 or
+[2m2025-01-14T14:19:12.866827Z[0m [32m INFO[0m [1mprove_core[0m: 87673 sltu
+[2m2025-01-14T14:19:12.866828Z[0m [32m INFO[0m [1mprove_core[0m: 41744 bne
+[2m2025-01-14T14:19:12.866829Z[0m [32m INFO[0m [1mprove_core[0m: 31028 beq
+[2m2025-01-14T14:19:12.866831Z[0m [32m INFO[0m [1mprove_core[0m: 28190 bgeu
+[2m2025-01-14T14:19:12.866832Z[0m [32m INFO[0m [1mprove_core[0m: 16392 jal
+[2m2025-01-14T14:19:12.866833Z[0m [32m INFO[0m [1mprove_core[0m: 7965 sub
+[2m2025-01-14T14:19:12.866835Z[0m [32m INFO[0m [1mprove_core[0m: 4826 jalr
+[2m2025-01-14T14:19:12.866836Z[0m [32m INFO[0m [1mprove_core[0m: 4405 and
+[2m2025-01-14T14:19:12.866837Z[0m [32m INFO[0m [1mprove_core[0m: 2416 auipc
+[2m2025-01-14T14:19:12.866839Z[0m [32m INFO[0m [1mprove_core[0m: 1086 mul
+[2m2025-01-14T14:19:12.866840Z[0m [32m INFO[0m [1mprove_core[0m: 433 sb
+[2m2025-01-14T14:19:12.866841Z[0m [32m INFO[0m [1mprove_core[0m: 248 lbu
+[2m2025-01-14T14:19:12.866843Z[0m [32m INFO[0m [1mprove_core[0m: 168 mulhu
+[2m2025-01-14T14:19:12.866844Z[0m [32m INFO[0m [1mprove_core[0m: 122 blt
+[2m2025-01-14T14:19:12.866845Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall
+[2m2025-01-14T14:19:12.866847Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb
+[2m2025-01-14T14:19:12.866848Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu
+[2m2025-01-14T14:19:12.866849Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge
+[2m2025-01-14T14:19:12.866852Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts):
+[2m2025-01-14T14:19:12.866857Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit
+[2m2025-01-14T14:19:12.866859Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs
+[2m2025-01-14T14:19:12.866861Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt
+[2m2025-01-14T14:19:12.866862Z[0m [32m INFO[0m [1mprove_core[0m: 1 write
+[2m2025-01-14T14:19:12.866864Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len
+[2m2025-01-14T14:19:12.866865Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read
+[2m2025-01-14T14:19:12.866873Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=2346486, e2e=26.947417136s, khz=87.08
+[2m2025-01-14T14:19:12.870029Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m26.4s [3mtime.idle[0m[2m=[0m602ms
+Successfully generated proof!
+[2m2025-01-14T14:19:13.407654Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m519ms [3mtime.idle[0m[2m=[0m1.66µs
+Successfully verified proof!
diff --git a/sorting-output/7630-2025-01-14T14:18:41,775825431+00:00/sp1/output_time b/sorting-output/7630-2025-01-14T14:18:41,775825431+00:00/sp1/output_time
new file mode 100644
index 00000000..05cf25e4
--- /dev/null
+++ b/sorting-output/7630-2025-01-14T14:18:41,775825431+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+ Command being timed: "cargo run --release -- --n=7630 --prove"
+ User time (seconds): 840.58
+ System time (seconds): 41.37
+ Percent of CPU this job got: 2776%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:31.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): 13141020
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 0
+ Minor (reclaiming a frame) page faults: 8285956
+ Voluntary context switches: 403475
+ Involuntary context switches: 64033
+ 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/9459-2025-01-14T14:24:10,265545904+00:00/sp1/log b/sorting-output/9459-2025-01-14T14:24:10,265545904+00:00/sp1/log
new file mode 100644
index 00000000..5e884c20
--- /dev/null
+++ b/sorting-output/9459-2025-01-14T14:24:10,265545904+00:00/sp1/log
@@ -0,0 +1,82 @@
+[2m2025-01-14T14:24:11.613808Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu'
+[2m2025-01-14T14:24:12.105755Z[0m [32m INFO[0m vk verification: true
+n: 9459
+[2m2025-01-14T14:24:14.423925Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:24:14.512871Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:24:14.931735Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records
+[2m2025-01-14T14:24:15.103667Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=54
+[2m2025-01-14T14:24:15.103691Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21
+[2m2025-01-14T14:24:15.103695Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10
+[2m2025-01-14T14:24:15.103697Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21
+[2m2025-01-14T14:24:15.103699Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 18 -> 18
+[2m2025-01-14T14:24:15.103701Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 11 -> 17
+[2m2025-01-14T14:24:15.103704Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 17 -> 17
+[2m2025-01-14T14:24:15.103706Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18
+[2m2025-01-14T14:24:15.103708Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19
+[2m2025-01-14T14:24:15.103709Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18
+[2m2025-01-14T14:24:15.103711Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20
+[2m2025-01-14T14:24:15.103714Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18
+[2m2025-01-14T14:24:15.103715Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18
+[2m2025-01-14T14:24:15.103717Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 18
+[2m2025-01-14T14:24:15.103719Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17
+[2m2025-01-14T14:24:15.103721Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10
+[2m2025-01-14T14:24:15.103723Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10
+[2m2025-01-14T14:24:15.104627Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=207
+[2m2025-01-14T14:24:15.104639Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 20 -> 20
+[2m2025-01-14T14:24:15.104642Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 20 -> 20
+[2m2025-01-14T14:24:15.104644Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 16
+[2m2025-01-14T14:24:15.104646Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 9 -> 16
+[2m2025-01-14T14:24:15.104648Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 11 -> 16
+[2m2025-01-14T14:24:15.104650Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 16 -> 16
+[2m2025-01-14T14:24:15.104654Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19
+[2m2025-01-14T14:24:15.104656Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 17
+[2m2025-01-14T14:24:15.104658Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 18 -> 18
+[2m2025-01-14T14:24:15.104659Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 17
+[2m2025-01-14T14:24:15.104661Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 17 -> 17
+[2m2025-01-14T14:24:15.104663Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 17
+[2m2025-01-14T14:24:15.104665Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 16
+[2m2025-01-14T14:24:15.104668Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 10
+[2m2025-01-14T14:24:15.104669Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 10
+[2m2025-01-14T14:24:15.236925Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m132ms [3mtime.idle[0m[2m=[0m2.56µs [2m[3mindex[0m[2m=[0m0[0m
+[2m2025-01-14T14:24:41.696541Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=2946753, total_syscall_cycles=20, touched_memory_addresses=39581
+[2m2025-01-14T14:24:41.696574Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts):
+[2m2025-01-14T14:24:41.696583Z[0m [32m INFO[0m [1mprove_core[0m: 908882 add
+[2m2025-01-14T14:24:41.696586Z[0m [32m INFO[0m [1mprove_core[0m: 513396 lw
+[2m2025-01-14T14:24:41.696588Z[0m [32m INFO[0m [1mprove_core[0m: 480169 sw
+[2m2025-01-14T14:24:41.696590Z[0m [32m INFO[0m [1mprove_core[0m: 247343 sll
+[2m2025-01-14T14:24:41.696592Z[0m [32m INFO[0m [1mprove_core[0m: 150912 bltu
+[2m2025-01-14T14:24:41.696593Z[0m [32m INFO[0m [1mprove_core[0m: 124273 xor
+[2m2025-01-14T14:24:41.696595Z[0m [32m INFO[0m [1mprove_core[0m: 118560 srl
+[2m2025-01-14T14:24:41.696596Z[0m [32m INFO[0m [1mprove_core[0m: 116239 or
+[2m2025-01-14T14:24:41.696598Z[0m [32m INFO[0m [1mprove_core[0m: 112446 sltu
+[2m2025-01-14T14:24:41.696600Z[0m [32m INFO[0m [1mprove_core[0m: 53293 bne
+[2m2025-01-14T14:24:41.696602Z[0m [32m INFO[0m [1mprove_core[0m: 37853 beq
+[2m2025-01-14T14:24:41.696603Z[0m [32m INFO[0m [1mprove_core[0m: 35680 bgeu
+[2m2025-01-14T14:24:41.696605Z[0m [32m INFO[0m [1mprove_core[0m: 20784 jal
+[2m2025-01-14T14:24:41.696607Z[0m [32m INFO[0m [1mprove_core[0m: 9901 sub
+[2m2025-01-14T14:24:41.696608Z[0m [32m INFO[0m [1mprove_core[0m: 6176 jalr
+[2m2025-01-14T14:24:41.696609Z[0m [32m INFO[0m [1mprove_core[0m: 5347 and
+[2m2025-01-14T14:24:41.696611Z[0m [32m INFO[0m [1mprove_core[0m: 3091 auipc
+[2m2025-01-14T14:24:41.696612Z[0m [32m INFO[0m [1mprove_core[0m: 1326 mul
+[2m2025-01-14T14:24:41.696613Z[0m [32m INFO[0m [1mprove_core[0m: 444 sb
+[2m2025-01-14T14:24:41.696614Z[0m [32m INFO[0m [1mprove_core[0m: 270 lbu
+[2m2025-01-14T14:24:41.696616Z[0m [32m INFO[0m [1mprove_core[0m: 190 mulhu
+[2m2025-01-14T14:24:41.696617Z[0m [32m INFO[0m [1mprove_core[0m: 150 blt
+[2m2025-01-14T14:24:41.696618Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall
+[2m2025-01-14T14:24:41.696620Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb
+[2m2025-01-14T14:24:41.696621Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu
+[2m2025-01-14T14:24:41.696622Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge
+[2m2025-01-14T14:24:41.696625Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts):
+[2m2025-01-14T14:24:41.696630Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit
+[2m2025-01-14T14:24:41.696632Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs
+[2m2025-01-14T14:24:41.696636Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt
+[2m2025-01-14T14:24:41.696638Z[0m [32m INFO[0m [1mprove_core[0m: 1 write
+[2m2025-01-14T14:24:41.696639Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len
+[2m2025-01-14T14:24:41.696641Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read
+[2m2025-01-14T14:24:41.696649Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=2946753, e2e=27.273387197s, khz=108.04
+[2m2025-01-14T14:24:41.700085Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m26.5s [3mtime.idle[0m[2m=[0m730ms
+Successfully generated proof!
+[2m2025-01-14T14:24:42.223843Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m510ms [3mtime.idle[0m[2m=[0m2.23µs
+Successfully verified proof!
diff --git a/sorting-output/9459-2025-01-14T14:24:10,265545904+00:00/sp1/output_time b/sorting-output/9459-2025-01-14T14:24:10,265545904+00:00/sp1/output_time
new file mode 100644
index 00000000..f7fcafdc
--- /dev/null
+++ b/sorting-output/9459-2025-01-14T14:24:10,265545904+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+ Command being timed: "cargo run --release -- --n=9459 --prove"
+ User time (seconds): 1025.25
+ System time (seconds): 50.64
+ Percent of CPU this job got: 3381%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:31.81
+ 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): 16123200
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 0
+ Minor (reclaiming a frame) page faults: 10331455
+ Voluntary context switches: 377753
+ Involuntary context switches: 82057
+ Swaps: 0
+ File system inputs: 0
+ File system outputs: 880
+ Socket messages sent: 0
+ Socket messages received: 0
+ Signals delivered: 0
+ Page size (bytes): 4096
+ Exit status: 0
diff --git a/sorting-output/9459-2025-01-14T14:24:43,053264986+00:00/ceno/hints b/sorting-output/9459-2025-01-14T14:24:43,053264986+00:00/ceno/hints
new file mode 100644
index 00000000..c668dadc
Binary files /dev/null and b/sorting-output/9459-2025-01-14T14:24:43,053264986+00:00/ceno/hints differ
diff --git a/sorting-output/9459-2025-01-14T14:24:43,053264986+00:00/ceno/output_time b/sorting-output/9459-2025-01-14T14:24:43,053264986+00:00/ceno/output_time
new file mode 100644
index 00000000..8a7ea4b4
--- /dev/null
+++ b/sorting-output/9459-2025-01-14T14:24:43,053264986+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/9459-2025-01-14T14:24:43,053264986+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+ User time (seconds): 613.46
+ System time (seconds): 49.74
+ Percent of CPU this job got: 3120%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:21.25
+ 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): 6272312
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 0
+ Minor (reclaiming a frame) page faults: 3398687
+ Voluntary context switches: 974556
+ Involuntary context switches: 142046
+ 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/9846-2025-01-14T14:25:04,954474297+00:00/ceno/hints b/sorting-output/9846-2025-01-14T14:25:04,954474297+00:00/ceno/hints
new file mode 100644
index 00000000..a2d9cef5
Binary files /dev/null and b/sorting-output/9846-2025-01-14T14:25:04,954474297+00:00/ceno/hints differ
diff --git a/sorting-output/9846-2025-01-14T14:25:04,954474297+00:00/ceno/output_time b/sorting-output/9846-2025-01-14T14:25:04,954474297+00:00/ceno/output_time
new file mode 100644
index 00000000..001f116a
--- /dev/null
+++ b/sorting-output/9846-2025-01-14T14:25:04,954474297+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/9846-2025-01-14T14:25:04,954474297+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+ User time (seconds): 659.51
+ System time (seconds): 46.38
+ Percent of CPU this job got: 3113%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:22.67
+ 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): 6853404
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 0
+ Minor (reclaiming a frame) page faults: 3810546
+ Voluntary context switches: 940284
+ Involuntary context switches: 155863
+ 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/9846-2025-01-14T14:25:28,241450036+00:00/sp1/log b/sorting-output/9846-2025-01-14T14:25:28,241450036+00:00/sp1/log
new file mode 100644
index 00000000..8ee309e0
--- /dev/null
+++ b/sorting-output/9846-2025-01-14T14:25:28,241450036+00:00/sp1/log
@@ -0,0 +1,82 @@
+[2m2025-01-14T14:25:29.601047Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu'
+[2m2025-01-14T14:25:30.061756Z[0m [32m INFO[0m vk verification: true
+n: 9846
+[2m2025-01-14T14:25:32.477426Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:25:32.570725Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T14:25:33.014798Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records
+[2m2025-01-14T14:25:33.186585Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=54
+[2m2025-01-14T14:25:33.186607Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21
+[2m2025-01-14T14:25:33.186609Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10
+[2m2025-01-14T14:25:33.186611Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21
+[2m2025-01-14T14:25:33.186613Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 18 -> 18
+[2m2025-01-14T14:25:33.186615Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 11 -> 17
+[2m2025-01-14T14:25:33.186616Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 17 -> 17
+[2m2025-01-14T14:25:33.186617Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18
+[2m2025-01-14T14:25:33.186619Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19
+[2m2025-01-14T14:25:33.186620Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18
+[2m2025-01-14T14:25:33.186621Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20
+[2m2025-01-14T14:25:33.186622Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18
+[2m2025-01-14T14:25:33.186624Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18
+[2m2025-01-14T14:25:33.186625Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 18
+[2m2025-01-14T14:25:33.186626Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17
+[2m2025-01-14T14:25:33.186627Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10
+[2m2025-01-14T14:25:33.186628Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10
+[2m2025-01-14T14:25:33.187547Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=165
+[2m2025-01-14T14:25:33.187555Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 20 -> 20
+[2m2025-01-14T14:25:33.187557Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 20 -> 20
+[2m2025-01-14T14:25:33.187558Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 16
+[2m2025-01-14T14:25:33.187560Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 16
+[2m2025-01-14T14:25:33.187561Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 11 -> 16
+[2m2025-01-14T14:25:33.187562Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17 -> 17
+[2m2025-01-14T14:25:33.187565Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19
+[2m2025-01-14T14:25:33.187567Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 17
+[2m2025-01-14T14:25:33.187569Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19 -> 19
+[2m2025-01-14T14:25:33.187571Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 17
+[2m2025-01-14T14:25:33.187572Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18
+[2m2025-01-14T14:25:33.187574Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 17
+[2m2025-01-14T14:25:33.187576Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 16
+[2m2025-01-14T14:25:33.187578Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 10
+[2m2025-01-14T14:25:33.187579Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 10
+[2m2025-01-14T14:25:33.328734Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m141ms [3mtime.idle[0m[2m=[0m1.89µs [2m[3mindex[0m[2m=[0m0[0m
+[2m2025-01-14T14:26:01.306271Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=3084164, total_syscall_cycles=20, touched_memory_addresses=40370
+[2m2025-01-14T14:26:01.306298Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts):
+[2m2025-01-14T14:26:01.306306Z[0m [32m INFO[0m [1mprove_core[0m: 953427 add
+[2m2025-01-14T14:26:01.306308Z[0m [32m INFO[0m [1mprove_core[0m: 536882 lw
+[2m2025-01-14T14:26:01.306311Z[0m [32m INFO[0m [1mprove_core[0m: 501922 sw
+[2m2025-01-14T14:26:01.306313Z[0m [32m INFO[0m [1mprove_core[0m: 259130 sll
+[2m2025-01-14T14:26:01.306315Z[0m [32m INFO[0m [1mprove_core[0m: 158731 bltu
+[2m2025-01-14T14:26:01.306317Z[0m [32m INFO[0m [1mprove_core[0m: 129446 xor
+[2m2025-01-14T14:26:01.306318Z[0m [32m INFO[0m [1mprove_core[0m: 123234 srl
+[2m2025-01-14T14:26:01.306320Z[0m [32m INFO[0m [1mprove_core[0m: 120873 or
+[2m2025-01-14T14:26:01.306322Z[0m [32m INFO[0m [1mprove_core[0m: 118614 sltu
+[2m2025-01-14T14:26:01.306324Z[0m [32m INFO[0m [1mprove_core[0m: 56030 bne
+[2m2025-01-14T14:26:01.306325Z[0m [32m INFO[0m [1mprove_core[0m: 39003 beq
+[2m2025-01-14T14:26:01.306327Z[0m [32m INFO[0m [1mprove_core[0m: 37460 bgeu
+[2m2025-01-14T14:26:01.306329Z[0m [32m INFO[0m [1mprove_core[0m: 21487 jal
+[2m2025-01-14T14:26:01.306330Z[0m [32m INFO[0m [1mprove_core[0m: 10439 sub
+[2m2025-01-14T14:26:01.306332Z[0m [32m INFO[0m [1mprove_core[0m: 6370 jalr
+[2m2025-01-14T14:26:01.306333Z[0m [32m INFO[0m [1mprove_core[0m: 5485 and
+[2m2025-01-14T14:26:01.306335Z[0m [32m INFO[0m [1mprove_core[0m: 3188 auipc
+[2m2025-01-14T14:26:01.306337Z[0m [32m INFO[0m [1mprove_core[0m: 1346 mul
+[2m2025-01-14T14:26:01.306338Z[0m [32m INFO[0m [1mprove_core[0m: 446 sb
+[2m2025-01-14T14:26:01.306340Z[0m [32m INFO[0m [1mprove_core[0m: 273 lbu
+[2m2025-01-14T14:26:01.306342Z[0m [32m INFO[0m [1mprove_core[0m: 194 mulhu
+[2m2025-01-14T14:26:01.306343Z[0m [32m INFO[0m [1mprove_core[0m: 156 blt
+[2m2025-01-14T14:26:01.306345Z[0m [32m INFO[0m [1mprove_core[0m: 20 ecall
+[2m2025-01-14T14:26:01.306347Z[0m [32m INFO[0m [1mprove_core[0m: 4 lb
+[2m2025-01-14T14:26:01.306348Z[0m [32m INFO[0m [1mprove_core[0m: 3 divu
+[2m2025-01-14T14:26:01.306349Z[0m [32m INFO[0m [1mprove_core[0m: 1 bge
+[2m2025-01-14T14:26:01.306352Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts):
+[2m2025-01-14T14:26:01.306357Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit
+[2m2025-01-14T14:26:01.306358Z[0m [32m INFO[0m [1mprove_core[0m: 8 commit_deferred_proofs
+[2m2025-01-14T14:26:01.306360Z[0m [32m INFO[0m [1mprove_core[0m: 1 halt
+[2m2025-01-14T14:26:01.306361Z[0m [32m INFO[0m [1mprove_core[0m: 1 write
+[2m2025-01-14T14:26:01.306363Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_len
+[2m2025-01-14T14:26:01.306364Z[0m [32m INFO[0m [1mprove_core[0m: 1 hint_read
+[2m2025-01-14T14:26:01.306371Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=3084164, e2e=28.829594913s, khz=106.98
+[2m2025-01-14T14:26:01.309455Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m28.1s [3mtime.idle[0m[2m=[0m763ms
+Successfully generated proof!
+[2m2025-01-14T14:26:01.838550Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m516ms [3mtime.idle[0m[2m=[0m1.53µs
+Successfully verified proof!
diff --git a/sorting-output/9846-2025-01-14T14:25:28,241450036+00:00/sp1/output_time b/sorting-output/9846-2025-01-14T14:25:28,241450036+00:00/sp1/output_time
new file mode 100644
index 00000000..e6b56bf2
--- /dev/null
+++ b/sorting-output/9846-2025-01-14T14:25:28,241450036+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+ Command being timed: "cargo run --release -- --n=9846 --prove"
+ User time (seconds): 1060.72
+ System time (seconds): 55.61
+ Percent of CPU this job got: 3339%
+ Elapsed (wall clock) time (h:mm:ss or m:ss): 0:33.42
+ 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): 16713116
+ Average resident set size (kbytes): 0
+ Major (requiring I/O) page faults: 1
+ Minor (reclaiming a frame) page faults: 10680054
+ Voluntary context switches: 421876
+ Involuntary context switches: 134271
+ Swaps: 0
+ File system inputs: 0
+ File system outputs: 880
+ Socket messages sent: 0
+ Socket messages received: 0
+ Signals delivered: 0
+ Page size (bytes): 4096
+ Exit status: 0