diff -r e14cd32ad497 -r 028816884f70 progs/re3.scala
--- a/progs/re3.scala	Tue Oct 04 12:00:23 2016 +0100
+++ b/progs/re3.scala	Tue Oct 04 14:30:08 2016 +0100
@@ -80,20 +80,20 @@
 
 
 //test: (a?{n}) (a{n})
-for (i <- 1 to 10001 by 1000) {
+for (i <- 1 to 9001 by 1000) {
   println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL1(i), "a" * i))))
 }
 
-for (i <- 1 to 10001 by 1000) {
+for (i <- 1 to 9001 by 1000) {
   println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL1(i), "a" * i))))
 }
 
 //test: (a*)* b
-for (i <- 1 to 7500001 by 500000) {
+for (i <- 1 to 7000001 by 500000) {
   println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL2, "a" * i))))
 }
 
-for (i <- 1 to 7500001 by 500000) {
+for (i <- 1 to 7000001 by 500000) {
   println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL2, "a" * i))))
 }