diff options
| author |  Pantazis Deligiannis <pdeligia@me.com> | 2013-08-20 11:10:59 +0100 |
|---|---|---|
| committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-08-20 11:10:59 +0100 |
| commit | 96421f6395139651821ea530f9b8ef32e04c0a83 (patch) | |
| tree | 07454be34fbf20b9d0645e48a251227d89cfb2f9 /Util | |
| parent | 133dac43b2d0daa022bfe26ab15bcdfaf75eae0e (diff) | |
improvements to the refuted annotations exchange process
Diffstat (limited to 'Util')
| -rwxr-xr-x | Util/PortfolioSolver.py | 2 |
1 files changed, 1 insertions, 1 deletions
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): |