Report timeouts as timeouts, not unknown

src/main/scala/leon/solvers/TimeoutSolver.scala

@@ -9,7 +9,7 @@ trait TimeoutSolver extends Solver with Interruptible {
 
   val ti = new TimeoutFor(this)
 
-  protected var optTimeout: Option[Long] = None
+  var optTimeout: Option[Long] = None
 
   def setTimeout(timeout: Long): this.type = {
     optTimeout = Some(timeout)

src/main/scala/leon/verification/AnalysisPhase.scala

@@ -150,7 +150,18 @@ object AnalysisPhase extends LeonPhase[Program,VerificationReport] {
           VCResult(VCStatus.Cancelled, Some(s), Some(dt))
 
         case None =>
-          VCResult(VCStatus.Unknown, Some(s), Some(dt))
+          val status = s match {
+            case ts: TimeoutSolver =>
+              ts.optTimeout match {
+                case Some(t) if t < dt =>
+                  VCStatus.Timeout
+                case _ =>
+                  VCStatus.Unknown
+              }
+            case _ =>
+              VCStatus.Unknown
+          }
+          VCResult(status, Some(s), Some(dt))
 
         case Some(false) =>
           VCResult(VCStatus.Valid, Some(s), Some(dt))