Update benchexec/tools/sesl.py
Update benchexec/tools/sesl.py

Co-authored-by: Philipp Wendler <64b2b6d12bfe4baae7dad3d018f8cbf6b0e7a044@philippwendler.de>
sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec