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 = 1200]
+  options [timeout = 1800]
   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"