Reran analysis on benchmarks with newest updates

[IRC.git] / Robust / src / Benchmarks / Ownership / summary.txt

diff --git a/Robust/src/Benchmarks/Ownership/summary.txt b/Robust/src/Benchmarks/Ownership/summary.txt
index 0614c6a36a5c2345d678c48aebc9144a00b9d466..71147fa564bacfedc5b4e6f2cb3c86476a70a72a 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/summary.txt
+++ b/Robust/src/Benchmarks/Ownership/summary.txt
@@ -1,23 +1,24 @@
 No reported aliases in:
 -BankApp
 -Conglomerator 
+-Jhttpp2BR
 -PERTTag
 -SchedulingFilterBank
+-SchedulingJGFMonteCarlo
 -SchedulingJGFSeries
+-SpiderBR
+-SpiderBRTag
 -TileSearchTag
 -TTTTag
+-WebServer
+-WebServerTag
 
 
 Aliases:
--ChatTag shows 3 tasks with aliases, with allocation depth = 3 or 9
--WebServerTag shows 1 task with aliases, ad=3 or 9
-
-
-Out of Memory:
--MMGTag
+-ChatTag shows 3 tasks with aliases
+-MapReduceTag shows 1 task with aliases
+-SchedulingMapReduce shows 2 tasks with aliases
 
 
 Intractable:
--MapReduceTag quit at exhaustive arity dimension = 24
--SpiderBRTag quit at d=24
--SpiderBR quit at d=17
+-MMGTag