Verification Runtime Analysis: Get the Most Out of Partial Verification | IEEE Conference Publication | IEEE Xplore