fix manifest

Author: nano-o

specifications/dag-consensus/manifest.json

@@ -41,169 +41,12 @@
           "runtime": "00:00:10",
           "mode": "exhaustive search",
           "result": "success",
-          "distinctStates": "5158",
-          "totalStates": "13180",
-          "stateDepth": "13"
+          "distinctStates": 5158,
+          "totalStates": 13180,
+          "stateDepth": 13
         }
       ]
     },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1/Digraph.tla",
-      "features": [],
-      "models": []
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1/MC.tla",
-      "features": [],
-      "models": [
-        {
-          "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1/MC.cfg",
-          "runtime": "unknown",
-          "mode": "exhaustive search",
-          "result": "unknown"
-        }
-      ]
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1/Sailfish.tla",
-      "features": [
-        "pluscal"
-      ],
-      "models": []
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1/TE.tla",
-      "features": [],
-      "models": [
-        {
-          "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1/TE.cfg",
-          "runtime": "unknown",
-          "mode": "exhaustive search",
-          "result": "unknown"
-        }
-      ]
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1/TLCSailfish1.tla",
-      "features": [],
-      "models": []
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741665324992/Digraph.tla",
-      "features": [],
-      "models": []
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741665324992/MC.tla",
-      "features": [],
-      "models": [
-        {
-          "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741665324992/MC.cfg",
-          "runtime": "unknown",
-          "mode": "exhaustive search",
-          "result": "unknown"
-        }
-      ]
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741665324992/Sailfish.tla",
-      "features": [
-        "pluscal"
-      ],
-      "models": []
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741665324992/TLCSailfish1.tla",
-      "features": [],
-      "models": []
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741665883518/Digraph.tla",
-      "features": [],
-      "models": []
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741665883518/MC.tla",
-      "features": [],
-      "models": [
-        {
-          "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741665883518/MC.cfg",
-          "runtime": "unknown",
-          "mode": "exhaustive search",
-          "result": "unknown"
-        }
-      ]
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741665883518/Sailfish.tla",
-      "features": [
-        "pluscal"
-      ],
-      "models": []
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741665883518/TLCSailfish1.tla",
-      "features": [],
-      "models": []
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741666150171/Digraph.tla",
-      "features": [],
-      "models": []
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741666150171/MC.tla",
-      "features": [],
-      "models": [
-        {
-          "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741666150171/MC.cfg",
-          "runtime": "unknown",
-          "mode": "exhaustive search",
-          "result": "unknown"
-        }
-      ]
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741666150171/Sailfish.tla",
-      "features": [
-        "pluscal"
-      ],
-      "models": []
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741666150171/TLCSailfish1.tla",
-      "features": [],
-      "models": []
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741666295571/Digraph.tla",
-      "features": [],
-      "models": []
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741666295571/MC.tla",
-      "features": [],
-      "models": [
-        {
-          "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741666295571/MC.cfg",
-          "runtime": "unknown",
-          "mode": "exhaustive search",
-          "result": "unknown"
-        }
-      ]
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741666295571/Sailfish.tla",
-      "features": [
-        "pluscal"
-      ],
-      "models": []
-    },
-    {
-      "path": "specifications/dag-consensus/TLCSailfish1.toolbox/Model_1_SnapShot_1741666295571/TLCSailfish1.tla",
-      "features": [],
-      "models": []
-    },
     {
       "path": "specifications/dag-consensus/TLCSailfish2.tla",
       "features": [],