(verifier edit: edited run time based on initiating final attack on barma)