diff --git a/thys/CoCon/ROOT b/thys/CoCon/ROOT
--- a/thys/CoCon/ROOT
+++ b/thys/CoCon/ROOT
@@ -1,18 +1,18 @@
 chapter AFP
 
 session CoCon (AFP) = "Bounded_Deducibility_Security" +
-  options [timeout = 1200]
+  options [timeout = 3600]
   sessions
     Fresh_Identifiers
   directories
     Decision_Confidentiality
     Discussion_Confidentiality
     Paper_Confidentiality
     Review_Confidentiality
     Reviewer_Assignment_Confidentiality
   theories
     System_Specification
     All_BD_Security_Instances_for_CoCon
   document_files
     "root.tex"
     "root.bib"
diff --git a/thys/CoSMeDis/ROOT b/thys/CoSMeDis/ROOT
--- a/thys/CoSMeDis/ROOT
+++ b/thys/CoSMeDis/ROOT
@@ -1,23 +1,23 @@
 chapter AFP
 
 session CoSMeDis (AFP) = BD_Security_Compositional +
-  options [timeout = 1200]
+  options [timeout = 7200]
   sessions
     Fresh_Identifiers
   directories
     "Post_Confidentiality"
     "Post_Confidentiality/Independent_Posts"
     "Friend_Confidentiality"
     "Friend_Request_Confidentiality"
     "Outer_Friend_Confidentiality"
     "Outer_Friend_Confidentiality/Issuer"
     "Outer_Friend_Confidentiality/Receiver"
   theories
     API_Network
     Post_All
     Friend_All
     Friend_Request_All
     Outer_Friend_All
   document_files
     "root.tex"
     "root.bib"