diff --git a/hphp/hack/test/milner/verify_well_typed.py b/hphp/hack/test/milner/verify_well_typed.py
index 9885888df50c96..4dc042d317e081 100644
--- a/hphp/hack/test/milner/verify_well_typed.py
+++ b/hphp/hack/test/milner/verify_well_typed.py
@@ -53,7 +53,7 @@ def milner_and_type_check(
         result = subprocess.run(
             [milner_exe, os.path.abspath(template_file), "--seed", str(seed)],
             stdout=out,
-            timeout=60,
+            timeout=120,
         )
 
     if result.returncode != 0:
@@ -71,7 +71,7 @@ def milner_and_type_check(
         result = subprocess.run(
             [hhstc_exe, temp_file],
             capture_output=True,
-            timeout=60,
+            timeout=120,
         )
 
         # Check if the verifier found any errors