diff --git a/test/main/vct/test/integration/examples/SYCLFullProgramsSpec.scala b/test/main/vct/test/integration/examples/SYCLFullProgramsSpec.scala
index 984dea3c7..9a7fd7aa0 100644
--- a/test/main/vct/test/integration/examples/SYCLFullProgramsSpec.scala
+++ b/test/main/vct/test/integration/examples/SYCLFullProgramsSpec.scala
@@ -3,8 +3,12 @@ package vct.test.integration.examples
 import vct.test.integration.helper.VercorsSpec
 
 class SYCLFullProgramsSpec extends VercorsSpec {
-  vercors should verify using silicon flag "--no-infer-heap-context-into-frame" example "concepts/sycl/fullExamples/VectorAdd.cpp"
+  vercors should verify using silicon flag
+    "--no-infer-heap-context-into-frame" example
+    "concepts/sycl/fullExamples/VectorAdd.cpp"
 
   // About 1 in 5 times this test will fail, because then VerCors fails to prove the pre-conditions of the second kernel even though they are true
-  vercors should verify using silicon flag "--no-infer-heap-context-into-frame" example "concepts/sycl/fullExamples/MatrixTransposeWithF.cpp"
-}
\ No newline at end of file
+  // Disabled because of timeout until further notice.
+  // https://github.com/utwente-fmt/vercors/issues/1246
+  // vercors should verify using silicon flag "--no-infer-heap-context-into-frame" example "concepts/sycl/fullExamples/MatrixTransposeWithF.cpp"
+}