final updates for SVCOMP 13

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>