From bcc05bb4cbf77b4bc38e9c040028bffddf45c8f7 Mon Sep 17 00:00:00 2001
From: Pamela Dyer <pamela.dyer@uconn.edu>
Date: Thu, 22 Jul 2021 18:05:43 +0000
Subject: [PATCH] Update Application_examples/Small_Package_Delivery.mp

---
 Application_examples/Small_Package_Delivery.mp | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/Application_examples/Small_Package_Delivery.mp b/Application_examples/Small_Package_Delivery.mp
index 8b83c12..6c5c1fc 100644
--- a/Application_examples/Small_Package_Delivery.mp
+++ b/Application_examples/Small_Package_Delivery.mp
@@ -28,18 +28,17 @@ raining? Hailing?"
 Non-combatant Scenario 1 authored by N. Roberts (Engility)
 MP model authored by K. Giammarco (NPS) and D. Shifflett (NPS)
 
-Removing everything except the SCHEMA definition and the Air_Vehicle 
-root (line 36 and lines 114-128) and running that model subset, one can 
-see 6 event traces, one of which is unexpected: the Air_Vehicle drops 
-the payload with no vessel in sight (trace 6).
-
 References:
 
 Search terms: small package delivery; autonomous; ENSURE condition; Type 1 probability
 
 Instructions: Run for Scope 1. This model shows only two scenarios due to overloading constraints
 (constraints that suppress entire branches of execution that a user
-intended to permit).
+intended to permit). Removing everything except the SCHEMA definition and the Air_Vehicle 
+root and running that model subset, one can 
+see 6 event traces, one of which is unexpected: the Air_Vehicle drops 
+the payload with no vessel in sight (trace 6).
+    Scope 1: 2 traces in less than 1 sec.
 
 ==========================================================*/
 
-- 
GitLab