diff --git a/kex-test.ini b/kex-test.ini
index 076ad4ff9..2d9905d34 100644
--- a/kex-test.ini
+++ b/kex-test.ini
@@ -58,7 +58,7 @@ ignore = org.vorpal.research.kex.test.Intrinsics
 ignore = kotlin.jvm.internal.Intrinsics
 
 [symbolic]
-timeLimit = 500
+timeLimit = 600
 numberOfExecutors = 1
 numberOfConcreteMethods = 5