diff --git a/Automated_Stateful_Protocol_Verification/ROOT b/Automated_Stateful_Protocol_Verification/ROOT
index 2f63b38..d249027 100644
--- a/Automated_Stateful_Protocol_Verification/ROOT
+++ b/Automated_Stateful_Protocol_Verification/ROOT
@@ -1,7 +1,7 @@
 chapter AFP
 
 session "Automated_Stateful_Protocol_Verification-devel" (AFP) = "Stateful_Protocol_Composition_and_Typing" +
-  options [timeout = 2400]
+  options [timeout = 4200]
   sessions
     "HOL-Eisbach"
   directories