From 0ce1940a008969c819fc40e845ac92472532047e Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Mon, 10 Nov 2008 20:23:26 +0000
Subject: [PATCH] added new benchmark result to summary

---
 .../Ownership/SchedulingPSFluidAnimate.txt    | 42 +++++++++++++++++++
 Robust/src/Benchmarks/Ownership/summary.txt   |  2 +-
 2 files changed, 43 insertions(+), 1 deletion(-)
 create mode 100644 Robust/src/Benchmarks/Ownership/SchedulingPSFluidAnimate.txt

diff --git a/Robust/src/Benchmarks/Ownership/SchedulingPSFluidAnimate.txt b/Robust/src/Benchmarks/Ownership/SchedulingPSFluidAnimate.txt
new file mode 100644
index 00000000..817bfbdc
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/SchedulingPSFluidAnimate.txt
@@ -0,0 +1,42 @@
+Conducting ownership analysis with allocation depth = 1
+---------t8(Grid g)--------
+No aliases between flagged objects in Task t8(Grid g).
+
+---------t3(PSFADemo demo, Grid g)--------
+No aliases between flagged objects in Task t3(PSFADemo demo, Grid g).
+
+---------t13(PSFADemo demo, Grid g)--------
+No aliases between flagged objects in Task t13(PSFADemo demo, Grid g).
+
+---------t14(Grid g)--------
+No aliases between flagged objects in Task t14(Grid g).
+
+---------t1(StartupObject s)--------
+No aliases between flagged objects in Task t1(StartupObject s).
+
+---------t11(Grid g)--------
+No aliases between flagged objects in Task t11(Grid g).
+
+---------t12(PSFADemo demo, Grid g)--------
+No aliases between flagged objects in Task t12(PSFADemo demo, Grid g).
+
+---------t4(PSFADemo demo, Grid g)--------
+No aliases between flagged objects in Task t4(PSFADemo demo, Grid g).
+
+---------t7(PSFADemo demo, Grid g)--------
+No aliases between flagged objects in Task t7(PSFADemo demo, Grid g).
+
+---------t2(Grid g)--------
+No aliases between flagged objects in Task t2(Grid g).
+
+---------t5(Grid g)--------
+No aliases between flagged objects in Task t5(Grid g).
+
+---------t6(PSFADemo demo, Grid g)--------
+No aliases between flagged objects in Task t6(PSFADemo demo, Grid g).
+
+---------t9(PSFADemo demo, Grid g)--------
+No aliases between flagged objects in Task t9(PSFADemo demo, Grid g).
+
+---------t10(PSFADemo demo, Grid g)--------
+No aliases between flagged objects in Task t10(PSFADemo demo, Grid g).
diff --git a/Robust/src/Benchmarks/Ownership/summary.txt b/Robust/src/Benchmarks/Ownership/summary.txt
index 2cbe1cea..8f9d808f 100644
--- a/Robust/src/Benchmarks/Ownership/summary.txt
+++ b/Robust/src/Benchmarks/Ownership/summary.txt
@@ -12,7 +12,7 @@ No reported aliases in:
 -TTTTag                   (5.7s) *
 -WebServer                (9.1s) *
 -WebServerTag            (10.8s) *
-
+-SchedulingPSFluidAnimate(18:39.6s)
 
 Aliases:
 -ChatTag              (6.4s) shows 3 tasks with aliases *
-- 
2.34.1