From: jjenista <jjenista>
Date: Thu, 2 Oct 2008 21:43:55 +0000 (+0000)
Subject: Verified accuracy of results by manual inspection.
X-Git-Tag: buildscript^7~80
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=995259940e4eab721d0e8c590899dc5aef5ad9b5;p=IRC.git

Verified accuracy of results by manual inspection.
---

diff --git a/Robust/src/Benchmarks/Ownership/summary.txt b/Robust/src/Benchmarks/Ownership/summary.txt
index 30afc48e..2cbe1cea 100644
--- 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.