diff --git a/de10-pro-e/Makefile b/de10-pro-e/Makefile
index a680c6b..cd3a7db 100644
--- a/de10-pro-e/Makefile
+++ b/de10-pro-e/Makefile
@@ -1,5 +1,5 @@
 SIMTIGHT_ROOT ?= $(realpath ..)
-NUM_SEEDS ?= 4
+NUM_SEEDS ?= 8
 PEBBLES_CABLE_ID ?= 1
 QPF = DE10_Pro.qpf
 
diff --git a/de10-pro/Makefile b/de10-pro/Makefile
index 3c609e3..aa0ca39 100644
--- a/de10-pro/Makefile
+++ b/de10-pro/Makefile
@@ -1,5 +1,5 @@
 SIMTIGHT_ROOT ?= $(realpath ..)
-NUM_SEEDS ?= 4
+NUM_SEEDS ?= 8
 QPF = DE10_Pro.qpf
 
 .PHONY: one