projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5039907)
qf_lra strategy
authorMorgan Deters <mdeters@gmail.com>
Mon, 18 Jun 2012 22:43:09 +0000 (22:43 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 18 Jun 2012 22:43:09 +0000 (22:43 +0000)
contrib/run-script-smtcomp2012 patch | blob | history

diff --git a/contrib/run-script-smtcomp2012 b/contrib/run-script-smtcomp2012
index 14d31866eb7f07809b9b8f9129473e19b96cf2b0..dfdd88cc690f8be98c10af42a449845f9b5ab5a1 100755 (executable)
--- a/contrib/run-script-smtcomp2012
+++ b/contrib/run-script-smtcomp2012
@@ -25,8 +25,8 @@ function finishwith {
 case "$logic" in
 
 QF_LRA)
-  # 1 minute with default decision heuristic
-  trywith --tlimit-per=60000
+  # 3 minutes with default decision heuristic
+  trywith --tlimit-per=180000
   # switch to internal decision heuristic
   finishwith --decision=internal
   ;;