Crazy how the disprovings keep coming. So far it seems that it's better at finding counterexamples to conjectures than proving conjectures for all cases though.