Programming Language and compiler
Benchmarks

Acton VS OCaml 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
ocaml 1.ml 3020ms 42ms 157.0MB 2927ms 77ms ocaml 5.3.0
acton 1.act timeout 0.0ms 67.2MB 5870ms 87ms actonc 0.26.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 223ms 9.3ms 19.2MB 207ms 3ms ocaml 5.3.0
acton 1.act 826ms 31ms 12.1MB 957ms 60ms actonc 0.26.0

edigits

Input: 250001

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

Input: 100000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 73ms 0.7ms 6.0MB 60ms 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.1ms 5.1MB 0ms 0ms ocaml 5.3.0
acton 1.act 3.6ms 0.1ms 4.4MB 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 1113ms 16ms 70.2MB 1073ms 27ms ocaml 5.3.0
ocaml 2.ml 2055ms 6.7ms 91.8MB 2000ms 40ms ocaml 5.3.0
acton 1.act 3354ms 208ms 84.5MB 3730ms 60ms actonc 0.26.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
acton 1.act 703ms 20ms 23.8MB 760ms 40ms actonc 0.26.0

nsieve

Input: 12

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

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
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
acton 1.act 2393ms 5.2ms 192.5MB 2880ms 50ms 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 3528ms 126ms 6.8MB 3530ms 2533ms actonc 0.26.0

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1-m.act 944ms 33ms 6.2MB 863ms 740ms actonc 0.26.0