From f6e70a6ee6bea3a7a9779f9252451fdeac301e69 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 13 Nov 2012 15:57:27 +0100
Subject: [PATCH] Included small DTMC example along with its analysis result
 using PRISM.

---
 examples/dtmc/synchronous_leader/leader4_8.result | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 examples/dtmc/synchronous_leader/leader4_8.result

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