From 96421f6395139651821ea530f9b8ef32e04c0a83 Mon Sep 17 00:00:00 2001 From: Pantazis Deligiannis Date: Tue, 20 Aug 2013 11:10:59 +0100 Subject: improvements to the refuted annotations exchange process --- Util/PortfolioSolver.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Util') diff --git a/Util/PortfolioSolver.py b/Util/PortfolioSolver.py index de004981..0572987d 100755 --- a/Util/PortfolioSolver.py +++ b/Util/PortfolioSolver.py @@ -327,7 +327,7 @@ def main(argv=None): if (taskID == 0): task = VerificationTask(taskID + 1, taskQueue, "Z3", 4, True, False, 0, **timeoutArguments) elif (taskID == 1): - task = VerificationTask(taskID + 1, taskQueue, "Z3", 4, False, False, 0, **timeoutArguments) + task = VerificationTask(taskID + 1, taskQueue, "Z3", 4, True, True, 0, **timeoutArguments) elif (taskID == 2): task = VerificationTask(taskID + 1, taskQueue, "Z3", 3, True, False, 0, **timeoutArguments) elif (taskID == 3): -- cgit v1.2.3