Lab data for formal and impact testing