Robust/src/Benchmarks/Ownership/summary.txt

   1 No reported aliases in:
   2 -BankApp
   3 -Conglomerator
   4 -PERTTag
   5 -SchedulingFilterBank
   6 -SchedulingJGFSeries
   7 -TileSearchTag
   8 -TTTTag
   9
  10
  11 Aliases:
  12 -ChatTag shows 3 tasks with aliases, with allocation depth = 3 or 9
  13 -WebServerTag shows 1 task with aliases, ad=3 or 9
  14
  15
  16 Out of Memory:
  17 -MMGTag
  18
  19
  20 Intractable:
  21 -MapReduceTag quit at exhaustive arity dimension = 24
  22 -SpiderBRTag quit at d=24
  23 -SpiderBR quit at d=17