time in svcomp