added fixed version of verify and benchmark