Benchmarks of the bench/coreutils programs with and without flambda

<p>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):</p> <ul> <li>Without flambda</li> <li>With flambda&#39;s -Oclassic flag</li> <li>With flambda&#39;s -O2&nbsp;flag</li> <li>With flambda&#39;s -O3&nbsp;flag</li> <li>With flambda&#39;s -O3&nbsp;flag, as well as the following additional flags:&nbsp;-inline-toplevel=400 -inline-max-depth=1 -inline-max-unroll=0</li> </ul>