diff --git a/trunk/examples/Automata/regression/ta/AutomataScriptInterpreter.xml b/trunk/examples/Automata/regression/ta/AutomataScriptInterpreter.xml
deleted file mode 100644
index 10e1b674dfa..00000000000
--- a/trunk/examples/Automata/regression/ta/AutomataScriptInterpreter.xml
+++ /dev/null
@@ -1,8 +0,0 @@
-<rundefinition>
-	<name>Ultimate Toolchain</name>
-	<toolchain>
-		
-	<plugin id="de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter"/>
-
-	</toolchain>
-</rundefinition>
diff --git a/trunk/examples/Automata/regression/ta/AutomataScriptInterpreter_default.epf b/trunk/examples/Automata/regression/ta/AutomataScriptInterpreter_default.epf
deleted file mode 100644
index 867bd18ce70..00000000000
--- a/trunk/examples/Automata/regression/ta/AutomataScriptInterpreter_default.epf
+++ /dev/null
@@ -1,5 +0,0 @@
-#Wed Aug 31 02:38:10 CEST 2016
-\!/instance/de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter=
-file_export_version=3.0
-@de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter=0.0.1
-/instance/de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter/Ignore\ all\ commands\ and\ only\ execute\ below\ command=false