From f0c030d11343ec3110c07de3cfbab10e8b839862 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Tue, 23 Sep 2008 00:42:02 +0000
Subject: [PATCH] Reran analysis on benchmarks with newest updates

---
 Robust/src/Benchmarks/Ownership/BankApp.txt   |   8 +-
 .../{ChatTag_ad3.txt => ChatTag.txt}          |  20 ++--
 .../src/Benchmarks/Ownership/ChatTag_ad9.txt  |  18 ---
 .../Benchmarks/Ownership/Conglomerator.txt    |  36 +++---
 Robust/src/Benchmarks/Ownership/Jhttpp2BR.txt |  30 +++++
 Robust/src/Benchmarks/Ownership/MMGTag.txt    | 109 ++++++++++++------
 .../src/Benchmarks/Ownership/MapReduceTag.txt |  65 ++++-------
 Robust/src/Benchmarks/Ownership/PERTTag.txt   |  16 +--
 .../Ownership/SchedulingFilterBank.txt        |  12 +-
 .../Ownership/SchedulingJGFMonteCarlo.txt     |  12 ++
 .../Ownership/SchedulingJGFSeries.txt         |   8 +-
 .../Ownership/SchedulingMapReduce.txt         |  33 ++++++
 Robust/src/Benchmarks/Ownership/SpiderBR.txt  |  22 ++--
 .../src/Benchmarks/Ownership/SpiderBRTag.txt  |  27 ++---
 Robust/src/Benchmarks/Ownership/TTTTag.txt    |  20 ++--
 .../Benchmarks/Ownership/TileSearchTag.txt    |  18 +--
 Robust/src/Benchmarks/Ownership/WebServer.txt |  18 +++
 ...{WebServerTag_ad3.txt => WebServerTag.txt} |  12 +-
 Robust/src/Benchmarks/Ownership/summary.txt   |  19 +--
 19 files changed, 289 insertions(+), 214 deletions(-)
 rename Robust/src/Benchmarks/Ownership/{ChatTag_ad3.txt => ChatTag.txt} (71%)
 delete mode 100644 Robust/src/Benchmarks/Ownership/ChatTag_ad9.txt
 create mode 100644 Robust/src/Benchmarks/Ownership/Jhttpp2BR.txt
 create mode 100644 Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt
 create mode 100644 Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt
 create mode 100644 Robust/src/Benchmarks/Ownership/WebServer.txt
 rename Robust/src/Benchmarks/Ownership/{WebServerTag_ad3.txt => WebServerTag.txt} (94%)

diff --git a/Robust/src/Benchmarks/Ownership/BankApp.txt b/Robust/src/Benchmarks/Ownership/BankApp.txt
index 5be6a43f..b1ec1c2b 100644
--- a/Robust/src/Benchmarks/Ownership/BankApp.txt
+++ b/Robust/src/Benchmarks/Ownership/BankApp.txt
@@ -1,9 +1,9 @@
-Conducting ownership analysis with allocation depth = 3
+Conducting ownership analysis with allocation depth = 1
 ---------AcceptConnection(ServerSocket ss)--------
 Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
 
----------ProcessRequest(BankAppSocket bas, BankDatabase Bank)--------
-Task ProcessRequest(BankAppSocket bas, BankDatabase Bank) contains no aliases between flagged objects.
-
 ---------Startup(StartupObject s)--------
 Task Startup(StartupObject s) contains no aliases between flagged objects.
+
+---------ProcessRequest(BankAppSocket bas, BankDatabase Bank)--------
+Task ProcessRequest(BankAppSocket bas, BankDatabase Bank) contains no aliases between flagged objects.
diff --git a/Robust/src/Benchmarks/Ownership/ChatTag_ad3.txt b/Robust/src/Benchmarks/Ownership/ChatTag.txt
similarity index 71%
rename from Robust/src/Benchmarks/Ownership/ChatTag_ad3.txt
rename to Robust/src/Benchmarks/Ownership/ChatTag.txt
index 2c53df63..61339f7e 100644
--- a/Robust/src/Benchmarks/Ownership/ChatTag_ad3.txt
+++ b/Robust/src/Benchmarks/Ownership/ChatTag.txt
@@ -1,18 +1,18 @@
-Conducting ownership analysis with allocation depth = 3
----------ProcessRoom(ChatSocket cs, RoomObject ro)--------
-Potential alias between parameters 0 and 1.
-
----------ReadRequest(ChatSocket cs, Socket s)--------
-Task ReadRequest(ChatSocket cs, Socket s) contains no aliases between flagged objects.
+Conducting ownership analysis with allocation depth = 1
+---------Message(ChatSocket cs, Socket s)--------
+Potential alias between parameter 0 and FlatNew____m2782___= NEW Message.
 
 ---------SendMessage(Message m)--------
 Task SendMessage(Message m) contains no aliases between flagged objects.
 
