There exist tasks with the same name
While these are in different folders, benchexec warns that this might give some problems with overwritten log files.
I ran some stats on the files from new-svcomp-spec
branch:
filenames.txt
uniq.txt
$ wc filenames.txt uniq.txt -l
4296 filenames.txt
4266 uniq.txt
So it seems this are 30 cases. Ideally we fix this such that we have unique task names. One approach would be to just put the folder name into the file name, but this would lead to somewhat lengthy filenames.