diff --git a/jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/AbstractILPSolver.java b/jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/AbstractILPSolver.java
index bebf937dfbc548d280c0f63f65860c186e29977c..49986f9cdbd34774f5d0e9186e82874f7141e56e 100644
--- a/jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/AbstractILPSolver.java
+++ b/jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/AbstractILPSolver.java
@@ -60,6 +60,7 @@ public abstract class AbstractILPSolver implements BenchmarkableSolver {
     this.lastSolutionCreation = 0;
     this.lastObjective = 0;
     this.timedOut = false;
+    setTimeout(this.timeoutValueOriginal, this.timeoutUnitOriginal);
   }
 
   @Override