equal
  deleted
  inserted
  replaced
  
    
    
    78   (end - start)/(i * 1.0e9)  | 
    78   (end - start)/(i * 1.0e9)  | 
    79 }  | 
    79 }  | 
    80   | 
    80   | 
    81   | 
    81   | 
    82 //test: (a?{n}) (a{n}) | 
    82 //test: (a?{n}) (a{n}) | 
    83 for (i <- 1 to 9001 by 1000) { | 
    83 for (i <- 1 to 9001 by 10) { | 
    84   println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL1(i), "a" * i))))  | 
    84   println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL1(i), "a" * i))))  | 
    85 }  | 
    85 }  | 
    86   | 
    86   | 
    87 for (i <- 1 to 9001 by 1000) { | 
    87 for (i <- 1 to 9001 by 1000) { | 
    88   println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL1(i), "a" * i))))  | 
    88   println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL1(i), "a" * i))))  |