diff --git a/fuzzers/001-part-yaml/Makefile b/fuzzers/001-part-yaml/Makefile
index d66ec913..3e049293 100644
--- a/fuzzers/001-part-yaml/Makefile
+++ b/fuzzers/001-part-yaml/Makefile
@@ -1,17 +1,23 @@
 N := 1
 SPECIMENS := $(addprefix specimen_,$(shell seq -f '%03.0f' $(N)))
 
-.PHONY: database pushdb clean $(SPECIMENS)
+database: $(SPECIMENS)
+	cp specimen_001/part.yaml ${XRAY_PART}.yaml
 
 $(SPECIMENS): Makefile.specimen
 	mkdir -p $@
 	$(MAKE) -C $@ -f ../Makefile.specimen
 
-database: $(SPECIMENS)
-	cp specimen_001/part.yaml ${XRAY_PART}.yaml
-
 pushdb:
 	cp ${XRAY_PART}.yaml ${XRAY_DATABASE_DIR}/$(XRAY_DATABASE)
 
+run:
+	$(MAKE) clean
+	$(MAKE) database
+	$(MAKE) pushdb
+	touch run.ok
+
 clean:
-	rm -rf specimen_[0-9][0-9][0-9]/ *.yaml
+	rm -rf specimen_[0-9][0-9][0-9]/ *.yaml run.ok
+
+.PHONY: database pushdb clean run $(SPECIMENS)
diff --git a/fuzzers/005-tilegrid/Makefile b/fuzzers/005-tilegrid/Makefile
index df8671b9..c59f83bf 100644
--- a/fuzzers/005-tilegrid/Makefile
+++ b/fuzzers/005-tilegrid/Makefile
@@ -13,8 +13,14 @@ $(SPECIMENS_OK):
 	bash generate.sh $(subst /OK,,$@)
 	touch $@
 
+run:
+	$(MAKE) clean
+	$(MAKE) database
+	$(MAKE) pushdb
+	touch run.ok
+
 clean:
-	rm -rf specimen_[0-9][0-9][0-9]/ tilegrid.json
+	rm -rf specimen_[0-9][0-9][0-9]/ tilegrid.json run.ok
 
-.PHONY: database pushdb clean
+.PHONY: database pushdb clean run
 
diff --git a/fuzzers/010-lutinit/Makefile b/fuzzers/010-lutinit/Makefile
index dafe5067..7ef252ff 100644
--- a/fuzzers/010-lutinit/Makefile
+++ b/fuzzers/010-lutinit/Makefile
@@ -17,8 +17,14 @@ $(SPECIMENS_OK):
 	bash generate.sh $(subst /OK,,$@)
 	touch $@
 
+run:
+	$(MAKE) clean
+	$(MAKE) database
+	$(MAKE) pushdb
+	touch run.ok
+
 clean:
-	rm -rf specimen_[0-9][0-9][0-9]/ seg_clbll.segbits seg_clblm.segbits
+	rm -rf specimen_[0-9][0-9][0-9]/ seg_clbll.segbits seg_clblm.segbits run.ok
 
-.PHONY: database pushdb clean
+.PHONY: database pushdb run clean
 
diff --git a/fuzzers/011-ffconfig/Makefile b/fuzzers/011-ffconfig/Makefile
index cdd3cf23..1a7faa6e 100644
--- a/fuzzers/011-ffconfig/Makefile
+++ b/fuzzers/011-ffconfig/Makefile
@@ -15,8 +15,14 @@ $(SPECIMENS_OK):
 	bash generate.sh $(subst /OK,,$@)
 	touch $@
 
+run:
+	$(MAKE) clean
+	$(MAKE) database
+	$(MAKE) pushdb
+	touch run.ok
+
 clean:
-	rm -rf specimen_[0-9][0-9][0-9]/ seg_clblx.segbits vivado*.log vivado_*.str vivado*.jou design *.bits *.dcp *.bit top.v
+	rm -rf specimen_[0-9][0-9][0-9]/ seg_clblx.segbits vivado*.log vivado_*.str vivado*.jou design *.bits *.dcp *.bit top.v run.ok
 
-.PHONY: database pushdb clean
+.PHONY: database pushdb run clean
 
