Compare number of explored states when remembering explored branches over refinement and when not