verified run