diff --git a/experiments/intpips/.gitignore b/fuzzers/013-intpips/.gitignore
similarity index 100%
rename from experiments/intpips/.gitignore
rename to fuzzers/013-intpips/.gitignore
diff --git a/experiments/intpips/Makefile b/fuzzers/013-intpips/Makefile
similarity index 100%
rename from experiments/intpips/Makefile
rename to fuzzers/013-intpips/Makefile
diff --git a/experiments/intpips/README b/fuzzers/013-intpips/README
similarity index 100%
rename from experiments/intpips/README
rename to fuzzers/013-intpips/README
diff --git a/experiments/intpips/generate.py b/fuzzers/013-intpips/generate.py
similarity index 100%
rename from experiments/intpips/generate.py
rename to fuzzers/013-intpips/generate.py
diff --git a/experiments/intpips/generate.sh b/fuzzers/013-intpips/generate.sh
similarity index 100%
rename from experiments/intpips/generate.sh
rename to fuzzers/013-intpips/generate.sh
diff --git a/experiments/intpips/generate.tcl b/fuzzers/013-intpips/generate.tcl
similarity index 100%
rename from experiments/intpips/generate.tcl
rename to fuzzers/013-intpips/generate.tcl
diff --git a/experiments/intpips/picorv32.v b/fuzzers/013-intpips/picorv32.v
similarity index 100%
rename from experiments/intpips/picorv32.v
rename to fuzzers/013-intpips/picorv32.v
diff --git a/experiments/intpips/top.v b/fuzzers/013-intpips/top.v
similarity index 100%
rename from experiments/intpips/top.v
rename to fuzzers/013-intpips/top.v