Verified accuracy of results by manual inspection.

diff --git a/Robust/src/Benchmarks/Ownership/summary.txt b/Robust/src/Benchmarks/Ownership/summary.txt
index 30afc48ed9b6db221b613f6597a8014227b93abc..2cbe1ceafbc7a0c30e0807e1f0b813dfb3a00ecd 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/summary.txt
+++ b/Robust/src/Benchmarks/Ownership/summary.txt
@@ -1,25 +1,25 @@
 No reported aliases in:
--BankApp                  (7.1s)
--Conglomerator            (7.4s)
--Jhttpp2BR                (8.6s)
--PERTTag                  (5.0s)
--SchedulingFilterBank     (3.8s)
--SchedulingJGFMonteCarlo  (8.4s)
--SchedulingJGFSeries      (3.4s)
--SpiderBR                 (9.3s)
--SpiderBRTag              (9.4s)
--TileSearchTag           (11.0s)
--TTTTag                   (5.7s)
--WebServer                (9.1s)
--WebServerTag            (10.8s)
+-BankApp                  (7.1s) *
+-Conglomerator            (7.4s) *
+-Jhttpp2BR                (8.6s) *
+-PERTTag                  (5.0s) *
+-SchedulingFilterBank     (3.8s) *
+-SchedulingJGFMonteCarlo  (8.4s) *
+-SchedulingJGFSeries      (3.4s) *
+-SpiderBR                 (9.3s) *
+-SpiderBRTag              (9.4s) *
+-TileSearchTag           (11.0s) *
+-TTTTag                   (5.7s) *
+-WebServer                (9.1s) *
+-WebServerTag            (10.8s) *
 
 
 Aliases:
--ChatTag              (6.4s) shows 3 tasks with aliases
--MapReduceTag        (39.9s) shows 1 task with aliases
--MMGTag              (63.8s) shows 4 tasks with aliases
--SchedulingMapReduce (14.5s) shows 2 tasks with aliases
-
-
+-ChatTag              (6.4s) shows 3 tasks with aliases *
+-MapReduceTag        (39.9s) shows 1 task with aliases  *
+-MMGTag              (63.8s) shows 4 tasks with aliases *
+-SchedulingMapReduce (14.5s) shows 2 tasks with aliases *
 
 
+* - This benchmark has been manually inspected to verify
+accuracy of alias reporting.