diff --git a/manifest.json b/manifest.json
index d5528b4b..991a2a95 100644
--- a/manifest.json
+++ b/manifest.json
@@ -2886,15 +2886,15 @@
           "models": [
             {
               "path": "specifications/ewd426/TokenRing.cfg",
-              "runtime": "unknown",
-              "size": "unknown",
+              "runtime": "00:00:05",
+              "size": "small",
               "mode": "exhaustive search",
               "config": [],
               "features": [
                 "alias",
                 "liveness"
               ],
-              "result": "unknown"
+              "result": "success"
             }
           ]
         }
@@ -3202,8 +3202,8 @@
           "models": [
             {
               "path": "specifications/ewd998/EWD998ChanID.cfg",
-              "runtime": "unknown",
-              "size": "large",
+              "runtime": "00:00:05",
+              "size": "small",
               "mode": "exhaustive search",
               "config": [
                 "ignore deadlock"
@@ -3213,7 +3213,7 @@
                 "state constraint",
                 "view"
               ],
-              "result": "unknown"
+              "result": "success"
             }
           ]
         },
@@ -3315,8 +3315,8 @@
           "models": [
             {
               "path": "specifications/ewd998/SmokeEWD998.cfg",
-              "runtime": "unknown",
-              "size": "large",
+              "runtime": "00:00:05",
+              "size": "small",
               "mode": {
                 "simulate": {
                   "traceCount": 100
@@ -3327,7 +3327,7 @@
                 "liveness",
                 "state constraint"
               ],
-              "result": "unknown"
+              "result": "success"
             }
           ]
         },
@@ -3656,4 +3656,4 @@
       ]
     }
   ]
-}
\ No newline at end of file
+}