In vivo studies in mice provide a valuable model to test novel active pharmaceutical ingredients due to their low material need and the fact that mice are frequently used as a species for early efficacy models. However, preclinical in vitro evaluations of formulation principles in mice are still lacking. The development of novel in vitro and in silico models supported the preclinical formulation evaluation for the anti-infective corallopyronin A (CorA). To this end, CorA and solubility-enhanced amorphous solid dispersion formulations, comprising povidone or copovidone, were evaluated regarding biorelevant solubilities and dissolution in mouse-specific media. As an acidic compound, CorA and CorA-ASD formulations showed decreased solubilities in mice when compared with human-specific media. In biorelevant biphasic dissolution experiments CorA-povidone showed a three-fold higher fraction partitioned into the organic phase of the biphasic dissolution, when compared with CorA-copovidone. Bioavailabilities determined by pharmacokinetic studies in BALB/c mice correlated with the biphasic dissolution prediction and resulted in a Level C in vitro–in vivo correlation. In vitro cell experiments excluded intestinal efflux by P-glycoprotein or breast cancer resistance protein. By incorporating in vitro results into a physiologically based pharmacokinetic model, the plasma concentrations of CorA-ASD formulations were predicted and identified dissolution as the limiting factor for bioavailability.