From e6244f404f103171349c628ebd21fd32061264ac Mon Sep 17 00:00:00 2001
From: Gabi Roeger <gabriele.roeger@unibas.ch>
Date: Tue, 7 Nov 2023 11:46:30 +0100
Subject: [PATCH] Use more result statuses to better reflect planner exit codes

---
 CHANGES.md                        | 1 +
 up_fast_downward/fast_downward.py | 6 ++++++
 2 files changed, 7 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index 6fb1fdb..a58da8f 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -2,6 +2,7 @@
 UP Fast Downward 0.3.3
 - fix bug in fast-downward-reachability grounder
 - silence output in grounders
+- support result status MEMOUT, TIMEOUT and UNSUPPORTED_PROBLEM
 
 UP Fast Downward 0.3.2
 - support UP problem kind version 2
diff --git a/up_fast_downward/fast_downward.py b/up_fast_downward/fast_downward.py
index 4fde0a2..3930321 100644
--- a/up_fast_downward/fast_downward.py
+++ b/up_fast_downward/fast_downward.py
@@ -112,6 +112,12 @@ def solved(metrics):
             return ResultStatus.UNSOLVABLE_PROVEN
         if retval == 12:
             return ResultStatus.UNSOLVABLE_INCOMPLETELY
+        if retval == 34:
+            return ResultStatus.UNSUPPORTED_PROBLEM
+        if retval in (21, 23):
+            return ResultStatus.TIMEOUT
+        if retval in (20, 22):
+            return ResultStatus.MEMOUT
         else:
             return ResultStatus.INTERNAL_ERROR