diff --git a/src/search/search_algorithms/exhaustive_search.cc b/src/search/search_algorithms/exhaustive_search.cc
index bdef773ad..c5cda5a75 100644
--- a/src/search/search_algorithms/exhaustive_search.cc
+++ b/src/search/search_algorithms/exhaustive_search.cc
@@ -80,7 +80,7 @@ void ExhaustiveSearch::dump_state(const State &state) const {
 SearchStatus ExhaustiveSearch::step() {
     if (current_state_id == static_cast<int>(state_registry.size())) {
         utils::g_log << "Finished dumping the reachable state space." << endl;
-        return FAILED;
+        return SOLVED;
     }
 
     State s = state_registry.lookup_state(StateID(current_state_id));