diff --git a/tests/QF_DT b/tests/QF_DT
deleted file mode 120000
index 48cfd2c6..00000000
--- a/tests/QF_DT
+++ /dev/null
@@ -1 +0,0 @@
-/home/simon/w/smtlib/QF_DT/
\ No newline at end of file
diff --git a/tests/QF_UF b/tests/QF_UF
deleted file mode 120000
index 9b83feb7..00000000
--- a/tests/QF_UF
+++ /dev/null
@@ -1 +0,0 @@
-/home/simon/w/smtlib/QF_UF
\ No newline at end of file