If they fail, they increase the domain size and try again, until either they find a model or their resources run out.
although there are infinitely many models satisfying fol(drs(T)), model builders generally build a model with a minimal domain size.