+ fixed bugs on Exhaustive exploration