diff --git a/subprojects/xsts/xsts-cli/src/main/kotlin/hu/bme/mit/theta/xsts/cli/XstsCliTracegen.kt b/subprojects/xsts/xsts-cli/src/main/kotlin/hu/bme/mit/theta/xsts/cli/XstsCliTracegen.kt
index 15ee967294..9a9f181f35 100644
--- a/subprojects/xsts/xsts-cli/src/main/kotlin/hu/bme/mit/theta/xsts/cli/XstsCliTracegen.kt
+++ b/subprojects/xsts/xsts-cli/src/main/kotlin/hu/bme/mit/theta/xsts/cli/XstsCliTracegen.kt
@@ -155,7 +155,7 @@ class XstsCliTracegen :
         )
 
       val concreteSummaryFile =
-        traceDirPath.absolutePath + File.separator + inputOptions.model.name + ".cexs"
+        traceDirPath.absolutePath + File.separator + inputOptions.model.nameWithoutExtension + ".cexs"
       val cexsString = toCexs(concretizationResult)
       PrintWriter(File(concreteSummaryFile)).use { printWriter -> printWriter.write(cexsString) }
       logger.write(