Revert "quitting the program if duplicated benchmark name is detected"
Revert "quitting the program if duplicated benchmark name is detected"

This reverts commit 5e1e75515683f206b404751e19e39cd2335ed230.

sosy-lab/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec