Compared and same with SVCOMP 14