Reran analysis on benchmarks with newest updates
[IRC.git] / Robust / src / Benchmarks / Ownership / MapReduceTag.txt
index 1f5c5c4657f0016fe21905299e0d361ef0e398e6..9697280a2b642c4b18ef61284e4188c4bf513535 100644 (file)
@@ -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.