Fixed bug related to TIME OUT in kill the execution program (run_exp_svcomp.py)

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>