diff --git a/fuzzers/012-clbn5ffmux/Makefile b/fuzzers/012-clbn5ffmux/Makefile
index cdd3cf23..1a7faa6e 100644
--- a/fuzzers/012-clbn5ffmux/Makefile
+++ b/fuzzers/012-clbn5ffmux/Makefile
@@ -15,8 +15,14 @@ $(SPECIMENS_OK):
 	bash generate.sh $(subst /OK,,$@)
 	touch $@
 
+run:
+	$(MAKE) clean
+	$(MAKE) database
+	$(MAKE) pushdb
+	touch run.ok
+
 clean:
-	rm -rf specimen_[0-9][0-9][0-9]/ seg_clblx.segbits vivado*.log vivado_*.str vivado*.jou design *.bits *.dcp *.bit top.v
+	rm -rf specimen_[0-9][0-9][0-9]/ seg_clblx.segbits vivado*.log vivado_*.str vivado*.jou design *.bits *.dcp *.bit top.v run.ok
 
-.PHONY: database pushdb clean
+.PHONY: database pushdb run clean
 
diff --git a/fuzzers/013-clbncy0/Makefile b/fuzzers/013-clbncy0/Makefile
index cdd3cf23..1a7faa6e 100644
--- a/fuzzers/013-clbncy0/Makefile
+++ b/fuzzers/013-clbncy0/Makefile
@@ -15,8 +15,14 @@ $(SPECIMENS_OK):
 	bash generate.sh $(subst /OK,,$@)
 	touch $@
 
+run:
+	$(MAKE) clean
+	$(MAKE) database
+	$(MAKE) pushdb
+	touch run.ok
+
 clean:
-	rm -rf specimen_[0-9][0-9][0-9]/ seg_clblx.segbits vivado*.log vivado_*.str vivado*.jou design *.bits *.dcp *.bit top.v
+	rm -rf specimen_[0-9][0-9][0-9]/ seg_clblx.segbits vivado*.log vivado_*.str vivado*.jou design *.bits *.dcp *.bit top.v run.ok
 
-.PHONY: database pushdb clean
+.PHONY: database pushdb run clean
 
diff --git a/fuzzers/014-ffsrcemux/Makefile b/fuzzers/014-ffsrcemux/Makefile
index cdd3cf23..1a7faa6e 100644
--- a/fuzzers/014-ffsrcemux/Makefile
+++ b/fuzzers/014-ffsrcemux/Makefile
@@ -15,8 +15,14 @@ $(SPECIMENS_OK):
 	bash generate.sh $(subst /OK,,$@)
 	touch $@
 
+run:
+	$(MAKE) clean
+	$(MAKE) database
+	$(MAKE) pushdb
+	touch run.ok
+
 clean:
-	rm -rf specimen_[0-9][0-9][0-9]/ seg_clblx.segbits vivado*.log vivado_*.str vivado*.jou design *.bits *.dcp *.bit top.v
+	rm -rf specimen_[0-9][0-9][0-9]/ seg_clblx.segbits vivado*.log vivado_*.str vivado*.jou design *.bits *.dcp *.bit top.v run.ok
 
-.PHONY: database pushdb clean
+.PHONY: database pushdb run clean
 
diff --git a/fuzzers/015-clbnffmux/Makefile b/fuzzers/015-clbnffmux/Makefile
index 8e623c60..f8fedf89 100644
--- a/fuzzers/015-clbnffmux/Makefile
+++ b/fuzzers/015-clbnffmux/Makefile
@@ -16,8 +16,14 @@ $(SPECIMENS_OK):
 	bash generate.sh $(subst /OK,,$@)
 	touch $@
 
+run:
+	$(MAKE) clean
+	$(MAKE) database
+	$(MAKE) pushdb
+	touch run.ok
+
 clean:
-	rm -rf specimen_[0-9][0-9][0-9]/ seg_clblx.segbits vivado*.log vivado_*.str vivado*.jou design *.bits *.dcp *.bit top.v
+	rm -rf specimen_[0-9][0-9][0-9]/ seg_clblx.segbits vivado*.log vivado_*.str vivado*.jou design *.bits *.dcp *.bit top.v run.ok
 
-.PHONY: database pushdb clean
+.PHONY: database pushdb run clean
 
