Finding counterexamples to conjectures