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