----------Message(ChatSocket cs, Socket s)--------
-Potential alias between parameter 0 and allocSite7.
-
 ---------Startup(StartupObject s)--------
 Task Startup(StartupObject s) contains no aliases between flagged objects.
 
+---------ReadRequest(ChatSocket cs, Socket s)--------
+Task ReadRequest(ChatSocket cs, Socket s) contains no aliases between flagged objects.
+
 ---------AcceptConnection(ServerSocket ss)--------
-Potential alias between allocSite5 and allocSite16.
+Potential alias between FlatNew____cs2817___= NEW ChatSocket and FlatNew____s1933___= NEW Socket.
+
+---------ProcessRoom(ChatSocket cs, RoomObject ro)--------
+Potential alias between parameters 0 and 1.
diff --git a/Robust/src/Benchmarks/Ownership/ChatTag_ad9.txt b/Robust/src/Benchmarks/Ownership/ChatTag_ad9.txt
deleted file mode 100644
index 52c61bc9..00000000
--- a/Robust/src/Benchmarks/Ownership/ChatTag_ad9.txt
+++ /dev/null
@@ -1,18 +0,0 @@
-Conducting ownership analysis with allocation depth = 9
----------ProcessRoom(ChatSocket cs, RoomObject ro)--------
-Potential alias between parameters 0 and 1.
-
----------ReadRequest(ChatSocket cs, Socket s)--------
-Task ReadRequest(ChatSocket cs, Socket s) contains no aliases between flagged objects.
-
----------SendMessage(Message m)--------
-Task SendMessage(Message m) contains no aliases between flagged objects.
-
----------Message(ChatSocket cs, Socket s)--------
-Potential alias between parameter 0 and allocSite7.
-
----------Startup(StartupObject s)--------
-Task Startup(StartupObject s) contains no aliases between flagged objects.
-
----------AcceptConnection(ServerSocket ss)--------
-Potential alias between allocSite5 and allocSite16.
diff --git a/Robust/src/Benchmarks/Ownership/Conglomerator.txt b/Robust/src/Benchmarks/Ownership/Conglomerator.txt
index 4c9d372c..ec105993 100644
--- a/Robust/src/Benchmarks/Ownership/Conglomerator.txt
+++ b/Robust/src/Benchmarks/Ownership/Conglomerator.txt
@@ -1,15 +1,24 @@
-Conducting ownership analysis with allocation depth = 3
+Conducting ownership analysis with allocation depth = 1
 ---------LogRequest(WebServerSocket web, Logger log)--------
 Task LogRequest(WebServerSocket web, Logger log) contains no aliases between flagged objects.
 
----------ReceiveQueryW(Weather l)--------
-Task ReceiveQueryW(Weather l) contains no aliases between flagged objects.
+---------SendFile(WebServerSocket web, MySocket s)--------
+Task SendFile(WebServerSocket web, MySocket s) contains no aliases between flagged objects.
 
 ---------LookupS(Stock l)--------
 Task LookupS(Stock l) contains no aliases between flagged objects.
 
----------LookupG(Google l)--------
-Task LookupG(Google l) contains no aliases between flagged objects.
+---------Startup(StartupObject s)--------
+Task Startup(StartupObject s) contains no aliases between flagged objects.
+
+---------ReceiveQueryS(Stock l)--------
+Task ReceiveQueryS(Stock l) contains no aliases between flagged objects.
+
+---------AcceptConnection(ServerSocket ss)--------
+Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
+
+---------LookupW(Weather l)--------
+Task LookupW(Weather l) contains no aliases between flagged objects.
 
 ---------Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Stock st)--------
 Task Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Stock st) contains no aliases between flagged objects.
@@ -17,20 +26,11 @@ Task Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Sto
 ---------ReceiveQueryG(Google l)--------
 Task ReceiveQueryG(Google l) contains no aliases between flagged objects.
 
