diff --git a/encodings/meta-sequential-incremental.lp b/encodings/sas-meta-sequential-incremental.lp
similarity index 100%
rename from encodings/meta-sequential-incremental.lp
rename to encodings/sas-meta-sequential-incremental.lp