Programming Language and compiler
Benchmarks

Acton VS Dart benchmarks

Current benchmark data was generated on Sun Jul 13 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 716ms 2.4ms 80.9MB 690ms 30ms dart/exe 3.8.1
acton 1.act timeout 0.0ms 67.0MB 5860ms 97ms actonc 0.26.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 77ms 1.4ms 42.8MB 50ms 17ms dart/exe 3.8.1
acton 1.act 825ms 34ms 12.1MB 950ms 67ms actonc 0.26.0

edigits

Input: 250001

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 224ms 8.4ms 8.1MB 207ms 27ms actonc 0.26.0
dart 1.dart 3567ms 3.2ms 18.0MB 3530ms 27ms dart/exe 3.8.1

Input: 100000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 76ms 3.4ms 6.0MB 60ms 17ms actonc 0.26.0
dart 1.dart 590ms 2.3ms 10.0MB 563ms 17ms dart/exe 3.8.1

helloworld

Input: QwQ

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 3.5ms 0.2ms 4.3MB 0ms 0ms actonc 0.26.0
dart 1.dart 3.7ms 0.3ms 5.7MB 0ms 0ms dart/exe 3.8.1

merkletrees

Input: 17

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 322ms 2.5ms 63.6MB 300ms 23ms dart/exe 3.8.1
acton 1.act 3273ms 16ms 84.5MB 3657ms 63ms actonc 0.26.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 85ms 1.9ms 43.8MB 60ms 17ms dart/exe 3.8.1
acton 1.act 700ms 14ms 23.8MB 760ms 37ms actonc 0.26.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.1MB 6640ms 77ms actonc 0.26.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 2437ms 22ms 192.3MB 2917ms 53ms actonc 0.26.0

pidigits

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 2.dart 1246ms 11ms 14.8MB 1220ms 30ms dart/exe 3.8.1
acton 1-m.act 3537ms 106ms 6.7MB 3547ms 2483ms actonc 0.26.0

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 2.dart 306ms 3.5ms 14.8MB 290ms 7ms dart/exe 3.8.1
acton 1-m.act 963ms 41ms 6.0MB 937ms 683ms actonc 0.26.0