some more leniency in execution time limits