diff --git a/benchmark.py b/benchmark.py
index 40228cbad..38659d4e2 100644
--- a/benchmark.py
+++ b/benchmark.py
@@ -208,6 +208,7 @@ def runJob(configuration, instance, config):
 		print("# instance: " + str(instance), file = errorFile)
 		print("# command: " + str(command), file = errorFile)
 		print("# working directory: " + plannerDir, file = errorFile)
+		print("# exit code: " + str(exitCode), file = errorFile)
 		print(stderr, file = errorFile)
 
 		if exitCode != 0:
@@ -225,7 +226,8 @@ def runJob(configuration, instance, config):
 				"plasp": plaspVersion(config),
 				"planner": plannerVersion(config),
 				"fastDownward": fastDownwardVersion(config)
-			}
+			},
+			"exitCode": exitCode,
 		}
 
 		print(yaml.dump(environment, default_flow_style = False), file = environmentFile)