The following list of specifications are not verified. However, this list does not include all specifications that are not yet verified.