diff --git a/Application_examples/Dining_Philosophers.mp b/Application_examples/Dining_Philosophers.mp index 66dbe6f619eff04b9acbcb35c28eb513f3b88c88..5ecbf7168275e7aa69a0f6300d755f119185317b 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. ==========================================================*/