Paper "Software Verification with PDR: An Implementation of the State of the Art" published in Proc. TACAS'20 and available now!