diff --git a/src/it/resources/tip-benchmarks b/src/it/resources/tip-benchmarks
deleted file mode 160000
index 62018050351c99844b416b3ad59c12045227f6f5..0000000000000000000000000000000000000000
--- a/src/it/resources/tip-benchmarks
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 62018050351c99844b416b3ad59c12045227f6f5
diff --git a/src/it/scala/inox/tip/TIPTestSuite.scala b/src/it/scala/inox/tip/TIPTestSuite.scala
deleted file mode 100644
index 6bf19ca7337046d7ea8c943b37508ce59a8494c7..0000000000000000000000000000000000000000
--- a/src/it/scala/inox/tip/TIPTestSuite.scala
+++ /dev/null
@@ -1,36 +0,0 @@
-/* Copyright 2009-2016 EPFL, Lausanne */
-
-package inox
-package tip
-
-import org.scalatest._
-
-import solvers._
-import utils._
-
-class TIPTestSuite extends FunSuite with ResourceUtils {
-
-  val tipDir = "tip-benchmarks/benchmarks"
-
-  def makeTests(base: String) = {
-    val files = resourceFiles(s"$tipDir/$base")
-
-    if (files.isEmpty) {
-      ignore(s"tip-benchmarks: $base directory not found (missing git submodule?") {}
-    } else {
-      val baseFile = new java.io.File(getClass.getResource(s"/$tipDir").getPath)
-      for (file <- files) {
-        val path = baseFile.toURI.relativize(file.toURI).getPath
-
-        test(s"Parsing tip-benchmarks/$path") {
-          parsers.TIPParser.parse(file)
-        }
-      }
-    }
-  }
-
-  makeTests("grammars")
-  makeTests("isaplanner")
-  makeTests("prod")
-  makeTests("tip2015")
-}