From 60ea9b4269b46aefe77e58478d936ab9864c1377 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 18 Jun 2012 22:22:04 +0000 Subject: another qf_lra strategy update --- contrib/run-script-smtcomp2012 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/contrib/run-script-smtcomp2012 b/contrib/run-script-smtcomp2012 index bb4a9305f..14d31866e 100755 --- 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 ;; -- cgit v1.2.3