diff --git a/Source/Provers/SMTLib/SMTLibProcess.cs b/Source/Provers/SMTLib/SMTLibProcess.cs
index 36f568e23..96a74e28d 100644
--- a/Source/Provers/SMTLib/SMTLibProcess.cs
+++ b/Source/Provers/SMTLib/SMTLibProcess.cs
@@ -190,8 +190,21 @@ public SExpr GetProverResponse()
       }
     }
 
+
+    // NOTE: this field is used by Corral.
+    // https://github.com/boogie-org/corral/blob/master/source/Driver.cs
+    public static System.TimeSpan TotalUserTime = System.TimeSpan.Zero;
+
     public void Close()
     {
+      try {
+        TotalUserTime += prover.UserProcessorTime;
+      } catch (Exception e) {
+        if (options.Verbosity >= 1) {
+          Console.Error.WriteLine("Warning: prover time not incremented due to {0}", e.GetType());
+        }
+      }
+
       TerminateProver();
       DisposeProver();
     }
@@ -394,4 +407,3 @@ void prover_ErrorDataReceived(object sender, DataReceivedEventArgs e)
     #endregion
   }
 }
-