Filtering Isomorphic Models by Invariants