----------SendFile(WebServerSocket web, MySocket s)--------
-Task SendFile(WebServerSocket web, MySocket s) contains no aliases between flagged objects.
-
----------AcceptConnection(ServerSocket ss)--------
-Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
-
----------ReceiveQueryS(Stock l)--------
-Task ReceiveQueryS(Stock l) contains no aliases between flagged objects.
+---------ReceiveQueryW(Weather l)--------
+Task ReceiveQueryW(Weather l) contains no aliases between flagged objects.
 
----------Startup(StartupObject s)--------
-Task Startup(StartupObject s) contains no aliases between flagged objects.
+---------LookupG(Google l)--------
+Task LookupG(Google l) contains no aliases between flagged objects.
 
 ---------ProcessRequest(WebServerSocket web, MySocket s)--------
 Task ProcessRequest(WebServerSocket web, MySocket s) contains no aliases between flagged objects.
-
----------LookupW(Weather l)--------
-Task LookupW(Weather l) contains no aliases between flagged objects.
diff --git a/Robust/src/Benchmarks/Ownership/Jhttpp2BR.txt b/Robust/src/Benchmarks/Ownership/Jhttpp2BR.txt
new file mode 100644
index 00000000..d814158f
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/Jhttpp2BR.txt
@@ -0,0 +1,30 @@
+Conducting ownership analysis with allocation depth = 1
+---------request(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket, Request rold)--------
+Task request(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket, Request rold) contains no aliases between flagged objects.
+
+---------start(StartupObject s)--------
+Task start(StartupObject s) contains no aliases between flagged objects.
+
+---------sendnext(Request rprev, Request r)--------
+Task sendnext(Request rprev, Request r) contains no aliases between flagged objects.
+
+---------sendfirst(Request r)--------
+Task sendfirst(Request r) contains no aliases between flagged objects.
+
+---------sendfirstresp(Request r, MySocket sock)--------
+Task sendfirstresp(Request r, MySocket sock) contains no aliases between flagged objects.
+
+---------recvreq(Request r)--------
+Task recvreq(Request r) contains no aliases between flagged objects.
+
+---------requestmore(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, Request rold)--------
+Task requestmore(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, Request rold) contains no aliases between flagged objects.
+
+---------sendresp(Request rprev, Request r, MySocket sock)--------
+Task sendresp(Request rprev, Request r, MySocket sock) contains no aliases between flagged objects.
+
+---------acceptconnection(ServerSocket ss)--------
+Task acceptconnection(ServerSocket ss) contains no aliases between flagged objects.
+
+---------requestfirst(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket)--------
+Task requestfirst(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket) contains no aliases between flagged objects.
diff --git a/Robust/src/Benchmarks/Ownership/MMGTag.txt b/Robust/src/Benchmarks/Ownership/MMGTag.txt
index 56770e6d..d03e45b0 100644
--- a/Robust/src/Benchmarks/Ownership/MMGTag.txt
+++ b/Robust/src/Benchmarks/Ownership/MMGTag.txt
@@ -1,38 +1,75 @@
-Out of memory:
-
-
-Previsiting public int Integer.intValue()
-Previsiting public double Random.nextDouble()
-Previsiting public void Vector.addElement(Object obj)
-Previsiting private  Vector.ensureCapacity(int minCapacity)
-Previsiting public  Map.Map(int nrofpacs, int nrofghosts)
-Previsiting public  Vector.Vector()
-Previsiting private boolean Pacman.canFlee()
-Previsiting updatePac(Map map, Pacman p)
-Previsiting protected synchronized int Random.next(int bits)
-Previsiting moveGhost(Ghost g)
-Previsiting private boolean Ghost.BFS(int start, int parents, Vector cuts)
-Previsiting public  Pacman.Pacman(int x, int y, Map map)
-
+Analyzing public  Pacman.Pacman(int x, int y, Map map)
 Analyzing next(Map map)
