diff --git a/thys/MDP-Algorithms/ROOT b/thys/MDP-Algorithms/ROOT
--- a/thys/MDP-Algorithms/ROOT
+++ b/thys/MDP-Algorithms/ROOT
@@ -1,22 +1,22 @@
 chapter AFP
 session "MDP-Algorithms" (AFP) = "MDP-Rewards" +
-  options [timeout = 600]
+  options [timeout = 2400]
   sessions
     Gauss_Jordan Jordan_Normal_Form Perron_Frobenius "HOL-Data_Structures"
   directories
     code
     "code/lib"
   theories
     VI_Code_Export_Float
     VI_Code_Export_Rat
     GS_Code_Export_Float
     GS_Code_Export_Rat
     MPI_Code_Export_Float
     MPI_Code_Export_Rat
     PI_Code_Export_Float
     PI_Code_Export_Rat
     Fin_Code_Export_Float
     Fin_Code_Export_Rat
   document_files
     "root.bib"
     "root.tex"