diff --git a/thys/Hybrid_Systems_VCs/ROOT b/thys/Hybrid_Systems_VCs/ROOT
--- a/thys/Hybrid_Systems_VCs/ROOT
+++ b/thys/Hybrid_Systems_VCs/ROOT
@@ -1,19 +1,19 @@
 chapter AFP
 
 session "Hybrid_Systems_VCs" (AFP) = "HOL-Analysis" +
-  options [timeout = 1800]
+  options [timeout = 2400]
   sessions
     Ordinary_Differential_Equations
     Transformer_Semantics
     KAD
   directories
     "PredicateTransformers"
     "ModalKleeneAlgebra"
   theories
     "HS_VC_Examples"
     "HS_VC_PT_Examples"
     "HS_VC_MKA_Examples_rel"
     "HS_VC_MKA_Examples_ndfun"
   document_files
     "root.bib"
     "root.tex"