diff --git a/prism-examples/mec-tests/1.pm b/prism-examples/mec-tests/1.pm
deleted file mode 100644
index 55c1b431..00000000
--- a/prism-examples/mec-tests/1.pm
+++ /dev/null
@@ -1,9 +0,0 @@
-mdp
-
-module mec_tests
-
-	s : [0..1] init 0;
-	
-	[] s=0 -> 1.0 : (s'=0) ;
-	
-endmodule
diff --git a/prism-examples/mec-tests/2.pm b/prism-examples/mec-tests/2.pm
deleted file mode 100644
index cc273835..00000000
--- a/prism-examples/mec-tests/2.pm
+++ /dev/null
@@ -1,11 +0,0 @@
-mdp
-
-module mec_tests
-
-	s : [0..1] init 0;
-	
-	[] s=0 -> 1.0 : (s'=1) ;
-	[] s=1 -> 1.0 : (s'=0) ;
-	
-	
-endmodule
diff --git a/prism-examples/mec-tests/3.pm b/prism-examples/mec-tests/3.pm
deleted file mode 100644
index bebf016b..00000000
--- a/prism-examples/mec-tests/3.pm
+++ /dev/null
@@ -1,12 +0,0 @@
-mdp
-
-module mec_tests
-
-	s : [0..2] init 0;
-	
-	[] s=0 -> 1.0 : (s'=1);
-	[] s=1 -> 1.0 : (s'=0);
-	[] s=0 -> 1.0 : (s'=2);
-	[] s=2 -> 1.0 : (s'=2);
-	
-endmodule
diff --git a/prism-examples/mec-tests/4.pm b/prism-examples/mec-tests/4.pm
deleted file mode 100644
index 101f840e..00000000
--- a/prism-examples/mec-tests/4.pm
+++ /dev/null
@@ -1,13 +0,0 @@
-mdp
-
-module mec_tests
-
-	s : [0..2] init 0;
-	
-	[] s=0 -> 1.0 : (s'=1);
-	[] s=1 -> 1.0 : (s'=0);
-	[] s=0 -> 1.0 : (s'=2);
-	[] s=2 -> 1.0 : (s'=2);
-	[] s=2 -> 1.0 : (s'=1);
-	
-endmodule
diff --git a/prism-examples/mec-tests/5.pm b/prism-examples/mec-tests/5.pm
deleted file mode 100644
index 851a1801..00000000
--- a/prism-examples/mec-tests/5.pm
+++ /dev/null
@@ -1,13 +0,0 @@
-mdp
-
-module mec_tests
-
-	s : [0..3] init 0;
-	
-	[] s=0 -> 1.0 : (s'=1);
-	[] s=1 -> 1.0 : (s'=0);
-	[] s=0 -> 1.0 : (s'=2);
-	[] s=2 -> 1.0 : (s'=3);
-	[] s=3 -> 1.0 : (s'=2);
-	
-endmodule
diff --git a/prism-examples/mec-tests/6.pm b/prism-examples/mec-tests/6.pm
deleted file mode 100644
index c3dd9537..00000000
--- a/prism-examples/mec-tests/6.pm
+++ /dev/null
@@ -1,13 +0,0 @@
-mdp
-
-module mec_tests
-
-	s : [0..3] init 0;
-	
-	[] s=0 -> 1.0 : (s'=1);
-	[] s=1 -> 1.0 : (s'=0);
-	[] s=1 -> 1.0 : (s'=2);
-	[] s=2 -> 0.5 : (s'=3) + 0.5 : (s'=0);
-	[] s=3 -> 1.0 : (s'=3);
-	
-endmodule