PVS Analytical Passes Proficiency Test