A Study on Model Finding