Verification of "runtimes" in the sense of GP is not mentioned at all in the article you linked.