Robust/src/Benchmarks/Ownership/MMGTag.txt

   1 Analyzing public  Pacman.Pacman(int x, int y, Map map)
   2 Analyzing next(Map map)
   3     exhaustiveArityCombinations numDimensions = 11
   4 [[92, 93S, 14S*]
   5 [14S, 92, 93S*]
   6 [92, 14S*]
   7 [92, 93S, 14S*, 90]
   8 [92]
   9 [14S, 92, 90]
  10 [14S, 92]
  11 [92, 93S*, 14S*]
  12 [92, 93S*, 14S*, 90]
  13 [92, 14S*, 90]
  14 [14S, 92, 93S]]
  15 x
  16     exhaustiveArityCombinations numDimensions = 12
  17 [[14S, 92, 93S*]
  18 [92, 93S, 14S*]
  19 [92, 14S*]
  20 [92]
  21 [92, 93S, 14S*, 90]
  22 [14S, 92, 90]
  23 [14S, 92]
  24 [92, 93S*, 14S*]
  25 [92, 93S*, 14S*, 90]
  26 [92, 14S*, 90]
  27 [14S, 92, 93S, 90]
  28 [14S, 92, 93S]]
  29 xxx
  30     exhaustiveArityCombinations numDimensions = 13
  31 [[92, 93S, 14S*]
  32 [14S, 92, 93S*]
  33 [92]
  34 [14S, 92]
  35 [92, 93S*, 14S*]
  36 [92, 93S*, 14S*, 90]
  37 [92, 14S*, 90]
  38 [92, 14S*]
  39 [92, 93S, 14S*, 90]
  40 [14S, 92, 93S*, 90]
  41 [14S, 92, 90]
  42 [14S, 92, 93S, 90]
  43 [14S, 92, 93S]]
  44 xxxxxxxxx
  45     exhaustiveArityCombinations numDimensions = 27
  46 [[14S, 92, 91S, 90]
  47 [92]
  48 [92, 93S*, 14S*, 90]
  49 [92, 14S*, 90]
  50 [91S*, 92, 14S*]
  51 [92, 14S*]
  52 [91S*, 92, 14S*, 90]
  53 [91S*, 92, 93S, 14S*, 90]
  54 [92, 93S*, 14S*, 91S, 90]
  55 [14S, 92, 91S]
  56 [92, 14S*, 91S, 90]
  57 [92, 93S*, 14S*, 91S]
  58 [91S*, 92, 93S, 14S*]
  59 [92, 93S, 14S*, 91S, 90]
  60 [14S, 92, 93S]
  61 [14S, 92, 93S*]
  62 [92, 93S, 14S*]
  63 [91S*, 92, 93S*, 14S*]
  64 [14S, 92]
  65 [91S*, 92, 93S*, 14S*, 90]
  66 [92, 93S*, 14S*]
  67 [92, 93S, 14S*, 91S]
  68 [92, 14S*, 91S]
  69 [92, 93S, 14S*, 90]
  70 [14S, 92, 93S*, 90]
  71 [14S, 92, 90]
  72 [14S, 92, 93S, 90]]
  73 x
  74
  75