diff --git a/pyrat.ml b/pyrat.ml
index 7ad8404c0f252a8d63b070d0d51131ebfab3ca80..b2fdd491163ba1b2df6bda494fedb2ab82b36742 100644
--- a/pyrat.ml
+++ b/pyrat.ml
@@ -15,7 +15,8 @@ let re_version = Str.regexp "[0-9]\\(\\.[0-9]\\)*\\(\\.?[A-Za-z-+]\\)*"
 
 let re_of_result result =
   Str.regexp
-    (match result with
+    ("^Result: " ^
+     match result with
      | Solver.Result.Valid -> "True"
      | Invalid -> "False"
      | Timeout -> "Timeout"