updating results

diff --git a/Robust/src/Benchmarks/Ownership/BankApp.txt b/Robust/src/Benchmarks/Ownership/BankApp.txt
deleted file mode 100644 (file)
index 283458e..0000000
--- a/Robust/src/Benchmarks/Ownership/BankApp.txt
+++ /dev/null
@@ -1,9 +0,0 @@
-Conducting ownership analysis with allocation depth = 1
----------AcceptConnection(ServerSocket ss)--------
-No aliases between flagged objects in Task AcceptConnection(ServerSocket ss).
-
----------Startup(StartupObject s)--------
-No aliases between flagged objects in Task Startup(StartupObject s).
-
----------ProcessRequest(BankAppSocket bas, BankDatabase Bank)--------
-No aliases between flagged objects in Task ProcessRequest(BankAppSocket bas, BankDatabase Bank).

diff --git a/Robust/src/Benchmarks/Ownership/ChatTag.txt b/Robust/src/Benchmarks/Ownership/ChatTag.txt
deleted file mode 100644 (file)
index 8ea9623..0000000
--- a/Robust/src/Benchmarks/Ownership/ChatTag.txt
+++ /dev/null
@@ -1,18 +0,0 @@
-Conducting ownership analysis with allocation depth = 1
----------Startup(StartupObject s)--------
-No aliases between flagged objects in Task Startup(StartupObject s).
-
----------AcceptConnection(ServerSocket ss)--------
-Potential alias between FlatNew____cs2882___= NEW ChatSocket and FlatNew____s1066___= NEW Socket.
-
----------Message(ChatSocket cs, Socket s)--------
-Potential alias between parameter 0 and FlatNew____m2900___= NEW Message.
-
----------ReadRequest(ChatSocket cs, Socket s)--------
-No aliases between flagged objects in Task ReadRequest(ChatSocket cs, Socket s).
-
----------ProcessRoom(ChatSocket cs, RoomObject ro)--------
-Potential alias between parameters 0 and 1.
-
----------SendMessage(Message m)--------
-No aliases between flagged objects in Task SendMessage(Message m).

diff --git a/Robust/src/Benchmarks/Ownership/ConglomeratorTag.txt b/Robust/src/Benchmarks/Ownership/ConglomeratorTag.txt
deleted file mode 100644 (file)
index 49bd4bd..0000000
--- a/Robust/src/Benchmarks/Ownership/ConglomeratorTag.txt
+++ /dev/null
@@ -1,36 +0,0 @@
-Conducting ownership analysis with allocation depth = 1
----------LogRequest(WebServerSocket web, Logger log)--------
-No aliases between flagged objects in Task LogRequest(WebServerSocket web, Logger log).
-
----------SendFile(WebServerSocket web, MySocket s)--------
-No aliases between flagged objects in Task SendFile(WebServerSocket web, MySocket s).
-
----------LookupS(Stock l)--------
-No aliases between flagged objects in Task LookupS(Stock l).
-
----------Startup(StartupObject s)--------
-No aliases between flagged objects in Task Startup(StartupObject s).
-
----------ReceiveQueryS(Stock l)--------
-No aliases between flagged objects in Task ReceiveQueryS(Stock l).
-
----------AcceptConnection(ServerSocket ss)--------
-No aliases between flagged objects in Task AcceptConnection(ServerSocket ss).
-
----------LookupW(Weather l)--------
-No aliases between flagged objects in Task LookupW(Weather l).
-
----------Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Stock st)--------
-No aliases between flagged objects in Task Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Stock st).
-
----------ReceiveQueryG(Google l)--------
-No aliases between flagged objects in Task ReceiveQueryG(Google l).
-
----------ReceiveQueryW(Weather l)--------
-No aliases between flagged objects in Task ReceiveQueryW(Weather l).
-
----------LookupG(Google l)--------
-No aliases between flagged objects in Task LookupG(Google l).
-
----------ProcessRequest(WebServerSocket web, MySocket s)--------
-No aliases between flagged objects in Task ProcessRequest(WebServerSocket web, MySocket s).

