diff --git a/usvm-ml-gameserver/src/main/kotlin/org.usvm/JavaMethodRunner.kt b/usvm-ml-gameserver/src/main/kotlin/org.usvm/JavaMethodRunner.kt
index ea6bb154b..ef6e0437a 100644
--- a/usvm-ml-gameserver/src/main/kotlin/org.usvm/JavaMethodRunner.kt
+++ b/usvm-ml-gameserver/src/main/kotlin/org.usvm/JavaMethodRunner.kt
@@ -39,6 +39,7 @@ class JavaMethodRunner(gameMap: GameMap, oracle: Predictor<*>? = null) {
         solverTimeout = Duration.INFINITE,
         timeout = Duration.INFINITE,
         typeOperationsTimeout = Duration.INFINITE,
+        useSolverForForks = false,
 
         stepLimit = stepLimit.toULong(),
         stepsToStart = gameMap.stepsToStart,