diff --git a/@CVC_checker/cvc_check.m b/@CVC_checker/cvc_check.m
index d4673e4b336934ebe5b71a6aa4c96e6fd0fd5157..e838c35077517b55f0c99b2945d736a830899acf 100644
--- a/@CVC_checker/cvc_check.m
+++ b/@CVC_checker/cvc_check.m
@@ -30,7 +30,13 @@ for i = 1:size(queries,2)
 % 
 %         end
     
-        seqs = [seqs struct('id', '1234a', 'TCC', 'test', 'seq', queries(i), 'ce', {asserts})];
+    if mod(i,2) == 1
+        name = [filename '_' num2str(i) '_DIS'];
+    else
+        name = [filename '_' num2str(i) '_COM'];
+    end    
+
+        seqs = [seqs struct('id', '1234a', 'TCC', name, 'seq', queries(i), 'ce', {asserts})];
     end