diff --git a/Robust/src/Benchmarks/Ownership/Jhttpp2BR.txt b/Robust/src/Benchmarks/Ownership/Jhttpp2BR.txt
deleted file mode 100644 (file)
index 862f025..0000000
--- a/Robust/src/Benchmarks/Ownership/Jhttpp2BR.txt
+++ /dev/null
@@ -1,30 +0,0 @@
-Conducting ownership analysis with allocation depth = 1
----------request(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket, Request rold)--------
-No aliases between flagged objects in Task request(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket, Request rold).
-
----------start(StartupObject s)--------
-No aliases between flagged objects in Task start(StartupObject s).
-
----------sendnext(Request rprev, Request r)--------
-No aliases between flagged objects in Task sendnext(Request rprev, Request r).
-
----------sendfirst(Request r)--------
-No aliases between flagged objects in Task sendfirst(Request r).
-
----------sendfirstresp(Request r, MySocket sock)--------
-No aliases between flagged objects in Task sendfirstresp(Request r, MySocket sock).
-
----------recvreq(Request r)--------
-No aliases between flagged objects in Task recvreq(Request r).
-
----------requestmore(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, Request rold)--------
-No aliases between flagged objects in Task requestmore(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, Request rold).
-
----------sendresp(Request rprev, Request r, MySocket sock)--------
-No aliases between flagged objects in Task sendresp(Request rprev, Request r, MySocket sock).
-
----------acceptconnection(ServerSocket ss)--------
-No aliases between flagged objects in Task acceptconnection(ServerSocket ss).
-
----------requestfirst(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket)--------
-No aliases between flagged objects in Task requestfirst(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket).

diff --git a/Robust/src/Benchmarks/Ownership/MMGTag.txt b/Robust/src/Benchmarks/Ownership/MMGTag.txt
deleted file mode 100644 (file)
index 3c33881..0000000
--- a/Robust/src/Benchmarks/Ownership/MMGTag.txt
+++ /dev/null
@@ -1,26 +0,0 @@
-Conducting ownership analysis with allocation depth = 1
----------initMap(Map map)--------
-Potential alias between parameter 0 and FlatNew____pacman7083___= NEW Pacman.
-Potential alias between parameter 0 and FlatNew____ghost7062___= NEW Ghost.
-
----------next(Map map)--------
-Potential alias between parameter 0 and FlatNew____pacman7202___= NEW Pacman.
-Potential alias between parameter 0 and FlatNew____ghost7166___= NEW Ghost.
-
----------updateGhost(Map map, Ghost g)--------
-No aliases between flagged objects in Task updateGhost(Map map, Ghost g).
-
----------moveGhost(Ghost g)--------
-No aliases between flagged objects in Task moveGhost(Ghost g).
-
----------startup(StartupObject s)--------
-No aliases between flagged objects in Task startup(StartupObject s).
-
----------finish(Map map)--------
-No aliases between flagged objects in Task finish(Map map).
-
----------updatePac(Map map, Pacman p)--------
-No aliases between flagged objects in Task updatePac(Map map, Pacman p).
-
----------movePacman(Pacman p)--------
-No aliases between flagged objects in Task movePacman(Pacman p).

diff --git a/Robust/src/Benchmarks/Ownership/MapReduceTag.txt b/Robust/src/Benchmarks/Ownership/MapReduceTag.txt
deleted file mode 100644 (file)
index f0056bb..0000000
--- a/Robust/src/Benchmarks/Ownership/MapReduceTag.txt
+++ /dev/null
@@ -1,21 +0,0 @@
-Conducting ownership analysis with allocation depth = 1
----------map(MapWorker mworker)--------
-No aliases between flagged objects in Task map(MapWorker mworker).
-
----------reduceOutput(Master master, ReduceWorker rworker)--------
-No aliases between flagged objects in Task reduceOutput(Master master, ReduceWorker rworker).
-
----------sortgroup(ReduceWorker rworker)--------
-No aliases between flagged objects in Task sortgroup(ReduceWorker rworker).
-
----------mapOutput(Master master, MapWorker mworker)--------
-No aliases between flagged objects in Task mapOutput(Master master, MapWorker mworker).
-
----------startup(StartupObject s)--------
-No aliases between flagged objects in Task startup(StartupObject s).
-
----------assignReduce(Master master)--------
-Potential alias between parameter 0 and FlatNew____rworker1019___= NEW ReduceWorker.
-
----------output(Master master)--------
-No aliases between flagged objects in Task output(Master master).

