diff --git a/src/main/java/de/tlc4b/tlc/TLCResults.java b/src/main/java/de/tlc4b/tlc/TLCResults.java
index 4478de64c4b55bb2b33ab9df1d4bba14bf29c891..48c4cced931d1ea73cfdd2d5163e8fbb7e90bca2 100644
--- a/src/main/java/de/tlc4b/tlc/TLCResults.java
+++ b/src/main/java/de/tlc4b/tlc/TLCResults.java
@@ -36,7 +36,7 @@ public class TLCResults implements ToolGlobals {
 	private final TLCOutputInfo tlcOutputInfo;
 
 	public enum TLCResult {
-		Deadlock, Goal, InvariantViolation, ParseError, NoError, AssertionError, PropertiesError, EnumerationError, TLCError, TemporalPropertyViolation, WellDefinednessError, InitialStateError
+		Deadlock, Goal, InvariantViolation, ParseError, NoError, AssertionError, PropertiesError, EnumerationError, TLCError, TemporalPropertyViolation, WellDefinednessError, InitialStateError, Interrupted
 	}
 
 	public boolean hasTrace() {
@@ -380,6 +380,8 @@ public class TLCResults implements ToolGlobals {
 				return WellDefinednessError;
 			} else if (s.contains("ASSERT_LTL")) {
 				return TemporalPropertyViolation;
+			} else if (s.contains("java.lang.InterruptedException")) {
+				return Interrupted;
 			}
 		}
 		// unknown error