-Analyzing private void Pacman.setNextDirection()
-Analyzing public void Map.placeGhost(Ghost t)
-Analyzing finish(Map map)
-Analyzing public void Pacman.setTarget(int x, int y)
-Analyzing next(Map map)
-Analyzing startup(StartupObject s)
-Analyzing public boolean Pacman.isFinish()
-Analyzing public void Pacman.doMove()
-Analyzing private boolean Ghost.isFollowing()
-Analyzing public void Map.init()
-Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
-        at java.util.Hashtable.rehash(Hashtable.java:358)
-        at java.util.Hashtable.put(Hashtable.java:414)
-        at Analysis.OwnershipAnalysis.OwnershipGraph.getLabelNodeFromTemp(OwnershipGraph.java:59)
-        at Analysis.OwnershipAnalysis.OwnershipGraph.mergeOwnershipNodes(OwnershipGraph.java:1853)
-        at Analysis.OwnershipAnalysis.OwnershipGraph.merge(OwnershipGraph.java:1813)
-        at Analysis.OwnershipAnalysis.OwnershipAnalysis.analyzeFlatMethod(OwnershipAnalysis.java:412)
-        at Analysis.OwnershipAnalysis.OwnershipAnalysis.analyzeMethods(OwnershipAnalysis.java:347)
-        at Analysis.OwnershipAnalysis.OwnershipAnalysis.<init>(OwnershipAnalysis.java:282)
-        at Main.Main.main(Main.java:466)
+    exhaustiveArityCombinations numDimensions = 11
+[[92, 93S, 14S*]
+[14S, 92, 93S*]
+[92, 14S*]
+[92, 93S, 14S*, 90]
+[92]
+[14S, 92, 90]
+[14S, 92]
+[92, 93S*, 14S*]
+[92, 93S*, 14S*, 90]
+[92, 14S*, 90]
+[14S, 92, 93S]]
+x
+    exhaustiveArityCombinations numDimensions = 12
+[[14S, 92, 93S*]
+[92, 93S, 14S*]
+[92, 14S*]
+[92]
+[92, 93S, 14S*, 90]
+[14S, 92, 90]
+[14S, 92]
+[92, 93S*, 14S*]
+[92, 93S*, 14S*, 90]
+[92, 14S*, 90]
+[14S, 92, 93S, 90]
+[14S, 92, 93S]]
+xxx
+    exhaustiveArityCombinations numDimensions = 13
+[[92, 93S, 14S*]
+[14S, 92, 93S*]
+[92]
+[14S, 92]
+[92, 93S*, 14S*]
+[92, 93S*, 14S*, 90]
+[92, 14S*, 90]
+[92, 14S*]
+[92, 93S, 14S*, 90]
+[14S, 92, 93S*, 90]
+[14S, 92, 90]
+[14S, 92, 93S, 90]
+[14S, 92, 93S]]
+xxxxxxxxx
+    exhaustiveArityCombinations numDimensions = 27
+[[14S, 92, 91S, 90]
+[92]
+[92, 93S*, 14S*, 90]
+[92, 14S*, 90]
+[91S*, 92, 14S*]
+[92, 14S*]
+[91S*, 92, 14S*, 90]
+[91S*, 92, 93S, 14S*, 90]
+[92, 93S*, 14S*, 91S, 90]
+[14S, 92, 91S]
+[92, 14S*, 91S, 90]
+[92, 93S*, 14S*, 91S]
+[91S*, 92, 93S, 14S*]
+[92, 93S, 14S*, 91S, 90]
+[14S, 92, 93S]
+[14S, 92, 93S*]
+[92, 93S, 14S*]
+[91S*, 92, 93S*, 14S*]
+[14S, 92]
+[91S*, 92, 93S*, 14S*, 90]
+[92, 93S*, 14S*]
+[92, 93S, 14S*, 91S]
+[92, 14S*, 91S]
+[92, 93S, 14S*, 90]
+[14S, 92, 93S*, 90]
+[14S, 92, 90]
+[14S, 92, 93S, 90]]
+x
+
 
diff --git a/Robust/src/Benchmarks/Ownership/MapReduceTag.txt b/Robust/src/Benchmarks/Ownership/MapReduceTag.txt
index 1f5c5c46..9697280a 100644
--- a/Robust/src/Benchmarks/Ownership/MapReduceTag.txt
+++ b/Robust/src/Benchmarks/Ownership/MapReduceTag.txt
@@ -1,46 +1,21 @@
-Intractable:
+Conducting ownership analysis with allocation depth = 1
+---------sortgroup(ReduceWorker rworker)--------
+Task sortgroup(ReduceWorker rworker) contains no aliases between flagged objects.
 
