Programming Language and compiler
Benchmarks

Acton VS Dart benchmarks

Current benchmark data was generated on Mon May 19 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 721ms 1.9ms 80.9MB 697ms 33ms dart/exe 3.7.3
acton 1.act timeout 0.0ms 67.0MB 5913ms 87ms actonc 0.25.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 75ms 0.6ms 42.8MB 53ms 13ms dart/exe 3.7.3
acton 1.act 866ms 49ms 12.1MB 997ms 63ms actonc 0.25.0

edigits

Input: 250001

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 226ms 10.0ms 8.0MB 207ms 30ms actonc 0.25.0
dart 1.dart 3690ms 7.6ms 18.4MB 3657ms 30ms dart/exe 3.7.3

Input: 100000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 82ms 15ms 5.8MB 63ms 13ms actonc 0.25.0
dart 1.dart 603ms 1.9ms 10.5MB 583ms 13ms dart/exe 3.7.3

helloworld

Input: QwQ

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 3.7ms 0.2ms 5.6MB 0ms 0ms dart/exe 3.7.3
acton 1.act 3.8ms 0.2ms 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
dart 1.dart 323ms 3.2ms 63.8MB 300ms 27ms dart/exe 3.7.3
acton 1.act 3359ms 11ms 84.5MB 3770ms 57ms actonc 0.25.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 84ms 0.3ms 43.8MB 60ms 17ms dart/exe 3.7.3
acton 1.act 759ms 44ms 23.8MB 833ms 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 560.9MB 6627ms 93ms actonc 0.25.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 2461ms 15ms 192.4MB 2957ms 57ms actonc 0.25.0

pidigits

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 2.dart 1353ms 16ms 14.9MB 1320ms 33ms dart/exe 3.7.3
acton 1-m.act 3454ms 71ms 7.0MB 3500ms 2400ms actonc 0.25.0

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 2.dart 333ms 6.3ms 14.8MB 317ms 10ms dart/exe 3.7.3
acton 1-m.act 970ms 26ms 6.0MB 937ms 717ms actonc 0.25.0