be a little more generous with the timeout
@@ -32,8 +32,8 @@ class Tool(benchexec.tools.template.BaseTool2):
# add a time limit if not given
# that is hopefully sufficient to write all tests
if "-t" not in options and rlimits.cputime:
- # at least five seconds + 1% of overall time
- timeout = int(rlimits.cputime * 0.99 - 5)
+ # at least 10 seconds + 1% of overall time
+ timeout = int(rlimits.cputime * 0.99 - 10)
# but don't add negative timeout
if timeout > 0:
options = options + ["-t", str(timeout)]
