diff --git a/asterix-app/src/test/resources/runtimets/queries/quantifiers/somesat_03.aql b/asterix-app/src/test/resources/runtimets/queries/quantifiers/somesat_06.aql
similarity index 90%
rename from asterix-app/src/test/resources/runtimets/queries/quantifiers/somesat_03.aql
rename to asterix-app/src/test/resources/runtimets/queries/quantifiers/somesat_06.aql
index 69635ba..6e8892c 100644
--- a/asterix-app/src/test/resources/runtimets/queries/quantifiers/somesat_03.aql
+++ b/asterix-app/src/test/resources/runtimets/queries/quantifiers/somesat_06.aql
@@ -7,7 +7,7 @@
 create dataverse test;
 use dataverse test;
 
-write output to nc1:"rttest/quantifiers_somesat_03.adm";
+write output to nc1:"rttest/quantifiers_somesat_06.adm";
 
 let $x := [
 some $x in [false,false] satisfies $x,
diff --git a/asterix-app/src/test/resources/runtimets/results/quantifiers/somesat_03.adm b/asterix-app/src/test/resources/runtimets/results/quantifiers/somesat_06.adm
similarity index 100%
rename from asterix-app/src/test/resources/runtimets/results/quantifiers/somesat_03.adm
rename to asterix-app/src/test/resources/runtimets/results/quantifiers/somesat_06.adm