Programming Language and compiler
Benchmarks

Acton VS Dart benchmarks

Current benchmark data was generated on Thu May 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
dart 1.dart 697ms 3.5ms 80.8MB 670ms 33ms dart/exe 3.7.3
acton 1.act timeout 0.0ms 66.9MB 5943ms 87ms actonc 0.25.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 74ms 0.8ms 42.8MB 47ms 17ms dart/exe 3.7.3
acton 1.act 824ms 27ms 12.0MB 960ms 70ms actonc 0.25.0

edigits

Input: 250001

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 231ms 12ms 8.1MB 207ms 40ms actonc 0.25.0
dart 1.dart 3681ms 2.9ms 18.0MB 3650ms 27ms dart/exe 3.7.3

Input: 100000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 90ms 15ms 6.0MB 73ms 13ms actonc 0.25.0
dart 1.dart 608ms 14ms 10.0MB 587ms 13ms dart/exe 3.7.3

helloworld

Input: QwQ

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 3.8ms 0.3ms 3.9MB 0ms 0ms actonc 0.25.0
dart 1.dart 3.8ms 0.3ms 5.4MB 0ms 0ms dart/exe 3.7.3

merkletrees

Input: 17

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 306ms 4.3ms 63.8MB 277ms 33ms dart/exe 3.7.3
acton 1.act 3256ms 12ms 84.6MB 3660ms 60ms actonc 0.25.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 83ms 1.1ms 43.6MB 60ms 17ms dart/exe 3.7.3
acton 1.act 693ms 11ms 24.0MB 760ms 33ms actonc 0.25.0

nsieve

Input: 12

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act timeout 0.0ms 561.0MB 6610ms 93ms actonc 0.25.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 2441ms 6.0ms 192.4MB 2940ms 60ms actonc 0.25.0

pidigits

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 2.dart 1346ms 10ms 14.8MB 1320ms 27ms dart/exe 3.7.3
acton 1-m.act 3448ms 37ms 6.8MB 3523ms 2430ms actonc 0.25.0

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 2.dart 329ms 3.6ms 14.8MB 313ms 13ms dart/exe 3.7.3
acton 1-m.act 960ms 34ms 6.1MB 940ms 687ms actonc 0.25.0