Original benchmarks from ldv-commits-races#23

vesalvojdani wants to merge 15 commits intomastergoblint/bench:masterfrom

ldv-commits-racesgoblint/bench:ldv-commits-racesCopy head branch name to clipboard