diff --git a/src/why3session/why3session_html.ml b/src/why3session/why3session_html.ml
index a01cd8ddfc5245b8108d07c05f347027799ad1f2..848a11e0823d27d8e431e351748be55727ef8364 100644
--- a/src/why3session/why3session_html.ml
+++ b/src/why3session/why3session_html.ml
@@ -196,12 +196,12 @@ let print_results fmt provers proofs =
 		| Call_provers.Timeout ->
                   fprintf fmt "FF8000\">Timeout"
 		| Call_provers.Unknown _ ->
-                  fprintf fmt "FF8000\">Unknown"
+                  fprintf fmt "FF8000\">%.2f" res.Call_provers.pr_time
 		| _ ->
-                  fprintf fmt "Failure "
+                  fprintf fmt "FF8000\">Failure "
 	    end
-	  | _ -> fprintf fmt "Undone"
-      with Not_found -> fprintf fmt "E0E0E0\">"
+	  | _ -> fprintf fmt "E0E0E0\">Undone"
+      with Not_found -> fprintf fmt "E0E0E0\">---"
     end;
     fprintf fmt "</td>") provers