diff --git a/thys/Modular_arithmetic_LLL_and_HNF_algorithms/ROOT b/thys/Modular_arithmetic_LLL_and_HNF_algorithms/ROOT
--- a/thys/Modular_arithmetic_LLL_and_HNF_algorithms/ROOT
+++ b/thys/Modular_arithmetic_LLL_and_HNF_algorithms/ROOT
@@ -1,22 +1,22 @@
 chapter AFP
   
 session Modular_arithmetic_LLL_and_HNF_algorithms (AFP) = Smith_Normal_Form +
-  options [timeout = 1800]
+  options [timeout = 7200]
   sessions
     LLL_Basis_Reduction 
     Show
     Jordan_Normal_Form
     Hermite
   theories
     Matrix_Change_Row
     Signed_Modulo
     Storjohann_Mod_Operation
     Storjohann
     Storjohann_Impl
     Uniqueness_Hermite
     Uniqueness_Hermite_JNF
     HNF_Mod_Det_Algorithm
     HNF_Mod_Det_Soundness
     LLL_Certification_via_HNF
   document_files
     "root.tex"
diff --git a/thys/Projective_Measurements/ROOT b/thys/Projective_Measurements/ROOT
--- a/thys/Projective_Measurements/ROOT
+++ b/thys/Projective_Measurements/ROOT
@@ -1,14 +1,14 @@
 chapter AFP
 
 session Projective_Measurements (AFP) = "HOL-Probability" +
-  options [timeout = 600]
+  options [timeout = 1800]
   sessions
     Isabelle_Marries_Dirac
     QHLProver
     "HOL-Types_To_Sets"
   theories
     Linear_Algebra_Complements
     Projective_Measurements
     CHSH_Inequality
   document_files
     "root.tex"