Programming Language and compiler
Benchmarks

Acton VS OCaml benchmarks

Current benchmark data was generated on Sun Jun 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 2989ms 28ms 157.2MB 2907ms 67ms ocaml 5.3.0
acton 1.act timeout 0.0ms 67.0MB 5877ms 77ms actonc 0.25.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 218ms 4.7ms 19.2MB 203ms 0ms ocaml 5.3.0
acton 1.act 814ms 23ms 12.0MB 937ms 67ms actonc 0.25.0

edigits

Input: 250001

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 220ms 2.2ms 8.0MB 197ms 33ms actonc 0.25.0

Input: 100000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 77ms 8.3ms 6.0MB 57ms 20ms actonc 0.25.0

helloworld

Input: QwQ

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 1.7ms 0.1ms 5.1MB 0ms 0ms ocaml 5.3.0
acton 1.act 3.4ms 0.3ms 3.9MB 0ms 0ms actonc 0.25.0

merkletrees

Input: 17

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 1076ms 24ms 70.2MB 1033ms 30ms ocaml 5.3.0
ocaml 2.ml 2078ms 22ms 91.8MB 2027ms 37ms ocaml 5.3.0
acton 1.act 3258ms 55ms 84.4MB 3627ms 60ms actonc 0.25.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 146ms 3.2ms 21.6MB 127ms 3ms ocaml 5.3.0
ocaml 2.ml 355ms 5.3ms 27.7MB 337ms 3ms ocaml 5.3.0
acton 1.act 697ms 11ms 23.8MB 757ms 33ms actonc 0.25.0

nsieve

Input: 12

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 945ms 20ms 552.1MB 883ms 47ms ocaml 5.3.0
ocaml 2.ml 1894ms 13ms 18.5MB 1883ms 0ms ocaml 5.3.0
acton 1.act timeout 0.0ms 560.9MB 6633ms 100ms actonc 0.25.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 183ms 0.9ms 141.7MB 160ms 10ms ocaml 5.3.0
ocaml 2.ml 467ms 6.7ms 9.1MB 453ms 0ms ocaml 5.3.0
acton 1.act 2432ms 41ms 229.8MB 2987ms 43ms actonc 0.25.0

pidigits

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1-m.act 3374ms 156ms 6.8MB 3427ms 2370ms actonc 0.25.0

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1-m.act 965ms 82ms 6.1MB 883ms 747ms actonc 0.25.0