-Analyzing startup(StartupObject s)
-Analyzing public  Master.Master(int m, int r, Splitter splitter)
-Analyzing Object HashMap.put(Object key, Object value)
-Analyzing public void ReduceWorker.sortgroup()
-Analyzing sortgroup(ReduceWorker rworker)
-Analyzing public  ReduceWorker.ReduceWorker(Vector interoutputs, int id)
-Analyzing public void Master.assignReduce()
-exhaustiveArityCombinations numDimensions = 16
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x @ exhaustiveArityCombinations numDimensions = 12
-x x x exhaustiveArityCombinations numDimensions = 24
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x @ # x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x @ x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x @ # x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x x
+---------assignReduce(Master master)--------
+Potential alias between parameter 0 and FlatNew____rworker894___= NEW ReduceWorker.
+
+---------map(MapWorker mworker)--------
+Task map(MapWorker mworker) contains no aliases between flagged objects.
+
+---------reduceOutput(Master master, ReduceWorker rworker)--------
+Task reduceOutput(Master master, ReduceWorker rworker) contains no aliases between flagged objects.
+
+---------mapOutput(Master master, MapWorker mworker)--------
+Task mapOutput(Master master, MapWorker mworker) contains no aliases between flagged objects.
+
+---------startup(StartupObject s)--------
+Task startup(StartupObject s) contains no aliases between flagged objects.
+
+---------output(Master master)--------
+Task output(Master master) contains no aliases between flagged objects.
diff --git a/Robust/src/Benchmarks/Ownership/PERTTag.txt b/Robust/src/Benchmarks/Ownership/PERTTag.txt
index cf030783..06d1e118 100644
--- a/Robust/src/Benchmarks/Ownership/PERTTag.txt
+++ b/Robust/src/Benchmarks/Ownership/PERTTag.txt
@@ -1,15 +1,15 @@
-Conducting ownership analysis with allocation depth = 3
----------prob(Estimator e)--------
-Task prob(Estimator e) contains no aliases between flagged objects.
+Conducting ownership analysis with allocation depth = 1
+---------estimateStage(Stage s)--------
+Task estimateStage(Stage s) contains no aliases between flagged objects.
 
 ---------sampling(Stage s)--------
 Task sampling(Stage s) contains no aliases between flagged objects.
 
----------startup(StartupObject s)--------
-Task startup(StartupObject s) contains no aliases between flagged objects.
-
 ---------estimate(Estimator e, Stage s)--------
 Task estimate(Estimator e, Stage s) contains no aliases between flagged objects.
 
----------estimateStage(Stage s)--------
-Task estimateStage(Stage s) contains no aliases between flagged objects.
+---------startup(StartupObject s)--------
+Task startup(StartupObject s) contains no aliases between flagged objects.
+
+---------prob(Estimator e)--------
+Task prob(Estimator e) contains no aliases between flagged objects.
diff --git a/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt b/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt
index b71cc8ab..7cad7fb5 100644
--- a/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt
+++ b/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt
@@ -1,12 +1,12 @@
-Conducting ownership analysis with allocation depth = 3
----------t2(FilterBankAtom fba)--------
-Task t2(FilterBankAtom fba) contains no aliases between flagged objects.
-
+Conducting ownership analysis with allocation depth = 1
 ---------t1(StartupObject s)--------
 Task t1(StartupObject s) contains no aliases between flagged objects.
 
----------t3(FilterBank fb, FilterBankAtom fba)--------
-Task t3(FilterBank fb, FilterBankAtom fba) contains no aliases between flagged objects.
+---------t2(FilterBankAtom fba)--------
+Task t2(FilterBankAtom fba) contains no aliases between flagged objects.
 
 ---------t4(FilterBank fb)--------
 Task t4(FilterBank fb) contains no aliases between flagged objects.
+
+---------t3(FilterBank fb, FilterBankAtom fba)--------
+Task t3(FilterBank fb, FilterBankAtom fba) contains no aliases between flagged objects.
diff --git a/Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt b/Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt
new file mode 100644
index 00000000..e4f1fa1b
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt
@@ -0,0 +1,12 @@
+Conducting ownership analysis with allocation depth = 1
+---------t3(AppDemo ad, AppDemoRunner adr)--------
+Task t3(AppDemo ad, AppDemoRunner adr) contains no aliases between flagged objects.
+
+---------t2(AppDemoRunner adr)--------
+Task t2(AppDemoRunner adr) contains no aliases between flagged objects.
+
+---------t1(StartupObject s)--------
+Task t1(StartupObject s) contains no aliases between flagged objects.
+
+---------t5(AppDemo ad)--------
+Task t5(AppDemo ad) contains no aliases between flagged objects.
diff --git a/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt b/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt
index ed713abf..bdb8c091 100644
--- a/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt
+++ b/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt
@@ -1,6 +1,6 @@
-Conducting ownership analysis with allocation depth = 3
----------t2(SeriesRunner sr)--------
-Task t2(SeriesRunner sr) contains no aliases between flagged objects.
-
+Conducting ownership analysis with allocation depth = 1
 ---------t1(StartupObject s)--------
 Task t1(StartupObject s) contains no aliases between flagged objects.
