diff --git a/thys/Expander_Graphs/ROOT b/thys/Expander_Graphs/ROOT
--- a/thys/Expander_Graphs/ROOT
+++ b/thys/Expander_Graphs/ROOT
@@ -1,27 +1,27 @@
 chapter AFP
 
 session Expander_Graphs = "HOL-Probability" +
-  options [timeout = 1200]
+  options [timeout = 3600]
   sessions
     Graph_Theory
     Perron_Frobenius
     Commuting_Hermitian
     Weighted_Arithmetic_Geometric_Mean
     Universal_Hash_Families
   theories
     Constructive_Chernoff_Bound
     Expander_Graphs_Algebra
     Expander_Graphs_Cheeger_Inequality
     Expander_Graphs_Definition
     Expander_Graphs_Eigenvalues
     Expander_Graphs_MGG
     Expander_Graphs_Multiset_Extras
     Expander_Graphs_Power_Construction
     Expander_Graphs_Strongly_Explicit
     Expander_Graphs_TTS
     Expander_Graphs_Walks
     Extra_Congruence_Method
     Pseudorandom_Objects_Expander_Walks
   document_files
     "root.tex"
     "root.bib"
diff --git a/thys/Finite_Fields/ROOT b/thys/Finite_Fields/ROOT
--- a/thys/Finite_Fields/ROOT
+++ b/thys/Finite_Fields/ROOT
@@ -1,29 +1,29 @@
 chapter AFP
 
 session Finite_Fields = "HOL-Algebra" +
-  options [timeout = 1200]
+  options [timeout = 5400]
   sessions
     Digit_Expansions
     Dirichlet_Series
     Executable_Randomized_Algorithms
     Probabilistic_While
   theories 
     Card_Irreducible_Polynomials
     Card_Irreducible_Polynomials_Aux
     Finite_Fields_Factorization_Ext
     Finite_Fields_Isomorphic
     Finite_Fields_Preliminary_Results
     Formal_Polynomial_Derivatives
     Monic_Polynomial_Factorization
     Ring_Characteristic
     Rabin_Irreducibility_Test
     Rabin_Irreducibility_Test_Code
     Finite_Fields_More_Bijections
     Finite_Fields_Indexed_Algebra_Code
     Finite_Fields_Mod_Ring_Code
     Finite_Fields_Poly_Factor_Ring_Code
     Finite_Fields_Poly_Ring_Code
     Find_Irreducible_Poly
   document_files
     "root.tex"
     "root.bib"
diff --git a/thys/Universal_Hash_Families/ROOT b/thys/Universal_Hash_Families/ROOT
--- a/thys/Universal_Hash_Families/ROOT
+++ b/thys/Universal_Hash_Families/ROOT
@@ -1,20 +1,20 @@
 chapter AFP
 
 session Universal_Hash_Families = "HOL-Probability" +
-  options [timeout = 600]
+  options [timeout = 3600]
   sessions
     "HOL-Algebra"
     Concentration_Inequalities
     Finite_Fields
     Interpolation_Polynomials_HOL_Algebra
   theories
     Universal_Hash_Families
     Universal_Hash_Families_More_Independent_Families
     Carter_Wegman_Hash_Family
     Universal_Hash_Families_More_Finite_Fields
     Universal_Hash_Families_More_Product_PMF
     Pseudorandom_Objects
     Pseudorandom_Objects_Hash_Families
   document_files
     "root.tex"
     "root.bib"