PDR tool experimental interpolation