Programming Language and compiler
Benchmarks

All OCaml benchmarks

Current benchmark data was generated on Mon Apr 14 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

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 3140ms 30ms 157.0MB 3057ms 70ms ocaml 5.3.0

Input: 15

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 226ms 2.6ms 19.2MB 210ms 0ms ocaml 5.3.0

fannkuch-redux

Input: 11

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 2917ms 2.7ms 4.9MB 2907ms 0ms ocaml 5.3.0

Input: 10

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 249ms 3.0ms 4.9MB 240ms 0ms ocaml 5.3.0

fasta

Input: 2500000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
6.ml 345ms 0.4ms 24.9MB 333ms 0ms ocaml 5.3.0

Input: 250000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
6.ml 39ms 0.6ms 7.5MB 30ms 0ms ocaml 5.3.0

helloworld

Input: QwQ

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 1.9ms 0.0ms 5.1MB 0ms 0ms ocaml 5.3.0

lru

Input: 1000 1000000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 188ms 1.5ms 6.4MB 180ms 0ms ocaml 5.3.0

Input: 1000 3000000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 542ms 24ms 6.6MB 530ms 0ms ocaml 5.3.0

Input: 100 500000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 78ms 1.1ms 5.9MB 70ms 0ms ocaml 5.3.0

merkletrees

Input: 17

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 1141ms 35ms 70.2MB 1100ms 30ms ocaml 5.3.0
2.ml 2156ms 13ms 91.8MB 2103ms 37ms ocaml 5.3.0

Input: 15

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 161ms 4.4ms 21.6MB 143ms 7ms ocaml 5.3.0
2.ml 362ms 1.5ms 27.7MB 343ms 3ms ocaml 5.3.0

nbody

Input: 5000000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 374ms 1.4ms 5.3MB 363ms 0ms ocaml 5.3.0

Input: 500000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 41ms 1.6ms 5.2MB 30ms 0ms ocaml 5.3.0

nsieve

Input: 12

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 1018ms 5.8ms 550.4MB 963ms 40ms ocaml 5.3.0
2.ml 1884ms 9.4ms 17.2MB 1867ms 0ms ocaml 5.3.0

Input: 10

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 203ms 4.9ms 140.7MB 183ms 10ms ocaml 5.3.0
2.ml 463ms 1.3ms 9.1MB 450ms 0ms ocaml 5.3.0

regex-redux

Input: 2500000_in

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml timeout 0.0ms 462.9MB 4810ms 173ms ocaml 5.3.0

Input: 250000_in

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 551ms 8.1ms 57.1MB 517ms 23ms ocaml 5.3.0

spectral-norm

Input: 8000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 4555ms 3.1ms 6.3MB 4543ms 0ms ocaml 5.3.0

Input: 4000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 1144ms 2.0ms 6.1MB 1137ms 0ms ocaml 5.3.0

Input: 2000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 294ms 3.8ms 5.2MB 287ms 0ms ocaml 5.3.0