diff --git a/fuzzers/016-clbnoutmux/Makefile b/fuzzers/016-clbnoutmux/Makefile
index 6c52b6b5..b4d9daa1 100644
--- a/fuzzers/016-clbnoutmux/Makefile
+++ b/fuzzers/016-clbnoutmux/Makefile
@@ -16,8 +16,14 @@ $(SPECIMENS_OK):
 	bash generate.sh $(subst /OK,,$@)
 	touch $@
 
+run:
+	$(MAKE) clean
+	$(MAKE) database
+	$(MAKE) pushdb
+	touch run.ok
+
 clean:
-	rm -rf specimen_[0-9][0-9][0-9]/ *.segbits vivado*.log vivado_*.str vivado*.jou design *.bits *.dcp *.bit top.v
+	rm -rf specimen_[0-9][0-9][0-9]/ *.segbits vivado*.log vivado_*.str vivado*.jou design *.bits *.dcp *.bit top.v run.ok
 
-.PHONY: database pushdb clean
+.PHONY: database pushdb run clean
 
diff --git a/fuzzers/017-clbprecyinit/Makefile b/fuzzers/017-clbprecyinit/Makefile
index 8e623c60..f8fedf89 100644
--- a/fuzzers/017-clbprecyinit/Makefile
+++ b/fuzzers/017-clbprecyinit/Makefile
@@ -16,8 +16,14 @@ $(SPECIMENS_OK):
 	bash generate.sh $(subst /OK,,$@)
 	touch $@
 
+run:
+	$(MAKE) clean
+	$(MAKE) database
+	$(MAKE) pushdb
+	touch run.ok
+
 clean:
-	rm -rf specimen_[0-9][0-9][0-9]/ seg_clblx.segbits vivado*.log vivado_*.str vivado*.jou design *.bits *.dcp *.bit top.v
+	rm -rf specimen_[0-9][0-9][0-9]/ seg_clblx.segbits vivado*.log vivado_*.str vivado*.jou design *.bits *.dcp *.bit top.v run.ok
 
-.PHONY: database pushdb clean
+.PHONY: database pushdb run clean
 
diff --git a/fuzzers/018-clbram/Makefile b/fuzzers/018-clbram/Makefile
index cdd3cf23..1a7faa6e 100644
--- a/fuzzers/018-clbram/Makefile
+++ b/fuzzers/018-clbram/Makefile
@@ -15,8 +15,14 @@ $(SPECIMENS_OK):
 	bash generate.sh $(subst /OK,,$@)
 	touch $@
 
+run:
+	$(MAKE) clean
+	$(MAKE) database
+	$(MAKE) pushdb
+	touch run.ok
+
 clean:
-	rm -rf specimen_[0-9][0-9][0-9]/ seg_clblx.segbits vivado*.log vivado_*.str vivado*.jou design *.bits *.dcp *.bit top.v
+	rm -rf specimen_[0-9][0-9][0-9]/ seg_clblx.segbits vivado*.log vivado_*.str vivado*.jou design *.bits *.dcp *.bit top.v run.ok
 
-.PHONY: database pushdb clean
+.PHONY: database pushdb run clean
 
diff --git a/fuzzers/019-ndi1mux/Makefile b/fuzzers/019-ndi1mux/Makefile
index cdd3cf23..1a7faa6e 100644
--- a/fuzzers/019-ndi1mux/Makefile
+++ b/fuzzers/019-ndi1mux/Makefile
@@ -15,8 +15,14 @@ $(SPECIMENS_OK):
 	bash generate.sh $(subst /OK,,$@)
 	touch $@
 
+run:
+	$(MAKE) clean
+	$(MAKE) database
+	$(MAKE) pushdb
+	touch run.ok
+
 clean:
-	rm -rf specimen_[0-9][0-9][0-9]/ seg_clblx.segbits vivado*.log vivado_*.str vivado*.jou design *.bits *.dcp *.bit top.v
+	rm -rf specimen_[0-9][0-9][0-9]/ seg_clblx.segbits vivado*.log vivado_*.str vivado*.jou design *.bits *.dcp *.bit top.v run.ok
 
-.PHONY: database pushdb clean
+.PHONY: database pushdb run clean