(a) Time-kill assays for imipenem, meropenem, and doripenem alone and in combination at maximum mice plasma concentration (Cmax) against the four isolates of carbapenemase-producing P. aeruginosa selected for in vivo studies. Results are represented as differences (log10 CFU/mL) relative to the initial time point (0 h). Green indicates a >3 log10 CFU/mL decrease, yellow a < 3 log10 CFU/mL decrease. (b) Time-kill assays for imipenem, meropenem, and doripenem alone and in combination at maximum mice plasma concentration (Cmax) against the four of carbapenemase-producing P. aeruginosa isolates selected for in vivo studies. Solid circle: growth control; Square: imipenem (IMP); Triangle: meropenem (MEM); Inverted triangle: doripenem (DOR); Empty circle: IMP + MEM; Empty square: IMP + DOR; Empty triangle: MEM + DOR; Dotted line: bactericidal activity.