Robust/src/Benchmarks/Ownership/results/withStrongUp/TileSearchTag.txt

   1 Conducting ownership analysis with allocation depth = 1
   2 ---------printHighestScore(SubProblem sp)--------
   3 No aliases between flagged objects in Task printHighestScore(SubProblem sp).
   4
   5 ---------scoreSubProbleam(SubProblem sp)--------
   6 No aliases between flagged objects in Task scoreSubProbleam(SubProblem sp).
   7
   8 ---------findHighestScore(SubProblem pSp, SubProblem cSp, GlobalCounter counter)--------
   9 No aliases between flagged objects in Task findHighestScore(SubProblem pSp, SubProblem cSp, GlobalCounter counter).
  10
  11 ---------Startup(StartupObject s)--------
  12 No aliases between flagged objects in Task Startup(StartupObject s).
  13
  14 ---------findNewFits(SubProblem sp, GlobalCounter counter)--------
  15 No aliases between flagged objects in Task findNewFits(SubProblem sp, GlobalCounter counter).