Added a script to simlute the SVCOMP execution tests

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