Verification Examples from ASC Integrated Codes at Sandia.