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 d6c00235aa82e1697d5bdb60c3679d64fb1be692..33182f247786cbc028ee13f7d28685a3e95dde8d 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
@@ -119,17 +119,17 @@ public class DisproverReasoner implements IReasoner {
 
 		if (counterExample.timeoutOccured())
 			return ProverFactory.reasonerFailure(this, input,
-					"Timeout occurred (ProB)");
+					"ProB: Timeout occurred.");
 
 		if (!counterExample.counterExampleFound() && counterExample.isProof())
 			return ProverFactory.makeProofRule(this, input, sequent.goal(),
 					null, IConfidence.DISCHARGED_MAX,
-					"ProB (all cases checked)");
+					"ProB (no enumeration / all cases checked)");
 
 		if (!counterExample.counterExampleFound())
 			return ProverFactory
 					.reasonerFailure(this, input,
-							"No Counter-Example found (ProB), but there might exist one");
+							"ProB: No Counter-Example found, but there might exist one.");
 
 		return ProverFactory.makeProofRule(this, input, null, null,
 				IConfidence.PENDING,