OCaml VS V benchmarks

Current benchmark data was generated on Mon Jun 23 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 864ms 25ms 28.9MB 853ms 0ms v/clang+gc 0.4.11
v 1.v 2188ms 3.5ms 2086.6MB 1307ms 867ms v/clang 0.4.11
ocaml 1.ml 3028ms 44ms 157.2MB 2940ms 73ms ocaml 5.3.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 71ms 0.8ms 4.6MB 60ms 0ms v/clang+gc 0.4.11
v 1.v 205ms 4.7ms 198.0MB 110ms 83ms v/clang 0.4.11
ocaml 1.ml 214ms 0.9ms 19.1MB 200ms 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 2201ms 5.0ms 1.9MB 2193ms 0ms v/clang+gc 0.4.11
v 1.v 2314ms 97ms 1.1MB 2307ms 0ms v/clang 0.4.11
ocaml 2.ml 2914ms 16ms 4.9MB 2907ms 0ms ocaml 5.3.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 188ms 2.1ms 1.9MB 180ms 0ms v/clang+gc 0.4.11
v 1.v 193ms 1.7ms 1.1MB 183ms 0ms v/clang 0.4.11
ocaml 2.ml 245ms 3.3ms 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 347ms 1.7ms 24.8MB 337ms 0ms ocaml 5.3.0
v 1.v 505ms 3.4ms 1.3MB 497ms 0ms v/clang 0.4.11
v 1.v 528ms 4.5ms 2.1MB 513ms 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.5ms 7.5MB 30ms 0ms ocaml 5.3.0
v 1.v 53ms 0.7ms 1.3MB 47ms 0ms v/clang 0.4.11
v 1.v 56ms 2.1ms 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.0ms 0.0ms 1.4MB 0ms 0ms v/clang 0.4.11
v 1.v 1.3ms 0.1ms 1.9MB 0ms 0ms v/clang+gc 0.4.11
ocaml 1.ml 1.8ms 0.2ms 5.0MB 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 190ms 0.6ms 6.4MB 180ms 0ms ocaml 5.3.0
v 1.v 262ms 4.6ms 2.1MB 253ms 0ms v/clang+gc 0.4.11
v 1.v 266ms 2.4ms 1.3MB 260ms 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 518ms 3.2ms 6.6MB 510ms 0ms ocaml 5.3.0
v 1.v 771ms 2.0ms 2.1MB 760ms 0ms v/clang+gc 0.4.11
v 1.v 789ms 22ms 1.3MB 780ms 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 1.4ms 5.9MB 70ms 0ms ocaml 5.3.0
v 1.v 91ms 1.3ms 1.3MB 83ms 0ms v/clang 0.4.11
v 1.v 103ms 2.6ms 2.1MB 97ms 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 1094ms 11ms 70.2MB 1047ms 30ms ocaml 5.3.0
ocaml 2.ml 2066ms 16ms 91.8MB 2013ms 33ms ocaml 5.3.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 147ms 4.1ms 21.7MB 130ms 7ms ocaml 5.3.0
ocaml 2.ml 367ms 7.6ms 27.7MB 343ms 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.0ms 2.3MB 300ms 0ms v/clang+gc 0.4.11
v 1.v 312ms 2.1ms 1.6MB 300ms 0ms v/clang 0.4.11
ocaml 1.ml 373ms 1.9ms 5.2MB 360ms 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.1ms 2.3MB 20ms 0ms v/clang+gc 0.4.11
v 1.v 34ms 1.0ms 1.6MB 27ms 0ms v/clang 0.4.11
ocaml 1.ml 41ms 1.4ms 5.2MB 30ms 0ms ocaml 5.3.0

nsieve

Input: 12

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 329ms 14ms 40.3MB 313ms 0ms v/clang 0.4.11
v 2.v 330ms 2.6ms 6.1MB 320ms 0ms v/clang 0.4.11
v 2.v 330ms 5.1ms 6.9MB 320ms 0ms v/clang+gc 0.4.11
v 1.v 447ms 7.3ms 60.6MB 430ms 0ms v/clang+gc 0.4.11
ocaml 1.ml 957ms 3.4ms 550.3MB 900ms 43ms ocaml 5.3.0
ocaml 2.ml 1886ms 14ms 18.9MB 1873ms 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 2.0ms 11.1MB 50ms 0ms v/clang 0.4.11
v 1.v 62ms 2.1ms 11.9MB 50ms 0ms v/clang+gc 0.4.11
v 2.v 82ms 2.0ms 2.4MB 73ms 0ms v/clang 0.4.11
v 2.v 83ms 1.6ms 3.1MB 70ms 0ms v/clang+gc 0.4.11
ocaml 1.ml 191ms 3.0ms 141.6MB 170ms 10ms ocaml 5.3.0
ocaml 2.ml 471ms 4.3ms 9.1MB 460ms 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 462.9MB 4830ms 153ms ocaml 5.3.0
v 1.v timeout 0.0ms 83.1MB 4980ms 10ms 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 549ms 4.5ms 57.1MB 513ms 23ms ocaml 5.3.0
v 1.v 3540ms 93ms 26.0MB 3523ms 3ms 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 4582ms 24ms 6.4MB 4570ms 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 1159ms 5.5ms 6.1MB 1150ms 0ms ocaml 5.3.0
v 1.v 1286ms 8.5ms 1.5MB 1277ms 0ms v/clang 0.4.11
v 1.v 1326ms 6.9ms 2.5MB 1313ms 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 294ms 4.6ms 5.2MB 283ms 0ms ocaml 5.3.0
v 1.v 326ms 0.7ms 1.9MB 320ms 0ms v/clang 0.4.11
v 1.v 334ms 0.7ms 2.5MB 320ms 0ms v/clang+gc 0.4.11