diff --git a/benchmarks/cav-benchmarks/mist/PN/extendedread-write.spec b/benchmarks/cav-benchmarks/mist/PN/extendedread_write.spec
similarity index 100%
rename from benchmarks/cav-benchmarks/mist/PN/extendedread-write.spec
rename to benchmarks/cav-benchmarks/mist/PN/extendedread_write.spec
diff --git a/benchmarks/cav-benchmarks/mist/PN/extendedread-write-smallconsts.spec b/benchmarks/cav-benchmarks/mist/PN/extendedread_write_smallconsts.spec
similarity index 100%
rename from benchmarks/cav-benchmarks/mist/PN/extendedread-write-smallconsts.spec
rename to benchmarks/cav-benchmarks/mist/PN/extendedread_write_smallconsts.spec
diff --git a/benchmarks/cav-benchmarks/mist/boundedPN/read-write.spec b/benchmarks/cav-benchmarks/mist/boundedPN/read_write.spec
similarity index 100%
rename from benchmarks/cav-benchmarks/mist/boundedPN/read-write.spec
rename to benchmarks/cav-benchmarks/mist/boundedPN/read_write.spec
diff --git a/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_1__depth_1.spec b/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non_pid_1__depth_1.spec
similarity index 100%
rename from benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_1__depth_1.spec
rename to benchmarks/cav-benchmarks/soter/safe_send__sending_to_non_pid_1__depth_1.spec
diff --git a/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_1__depth_2.spec b/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non_pid_1__depth_2.spec
similarity index 100%
rename from benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_1__depth_2.spec
rename to benchmarks/cav-benchmarks/soter/safe_send__sending_to_non_pid_1__depth_2.spec
diff --git a/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_2__depth_1.spec b/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non_pid_2__depth_1.spec
similarity index 100%
rename from benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_2__depth_1.spec
rename to benchmarks/cav-benchmarks/soter/safe_send__sending_to_non_pid_2__depth_1.spec
diff --git a/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_2__depth_2.spec b/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non_pid_2__depth_2.spec
similarity index 100%
rename from benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_2__depth_2.spec
rename to benchmarks/cav-benchmarks/soter/safe_send__sending_to_non_pid_2__depth_2.spec
diff --git a/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_3__depth_1.spec b/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non_pid_3__depth_1.spec
similarity index 100%
rename from benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_3__depth_1.spec
rename to benchmarks/cav-benchmarks/soter/safe_send__sending_to_non_pid_3__depth_1.spec
diff --git a/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_3__depth_2.spec b/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non_pid_3__depth_2.spec
similarity index 100%
rename from benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_3__depth_2.spec
rename to benchmarks/cav-benchmarks/soter/safe_send__sending_to_non_pid_3__depth_2.spec
diff --git a/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_4__depth_1.spec b/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non_pid_4__depth_1.spec
similarity index 100%
rename from benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_4__depth_1.spec
rename to benchmarks/cav-benchmarks/soter/safe_send__sending_to_non_pid_4__depth_1.spec
diff --git a/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_4__depth_2.spec b/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non_pid_4__depth_2.spec
similarity index 100%
rename from benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_4__depth_2.spec
rename to benchmarks/cav-benchmarks/soter/safe_send__sending_to_non_pid_4__depth_2.spec
diff --git a/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid__depth_0.spec b/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non_pid__depth_0.spec
similarity index 100%
rename from benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid__depth_0.spec
rename to benchmarks/cav-benchmarks/soter/safe_send__sending_to_non_pid__depth_0.spec
diff --git a/benchmarks/cav-benchmarks/soter/unsafe_send__sending_to_non-pid__depth_0.spec b/benchmarks/cav-benchmarks/soter/unsafe_send__sending_to_non_pid__depth_0.spec
similarity index 100%
rename from benchmarks/cav-benchmarks/soter/unsafe_send__sending_to_non-pid__depth_0.spec
rename to benchmarks/cav-benchmarks/soter/unsafe_send__sending_to_non_pid__depth_0.spec
diff --git a/benchmarks/cav-benchmarks/soter/unsafe_send__sending_to_non-pid__depth_1.spec b/benchmarks/cav-benchmarks/soter/unsafe_send__sending_to_non_pid__depth_1.spec
similarity index 100%
rename from benchmarks/cav-benchmarks/soter/unsafe_send__sending_to_non-pid__depth_1.spec
rename to benchmarks/cav-benchmarks/soter/unsafe_send__sending_to_non_pid__depth_1.spec
diff --git a/benchmarks/cav-benchmarks/soter/unsafe_send__sending_to_non-pid__depth_2.spec b/benchmarks/cav-benchmarks/soter/unsafe_send__sending_to_non_pid__depth_2.spec
similarity index 100%
rename from benchmarks/cav-benchmarks/soter/unsafe_send__sending_to_non-pid__depth_2.spec
rename to benchmarks/cav-benchmarks/soter/unsafe_send__sending_to_non_pid__depth_2.spec