For complex real-world problems there is no guarantee that any of the evolved models is the ‘best possible one’ (the same can obviously be said for any mathematical model handcrafted by a human modeler). But one can make sure that it is most definitively one of the best possible models with the performance on the testing set being the real indicator of how good these models are.