diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java
index 96d86607271ab9a97f04855fde0a119b70b27044..a994c521cff5df11dfc2fe2c998779f90308e5f3 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java
@@ -115,11 +115,8 @@ public class DisproverReasoner implements IReasoner {
 		IAntecedent ante = ProverFactory.makeAntecedent(goal);
 
 		if (counterExample.timeoutOccured()) {
-			return ProverFactory
-					.makeProofRule(this, input, null, null,
-							IConfidence.DISCHARGED_MAX,
-							"Timeout occurred (ProB)", ante);
-
+			return ProverFactory.reasonerFailure(this, input,
+					"Timeout occurred (ProB)");
 		}
 
 		if (!counterExample.counterExampleFound() && counterExample.isProof())