diff --git a/Robust/src/Benchmarks/Ownership/PERTTag.txt b/Robust/src/Benchmarks/Ownership/PERTTag.txt
deleted file mode 100644 (file)
index c01df6c..0000000
--- a/Robust/src/Benchmarks/Ownership/PERTTag.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-Conducting ownership analysis with allocation depth = 1
----------sampling(Stage s)--------
-No aliases between flagged objects in Task sampling(Stage s).
-
----------estimateStage(Stage s)--------
-No aliases between flagged objects in Task estimateStage(Stage s).
-
----------estimate(Estimator e, Stage s)--------
-No aliases between flagged objects in Task estimate(Estimator e, Stage s).
-
----------startup(StartupObject s)--------
-No aliases between flagged objects in Task startup(StartupObject s).
-
----------prob(Estimator e)--------
-No aliases between flagged objects in Task prob(Estimator e).

diff --git a/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt b/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt
deleted file mode 100644 (file)
index 8ff56c6..0000000
--- a/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt
+++ /dev/null
@@ -1,12 +0,0 @@
-Conducting ownership analysis with allocation depth = 1
----------t2(FilterBankAtom fba)--------
-No aliases between flagged objects in Task t2(FilterBankAtom fba).
-
----------t4(FilterBank fb)--------
-No aliases between flagged objects in Task t4(FilterBank fb).
-
----------t1(StartupObject s)--------
-No aliases between flagged objects in Task t1(StartupObject s).
-
----------t3(FilterBank fb, FilterBankAtom fba)--------
-No aliases between flagged objects in Task t3(FilterBank fb, FilterBankAtom fba).

diff --git a/Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt b/Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt
deleted file mode 100644 (file)
index 8dd590c..0000000
--- a/Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt
+++ /dev/null
@@ -1,12 +0,0 @@
-Conducting ownership analysis with allocation depth = 1
----------t5(AppDemo ad)--------
-No aliases between flagged objects in Task t5(AppDemo ad).
-
----------t1(StartupObject s)--------
-No aliases between flagged objects in Task t1(StartupObject s).
-
----------t3(AppDemo ad, AppDemoRunner adr)--------
-No aliases between flagged objects in Task t3(AppDemo ad, AppDemoRunner adr).
-
----------t2(AppDemoRunner adr)--------
-No aliases between flagged objects in Task t2(AppDemoRunner adr).

diff --git a/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt b/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt
deleted file mode 100644 (file)
index f968eaf..0000000
--- a/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt
+++ /dev/null
@@ -1,6 +0,0 @@
-Conducting ownership analysis with allocation depth = 1
----------t1(StartupObject s)--------
-No aliases between flagged objects in Task t1(StartupObject s).
-
----------t2(SeriesRunner sr)--------
-No aliases between flagged objects in Task t2(SeriesRunner sr).

diff --git a/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt b/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt
deleted file mode 100644 (file)
index 70f54ef..0000000
--- a/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt
+++ /dev/null
@@ -1,33 +0,0 @@
-Conducting ownership analysis with allocation depth = 1
----------t10(Master master, ReduceWorker rworker)--------
-No aliases between flagged objects in Task t10(Master master, ReduceWorker rworker).
-
----------t6(Master master, MapWorker mworker)--------
-Potential alias between parameters 0 and 1.
-
----------t5(MapWorker mworker)--------
-No aliases between flagged objects in Task t5(MapWorker mworker).
-
----------t3(Master master)--------
-No aliases between flagged objects in Task t3(Master master).
-
----------t2(Master master)--------
-No aliases between flagged objects in Task t2(Master master).
-
----------t1(StartupObject s)--------
-No aliases between flagged objects in Task t1(StartupObject s).
-
----------t11(Master master)--------
-No aliases between flagged objects in Task t11(Master master).
-
----------t4(MapWorker mworker)--------
-No aliases between flagged objects in Task t4(MapWorker mworker).
-
----------t8(ReduceWorker rworker)--------
-No aliases between flagged objects in Task t8(ReduceWorker rworker).
-
----------t9(ReduceWorker rworker)--------
-No aliases between flagged objects in Task t9(ReduceWorker rworker).
-
----------t7(Master master)--------
-Potential alias between parameter 0 and FlatNew____rworker3540___= NEW ReduceWorker.

