diff --git a/misc/benchexec/README.md b/misc/benchexec/README.md
index 93fc4b95d..cedc12e9d 100644
--- a/misc/benchexec/README.md
+++ b/misc/benchexec/README.md
@@ -1,4 +1,16 @@
 ## Benchexec modules for running tools from DG
 
-Copy to "benchexec/benchexec/tools" and then you can
+Copy the python files to `benchexec/benchexec/tools` and then you can
 use the tool in the XML spec of benchexec.
+
+### An example
+
+If you setup benchexec, copy `dgtool.py` to `benchexec/benchexec/tools.py` and
+put the path to `dgtool` into PATH (`llvm-slicer` too in the case of
+out-of-source build) and run:
+
+```
+benchexec llvm-slicer-tests.xml
+```
+
+then benchexec will benchmark llvm-slicer on the test files from DG.
diff --git a/misc/benchexec/llvm-slicer-tests.xml b/misc/benchexec/llvm-slicer-tests.xml
new file mode 100644
index 000000000..0870c9a7f
--- /dev/null
+++ b/misc/benchexec/llvm-slicer-tests.xml
@@ -0,0 +1,14 @@
+<?xml version="1.0"?>
+<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.9//EN" "https://www.sosy-lab.org/benchexec/benchmark-1.9.dtd">
+<benchmark tool="dgtool" timelimit="20 s" memlimit="6 GB" cpuCores="1">
+
+<option name="llvm-slicer"/>
+<option name="-c">test_assert</option>
+
+<rundefinition name="slicer-tests">
+  <tasks name="BenchmarkingSlicingTests">
+    <includesfile>slicing-tests.set</includesfile>
+  </tasks>
+</rundefinition>
+
+</benchmark>
diff --git a/misc/benchexec/slicing-tests.set b/misc/benchexec/slicing-tests.set
new file mode 100644
index 000000000..8667ed4c1
--- /dev/null
+++ b/misc/benchexec/slicing-tests.set
@@ -0,0 +1 @@
+../../tests/slicing/sources/*.c