diff --git a/examples/dft/spare11.dft b/examples/dft/spare11.dft
deleted file mode 100644
index b3c6e929f..000000000
--- a/examples/dft/spare11.dft
+++ /dev/null
@@ -1,11 +0,0 @@
-toplevel "OR";
-"OR" or "A" "B";
-"A" wsp "AND" "C";
-"B" wsp "C" "R" "S";
-"C" wsp "Q" "R";
-"AND" and "P" "Q";
-"P" lambda=0.1 dorm=0.9;
-"Q" lambda=0.2 dorm=0.8;
-"R" lambda=0.3 dorm=0.7;
-"S" lambda=0.4 dorm=0.6;
-
diff --git a/examples/dft/voting4.dft b/examples/dft/voting4.dft
deleted file mode 100644
index 4c213b6d4..000000000
--- a/examples/dft/voting4.dft
+++ /dev/null
@@ -1,5 +0,0 @@
-toplevel "A";
-"A" 2of3 "B" "C" "D";
-"B" lambda=0.1 dorm=0;
-"C" lambda=0.2 dorm=0;
-"D" lambda=0.3 dorm=0;