(verifier edit: edited run time to initiating the final hit on barma.)