+
+---------t2(SeriesRunner sr)--------
+Task t2(SeriesRunner sr) contains no aliases between flagged objects.
diff --git a/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt b/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt
new file mode 100644
index 00000000..3bc90078
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt
@@ -0,0 +1,33 @@
+Conducting ownership analysis with allocation depth = 1
+---------t8(ReduceWorker rworker)--------
+Task t8(ReduceWorker rworker) contains no aliases between flagged objects.
+
+---------t5(MapWorker mworker)--------
+Task t5(MapWorker mworker) contains no aliases between flagged objects.
+
+---------t10(Master master, ReduceWorker rworker)--------
+Task t10(Master master, ReduceWorker rworker) contains no aliases between flagged objects.
+
+---------t4(MapWorker mworker)--------
+Task t4(MapWorker mworker) contains no aliases between flagged objects.
+
+---------t2(Master master)--------
+Task t2(Master master) contains no aliases between flagged objects.
+
+---------t6(Master master, MapWorker mworker)--------
+Potential alias between parameters 0 and 1.
+
+---------t3(Master master)--------
+Task t3(Master master) contains no aliases between flagged objects.
+
+---------t1(StartupObject s)--------
+Task t1(StartupObject s) contains no aliases between flagged objects.
+
+---------t7(Master master)--------
+Potential alias between parameter 0 and FlatNew____rworker3429___= NEW ReduceWorker.
+
+---------t11(Master master)--------
+Task t11(Master master) contains no aliases between flagged objects.
+
+---------t9(ReduceWorker rworker)--------
+Task t9(ReduceWorker rworker) contains no aliases between flagged objects.
diff --git a/Robust/src/Benchmarks/Ownership/SpiderBR.txt b/Robust/src/Benchmarks/Ownership/SpiderBR.txt
index 87941810..28a4ee72 100644
--- a/Robust/src/Benchmarks/Ownership/SpiderBR.txt
+++ b/Robust/src/Benchmarks/Ownership/SpiderBR.txt
@@ -1,16 +1,12 @@
-intractable:
+Conducting ownership analysis with allocation depth = 1
+---------processPage(Query q, QueryList ql)--------
+Task processPage(Query q, QueryList ql) contains no aliases between flagged objects.
 
-Analyzing public String String.substring(int beginIndex, int endIndex)
-Analyzing public String String.subString(int beginIndex, int endIndex)
-Analyzing readResponse(Query q)
-Analyzing public String Query.getHostName(String page)
-Analyzing public String Query.makewebcanonical(String page)
-Analyzing processPage(Query q, QueryList ql)
-Analyzing public String Object.toString()
-Analyzing public static String String.valueOf(Object o)
-Analyzing public  Query.Query(String hostname, String path)
-Analyzing Startup(StartupObject s)
-Analyzing processPage(Query q, QueryList ql)
-exhaustiveArityCombinations numDimensions = 17
+---------requestQuery(Query q)--------
+Task requestQuery(Query q) contains no aliases between flagged objects.
 
+---------readResponse(Query q)--------
+Task readResponse(Query q) contains no aliases between flagged objects.
 
+---------Startup(StartupObject s)--------
+Task Startup(StartupObject s) contains no aliases between flagged objects.
diff --git a/Robust/src/Benchmarks/Ownership/SpiderBRTag.txt b/Robust/src/Benchmarks/Ownership/SpiderBRTag.txt
index 2aefd2aa..2caf46ce 100644
--- a/Robust/src/Benchmarks/Ownership/SpiderBRTag.txt
+++ b/Robust/src/Benchmarks/Ownership/SpiderBRTag.txt
@@ -1,21 +1,12 @@
-intractable:
+Conducting ownership analysis with allocation depth = 1
+---------requestQuery(Query q, Socket s)--------
+Task requestQuery(Query q, Socket s) contains no aliases between flagged objects.
 
+---------Startup(StartupObject s)--------
+Task Startup(StartupObject s) contains no aliases between flagged objects.
 
