reformated benchmark instances to correct PB convention