added new benchmark result to summary

diff --git a/Robust/src/Benchmarks/Ownership/SchedulingPSFluidAnimate.txt b/Robust/src/Benchmarks/Ownership/SchedulingPSFluidAnimate.txt
new file mode 100644 (file)
index 0000000..817bfbd
--- /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 2cbe1ceafbc7a0c30e0807e1f0b813dfb3a00ecd..8f9d808fc690e74099373331d339dcf683fe2239 100644 (file)
--- 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 *