-Analyzing public String Query.makewebcanonical(String page)
-Analyzing processPage(Query q, QueryList ql)
-Analyzing public String InetAddress.toString()
-Analyzing public static String String.valueOf(Object o)
-Analyzing readResponse(Query q, Socket s)
-Analyzing public String Integer.toString()
-Analyzing public static String String.valueOf(Object o)
-Analyzing public String Query.getPathName(String page)
-Analyzing processPage(Query q, QueryList ql)
-Analyzing public String Query.makewebcanonical(String page)
-Analyzing public  Query.Query(String hostname, String path)
-Analyzing processPage(Query q, QueryList ql)
-exhaustiveArityCombinations numDimensions = 12
-x x x exhaustiveArityCombinations numDimensions = 12
-x x x exhaustiveArityCombinations numDimensions = 12
-x x x exhaustiveArityCombinations numDimensions = 24
-x x x x x x
+---------processPage(Query q, QueryList ql)--------
+Task processPage(Query q, QueryList ql) contains no aliases between flagged objects.
 
+---------readResponse(Query q, Socket s)--------
+Task readResponse(Query q, Socket s) contains no aliases between flagged objects.
diff --git a/Robust/src/Benchmarks/Ownership/TTTTag.txt b/Robust/src/Benchmarks/Ownership/TTTTag.txt
index e25112f4..a06f33cc 100644
--- a/Robust/src/Benchmarks/Ownership/TTTTag.txt
+++ b/Robust/src/Benchmarks/Ownership/TTTTag.txt
@@ -1,21 +1,21 @@
-Conducting ownership analysis with allocation depth = 3
----------GameOver(TTTServerSocket ttts, Board tttBoard, Socket s)--------
-Task GameOver(TTTServerSocket ttts, Board tttBoard, Socket s) contains no aliases between flagged objects.
+Conducting ownership analysis with allocation depth = 1
+---------AcceptConnection(ServerSocket ss)--------
+Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
 
 ---------Startup(StartupObject s)--------
 Task Startup(StartupObject s) contains no aliases between flagged objects.
 
----------ProcessMove(TTTServerSocket ttts, Board tttBoard)--------
-Task ProcessMove(TTTServerSocket ttts, Board tttBoard) contains no aliases between flagged objects.
-
 ---------SendBoardDisplay(TTTServerSocket ttts, Board tttBoard, Socket s)--------
 Task SendBoardDisplay(TTTServerSocket ttts, Board tttBoard, Socket s) contains no aliases between flagged objects.
 
----------AcceptConnection(ServerSocket ss)--------
-Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
+---------ProcessRequest(TTTServerSocket ttts, Socket s)--------
+Task ProcessRequest(TTTServerSocket ttts, Socket s) contains no aliases between flagged objects.
+
+---------ProcessMove(TTTServerSocket ttts, Board tttBoard)--------
+Task ProcessMove(TTTServerSocket ttts, Board tttBoard) contains no aliases between flagged objects.
 
 ---------SendErrorMessage(TTTServerSocket ttts, Board tttBoard, Socket s)--------
 Task SendErrorMessage(TTTServerSocket ttts, Board tttBoard, Socket s) contains no aliases between flagged objects.
 
----------ProcessRequest(TTTServerSocket ttts, Socket s)--------
-Task ProcessRequest(TTTServerSocket ttts, Socket s) contains no aliases between flagged objects.
+---------GameOver(TTTServerSocket ttts, Board tttBoard, Socket s)--------
+Task GameOver(TTTServerSocket ttts, Board tttBoard, Socket s) contains no aliases between flagged objects.
diff --git a/Robust/src/Benchmarks/Ownership/TileSearchTag.txt b/Robust/src/Benchmarks/Ownership/TileSearchTag.txt
index 06256e30..fc7cdbab 100644
--- a/Robust/src/Benchmarks/Ownership/TileSearchTag.txt
+++ b/Robust/src/Benchmarks/Ownership/TileSearchTag.txt
@@ -1,15 +1,15 @@
-Conducting ownership analysis with allocation depth = 3
----------findNewFits(SubProblem sp, GlobalCounter counter)--------
-Task findNewFits(SubProblem sp, GlobalCounter counter) contains no aliases between flagged objects.
+Conducting ownership analysis with allocation depth = 1
+---------printHighestScore(SubProblem sp)--------
+Task printHighestScore(SubProblem sp) contains no aliases between flagged objects.
 
