From 99b8473f604aee18f4f9f192eab17a4a8c8abf34 Mon Sep 17 00:00:00 2001
From: Pamela Dyer <pamela.dyer@uconn.edu>
Date: Thu, 22 Jul 2021 16:27:03 +0000
Subject: [PATCH] Update Application_examples/Dining_Philosophers.mp
---
Application_examples/Dining_Philosophers.mp | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/Application_examples/Dining_Philosophers.mp b/Application_examples/Dining_Philosophers.mp
index 66dbe6f..5ecbf71 100644
--- a/Application_examples/Dining_Philosophers.mp
+++ b/Application_examples/Dining_Philosophers.mp
@@ -36,6 +36,10 @@ Search terms: dining philosophers behavior; ring topology behavior; event reshuf
Instructions: Run for Scope 1. This will generate zero traces because
a philosopher cannot eat with a single fork. Then run for Scopes 2 and up.
+ Scope 1: 0 traces in less than 1 sec.
+ Scope 2: 2 traces in less than 1 sec.
+ Scope 3: 6 traces in less than 1 sec.
+ Scope 4: 14 traces in less than 1 sec.
Scope 5: 30 traces in approx. 1.4 sec.
==========================================================*/
--
GitLab