Changes

doc/quickstart.md

@@ -59,10 +59,9 @@ Independently of using BenchExec, we strongly recommend the
 [overview slides](https://www.sosy-lab.org/research/prs/Latest_ReliableBenchmarking.pdf)
 and [the corresponding paper](https://doi.org/10.1007/s10009-017-0469-y) for a
 more complete picture of the peculiarities and pitfalls of reliable
-benchmarking. For example, in case you want to execute multiple benchmarks in
-parallel, you need to think about how to deal with shared resources (e.g. the
-memory bus and CPU cache). Especially for such cases, we recommend using the
-tool `benchexec`, which mitigates a lot of issues of parallel invocations.
+benchmarking. Especially for large setups, we recommend using the tool
+`benchexec`, which mitigates a lot of issues of multiple and parallel
+invocations.
 
 ### Step 3. Gather Measurements using runexec