diff --git a/demos/faulty/avl/Makefile b/demos/faulty/avl/Makefile
index 9fa9910393c9844e069d1ffd52aa67cc9638c3d6..b19b1ffe743b1806b68039e1ffaf3a5a7b51518d 100644
--- a/demos/faulty/avl/Makefile
+++ b/demos/faulty/avl/Makefile
@@ -8,6 +8,5 @@
 
 include ../../../Makefile.monolith
 EXPECTING_BUGS := 1
-TIMEOUT   := 60
 SEED_SIZE := 1000
 MODE := random
diff --git a/demos/faulty/map/Makefile b/demos/faulty/map/Makefile
index 12828e23c5428ddba7bf5dd811490bec0ca32bd8..9ff1ed2670bb25fb5582e12a072b8020d025b957 100644
--- a/demos/faulty/map/Makefile
+++ b/demos/faulty/map/Makefile
@@ -8,5 +8,4 @@
 
 include ../../../Makefile.monolith
 EXPECTING_BUGS := 1
-TIMEOUT := 60
 MODE := random