Merge pull request #2 from LearnLib/tacas2024-experiments

removed time limits from configs
LearnLib · Dec 21, 2023 · fdbdd13 · fdbdd13
2 parents 140efea + 059f841
commit fdbdd13
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -1,4 +1,4 @@
-max.time.millis=600000
+# max.time.millis=600000
 use.eqtest=true
 use.ceopt=true
 use.suffixopt=true