Murine model of thrombosis in TFPI^Tie2 mice. Thrombosis was examined using a FeCl₃ arterial injury model in TFPI^Flox and TFPI^Tie2 mice. A flow probe was used to determine when the carotid arteries of TFPI^Flox and TFPI^Tie2 mice became occluded. (A) Times to occlusion were significantly reduced in TFPI^Tie2 mice compared with TFPI^Flox mice (*P < .001). (B) Percentage of patency was plotted against time using a Kaplan-Meier survival plot, and χ² analysis revealed a significant difference between plots for TFPI^Flox and TFPI^LysM mice (P = .007).