OCaml VS V benchmarks

Current benchmark data was generated on Tue Jul 01 2025, full log can be found HERE

CONTRIBUTIONS are WELCOME!

[x86_64][4 cores] AMD EPYC 7763 64-Core Processor (Model 1)

* -m in a file name stands for multi-threading or multi-processing

* -i in a file name stands for direct intrinsics usage. (Usage of simd intrinsics via libraries is not counted)

* -ffi in a file name stands for non-stdlib FFI usage

* (You may find time < time(user) + time(sys) for some non-parallelized programs, the overhead is from GC or JIT compiler, which are allowed to take advantage of multi-cores as that's more close to real-world scenarios.)

binarytrees

Input: 18

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 846ms 4.8ms 22.1MB 833ms 0ms v/clang+gc 0.4.11
v 1.v 2181ms 5.3ms 2086.6MB 1273ms 893ms v/clang 0.4.11
ocaml 1.ml 3177ms 13ms 157.2MB 3097ms 63ms ocaml 5.3.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 74ms 0.6ms 4.6MB 67ms 0ms v/clang+gc 0.4.11
v 1.v 208ms 1.1ms 196.4MB 117ms 77ms v/clang 0.4.11
ocaml 1.ml 234ms 3.5ms 19.2MB 217ms 0ms ocaml 5.3.0

fannkuch-redux

Input: 11

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 2199ms 9.7ms 1.9MB 2190ms 0ms v/clang+gc 0.4.11
v 1.v 2257ms 2.8ms 1.1MB 2250ms 0ms v/clang 0.4.11
ocaml 2.ml 2910ms 4.7ms 4.9MB 2900ms 0ms ocaml 5.3.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 185ms 0.4ms 1.9MB 180ms 0ms v/clang+gc 0.4.11
v 1.v 193ms 1.7ms 1.1MB 187ms 0ms v/clang 0.4.11
ocaml 2.ml 245ms 1.0ms 4.9MB 237ms 0ms ocaml 5.3.0

fasta

Input: 2500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 6.ml 348ms 0.3ms 24.8MB 337ms 0ms ocaml 5.3.0
v 1.v 508ms 2.5ms 1.3MB 497ms 0ms v/clang 0.4.11
v 1.v 523ms 1.6ms 2.1MB 510ms 0ms v/clang+gc 0.4.11

Input: 250000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 6.ml 39ms 0.9ms 7.6MB 30ms 0ms ocaml 5.3.0
v 1.v 53ms 0.0ms 1.3MB 47ms 0ms v/clang 0.4.11
v 1.v 55ms 0.6ms 2.1MB 50ms 0ms v/clang+gc 0.4.11

helloworld

Input: QwQ

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 1.1ms 0.3ms 1.4MB 0ms 0ms v/clang 0.4.11
v 1.v 1.2ms 0.1ms 1.9MB 0ms 0ms v/clang+gc 0.4.11
ocaml 1.ml 1.8ms 0.2ms 5.1MB 0ms 0ms ocaml 5.3.0

lru

Input: 1000 1000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 180ms 10ms 6.4MB 170ms 0ms ocaml 5.3.0
v 1.v 264ms 2.4ms 2.1MB 253ms 0ms v/clang+gc 0.4.11
v 1.v 265ms 4.9ms 1.3MB 257ms 0ms v/clang 0.4.11

Input: 1000 3000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 537ms 22ms 6.6MB 527ms 0ms ocaml 5.3.0
v 1.v 775ms 3.4ms 2.1MB 763ms 0ms v/clang+gc 0.4.11
v 1.v 782ms 14ms 1.3MB 773ms 0ms v/clang 0.4.11

Input: 100 500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 77ms 0.7ms 5.9MB 70ms 0ms ocaml 5.3.0
v 1.v 91ms 2.2ms 1.3MB 83ms 0ms v/clang 0.4.11
v 1.v 103ms 0.5ms 2.1MB 90ms 0ms v/clang+gc 0.4.11

merkletrees

Input: 17

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 1078ms 7.3ms 70.2MB 1040ms 27ms ocaml 5.3.0
ocaml 2.ml 2068ms 16ms 91.7MB 2013ms 40ms ocaml 5.3.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 145ms 3.7ms 21.7MB 130ms 0ms ocaml 5.3.0
ocaml 2.ml 361ms 9.3ms 27.7MB 340ms 7ms ocaml 5.3.0

nbody

Input: 5000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 312ms 1.5ms 1.6MB 300ms 0ms v/clang 0.4.11
v 1.v 312ms 1.3ms 2.3MB 300ms 0ms v/clang+gc 0.4.11
ocaml 1.ml 375ms 3.2ms 5.3MB 363ms 0ms ocaml 5.3.0

Input: 500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 33ms 0.2ms 1.6MB 27ms 0ms v/clang 0.4.11
v 1.v 34ms 0.2ms 2.3MB 23ms 0ms v/clang+gc 0.4.11
ocaml 1.ml 41ms 1.9ms 5.2MB 33ms 0ms ocaml 5.3.0

nsieve

Input: 12

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 2.v 330ms 4.8ms 6.9MB 323ms 0ms v/clang+gc 0.4.11
v 2.v 332ms 2.9ms 6.1MB 323ms 0ms v/clang 0.4.11
v 1.v 341ms 4.3ms 40.3MB 323ms 0ms v/clang 0.4.11
v 1.v 346ms 3.1ms 41.2MB 337ms 0ms v/clang+gc 0.4.11
ocaml 1.ml 949ms 8.7ms 543.2MB 887ms 47ms ocaml 5.3.0
ocaml 2.ml 1888ms 14ms 17.7MB 1877ms 0ms ocaml 5.3.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 61ms 0.8ms 11.1MB 50ms 0ms v/clang 0.4.11
v 1.v 63ms 1.7ms 19.0MB 50ms 0ms v/clang+gc 0.4.11
v 2.v 80ms 0.4ms 3.1MB 70ms 0ms v/clang+gc 0.4.11
v 2.v 83ms 2.0ms 2.4MB 70ms 0ms v/clang 0.4.11
ocaml 1.ml 179ms 2.9ms 142.3MB 157ms 10ms ocaml 5.3.0
ocaml 2.ml 466ms 5.7ms 9.1MB 453ms 0ms ocaml 5.3.0

regex-redux

Input: 2500000_in

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml timeout 0.0ms 463.0MB 4823ms 163ms ocaml 5.3.0
v 1.v timeout 0.0ms 83.1MB 4980ms 7ms v/clang+gc 0.4.11

Input: 250000_in

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 552ms 6.9ms 57.1MB 520ms 23ms ocaml 5.3.0
v 1.v 3586ms 76ms 26.0MB 3570ms 0ms v/clang+gc 0.4.11

spectral-norm

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 4567ms 4.6ms 6.4MB 4553ms 0ms ocaml 5.3.0
v 1.v timeout 0.0ms 1.6MB 4990ms 0ms v/clang 0.4.11
v 1.v timeout 0.0ms 2.8MB 4990ms 0ms v/clang+gc 0.4.11

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 1145ms 4.4ms 6.1MB 1137ms 0ms ocaml 5.3.0
v 1.v 1290ms 4.5ms 1.5MB 1283ms 0ms v/clang 0.4.11
v 1.v 1320ms 1.5ms 2.5MB 1310ms 0ms v/clang+gc 0.4.11

Input: 2000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 291ms 2.2ms 5.2MB 283ms 0ms ocaml 5.3.0
v 1.v 327ms 5.0ms 1.5MB 320ms 0ms v/clang 0.4.11
v 1.v 331ms 1.7ms 2.4MB 320ms 0ms v/clang+gc 0.4.11