While solving the problem in missionaries.py using generic_search.py from Chapter 2, I found out that there are duplicate instances of MCState in Node::explored.

This is probably a problem where instances with the same value are not recognized as the same instance and are, therefore, duplicated in the set.