diff --git a/thys/Core_DOM/ROOT b/thys/Core_DOM/ROOT
--- a/thys/Core_DOM/ROOT
+++ b/thys/Core_DOM/ROOT
@@ -1,20 +1,20 @@
 chapter AFP
 
 session "Core_DOM" (AFP) = "HOL-Library" +
-  options [timeout = 1500]
+  options [timeout = 2400]
   directories
     "common"
     "common/classes"
     "common/monads"
     "common/pointers"
     "common/preliminaries"
     "common/tests"
     "standard"
     "standard/classes"
     "standard/pointers"
   theories
     Core_DOM
     Core_DOM_Tests
   document_files
     "root.tex"
     "root.bib"
diff --git a/thys/DOM_Components/ROOT b/thys/DOM_Components/ROOT
--- a/thys/DOM_Components/ROOT
+++ b/thys/DOM_Components/ROOT
@@ -1,14 +1,14 @@
 chapter AFP
 
 session "DOM_Components" (AFP) = "Shadow_DOM" +
-  options [timeout = 1200]
+  options [timeout = 3600]
   directories
     counterexample
   theories
     Core_DOM_Components
     Shadow_DOM_Components
     fancy_tabs
   document_files
     "root.tex"
     "root.bib"
     "fancytabs-normal.jpg"
diff --git a/thys/Formula_Derivatives/ROOT b/thys/Formula_Derivatives/ROOT
--- a/thys/Formula_Derivatives/ROOT
+++ b/thys/Formula_Derivatives/ROOT
@@ -1,30 +1,30 @@
 chapter AFP
 
 session "Formula_Derivatives" (AFP) = "HOL-Library" +
-  options [timeout = 5400]
+  options [timeout = 2400]
   sessions
     "List-Index"
     Coinductive_Languages
     Deriving
   theories [document = false]
     While_Default
     FSet_More
   theories
     WS1S_Formula
     WS1S_Alt_Formula
     Presburger_Formula
     WS1S_Presburger_Equivalence
     WS1S_Nameful
   document_files
     "root.tex"
 
 session "Formula_Derivatives-Examples" (AFP) in "Examples" = "Formula_Derivatives" +
   options [timeout = 300]
   sessions
     Show
   theories
     WS1S_Examples
     WS1S_Alt_Examples
     Presburger_Examples
     WS1S_Presburger_Examples
     WS1S_Nameful_Examples
diff --git a/thys/SC_DOM_Components/ROOT b/thys/SC_DOM_Components/ROOT
--- a/thys/SC_DOM_Components/ROOT
+++ b/thys/SC_DOM_Components/ROOT
@@ -1,13 +1,13 @@
 chapter AFP
 
 session "SC_DOM_Components" (AFP) = "Shadow_SC_DOM" +
-  options [timeout = 1200]
+  options [timeout = 2400]
   theories
     Core_DOM_DOM_Components
     Core_DOM_SC_DOM_Components
     Shadow_DOM_DOM_Components
     Shadow_DOM_SC_DOM_Components
   document_files
     "root.tex"
     "root.bib"
     "fancytabs-normal.jpg"
diff --git a/thys/Shadow_DOM/ROOT b/thys/Shadow_DOM/ROOT
--- a/thys/Shadow_DOM/ROOT
+++ b/thys/Shadow_DOM/ROOT
@@ -1,14 +1,14 @@
 chapter AFP
 
 session "Shadow_DOM" (AFP) = "Core_DOM" +
-  options [timeout = 2400]
+  options [timeout = 3600]
   directories
     classes
     monads
     tests
   theories
     Shadow_DOM
     Shadow_DOM_Tests
   document_files
     "root.tex"
     "root.bib"
diff --git a/thys/Shadow_SC_DOM/ROOT b/thys/Shadow_SC_DOM/ROOT
--- a/thys/Shadow_SC_DOM/ROOT
+++ b/thys/Shadow_SC_DOM/ROOT
@@ -1,14 +1,14 @@
 chapter AFP
 
 session "Shadow_SC_DOM" (AFP) = "Core_SC_DOM" +
-  options [timeout = 2400]
+  options [timeout = 4800]
   directories
     classes
     monads
     tests
   theories
     Shadow_DOM
     Shadow_DOM_Tests
   document_files
     "root.tex"
     "root.bib"