diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt
index 64fc73ff93..0f60431494 100644
--- a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt
+++ b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/portfolio/complex25.kt
@@ -121,6 +121,9 @@ fun complexPortfolio25(
             ),
           argConfig = ArgConfig(disable = true),
           enableOutput = portfolioConfig.outputConfig.enableOutput,
+          acceptUnreliableSafe = portfolioConfig.outputConfig.acceptUnreliableSafe,
+          xcfaOutputConfig = XcfaOutputConfig(disable = true),
+          chcOutputConfig = ChcOutputConfig(disable = true),
         ),
       debugConfig = portfolioConfig.debugConfig,
     )