diff --git a/src/main/java/de/tlc4b/Log.java b/src/main/java/de/tlc4b/Log.java
index 431fd6681fbd9f88469e9a5b526c06679b056ca0..452fd6016236a52f75ed857966725f9436f14c95 100644
--- a/src/main/java/de/tlc4b/Log.java
+++ b/src/main/java/de/tlc4b/Log.java
@@ -35,7 +35,9 @@ public class Log {
 		long modelCheckingTime = StopWatch
 				.getRunTime(Watches.MODEL_CHECKING_TIME);
 		fieldValues.add(String.valueOf(modelCheckingTime));
-
+		
+		fieldNames.add("TLC Result");
+		fieldValues.add(tlcResults.getResultString());
 	}
 
 	public String getCSVValueLine() {