diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000000000000000000000000000000000000..a03a3d950ce1744540198dea0fbeff0f98178131
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "src/it/resources/tip-benchmarks"]
+	path = src/it/resources/tip-benchmarks
+	url = git@github.com:tip-org/benchmarks.git
diff --git a/src/it/resources/tip-benchmarks b/src/it/resources/tip-benchmarks
new file mode 160000
index 0000000000000000000000000000000000000000..62018050351c99844b416b3ad59c12045227f6f5
--- /dev/null
+++ b/src/it/resources/tip-benchmarks
@@ -0,0 +1 @@
+Subproject commit 62018050351c99844b416b3ad59c12045227f6f5
diff --git a/src/it/scala/inox/tip/TIPTestSuite.scala b/src/it/scala/inox/tip/TIPTestSuite.scala
index bed25e0b84fd94e535264e336e8a0540a0d39625..9851f801e1d4d20e0083aa22274b498efe700bde 100644
--- a/src/it/scala/inox/tip/TIPTestSuite.scala
+++ b/src/it/scala/inox/tip/TIPTestSuite.scala
@@ -11,7 +11,7 @@ import utils._
 
 class TIPTestSuite extends InoxTestSuite with ResourceUtils {
 
-  val tipDir = "tip-benchmarks"
+  val tipDir = "tip-benchmarks/benchmarks"
 
   def makeTests(base: String) = {
     val files = resourceFiles(s"$tipDir/$base")