Benchmarks of the bench/coreutils programs with and without flambda
Stanimir Bozhilov · Zenodo (CERN European Organization for Nuclear Research) · 2023
This dataset represents the benchmark results of Goblint, conducted on all coreutils programs of the goblint/bench repository. It includes the following measurements (note: flambda enabled means that Goblint is compiled with flambda and the provided optimization flags): Without flambda With flambda's -Oclassic flag With flambda's -O2 flag With flambda's -O3 flag With flambda's -O3 flag, as well as the following additional flags: -inline-toplevel=400 -inline-max-depth=1 -inline-max-unroll=0