diff -r aecbe0077f2d -r 955d5b3b0619 progs/re3.scala
--- a/progs/re3.scala	Wed Oct 11 14:33:13 2017 +0100
+++ b/progs/re3.scala	Sun Oct 15 20:47:14 2017 +0100
@@ -74,7 +74,7 @@
 // Test Cases
 
 //evil regular expressions
-def EVIL1(n: Int) = SEQ(NTIMES(OPT(CHAR('a')), n), NTIMES(CHAR('a'), n))
+def EVIL1(n: Int) = SEQ(NTIMEemacs re3S(OPT(CHAR('a')), n), NTIMES(CHAR('a'), n))
 val EVIL2 = SEQ(STAR(STAR(CHAR('a'))), CHAR('b'))
 
 
@@ -87,11 +87,11 @@
 
 
 //test: (a?{n}) (a{n})
-for (i <- 1 to 11001 by 1000) {
+for (i <- 1 to 8001 by 1000) {
   println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL1(i), "a" * i))))
 }
 
-for (i <- 1 to 11001 by 1000) {
+for (i <- 1 to 8001 by 1000) {
   println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL1(i), "a" * i))))
 }