Programming Language and compiler
Benchmarks

Acton VS Dart benchmarks

Current benchmark data was generated on Mon Mar 31 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 694ms 4.4ms 80.7MB 657ms 40ms dart/exe 3.7.2
acton 1.act timeout 0.0ms 67.0MB 5977ms 77ms actonc 0.24.1

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 74ms 0.1ms 42.6MB 50ms 17ms dart/exe 3.7.2
acton 1.act 832ms 29ms 12.1MB 970ms 70ms actonc 0.24.1

edigits

Input: 250001

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 261ms 7.1ms 7.1MB 230ms 70ms actonc 0.24.1
dart 1.dart 3684ms 4.5ms 18.0MB 3650ms 30ms dart/exe 3.7.2

Input: 100000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 97ms 12ms 5.4MB 77ms 30ms actonc 0.24.1
dart 1.dart 598ms 3.5ms 10.0MB 577ms 10ms dart/exe 3.7.2

helloworld

Input: QwQ

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 3.6ms 0.2ms 3.9MB 0ms 0ms actonc 0.24.1
dart 1.dart 3.8ms 0.3ms 5.3MB 0ms 0ms dart/exe 3.7.2

merkletrees

Input: 17

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 325ms 2.6ms 63.8MB 300ms 27ms dart/exe 3.7.2
acton 1.act 3219ms 15ms 101.8MB 3503ms 50ms actonc 0.24.1

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 84ms 0.4ms 43.8MB 60ms 13ms dart/exe 3.7.2
acton 1.act 691ms 24ms 30.4MB 727ms 23ms actonc 0.24.1

nsieve

Input: 12

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act timeout 0.0ms 560.9MB 6817ms 97ms actonc 0.24.1

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 2313ms 3.9ms 192.3MB 2840ms 43ms actonc 0.24.1

pidigits

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 2.dart 1354ms 5.1ms 14.8MB 1330ms 33ms dart/exe 3.7.2
acton 1-m.act 2906ms 70ms 6.6MB 2733ms 2017ms actonc 0.24.1

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 2.dart 343ms 7.4ms 14.8MB 327ms 10ms dart/exe 3.7.2
acton 1-m.act 884ms 28ms 5.5MB 803ms 650ms actonc 0.24.1