diff --git a/benchmarks/given-by-daniel-kroening/timing-slapnet.log b/benchmarks/given-by-daniel-kroening/timing-slapnet.log deleted file mode 100644 index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000