diff --git a/configs/baseline-eq b/configs/baseline-eq
index b21862b..84bd5a1 100644
--- a/configs/baseline-eq
+++ b/configs/baseline-eq
@@ -1,6 +1,6 @@
 logging.level=WARNING
 export.model=true
-max.time.millis=600000
+# max.time.millis=600000
 solver=z3
 teachers=int:de.learnlib.ralib.tools.theories.IntegerEqualityTheory
 use.eqtest=true
diff --git a/configs/baseline-eq-noopt b/configs/baseline-eq-noopt
index 97f7ed0..b8397b5 100644
--- a/configs/baseline-eq-noopt
+++ b/configs/baseline-eq-noopt
@@ -1,6 +1,6 @@
 logging.level=WARNING
 export.model=true
-max.time.millis=600000
+# max.time.millis=600000
 solver=z3
 teachers=int:de.learnlib.ralib.tools.theories.IntegerEqualityTheory
 use.eqtest=true
diff --git a/configs/dtls-eq b/configs/dtls-eq
index 7636c71..93ab400 100644
--- a/configs/dtls-eq
+++ b/configs/dtls-eq
@@ -1,6 +1,6 @@
 logging.level=WARNING
 export.model=true
-max.time.millis=600000
+# max.time.millis=600000
 solver=z3
 teachers=epoch:de.learnlib.ralib.tools.theories.IntegerEqualityTheory
 use.eqtest=true
diff --git a/configs/dtls-eq-noopt b/configs/dtls-eq-noopt
index c4c2a73..a9e8dfb 100644
--- a/configs/dtls-eq-noopt
+++ b/configs/dtls-eq-noopt
@@ -1,6 +1,6 @@
 logging.level=WARNING
 export.model=true
-max.time.millis=600000
+# max.time.millis=600000
 solver=z3
 teachers=epoch:de.learnlib.ralib.tools.theories.IntegerEqualityTheory
 use.eqtest=true
diff --git a/configs/twalk-eq b/configs/twalk-eq
index 1438a3f..d11050b 100644
--- a/configs/twalk-eq
+++ b/configs/twalk-eq
@@ -1,4 +1,4 @@
-max.time.millis=600000
+# max.time.millis=600000
 use.eqtest=true
 use.ceopt=true
 use.suffixopt=true
diff --git a/configs/twalk-eq-ds b/configs/twalk-eq-ds
index 47802d4..bc7a21b 100644
--- a/configs/twalk-eq-ds
+++ b/configs/twalk-eq-ds
@@ -1,4 +1,4 @@
-max.time.millis=600000
+# max.time.millis=600000
 use.eqtest=true
 use.ceopt=true
 use.suffixopt=true