OCaml VS V benchmarks

Current benchmark data was generated on Fri Aug 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 784ms 5.2ms 22.1MB 770ms 0ms v/clang+gc 0.4.11
v 1.v 2201ms 13ms 2086.6MB 1303ms 883ms v/clang 0.4.11
ocaml 1.ml 3020ms 42ms 157.0MB 2927ms 77ms ocaml 5.3.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 70ms 1.3ms 4.6MB 60ms 0ms v/clang+gc 0.4.11
v 1.v 210ms 1.6ms 196.5MB 113ms 83ms v/clang 0.4.11
ocaml 1.ml 223ms 9.3ms 19.2MB 207ms 3ms 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 2224ms 12ms 1.9MB 2213ms 0ms v/clang+gc 0.4.11
v 1.v 2254ms 5.4ms 1.1MB 2247ms 0ms v/clang 0.4.11
ocaml 2.ml 2910ms 2.6ms 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 189ms 1.9ms 1.9MB 180ms 0ms v/clang+gc 0.4.11
v 1.v 192ms 0.3ms 1.1MB 180ms 0ms v/clang 0.4.11
ocaml 2.ml 244ms 0.9ms 4.9MB 230ms 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 346ms 1.8ms 24.8MB 333ms 0ms ocaml 5.3.0
v 1.v 502ms 4.4ms 1.3MB 493ms 0ms v/clang 0.4.11
v 1.v 517ms 6.9ms 2.1MB 503ms 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.4ms 7.3MB 30ms 0ms ocaml 5.3.0
v 1.v 53ms 0.1ms 1.3MB 43ms 0ms v/clang 0.4.11
v 1.v 56ms 1.0ms 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.1ms 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 187ms 2.5ms 6.4MB 180ms 0ms ocaml 5.3.0
v 1.v 240ms 1.6ms 1.3MB 230ms 0ms v/clang 0.4.11
v 1.v 258ms 2.6ms 2.1MB 250ms 0ms v/clang+gc 0.4.11

Input: 1000 3000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 537ms 13ms 6.6MB 523ms 0ms ocaml 5.3.0
v 1.v 718ms 2.5ms 1.3MB 710ms 0ms v/clang 0.4.11
v 1.v 771ms 1.0ms 2.1MB 760ms 0ms v/clang+gc 0.4.11

Input: 100 500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 75ms 0.2ms 5.9MB 67ms 0ms ocaml 5.3.0
v 1.v 91ms 1.5ms 1.3MB 80ms 0ms v/clang 0.4.11
v 1.v 102ms 5.3ms 2.1MB 93ms 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 1113ms 16ms 70.2MB 1073ms 27ms ocaml 5.3.0
ocaml 2.ml 2055ms 6.7ms 91.8MB 2000ms 40ms ocaml 5.3.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 146ms 2.9ms 21.7MB 130ms 7ms ocaml 5.3.0
ocaml 2.ml 358ms 7.5ms 27.6MB 340ms 3ms 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 314ms 1.2ms 1.6MB 307ms 0ms v/clang 0.4.11
ocaml 1.ml 373ms 2.9ms 5.2MB 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.3ms 1.6MB 30ms 0ms v/clang 0.4.11
v 1.v 33ms 0.3ms 2.3MB 30ms 0ms v/clang+gc 0.4.11
ocaml 1.ml 42ms 0.9ms 5.3MB 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 299ms 7.9ms 41.2MB 287ms 0ms v/clang+gc 0.4.11
v 1.v 301ms 3.8ms 40.3MB 287ms 0ms v/clang 0.4.11
v 2.v 332ms 2.5ms 6.1MB 323ms 0ms v/clang 0.4.11
v 2.v 333ms 5.6ms 6.9MB 323ms 0ms v/clang+gc 0.4.11
ocaml 1.ml 932ms 21ms 543.2MB 877ms 43ms ocaml 5.3.0
ocaml 2.ml 1887ms 12ms 19.0MB 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.3ms 19.0MB 50ms 0ms v/clang+gc 0.4.11
v 1.v 62ms 1.5ms 11.0MB 50ms 0ms v/clang 0.4.11
v 2.v 82ms 1.6ms 2.4MB 70ms 0ms v/clang 0.4.11
v 2.v 83ms 1.9ms 3.1MB 73ms 0ms v/clang+gc 0.4.11
ocaml 1.ml 175ms 1.5ms 142.1MB 150ms 10ms ocaml 5.3.0
ocaml 2.ml 469ms 6.0ms 9.1MB 457ms 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.8MB 4823ms 167ms ocaml 5.3.0
v 1.v timeout 0.0ms 83.1MB 4980ms 3ms 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 3.2ms 57.1MB 510ms 23ms ocaml 5.3.0
v 1.v 3509ms 13ms 26.0MB 3493ms 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 4574ms 4.7ms 6.4MB 4563ms 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 1166ms 5.8ms 5.9MB 1153ms 0ms ocaml 5.3.0
v 1.v 1287ms 3.1ms 1.5MB 1277ms 0ms v/clang 0.4.11
v 1.v 1300ms 2.7ms 2.5MB 1290ms 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 295ms 3.8ms 5.2MB 283ms 0ms ocaml 5.3.0
v 1.v 325ms 2.3ms 1.5MB 317ms 0ms v/clang 0.4.11
v 1.v 327ms 0.9ms 2.5MB 320ms 0ms v/clang+gc 0.4.11