Murine model of thrombosis in TFPI^LysM mice. Thrombosis was examined using a FeCl₃ arterial injury model in TFPI^Flox and TFPI^LysM mice. A flow probe was used to determine when the carotid arteries of TFPI^Flox and TFPI^LysM mice became occluded. (A) No significant differences were observed in times to occlusion between TFPI^Flox and TFPI^LysM mice. (B) Percent patency was plotted against time using a Kaplan-Meier survival plot and χ² analysis revealed no significant differences of plots for TFPI^Flox and TFPI^LysM mice (P = .25).