diff --git a/README.markdown b/README.markdown index 75eb0427..63595175 100644 --- a/README.markdown +++ b/README.markdown @@ -1,3 +1 @@ -![Stats](./plotting/sp1_ceno_scatter.svg) - ![Stats](./plotting/sp1_ceno_scatter.png) diff --git a/plotting/ceno.data b/plotting/ceno.data index 5f1768b3..22188601 100644 --- a/plotting/ceno.data +++ b/plotting/ceno.data @@ -380,8 +380,12 @@ 18506 ceno 28.77 19264 ceno 31.6 19563 ceno 31.05 +20998 ceno +23877 ceno 35.93 24012 ceno 35.28 +26331 ceno 38.38 26451 ceno 38.32 +26603 ceno 39.05 27592 ceno 37.69 29328 ceno 39.19 29750 ceno 42.74 diff --git a/plotting/sp1.data b/plotting/sp1.data index c8308d14..e4a9a549 100644 --- a/plotting/sp1.data +++ b/plotting/sp1.data @@ -380,9 +380,12 @@ 18506 sp1 44.53 19264 sp1 45.79 19563 sp1 44.41 +23877 sp1 49.46 24012 sp1 49.39 +26331 sp1 52.22 26451 sp1 52.98 -27592 sp1 +26603 sp1 52.82 +27592 sp1 55.8 29328 sp1 56.88 29750 sp1 58.3 31065 sp1 58.53 diff --git a/plotting/sp1_ceno_scatter.png b/plotting/sp1_ceno_scatter.png index 5d8c9400..d54309c0 100644 Binary files a/plotting/sp1_ceno_scatter.png and b/plotting/sp1_ceno_scatter.png differ diff --git a/sorting-output/20998-2025-01-14T15:01:55,696955969+00:00/ceno/hints b/sorting-output/20998-2025-01-14T15:01:55,696955969+00:00/ceno/hints new file mode 100644 index 00000000..d69bfe43 Binary files /dev/null and b/sorting-output/20998-2025-01-14T15:01:55,696955969+00:00/ceno/hints differ diff --git a/sorting-output/20998-2025-01-14T15:01:55,696955969+00:00/ceno/output_time b/sorting-output/20998-2025-01-14T15:01:55,696955969+00:00/ceno/output_time new file mode 100644 index 00000000..e69de29b diff --git a/sorting-output/23877-2025-01-14T14:58:56,495363006+00:00/sp1/log b/sorting-output/23877-2025-01-14T14:58:56,495363006+00:00/sp1/log new file mode 100644 index 00000000..1ac536e1 --- /dev/null +++ b/sorting-output/23877-2025-01-14T14:58:56,495363006+00:00/sp1/log @@ -0,0 +1,110 @@ +2025-01-14T14:58:57.859930Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T14:58:58.321901Z  INFO vk verification: true +n: 23877 +2025-01-14T14:59:00.679216Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T14:59:00.925183Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T14:59:02.130811Z  INFO prove_core: deferred 1 records +2025-01-14T14:59:02.518946Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210 +2025-01-14T14:59:02.518971Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T14:59:02.518975Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T14:59:02.518976Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T14:59:02.518979Z  INFO prove_core: Chip Mul: 2 -> 17 +2025-01-14T14:59:02.518981Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T14:59:02.518982Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T14:59:02.518984Z  INFO prove_core: Chip Lt: 17 -> 18 +2025-01-14T14:59:02.518985Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T14:59:02.518986Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T14:59:02.518987Z  INFO prove_core: Chip Auipc: 9 -> 18 +2025-01-14T14:59:02.518988Z  INFO prove_core: Chip Branch: 16 -> 18 +2025-01-14T14:59:02.518989Z  INFO prove_core: Chip Jump: 12 -> 18 +2025-01-14T14:59:02.518991Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T14:59:02.518992Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T14:59:02.518993Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T14:59:02.519366Z  INFO prove_core: Shard Lifted: Index=2, Cluster=54 +2025-01-14T14:59:02.519370Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T14:59:02.519372Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T14:59:02.519373Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T14:59:02.519374Z  INFO prove_core: Chip Bitwise: 18 -> 18 +2025-01-14T14:59:02.519375Z  INFO prove_core: Chip Mul: 11 -> 17 +2025-01-14T14:59:02.519376Z  INFO prove_core: Chip ShiftRight: 17 -> 17 +2025-01-14T14:59:02.519378Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T14:59:02.519379Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T14:59:02.519380Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T14:59:02.519381Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T14:59:02.519382Z  INFO prove_core: Chip Auipc: 11 -> 18 +2025-01-14T14:59:02.519383Z  INFO prove_core: Chip Branch: 18 -> 18 +2025-01-14T14:59:02.519385Z  INFO prove_core: Chip Jump: 14 -> 18 +2025-01-14T14:59:02.519386Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T14:59:02.519580Z  INFO prove_core: Shard Lifted: Index=3, Cluster=179 +2025-01-14T14:59:02.519584Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T14:59:02.519586Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T14:59:02.519587Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T14:59:02.519588Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T14:59:02.519589Z  INFO prove_core: Chip ShiftRight: 11 -> 17 +2025-01-14T14:59:02.519591Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T14:59:02.519592Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T14:59:02.519593Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T14:59:02.519594Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T14:59:02.519596Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T14:59:02.519597Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T14:59:02.519598Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T14:59:02.519600Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T14:59:02.519771Z  INFO prove_core: Shard Lifted: Index=4, Cluster=180 +2025-01-14T14:59:02.519774Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T14:59:02.519776Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T14:59:02.519777Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T14:59:02.519778Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T14:59:02.519779Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T14:59:02.519781Z  INFO prove_core: Chip ShiftLeft: 17 -> 17 +2025-01-14T14:59:02.519782Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T14:59:02.519783Z  INFO prove_core: Chip MemoryLocal: 12 -> 18 +2025-01-14T14:59:02.519784Z  INFO prove_core: Chip MemoryInstrs: 19 -> 19 +2025-01-14T14:59:02.519786Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T14:59:02.519787Z  INFO prove_core: Chip Branch: 18 -> 19 +2025-01-14T14:59:02.519788Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T14:59:02.519789Z  INFO prove_core: Chip Global: 15 -> 17 +2025-01-14T14:59:02.519790Z  INFO prove_core: Chip SyscallCore: 5 -> 10 +2025-01-14T14:59:02.519791Z  INFO prove_core: Chip SyscallInstrs: 5 -> 10 +2025-01-14T14:59:02.819640Z  INFO prove_core:generate main traces: close time.busy=300ms time.idle=2.36µs index=0 +2025-01-14T14:59:45.155004Z  INFO prove_core: execution report (totals): total_cycles=7846965, total_syscall_cycles=20, touched_memory_addresses=68466 +2025-01-14T14:59:45.155034Z  INFO prove_core: execution report (opcode counts): +2025-01-14T14:59:45.155043Z  INFO prove_core: 2464385 add +2025-01-14T14:59:45.155046Z  INFO prove_core: 1358755 lw +2025-01-14T14:59:45.155048Z  INFO prove_core: 1275722 sw +2025-01-14T14:59:45.155051Z  INFO prove_core: 654919 sll +2025-01-14T14:59:45.155053Z  INFO prove_core: 419829 bltu +2025-01-14T14:59:45.155055Z  INFO prove_core: 316465 sltu +2025-01-14T14:59:45.155057Z  INFO prove_core: 311686 xor +2025-01-14T14:59:45.155058Z  INFO prove_core: 295687 srl +2025-01-14T14:59:45.155060Z  INFO prove_core: 290897 or +2025-01-14T14:59:45.155061Z  INFO prove_core: 144770 bne +2025-01-14T14:59:45.155062Z  INFO prove_core: 97860 bgeu +2025-01-14T14:59:45.155064Z  INFO prove_core: 96836 beq +2025-01-14T14:59:45.155065Z  INFO prove_core: 54325 jal +2025-01-14T14:59:45.155066Z  INFO prove_core: 24739 sub +2025-01-14T14:59:45.155068Z  INFO prove_core: 15435 jalr +2025-01-14T14:59:45.155069Z  INFO prove_core: 12421 and +2025-01-14T14:59:45.155070Z  INFO prove_core: 7721 auipc +2025-01-14T14:59:45.155072Z  INFO prove_core: 2879 mul +2025-01-14T14:59:45.155073Z  INFO prove_core: 537 sb +2025-01-14T14:59:45.155074Z  INFO prove_core: 388 lbu +2025-01-14T14:59:45.155076Z  INFO prove_core: 375 blt +2025-01-14T14:59:45.155077Z  INFO prove_core: 306 mulhu +2025-01-14T14:59:45.155078Z  INFO prove_core: 20 ecall +2025-01-14T14:59:45.155080Z  INFO prove_core: 4 lb +2025-01-14T14:59:45.155081Z  INFO prove_core: 3 divu +2025-01-14T14:59:45.155082Z  INFO prove_core: 1 bge +2025-01-14T14:59:45.155085Z  INFO prove_core: execution report (syscall counts): +2025-01-14T14:59:45.155091Z  INFO prove_core: 8 commit +2025-01-14T14:59:45.155093Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T14:59:45.155094Z  INFO prove_core: 1 halt +2025-01-14T14:59:45.155096Z  INFO prove_core: 1 write +2025-01-14T14:59:45.155098Z  INFO prove_core: 1 hint_len +2025-01-14T14:59:45.155099Z  INFO prove_core: 1 hint_read +2025-01-14T14:59:45.155107Z  INFO prove_core: summary: cycles=7846965, e2e=44.476592094s, khz=176.43 +2025-01-14T14:59:45.161596Z  INFO prove_core: close time.busy=42.6s time.idle=1.90s +Successfully generated proof! +2025-01-14T14:59:46.053154Z  INFO verify: close time.busy=883ms time.idle=2.03µs +Successfully verified proof! diff --git a/sorting-output/23877-2025-01-14T14:58:56,495363006+00:00/sp1/output_time b/sorting-output/23877-2025-01-14T14:58:56,495363006+00:00/sp1/output_time new file mode 100644 index 00000000..c192f78b --- /dev/null +++ b/sorting-output/23877-2025-01-14T14:58:56,495363006+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=23877 --prove" + User time (seconds): 2556.54 + System time (seconds): 97.47 + Percent of CPU this job got: 5365% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:49.46 + 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): 36386960 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 5 + Minor (reclaiming a frame) page faults: 23433623 + Voluntary context switches: 580091 + Involuntary context switches: 102487 + Swaps: 0 + File system inputs: 0 + File system outputs: 976 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/23877-2025-01-14T14:59:46,921499287+00:00/ceno/hints b/sorting-output/23877-2025-01-14T14:59:46,921499287+00:00/ceno/hints new file mode 100644 index 00000000..c1b1fbe5 Binary files /dev/null and b/sorting-output/23877-2025-01-14T14:59:46,921499287+00:00/ceno/hints differ diff --git a/sorting-output/23877-2025-01-14T14:59:46,921499287+00:00/ceno/output_time b/sorting-output/23877-2025-01-14T14:59:46,921499287+00:00/ceno/output_time new file mode 100644 index 00000000..fd4dcabf --- /dev/null +++ b/sorting-output/23877-2025-01-14T14:59:46,921499287+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/23877-2025-01-14T14:59:46,921499287+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 1222.21 + System time (seconds): 75.75 + Percent of CPU this job got: 3612% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:35.93 + 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): 14027820 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 9644116 + Voluntary context switches: 1144204 + Involuntary context switches: 166350 + 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/26331-2025-01-14T15:00:23,502098054+00:00/ceno/hints b/sorting-output/26331-2025-01-14T15:00:23,502098054+00:00/ceno/hints new file mode 100644 index 00000000..cf51cf52 Binary files /dev/null and b/sorting-output/26331-2025-01-14T15:00:23,502098054+00:00/ceno/hints differ diff --git a/sorting-output/26331-2025-01-14T15:00:23,502098054+00:00/ceno/output_time b/sorting-output/26331-2025-01-14T15:00:23,502098054+00:00/ceno/output_time new file mode 100644 index 00000000..e4df6d28 --- /dev/null +++ b/sorting-output/26331-2025-01-14T15:00:23,502098054+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/26331-2025-01-14T15:00:23,502098054+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 1316.87 + System time (seconds): 88.32 + Percent of CPU this job got: 3660% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:38.38 + 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): 15085992 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 11309979 + Voluntary context switches: 1200214 + Involuntary context switches: 178401 + 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/26331-2025-01-14T15:01:02,514187816+00:00/sp1/log b/sorting-output/26331-2025-01-14T15:01:02,514187816+00:00/sp1/log new file mode 100644 index 00000000..e60e7de9 --- /dev/null +++ b/sorting-output/26331-2025-01-14T15:01:02,514187816+00:00/sp1/log @@ -0,0 +1,124 @@ +2025-01-14T15:01:03.881050Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T15:01:04.342611Z  INFO vk verification: true +n: 26331 +2025-01-14T15:01:06.660043Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:01:06.929625Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:01:08.234283Z  INFO prove_core: deferred 1 records +2025-01-14T15:01:08.660407Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210 +2025-01-14T15:01:08.660429Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:01:08.660432Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:01:08.660435Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T15:01:08.660437Z  INFO prove_core: Chip Mul: 2 -> 17 +2025-01-14T15:01:08.660439Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T15:01:08.660441Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:01:08.660442Z  INFO prove_core: Chip Lt: 17 -> 18 +2025-01-14T15:01:08.660444Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:01:08.660446Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:01:08.660447Z  INFO prove_core: Chip Auipc: 9 -> 18 +2025-01-14T15:01:08.660449Z  INFO prove_core: Chip Branch: 16 -> 18 +2025-01-14T15:01:08.660450Z  INFO prove_core: Chip Jump: 12 -> 18 +2025-01-14T15:01:08.660452Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:01:08.660453Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T15:01:08.660455Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T15:01:08.660844Z  INFO prove_core: Shard Lifted: Index=2, Cluster=54 +2025-01-14T15:01:08.660848Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:01:08.660849Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T15:01:08.660851Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:01:08.660852Z  INFO prove_core: Chip Bitwise: 18 -> 18 +2025-01-14T15:01:08.660853Z  INFO prove_core: Chip Mul: 11 -> 17 +2025-01-14T15:01:08.660854Z  INFO prove_core: Chip ShiftRight: 17 -> 17 +2025-01-14T15:01:08.660855Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:01:08.660856Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T15:01:08.660858Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T15:01:08.660859Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:01:08.660860Z  INFO prove_core: Chip Auipc: 10 -> 18 +2025-01-14T15:01:08.660861Z  INFO prove_core: Chip Branch: 18 -> 18 +2025-01-14T15:01:08.660862Z  INFO prove_core: Chip Jump: 14 -> 18 +2025-01-14T15:01:08.660863Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T15:01:08.661076Z  INFO prove_core: Shard Lifted: Index=3, Cluster=179 +2025-01-14T15:01:08.661079Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:01:08.661081Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:01:08.661082Z  INFO prove_core: Chip Bitwise: 15 -> 17 +2025-01-14T15:01:08.661083Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:01:08.661084Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T15:01:08.661086Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:01:08.661087Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:01:08.661088Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T15:01:08.661089Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:01:08.661090Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:01:08.661092Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T15:01:08.661093Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:01:08.661094Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T15:01:08.661277Z  INFO prove_core: Shard Lifted: Index=4, Cluster=179 +2025-01-14T15:01:08.661280Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:01:08.661282Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:01:08.661283Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T15:01:08.661284Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:01:08.661285Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T15:01:08.661287Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:01:08.661288Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:01:08.661289Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:01:08.661290Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:01:08.661291Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:01:08.661292Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T15:01:08.661294Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:01:08.661295Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:01:08.663374Z  INFO prove_core: Shard Lifted: Index=5, Cluster=287 +2025-01-14T15:01:08.663382Z  INFO prove_core: Chip Cpu: 19 -> 19 +2025-01-14T15:01:08.663383Z  INFO prove_core: Chip AddSub: 18 -> 18 +2025-01-14T15:01:08.663385Z  INFO prove_core: Chip Bitwise: 13 -> 15 +2025-01-14T15:01:08.663386Z  INFO prove_core: Chip Mul: 8 -> 16 +2025-01-14T15:01:08.663387Z  INFO prove_core: Chip ShiftRight: 11 -> 15 +2025-01-14T15:01:08.663388Z  INFO prove_core: Chip ShiftLeft: 15 -> 15 +2025-01-14T15:01:08.663389Z  INFO prove_core: Chip Lt: 17 -> 17 +2025-01-14T15:01:08.663391Z  INFO prove_core: Chip MemoryLocal: 10 -> 16 +2025-01-14T15:01:08.663392Z  INFO prove_core: Chip MemoryInstrs: 17 -> 17 +2025-01-14T15:01:08.663393Z  INFO prove_core: Chip Auipc: 10 -> 16 +2025-01-14T15:01:08.663395Z  INFO prove_core: Chip Branch: 16 -> 16 +2025-01-14T15:01:08.663396Z  INFO prove_core: Chip Jump: 13 -> 16 +2025-01-14T15:01:08.663397Z  INFO prove_core: Chip Global: 13 -> 15 +2025-01-14T15:01:08.663398Z  INFO prove_core: Chip SyscallCore: 5 -> 10 +2025-01-14T15:01:08.663399Z  INFO prove_core: Chip SyscallInstrs: 5 -> 10 +2025-01-14T15:01:08.994524Z  INFO prove_core:generate main traces: close time.busy=331ms time.idle=1.73µs index=0 +2025-01-14T15:01:53.209904Z  INFO prove_core: execution report (totals): total_cycles=8704730, total_syscall_cycles=20, touched_memory_addresses=73374 +2025-01-14T15:01:53.209930Z  INFO prove_core: execution report (opcode counts): +2025-01-14T15:01:53.209939Z  INFO prove_core: 2746315 add +2025-01-14T15:01:53.209943Z  INFO prove_core: 1503371 lw +2025-01-14T15:01:53.209945Z  INFO prove_core: 1411395 sw +2025-01-14T15:01:53.209947Z  INFO prove_core: 725324 sll +2025-01-14T15:01:53.209949Z  INFO prove_core: 464850 bltu +2025-01-14T15:01:53.209950Z  INFO prove_core: 352529 sltu +2025-01-14T15:01:53.209952Z  INFO prove_core: 343403 xor +2025-01-14T15:01:53.209954Z  INFO prove_core: 325423 srl +2025-01-14T15:01:53.209956Z  INFO prove_core: 320241 or +2025-01-14T15:01:53.209957Z  INFO prove_core: 164966 bne +2025-01-14T15:01:53.209959Z  INFO prove_core: 108511 bgeu +2025-01-14T15:01:53.209961Z  INFO prove_core: 105450 beq +2025-01-14T15:01:53.209962Z  INFO prove_core: 61428 jal +2025-01-14T15:01:53.209964Z  INFO prove_core: 27409 sub +2025-01-14T15:01:53.209966Z  INFO prove_core: 17131 jalr +2025-01-14T15:01:53.209968Z  INFO prove_core: 13584 and +2025-01-14T15:01:53.209969Z  INFO prove_core: 8569 auipc +2025-01-14T15:01:53.209970Z  INFO prove_core: 3129 mul +2025-01-14T15:01:53.209972Z  INFO prove_core: 543 sb +2025-01-14T15:01:53.209973Z  INFO prove_core: 413 blt +2025-01-14T15:01:53.209974Z  INFO prove_core: 400 lbu +2025-01-14T15:01:53.209976Z  INFO prove_core: 318 mulhu +2025-01-14T15:01:53.209977Z  INFO prove_core: 20 ecall +2025-01-14T15:01:53.209978Z  INFO prove_core: 4 lb +2025-01-14T15:01:53.209980Z  INFO prove_core: 3 divu +2025-01-14T15:01:53.209981Z  INFO prove_core: 1 bge +2025-01-14T15:01:53.209983Z  INFO prove_core: execution report (syscall counts): +2025-01-14T15:01:53.209989Z  INFO prove_core: 8 commit +2025-01-14T15:01:53.209991Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T15:01:53.209992Z  INFO prove_core: 1 halt +2025-01-14T15:01:53.209994Z  INFO prove_core: 1 write +2025-01-14T15:01:53.209996Z  INFO prove_core: 1 hint_len +2025-01-14T15:01:53.209997Z  INFO prove_core: 1 hint_read +2025-01-14T15:01:53.210003Z  INFO prove_core: summary: cycles=8704730, e2e=46.550625011s, khz=186.99 +2025-01-14T15:01:53.217039Z  INFO prove_core: close time.busy=44.5s time.idle=2.07s +Successfully generated proof! +2025-01-14T15:01:54.314924Z  INFO verify: close time.busy=1.09s time.idle=2.75µs +Successfully verified proof! diff --git a/sorting-output/26331-2025-01-14T15:01:02,514187816+00:00/sp1/output_time b/sorting-output/26331-2025-01-14T15:01:02,514187816+00:00/sp1/output_time new file mode 100644 index 00000000..39d5d4b0 --- /dev/null +++ b/sorting-output/26331-2025-01-14T15:01:02,514187816+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=26331 --prove" + User time (seconds): 2736.68 + System time (seconds): 101.32 + Percent of CPU this job got: 5434% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:52.22 + 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): 39848724 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 24686667 + Voluntary context switches: 685671 + Involuntary context switches: 154793 + Swaps: 0 + File system inputs: 0 + File system outputs: 976 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/26603-2025-01-14T14:57:23,048607813+00:00/ceno/hints b/sorting-output/26603-2025-01-14T14:57:23,048607813+00:00/ceno/hints new file mode 100644 index 00000000..0cc1e65d Binary files /dev/null and b/sorting-output/26603-2025-01-14T14:57:23,048607813+00:00/ceno/hints differ diff --git a/sorting-output/26603-2025-01-14T14:57:23,048607813+00:00/ceno/output_time b/sorting-output/26603-2025-01-14T14:57:23,048607813+00:00/ceno/output_time new file mode 100644 index 00000000..eab0e05b --- /dev/null +++ b/sorting-output/26603-2025-01-14T14:57:23,048607813+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/26603-2025-01-14T14:57:23,048607813+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 1343.71 + System time (seconds): 88.03 + Percent of CPU this job got: 3666% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:39.05 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 15093080 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 11174582 + Voluntary context switches: 1179093 + Involuntary context switches: 186807 + 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/26603-2025-01-14T14:58:02,717135588+00:00/sp1/log b/sorting-output/26603-2025-01-14T14:58:02,717135588+00:00/sp1/log new file mode 100644 index 00000000..553b5e5a --- /dev/null +++ b/sorting-output/26603-2025-01-14T14:58:02,717135588+00:00/sp1/log @@ -0,0 +1,124 @@ +2025-01-14T14:58:04.052753Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T14:58:04.508949Z  INFO vk verification: true +n: 26603 +2025-01-14T14:58:06.830776Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T14:58:07.105192Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T14:58:08.439784Z  INFO prove_core: deferred 1 records +2025-01-14T14:58:08.870426Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210 +2025-01-14T14:58:08.870454Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T14:58:08.870457Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T14:58:08.870459Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T14:58:08.870461Z  INFO prove_core: Chip Mul: 2 -> 17 +2025-01-14T14:58:08.870463Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T14:58:08.870465Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T14:58:08.870466Z  INFO prove_core: Chip Lt: 17 -> 18 +2025-01-14T14:58:08.870467Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T14:58:08.870469Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T14:58:08.870470Z  INFO prove_core: Chip Auipc: 9 -> 18 +2025-01-14T14:58:08.870471Z  INFO prove_core: Chip Branch: 16 -> 18 +2025-01-14T14:58:08.870472Z  INFO prove_core: Chip Jump: 12 -> 18 +2025-01-14T14:58:08.870473Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T14:58:08.870474Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T14:58:08.870476Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T14:58:08.870865Z  INFO prove_core: Shard Lifted: Index=2, Cluster=54 +2025-01-14T14:58:08.870869Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T14:58:08.870871Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T14:58:08.870872Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T14:58:08.870873Z  INFO prove_core: Chip Bitwise: 18 -> 18 +2025-01-14T14:58:08.870874Z  INFO prove_core: Chip Mul: 11 -> 17 +2025-01-14T14:58:08.870875Z  INFO prove_core: Chip ShiftRight: 17 -> 17 +2025-01-14T14:58:08.870876Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T14:58:08.870878Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T14:58:08.870879Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T14:58:08.870880Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T14:58:08.870881Z  INFO prove_core: Chip Auipc: 10 -> 18 +2025-01-14T14:58:08.870882Z  INFO prove_core: Chip Branch: 18 -> 18 +2025-01-14T14:58:08.870883Z  INFO prove_core: Chip Jump: 14 -> 18 +2025-01-14T14:58:08.870885Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T14:58:08.871100Z  INFO prove_core: Shard Lifted: Index=3, Cluster=179 +2025-01-14T14:58:08.871103Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T14:58:08.871105Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T14:58:08.871106Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T14:58:08.871107Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T14:58:08.871108Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T14:58:08.871109Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T14:58:08.871111Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T14:58:08.871112Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T14:58:08.871113Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T14:58:08.871114Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T14:58:08.871115Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T14:58:08.871117Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T14:58:08.871118Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T14:58:08.871300Z  INFO prove_core: Shard Lifted: Index=4, Cluster=179 +2025-01-14T14:58:08.871304Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T14:58:08.871306Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T14:58:08.871307Z  INFO prove_core: Chip Bitwise: 15 -> 17 +2025-01-14T14:58:08.871308Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T14:58:08.871309Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T14:58:08.871311Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T14:58:08.871312Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T14:58:08.871313Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T14:58:08.871315Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T14:58:08.871316Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T14:58:08.871317Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T14:58:08.871318Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T14:58:08.871319Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T14:58:08.873257Z  INFO prove_core: Shard Lifted: Index=5, Cluster=250 +2025-01-14T14:58:08.873266Z  INFO prove_core: Chip Cpu: 19 -> 19 +2025-01-14T14:58:08.873267Z  INFO prove_core: Chip AddSub: 19 -> 19 +2025-01-14T14:58:08.873269Z  INFO prove_core: Chip Bitwise: 13 -> 15 +2025-01-14T14:58:08.873270Z  INFO prove_core: Chip Mul: 8 -> 10 +2025-01-14T14:58:08.873271Z  INFO prove_core: Chip ShiftRight: 11 -> 15 +2025-01-14T14:58:08.873273Z  INFO prove_core: Chip ShiftLeft: 15 -> 15 +2025-01-14T14:58:08.873274Z  INFO prove_core: Chip Lt: 18 -> 18 +2025-01-14T14:58:08.873276Z  INFO prove_core: Chip MemoryLocal: 11 -> 16 +2025-01-14T14:58:08.873277Z  INFO prove_core: Chip MemoryInstrs: 17 -> 17 +2025-01-14T14:58:08.873278Z  INFO prove_core: Chip Auipc: 10 -> 10 +2025-01-14T14:58:08.873279Z  INFO prove_core: Chip Branch: 16 -> 17 +2025-01-14T14:58:08.873280Z  INFO prove_core: Chip Jump: 13 -> 16 +2025-01-14T14:58:08.873281Z  INFO prove_core: Chip Global: 14 -> 15 +2025-01-14T14:58:08.873283Z  INFO prove_core: Chip SyscallCore: 5 -> 10 +2025-01-14T14:58:08.873284Z  INFO prove_core: Chip SyscallInstrs: 5 -> 10 +2025-01-14T14:58:09.199133Z  INFO prove_core:generate main traces: close time.busy=326ms time.idle=2.04µs index=0 +2025-01-14T14:58:54.053759Z  INFO prove_core: execution report (totals): total_cycles=8807040, total_syscall_cycles=20, touched_memory_addresses=73933 +2025-01-14T14:58:54.053791Z  INFO prove_core: execution report (opcode counts): +2025-01-14T14:58:54.053799Z  INFO prove_core: 2779217 add +2025-01-14T14:58:54.053801Z  INFO prove_core: 1520649 lw +2025-01-14T14:58:54.053803Z  INFO prove_core: 1428520 sw +2025-01-14T14:58:54.053805Z  INFO prove_core: 733703 sll +2025-01-14T14:58:54.053806Z  INFO prove_core: 471487 bltu +2025-01-14T14:58:54.053807Z  INFO prove_core: 357233 sltu +2025-01-14T14:58:54.053809Z  INFO prove_core: 346501 xor +2025-01-14T14:58:54.053810Z  INFO prove_core: 328604 srl +2025-01-14T14:58:54.053811Z  INFO prove_core: 323353 or +2025-01-14T14:58:54.053813Z  INFO prove_core: 166217 bne +2025-01-14T14:58:54.053814Z  INFO prove_core: 110217 bgeu +2025-01-14T14:58:54.053815Z  INFO prove_core: 107143 beq +2025-01-14T14:58:54.053817Z  INFO prove_core: 62165 jal +2025-01-14T14:58:54.053818Z  INFO prove_core: 27551 sub +2025-01-14T14:58:54.053819Z  INFO prove_core: 17141 jalr +2025-01-14T14:58:54.053820Z  INFO prove_core: 13893 and +2025-01-14T14:58:54.053822Z  INFO prove_core: 8574 auipc +2025-01-14T14:58:54.053823Z  INFO prove_core: 3161 mul +2025-01-14T14:58:54.053824Z  INFO prove_core: 544 sb +2025-01-14T14:58:54.053826Z  INFO prove_core: 417 blt +2025-01-14T14:58:54.053827Z  INFO prove_core: 402 lbu +2025-01-14T14:58:54.053828Z  INFO prove_core: 320 mulhu +2025-01-14T14:58:54.053830Z  INFO prove_core: 20 ecall +2025-01-14T14:58:54.053831Z  INFO prove_core: 4 lb +2025-01-14T14:58:54.053832Z  INFO prove_core: 3 divu +2025-01-14T14:58:54.053833Z  INFO prove_core: 1 bge +2025-01-14T14:58:54.053836Z  INFO prove_core: execution report (syscall counts): +2025-01-14T14:58:54.053843Z  INFO prove_core: 8 commit +2025-01-14T14:58:54.053845Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T14:58:54.053847Z  INFO prove_core: 1 halt +2025-01-14T14:58:54.053849Z  INFO prove_core: 1 write +2025-01-14T14:58:54.053850Z  INFO prove_core: 1 hint_len +2025-01-14T14:58:54.053852Z  INFO prove_core: 1 hint_read +2025-01-14T14:58:54.053860Z  INFO prove_core: summary: cycles=8807040, e2e=47.22374629s, khz=186.50 +2025-01-14T14:58:54.057346Z  INFO prove_core: close time.busy=45.1s time.idle=2.10s +Successfully generated proof! +2025-01-14T14:58:55.149408Z  INFO verify: close time.busy=1.06s time.idle=1.72µs +Successfully verified proof! diff --git a/sorting-output/26603-2025-01-14T14:58:02,717135588+00:00/sp1/output_time b/sorting-output/26603-2025-01-14T14:58:02,717135588+00:00/sp1/output_time new file mode 100644 index 00000000..4700998f --- /dev/null +++ b/sorting-output/26603-2025-01-14T14:58:02,717135588+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=26603 --prove" + User time (seconds): 2755.73 + System time (seconds): 101.52 + Percent of CPU this job got: 5408% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:52.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): 38896160 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 5 + Minor (reclaiming a frame) page faults: 24913154 + Voluntary context switches: 599374 + Involuntary context switches: 115723 + Swaps: 0 + File system inputs: 0 + File system outputs: 976 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/27592-2025-01-14T14:56:26,274041063+00:00/sp1/log b/sorting-output/27592-2025-01-14T14:56:26,274041063+00:00/sp1/log index 3cdbf66e..48b04078 100644 --- a/sorting-output/27592-2025-01-14T14:56:26,274041063+00:00/sp1/log +++ b/sorting-output/27592-2025-01-14T14:56:26,274041063+00:00/sp1/log @@ -82,3 +82,43 @@ stdout: WARNING: Using insecure random number generator. 2025-01-14T14:56:32.542721Z  INFO prove_core: Chip SyscallCore: 5 -> 10 2025-01-14T14:56:32.542722Z  INFO prove_core: Chip SyscallInstrs: 5 -> 10 2025-01-14T14:56:32.863244Z  INFO prove_core:generate main traces: close time.busy=320ms time.idle=2.32µs index=0 +2025-01-14T14:57:20.925645Z  INFO prove_core: execution report (totals): total_cycles=9131258, total_syscall_cycles=20, touched_memory_addresses=75896 +2025-01-14T14:57:20.925673Z  INFO prove_core: execution report (opcode counts): +2025-01-14T14:57:20.925681Z  INFO prove_core: 2881149 add +2025-01-14T14:57:20.925684Z  INFO prove_core: 1576623 lw +2025-01-14T14:57:20.925685Z  INFO prove_core: 1481076 sw +2025-01-14T14:57:20.925687Z  INFO prove_core: 760650 sll +2025-01-14T14:57:20.925688Z  INFO prove_core: 488311 bltu +2025-01-14T14:57:20.925690Z  INFO prove_core: 369781 sltu +2025-01-14T14:57:20.925691Z  INFO prove_core: 359768 xor +2025-01-14T14:57:20.925692Z  INFO prove_core: 341072 srl +2025-01-14T14:57:20.925693Z  INFO prove_core: 335694 or +2025-01-14T14:57:20.925695Z  INFO prove_core: 172649 bne +2025-01-14T14:57:20.925696Z  INFO prove_core: 114153 bgeu +2025-01-14T14:57:20.925697Z  INFO prove_core: 111290 beq +2025-01-14T14:57:20.925699Z  INFO prove_core: 64605 jal +2025-01-14T14:57:20.925700Z  INFO prove_core: 28569 sub +2025-01-14T14:57:20.925701Z  INFO prove_core: 17737 jalr +2025-01-14T14:57:20.925702Z  INFO prove_core: 14281 and +2025-01-14T14:57:20.925704Z  INFO prove_core: 8872 auipc +2025-01-14T14:57:20.925705Z  INFO prove_core: 3241 mul +2025-01-14T14:57:20.925706Z  INFO prove_core: 546 sb +2025-01-14T14:57:20.925707Z  INFO prove_core: 433 blt +2025-01-14T14:57:20.925709Z  INFO prove_core: 406 lbu +2025-01-14T14:57:20.925710Z  INFO prove_core: 324 mulhu +2025-01-14T14:57:20.925711Z  INFO prove_core: 20 ecall +2025-01-14T14:57:20.925713Z  INFO prove_core: 4 lb +2025-01-14T14:57:20.925714Z  INFO prove_core: 3 divu +2025-01-14T14:57:20.925715Z  INFO prove_core: 1 bge +2025-01-14T14:57:20.925718Z  INFO prove_core: execution report (syscall counts): +2025-01-14T14:57:20.925723Z  INFO prove_core: 8 commit +2025-01-14T14:57:20.925725Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T14:57:20.925726Z  INFO prove_core: 1 halt +2025-01-14T14:57:20.925728Z  INFO prove_core: 1 write +2025-01-14T14:57:20.925729Z  INFO prove_core: 1 hint_len +2025-01-14T14:57:20.925730Z  INFO prove_core: 1 hint_read +2025-01-14T14:57:20.925738Z  INFO prove_core: summary: cycles=9131258, e2e=50.529826519s, khz=180.71 +2025-01-14T14:57:20.928662Z  INFO prove_core: close time.busy=48.4s time.idle=2.17s +Successfully generated proof! +2025-01-14T14:57:21.990194Z  INFO verify: close time.busy=1.04s time.idle=2.01µs +Successfully verified proof! diff --git a/sorting-output/27592-2025-01-14T14:56:26,274041063+00:00/sp1/output_time b/sorting-output/27592-2025-01-14T14:56:26,274041063+00:00/sp1/output_time index e69de29b..88bf66be 100644 --- a/sorting-output/27592-2025-01-14T14:56:26,274041063+00:00/sp1/output_time +++ b/sorting-output/27592-2025-01-14T14:56:26,274041063+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=27592 --prove" + User time (seconds): 2997.39 + System time (seconds): 114.99 + Percent of CPU this job got: 5577% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:55.80 + 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): 43974868 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 2 + Minor (reclaiming a frame) page faults: 27827421 + Voluntary context switches: 864142 + Involuntary context switches: 174649 + Swaps: 0 + File system inputs: 0 + File system outputs: 976 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0