diff --git a/examples/dtmc/synchronous_leader/leader4_8.result b/examples/dtmc/synchronous_leader/leader4_8.result
deleted file mode 100644
index c613446d3..000000000
--- a/examples/dtmc/synchronous_leader/leader4_8.result
+++ /dev/null
@@ -1,3 +0,0 @@
-P=? [ true U (s1=3&s2=3&s3=3&s4=3) ]:
-Result
-1.0