Acton VS OCaml 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
ocaml 1.ml 3177ms 13ms 157.2MB 3097ms 63ms ocaml 5.3.0
acton 1.act timeout 0.0ms 67.0MB 5903ms 87ms actonc 0.26.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 234ms 3.5ms 19.2MB 217ms 0ms ocaml 5.3.0
acton 1.act 825ms 24ms 12.1MB 950ms 73ms actonc 0.26.0

edigits

Input: 250001

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 227ms 8.3ms 8.0MB 210ms 30ms actonc 0.26.0

Input: 100000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 84ms 19ms 5.9MB 70ms 10ms actonc 0.26.0

helloworld

Input: QwQ

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 1.8ms 0.2ms 5.1MB 0ms 0ms ocaml 5.3.0
acton 1.act 3.5ms 0.3ms 4.3MB 0ms 0ms actonc 0.26.0

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
acton 1.act 3298ms 25ms 84.6MB 3703ms 53ms actonc 0.26.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
acton 1.act 725ms 34ms 23.8MB 793ms 33ms actonc 0.26.0

nsieve

Input: 12

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
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
acton 1.act timeout 0.0ms 560.9MB 6637ms 83ms actonc 0.26.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
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
acton 1.act 2432ms 20ms 192.5MB 2923ms 63ms actonc 0.26.0

pidigits

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1-m.act 3388ms 212ms 6.8MB 3370ms 2387ms actonc 0.26.0

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1-m.act 948ms 42ms 6.1MB 900ms 703ms actonc 0.26.0