diff --git a/regression/ebmc/range_type/range_type1.desc b/regression/smv/range-type/range_type1.desc
similarity index 100%
rename from regression/ebmc/range_type/range_type1.desc
rename to regression/smv/range-type/range_type1.desc
diff --git a/regression/ebmc/range_type/range_type1.smv b/regression/smv/range-type/range_type1.smv
similarity index 100%
rename from regression/ebmc/range_type/range_type1.smv
rename to regression/smv/range-type/range_type1.smv
diff --git a/regression/ebmc/range_type/range_type2.desc b/regression/smv/range-type/range_type2.desc
similarity index 100%
rename from regression/ebmc/range_type/range_type2.desc
rename to regression/smv/range-type/range_type2.desc
diff --git a/regression/ebmc/range_type/range_type2.smv b/regression/smv/range-type/range_type2.smv
similarity index 100%
rename from regression/ebmc/range_type/range_type2.smv
rename to regression/smv/range-type/range_type2.smv
diff --git a/regression/ebmc/range_type/range_type3.desc b/regression/smv/range-type/range_type3.desc
similarity index 100%
rename from regression/ebmc/range_type/range_type3.desc
rename to regression/smv/range-type/range_type3.desc
diff --git a/regression/ebmc/range_type/range_type3.smv b/regression/smv/range-type/range_type3.smv
similarity index 100%
rename from regression/ebmc/range_type/range_type3.smv
rename to regression/smv/range-type/range_type3.smv
diff --git a/regression/ebmc/range_type/range_type4.desc b/regression/smv/range-type/range_type4.desc
similarity index 100%
rename from regression/ebmc/range_type/range_type4.desc
rename to regression/smv/range-type/range_type4.desc
diff --git a/regression/ebmc/range_type/range_type4.smv b/regression/smv/range-type/range_type4.smv
similarity index 100%
rename from regression/ebmc/range_type/range_type4.smv
rename to regression/smv/range-type/range_type4.smv
diff --git a/regression/ebmc/range_type/range_type5.desc b/regression/smv/range-type/range_type5.desc
similarity index 100%
rename from regression/ebmc/range_type/range_type5.desc
rename to regression/smv/range-type/range_type5.desc
diff --git a/regression/ebmc/range_type/range_type5.smv b/regression/smv/range-type/range_type5.smv
similarity index 100%
rename from regression/ebmc/range_type/range_type5.smv
rename to regression/smv/range-type/range_type5.smv
diff --git a/regression/ebmc/range_type/range_type6.desc b/regression/smv/range-type/range_type6.desc
similarity index 100%
rename from regression/ebmc/range_type/range_type6.desc
rename to regression/smv/range-type/range_type6.desc
diff --git a/regression/ebmc/range_type/range_type6.smv b/regression/smv/range-type/range_type6.smv
similarity index 100%
rename from regression/ebmc/range_type/range_type6.smv
rename to regression/smv/range-type/range_type6.smv
diff --git a/regression/ebmc/range_type/range_type7.desc b/regression/smv/range-type/range_type7.desc
similarity index 100%
rename from regression/ebmc/range_type/range_type7.desc
rename to regression/smv/range-type/range_type7.desc
diff --git a/regression/ebmc/range_type/range_type7.smv b/regression/smv/range-type/range_type7.smv
similarity index 100%
rename from regression/ebmc/range_type/range_type7.smv
rename to regression/smv/range-type/range_type7.smv
diff --git a/regression/ebmc/range_type/range_type8.desc b/regression/smv/range-type/range_type8.desc
similarity index 100%
rename from regression/ebmc/range_type/range_type8.desc
rename to regression/smv/range-type/range_type8.desc
diff --git a/regression/ebmc/range_type/range_type8.smv b/regression/smv/range-type/range_type8.smv
similarity index 100%
rename from regression/ebmc/range_type/range_type8.smv
rename to regression/smv/range-type/range_type8.smv