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

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