Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art