sGC deficient mice have prolonged tail-bleeding times, impaired thrombus formation, but normal systolic blood pressure. (A) Bleeding time tests were performed in littermate mice (7-8 weeks old) generated from mating with sGC β₁^fl/fl/Cre+ male and sGC β₁^fl/fl female mice as breeders, using methods described under “Bleeding time.” Genotyping of the tested mice was subsequently determined by PCR analysis. The solid triangles represent bleeding times of a single mouse. The bar represents median bleeding times of the group. Note that although the variance of bleeding times were broad in both wild type (n = 31) and sGC β₁ deficient mice (n = 35), the difference between groups is statistically significant (P = .025). (B) FeCl₃-induced carotid artery injury was performed and time to occlusive thrombus formation recorded as described under “In vivo thrombosis.” The occlusion time of each mouse is shown as a solid circle. The bars represent the median occlusion time (442 seconds for sGC β₁^fl/fl/Cre mice [n = 15], and 252 seconds for β₁^fl/fl mice [n = 15], P = .012). (C) Systolic blood pressure was measured by volume pressure recording of the tail using the CODA noninvasive blood pressure system on 5 consecutive days. Systolic blood pressures were similar in platelet-specific sGC deficient mice compared with wild-type littermates. Data are means ± SE from n = 6 mice/group.