Updated portfolio

ftsrg · Nov 20, 2024 · bd09a4f · bd09a4f
1 parent 0f91997
commit bd09a4f
Showing 1 changed file with 1 addition and 1 deletion.
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
@@ -138,7 +138,7 @@ fun complexPortfolio25(
         BackendConfig(
           backend = OC,
           solverHome = baseConfig.backendConfig.solverHome,
-          timeoutMs = 400_000,
+          timeoutMs = 500_000,
           inProcess = inProcess,
           specConfig = OcConfig(autoConflict = RF_WS_FR),
         ),