diff -r 2509c670e3a2 -r 40e22ad45744 progs/re1.scala
--- a/progs/re1.scala	Sun Aug 05 21:52:40 2018 +0100
+++ b/progs/re1.scala	Sun Sep 23 09:02:52 2018 +0100
@@ -85,6 +85,7 @@
 
 
 //test: (a?{n}) (a{n})
+println("Test (a?{n}) (a{n})")
 for (i <- 1 to 20) {
   println(i + ": " + "%.5f".format(time_needed(2, matches(EVIL1(i), "a" * i))))
 }
@@ -94,6 +95,8 @@
 }
 
 //test: (a*)* b
+println("Test (a*)* b")
+
 for (i <- 1 to 20) {
   println(i + " " + "%.5f".format(time_needed(2, matches(EVIL2, "a" * i))))
 }
@@ -142,3 +145,6 @@
 
 size(ders(("ab" * 200).toList, BIG))    // 366808
 
+for (i <- 1 to 21) {
+  println(i + " " + "%.5f".format(time_needed(2, matches(BIG, "ab" * i))))
+}