Robust/src/Benchmarks/Ownership/SpiderBRTag.txt

   1 intractable:
   2
   3
   4 Analyzing public String Query.makewebcanonical(String page)
   5 Analyzing processPage(Query q, QueryList ql)
   6 Analyzing public String InetAddress.toString()
   7 Analyzing public static String String.valueOf(Object o)
   8 Analyzing readResponse(Query q, Socket s)
   9 Analyzing public String Integer.toString()
  10 Analyzing public static String String.valueOf(Object o)
  11 Analyzing public String Query.getPathName(String page)
  12 Analyzing processPage(Query q, QueryList ql)
  13 Analyzing public String Query.makewebcanonical(String page)
  14 Analyzing public  Query.Query(String hostname, String path)
  15 Analyzing processPage(Query q, QueryList ql)
  16 exhaustiveArityCombinations numDimensions = 12
  17 x x x exhaustiveArityCombinations numDimensions = 12
  18 x x x exhaustiveArityCombinations numDimensions = 12
  19 x x x exhaustiveArityCombinations numDimensions = 24
  20 x x x x x x
  21