pthread benchmark from svcomp.