----------Startup(StartupObject s)--------
-Task Startup(StartupObject s) contains no aliases between flagged objects.
+---------scoreSubProbleam(SubProblem sp)--------
+Task scoreSubProbleam(SubProblem sp) contains no aliases between flagged objects.
 
 ---------findHighestScore(SubProblem pSp, SubProblem cSp, GlobalCounter counter)--------
 Task findHighestScore(SubProblem pSp, SubProblem cSp, GlobalCounter counter) contains no aliases between flagged objects.
 
----------printHighestScore(SubProblem sp)--------
-Task printHighestScore(SubProblem sp) contains no aliases between flagged objects.
+---------Startup(StartupObject s)--------
+Task Startup(StartupObject s) contains no aliases between flagged objects.
 
----------scoreSubProbleam(SubProblem sp)--------
-Task scoreSubProbleam(SubProblem sp) contains no aliases between flagged objects.
+---------findNewFits(SubProblem sp, GlobalCounter counter)--------
+Task findNewFits(SubProblem sp, GlobalCounter counter) contains no aliases between flagged objects.
diff --git a/Robust/src/Benchmarks/Ownership/WebServer.txt b/Robust/src/Benchmarks/Ownership/WebServer.txt
new file mode 100644
index 00000000..90209166
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/WebServer.txt
@@ -0,0 +1,18 @@
+Conducting ownership analysis with allocation depth = 1
+---------LogRequest(WebServerSocket web, Logger log)--------
+Task LogRequest(WebServerSocket web, Logger log) contains no aliases between flagged objects.
+
+---------ProcessRequest(WebServerSocket web)--------
+Task ProcessRequest(WebServerSocket web) contains no aliases between flagged objects.
+
+---------AcceptConnection(ServerSocket ss)--------
+Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
+
+---------Transaction(WebServerSocket web, Inventory inventorylist)--------
+Task Transaction(WebServerSocket web, Inventory inventorylist) contains no aliases between flagged objects.
+
+---------Startup(StartupObject s)--------
+Task Startup(StartupObject s) contains no aliases between flagged objects.
+
+---------SendFile(WebServerSocket web)--------
+Task SendFile(WebServerSocket web) contains no aliases between flagged objects.
diff --git a/Robust/src/Benchmarks/Ownership/WebServerTag_ad3.txt b/Robust/src/Benchmarks/Ownership/WebServerTag.txt
similarity index 94%
rename from Robust/src/Benchmarks/Ownership/WebServerTag_ad3.txt
rename to Robust/src/Benchmarks/Ownership/WebServerTag.txt
index 0a617c77..3a2905a9 100644
--- a/Robust/src/Benchmarks/Ownership/WebServerTag_ad3.txt
+++ b/Robust/src/Benchmarks/Ownership/WebServerTag.txt
@@ -1,18 +1,18 @@
-Conducting ownership analysis with allocation depth = 3
+Conducting ownership analysis with allocation depth = 1
 ---------SendFile(WebServerSocket web, Socket s)--------
 Task SendFile(WebServerSocket web, Socket s) contains no aliases between flagged objects.
 
----------ProcessRequest(WebServerSocket web, Socket s)--------
-Task ProcessRequest(WebServerSocket web, Socket s) contains no aliases between flagged objects.
+---------Startup(StartupObject s)--------
+Task Startup(StartupObject s) contains no aliases between flagged objects.
 
 ---------Transaction(WebServerSocket web, Inventory inventorylist, Socket s)--------
 Task Transaction(WebServerSocket web, Inventory inventorylist, Socket s) contains no aliases between flagged objects.
 
+---------ProcessRequest(WebServerSocket web, Socket s)--------
+Task ProcessRequest(WebServerSocket web, Socket s) contains no aliases between flagged objects.
+
 ---------LogRequest(WebServerSocket web, Logger log)--------
 Task LogRequest(WebServerSocket web, Logger log) contains no aliases between flagged objects.
 
 ---------AcceptConnection(ServerSocket ss)--------
 Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
-
----------Startup(StartupObject s)--------
-Task Startup(StartupObject s) contains no aliases between flagged objects.
diff --git a/Robust/src/Benchmarks/Ownership/summary.txt b/Robust/src/Benchmarks/Ownership/summary.txt
index 0614c6a3..71147fa5 100644
--- 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
-- 
2.34.1