diff --git a/Robust/src/Benchmarks/Ownership/SchedulingPSFluidAnimate.txt b/Robust/src/Benchmarks/Ownership/SchedulingPSFluidAnimate.txt
deleted file mode 100644 (file)
index 817bfbd..0000000
--- a/Robust/src/Benchmarks/Ownership/SchedulingPSFluidAnimate.txt
+++ /dev/null
@@ -1,42 +0,0 @@
-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/SpiderBR.txt b/Robust/src/Benchmarks/Ownership/SpiderBR.txt
deleted file mode 100644 (file)
index 954b95e..0000000
--- a/Robust/src/Benchmarks/Ownership/SpiderBR.txt
+++ /dev/null
@@ -1,12 +0,0 @@
-Conducting ownership analysis with allocation depth = 1
----------processPage(Query q, QueryList ql)--------
-No aliases between flagged objects in Task processPage(Query q, QueryList ql).
-
----------requestQuery(Query q)--------
-No aliases between flagged objects in Task requestQuery(Query q).
-
----------readResponse(Query q)--------
-No aliases between flagged objects in Task readResponse(Query q).
-
----------Startup(StartupObject s)--------
-No aliases between flagged objects in Task Startup(StartupObject s).

diff --git a/Robust/src/Benchmarks/Ownership/SpiderBRTag.txt b/Robust/src/Benchmarks/Ownership/SpiderBRTag.txt
deleted file mode 100644 (file)
index d2fe747..0000000
--- a/Robust/src/Benchmarks/Ownership/SpiderBRTag.txt
+++ /dev/null
@@ -1,12 +0,0 @@
-Conducting ownership analysis with allocation depth = 1
----------requestQuery(Query q, Socket s)--------
-No aliases between flagged objects in Task requestQuery(Query q, Socket s).
-
----------Startup(StartupObject s)--------
-No aliases between flagged objects in Task Startup(StartupObject s).
-
----------processPage(Query q, QueryList ql)--------
-No aliases between flagged objects in Task processPage(Query q, QueryList ql).
-
----------readResponse(Query q, Socket s)--------
-No aliases between flagged objects in Task readResponse(Query q, Socket s).

diff --git a/Robust/src/Benchmarks/Ownership/TTTTag.txt b/Robust/src/Benchmarks/Ownership/TTTTag.txt
deleted file mode 100644 (file)
index b2af140..0000000
--- a/Robust/src/Benchmarks/Ownership/TTTTag.txt
+++ /dev/null
@@ -1,21 +0,0 @@
-Conducting ownership analysis with allocation depth = 1
----------SendBoardDisplay(TTTServerSocket ttts, Board tttBoard, Socket s)--------
-No aliases between flagged objects in Task SendBoardDisplay(TTTServerSocket ttts, Board tttBoard, Socket s).
-
----------ProcessRequest(TTTServerSocket ttts, Socket s)--------
-No aliases between flagged objects in Task ProcessRequest(TTTServerSocket ttts, Socket s).
-
----------Startup(StartupObject s)--------
-No aliases between flagged objects in Task Startup(StartupObject s).
-
----------GameOver(TTTServerSocket ttts, Board tttBoard, Socket s)--------
-No aliases between flagged objects in Task GameOver(TTTServerSocket ttts, Board tttBoard, Socket s).
-
----------ProcessMove(TTTServerSocket ttts, Board tttBoard)--------
-No aliases between flagged objects in Task ProcessMove(TTTServerSocket ttts, Board tttBoard).
-
----------AcceptConnection(ServerSocket ss)--------
-No aliases between flagged objects in Task AcceptConnection(ServerSocket ss).
-
----------SendErrorMessage(TTTServerSocket ttts, Board tttBoard, Socket s)--------
-No aliases between flagged objects in Task SendErrorMessage(TTTServerSocket ttts, Board tttBoard, Socket s).

