Benchmarks of the bench/coreutils programs with and without flambda

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