diff --git a/thys/BTree/ROOT b/thys/BTree/ROOT
--- a/thys/BTree/ROOT
+++ b/thys/BTree/ROOT
@@ -1,20 +1,20 @@
 chapter AFP
 
 session "BTree" (AFP) = "Refine_Imperative_HOL" +
-  options [timeout = 600]
+  options [timeout = 1200]
   sessions
     "HOL-Data_Structures"
   theories
     BTree
     BTree_Height
     BTree_Set
     BTree_Split
   theories [condition = ISABELLE_OCAMLFIND]
     Array_SBlit
     Partially_Filled_Array
     BTree_Imp
     BTree_ImpSet
     BTree_ImpSplit
   document_files
     "root.tex"
     "root.bib"
diff --git a/thys/CoSMed/ROOT b/thys/CoSMed/ROOT
--- a/thys/CoSMed/ROOT
+++ b/thys/CoSMed/ROOT
@@ -1,21 +1,21 @@
 chapter AFP
 
 session CoSMed (AFP) = Bounded_Deducibility_Security +
-  options [timeout = 600]
+  options [timeout = 1200]
   sessions
     Fresh_Identifiers
   directories
     Post_Confidentiality
     Friend_Confidentiality
     Friend_Request_Confidentiality
     Traceback_Properties
   theories
     System_Specification
     Post
     Friend
     Friend_Request
     Post_Visibility_Traceback
     Friend_Traceback
   document_files
     "root.tex"
     "root.bib"
diff --git a/thys/Complex_Bounded_Operators/ROOT b/thys/Complex_Bounded_Operators/ROOT
--- a/thys/Complex_Bounded_Operators/ROOT
+++ b/thys/Complex_Bounded_Operators/ROOT
@@ -1,19 +1,19 @@
 chapter AFP
 
 session Complex_Bounded_Operators(AFP) = "HOL-Analysis" +
-  options [timeout = 1200]
+  options [timeout = 2400]
   sessions
     "HOL-Examples"
     "HOL-Types_To_Sets"
     Jordan_Normal_Form
     Banach_Steinhaus
     Real_Impl
   directories
     extra
   theories
     Complex_L2
     Cblinfun_Code
     Cblinfun_Code_Examples
   document_files
     root.tex
     root.bib