diff --git a/Robust/src/Benchmarks/Ownership/TileSearchTag.txt b/Robust/src/Benchmarks/Ownership/TileSearchTag.txt
deleted file mode 100644 (file)
index e70455e..0000000
--- a/Robust/src/Benchmarks/Ownership/TileSearchTag.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-Conducting ownership analysis with allocation depth = 1
----------printHighestScore(SubProblem sp)--------
-No aliases between flagged objects in Task printHighestScore(SubProblem sp).
-
----------scoreSubProbleam(SubProblem sp)--------
-No aliases between flagged objects in Task scoreSubProbleam(SubProblem sp).
-
----------findHighestScore(SubProblem pSp, SubProblem cSp, GlobalCounter counter)--------
-No aliases between flagged objects in Task findHighestScore(SubProblem pSp, SubProblem cSp, GlobalCounter counter).
-
----------Startup(StartupObject s)--------
-No aliases between flagged objects in Task Startup(StartupObject s).
-
----------findNewFits(SubProblem sp, GlobalCounter counter)--------
-No aliases between flagged objects in Task findNewFits(SubProblem sp, GlobalCounter counter).

diff --git a/Robust/src/Benchmarks/Ownership/WebServer.txt b/Robust/src/Benchmarks/Ownership/WebServer.txt
deleted file mode 100644 (file)
index d1c16ee..0000000
--- a/Robust/src/Benchmarks/Ownership/WebServer.txt
+++ /dev/null
@@ -1,18 +0,0 @@
-Conducting ownership analysis with allocation depth = 1
----------LogRequest(WebServerSocket web, Logger log)--------
-No aliases between flagged objects in Task LogRequest(WebServerSocket web, Logger log).
-
----------ProcessRequest(WebServerSocket web)--------
-No aliases between flagged objects in Task ProcessRequest(WebServerSocket web).
-
----------AcceptConnection(ServerSocket ss)--------
-No aliases between flagged objects in Task AcceptConnection(ServerSocket ss).
-
----------Transaction(WebServerSocket web, Inventory inventorylist)--------
-No aliases between flagged objects in Task Transaction(WebServerSocket web, Inventory inventorylist).
-
----------Startup(StartupObject s)--------
-No aliases between flagged objects in Task Startup(StartupObject s).
-
----------SendFile(WebServerSocket web)--------
-No aliases between flagged objects in Task SendFile(WebServerSocket web).

diff --git a/Robust/src/Benchmarks/Ownership/WebServerTag.txt b/Robust/src/Benchmarks/Ownership/WebServerTag.txt
deleted file mode 100644 (file)
index 41a0157..0000000
--- a/Robust/src/Benchmarks/Ownership/WebServerTag.txt
+++ /dev/null
@@ -1,18 +0,0 @@
-Conducting ownership analysis with allocation depth = 1
----------SendFile(WebServerSocket web, Socket s)--------
-No aliases between flagged objects in Task SendFile(WebServerSocket web, Socket s).
-
----------Startup(StartupObject s)--------
-No aliases between flagged objects in Task Startup(StartupObject s).
-
----------Transaction(WebServerSocket web, Inventory inventorylist, Socket s)--------
-No aliases between flagged objects in Task Transaction(WebServerSocket web, Inventory inventorylist, Socket s).
-
----------ProcessRequest(WebServerSocket web, Socket s)--------
-No aliases between flagged objects in Task ProcessRequest(WebServerSocket web, Socket s).
-
----------LogRequest(WebServerSocket web, Logger log)--------
-No aliases between flagged objects in Task LogRequest(WebServerSocket web, Logger log).
-
----------AcceptConnection(ServerSocket ss)--------
-No aliases between flagged objects in Task AcceptConnection(ServerSocket ss).

