diff -r aecbe0077f2d -r 955d5b3b0619 progs/re3a.scala
--- a/progs/re3a.scala	Wed Oct 11 14:33:13 2017 +0100
+++ b/progs/re3a.scala	Sun Oct 15 20:47:14 2017 +0100
@@ -94,11 +94,11 @@
 }
 
 //test: (a*)* b
-for (i <- 1 to 5000001 by 500000) {
+for (i <- 1 to 6000001 by 500000) {
   println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL2, "a" * i))))
 }
 
-for (i <- 1 to 5000001 by 500000) {
+for (i <- 1 to 6000001 by 500000) {
   println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL2, "a" * i))))
 }
 
@@ -112,7 +112,9 @@
 val r6 = simp(der('a', r5))
 
 //test: (a|aa)* b
+/*
 for (i <- 1 to 7001 by 500) {
   println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL3, "a" * i ++ "c"))))
 }
+ */