| Model | Parameters | Type | Original | EVT cat. | Stationary cat. | states | storm.sparse.classic-gmres-topo.1e-06 | storm.sparse.evtfull-ii-topo.0.001 | storm.sparse.evtfull-luexact-topo.ignored | greatspn.default.ggsc.0.001 | storm.sparse.evtfull-ovi-topo.0.001 | storm.sparse.classic-luexact-topo.ignored | storm.sparse.evtfull-gmres-topo.1e-06 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| philosophers-dlfix | CTMC | 10 | GreatSPN | no-transient | fully-recurrent | 5741 | 0.14777064323425293 | 0.12339639663696289 | TO | 1.065506935119629 | 0.1207578182220459 | TO | 0.10242176055908203 |
| philosophers-dlfix | CTMC | 11 | GreatSPN | no-transient | fully-recurrent | 13860 | 0.1469709873199463 | TO | TO | 2.623136043548584 | TO | TO | 0.19708800315856934 |
| philosophers-dlfix | CTMC | 12 | GreatSPN | no-transient | fully-recurrent | 33461 | 0.34038329124450684 | TO | TO | 6.857670307159424 | TO | TO | 0.3717482089996338 |
| philosophers-dlfix | CTMC | 13 | GreatSPN | no-transient | fully-recurrent | 80782 | 0.7778642177581787 | TO | TO | 22.55598282814026 | TO | TO | 0.9304444789886475 |
| philosophers-dlfix | CTMC | 14 | GreatSPN | no-transient | fully-recurrent | 195025 | 1.9895427227020264 | TO | TO | 57.28237867355347 | TO | TO | 3.1313602924346924 |
| philosophers-dlfix | CTMC | 15 | GreatSPN | no-transient | fully-recurrent | 470832 | 6.705460548400879 | TO | MO | 166.93726515769958 | TO | MO | 9.229393243789673 |
| philosophers-dlfix | CTMC | 16 | GreatSPN | no-transient | fully-recurrent | 1136689 | 13.909022092819214 | TO | MO | 438.3525834083557 | TO | MO | 29.233651161193848 |
| philosophers-dlfix | CTMC | 17 | GreatSPN | no-transient | fully-recurrent | 2744210 | 39.47319769859314 | TO | MO | TO | MO | 868.2020707130432 | |
| philosophers-dlfix | CTMC | 18 | GreatSPN | no-transient | fully-recurrent | 6625109 | 102.18793439865112 | TO | MO | TO | MO | 638.7863276004791 | |
| philosophers-dlfix | CTMC | 19 | GreatSPN | no-transient | fully-recurrent | 15994428 | MO | MO | MO | MO | MO | MO | |
| philosophers-dlfix | CTMC | 20 | GreatSPN | no-transient | fully-recurrent | 38613965 | MO | MO | MO | MO | MO | MO | |
| philosophers-dlfix | CTMC | 3 | GreatSPN | no-transient | fully-recurrent | 12 | 1.197213888168335 | 0.06983613967895508 | 0.0675191879272461 | 0.19655466079711914 | 0.06634640693664551 | 0.0721290111541748 | 1.237473726272583 |
| philosophers-dlfix | CTMC | 4 | GreatSPN | no-transient | fully-recurrent | 29 | 0.07367968559265137 | 1.964557409286499 | 1.1385598182678223 | 0.19179105758666992 | 1.9183728694915771 | 1.0757677555084229 | 0.07238221168518066 |
| philosophers-dlfix | CTMC | 5 | GreatSPN | no-transient | fully-recurrent | 70 | 0.07218813896179199 | 0.0843052864074707 | 0.04543137550354004 | 0.24624347686767578 | 0.08408069610595703 | 0.09223055839538574 | 0.04913163185119629 |
| philosophers-dlfix | CTMC | 6 | GreatSPN | no-transient | fully-recurrent | 169 | 0.07056999206542969 | 1.5409586429595947 | 1.7060413360595703 | 0.28149843215942383 | 0.07415390014648438 | 0.34703731536865234 | 1.5014126300811768 |
| philosophers-dlfix | CTMC | 7 | GreatSPN | no-transient | fully-recurrent | 408 | 0.07063841819763184 | 0.1431875228881836 | 13.40618085861206 | 0.3171882629394531 | 0.13604164123535156 | 19.30046772956848 | 0.07105660438537598 |
| philosophers-dlfix | CTMC | 8 | GreatSPN | no-transient | fully-recurrent | 985 | 0.08061766624450684 | 0.07736611366271973 | 953.6076560020447 | 0.3487403392791748 | 0.05414438247680664 | 1550.424111366272 | 0.09597468376159668 |
| philosophers-dlfix | CTMC | 9 | GreatSPN | no-transient | fully-recurrent | 2378 | 0.05251622200012207 | 39.02873611450195 | TO | 0.5078506469726562 | 32.78620147705078 | TO | 0.09670734405517578 |