diff --git a/Robust/src/Benchmarks/Ownership/summary.tex b/Robust/src/Benchmarks/Ownership/summary.tex
new file mode 100644 (file)
index 0000000..26c5f8a
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/summary.tex
@@ -0,0 +1,58 @@
+\documentclass{article}
+\begin{document}
+
+All versions run with $k=1$ on dw-8.
+
+
+\section{Normal}
+\begin{tabular}{|l|l|r|r|}
+\hline
+Benchmark     & Sharing & Time (s) & Lines & Methods \\
+\hline
+Bank          & 0       &   6.87   & 1,825 &      \\
+Chat          & 3       &   6.45   & 1,510 &      \\
+Conglomerator & 0       &   4.55   & 1,979 &      \\
+MapReduce(1)  & 2       &  11.83   & 2,274 &      \\
+Performance   & 0       &   2.10   & 1,760 &      \\
+PERT          & 0       &   2.77   & 1,950 &      \\
+MapReduce(Sc) & 3       &  17.12   & 2,218 &      \\
+Spider(1)     & 0       &   7.66   & 1,593 &      \\
+Spider(2)     & 0       &   6.90   & 1,597 &      \\
+TileSearch    & 0       &   9.47   & 2,050 &      \\
+TicTacToe     & 0       &   3.80   & 1,532 &      \\
+WebServer(1)  & 0       &   9.28   & 1,856 &      \\
+WebServer(2)  & 0       &   8.27   & 1,855 &      \\
+\hline                                           
+jHTTPp2       & 0       &   6.73   & 2,583 &      \\
+FluidAnimate  & 2       & 368.61   & 3,587 &      \\
+FilterBank    & 0       &   1.83   & 1,321 &      \\
+KMeans        & 2       &   5.60   & 2,659 &      \\
+MonteCarlo    & 0       &   3.69   & 3,542 &      \\
+Moldyn        & 2       &   6.03   & 1,902 &      \\
+Series        & 0       &   1.99   & 1,405 &      \\
+MultiGame     & 10      &  25.57   & 3,003 &      \\
+Fractal       & 1       &   2.13   & 1,334 &      \\
+\hline
+\end{tabular}
+
+
+Histogram of alias contexts per method over all programs analyzed.
+
+\begin{tabular}{|r|r|}
+\hline
+# unique alias contexts & counting(not important) & # methods \\
+\hline
+1 & 65+66+91+115+109+44+28+59+9+8+30+49+10+42+88+73+76+79+28+66+93+96 & \\
+2 & 4+2+2+2+1+1+3+4+5+3+3+5+1+1 & \\
+3 & 1+1+4+1+1+1+2+1+2+2 & \\
+4 & 1+1+1+1+1+1 & \\
+5 & 1+1+2+1+2+1+1+1+1 & \\
+6 & & \\
+7 & 1 & \\
+\hline
+\end{tabular}
+
+
+
+
+\end{document}

diff --git a/Robust/src/Benchmarks/Ownership/summary.txt b/Robust/src/Benchmarks/Ownership/summary.txt
deleted file mode 100644 (file)
index 2283d47..0000000
--- a/Robust/src/Benchmarks/Ownership/summary.txt
+++ /dev/null
@@ -1,31 +0,0 @@
-
-
-
-No reported aliases in:
--BankApp                  (1.72s) 1782 lines
--Conglomerator            (1.27s) 1936 lines
--Jhttpp2BR                (2.05s) 2548 lines
--PERTTag                 (0.906s) 1907 lines
--SchedulingFilterBank    (0.399s) 1293 lines
--SchedulingJGFMonteCarlo  (1.02s) 3522 lines
--SchedulingJGFSeries     (0.302s) 1366 lines
--SpiderBR                 (2.49s) 1565 lines
--SpiderBRTag              (2.57s) 1569 lines
--TileSearchTag            (2.35s) 2022 lines
--TTTTag                  (0.929s) 1489 lines
--WebServer                (2.34s) 1813 lines
--WebServerTag             (3.79s) 1812 lines
-
-
-Aliases:
--ChatTag             (1.93s) 1482 lines, 3 sharing
--MapReduceTag        (5.19s) 2239 lines, 2 sharing
--MMGTag              (19.8s) 2968 lines, 10 sharing
--SchedulingFractal  (0.440s) 1702 lines, 1 sharing
--SchedulingJGFMoldyn (4.38s) 1874 lines, 2 sharing
--SchedulingMapReduce (5.22s) 2183 lines, 3 sharing
--SchedulingPSFluidAnimate  (233s) 3544 lines, sharing 2
-
-
-* - This benchmark has been manually inspected to verify
-accuracy of alias reporting.