| Model | Parameters | Type | Original | EVT cat. | Stationary cat. | states | storm.sparse.ii-topo.0.001 | storm.sparse.ovi-topo.0.001 | storm.sparse.lu-topo.0.001 | storm.sparse.luexact-topo.ignored | storm.sparse.vi-topo.1e-06 | storm.sparse.gmres-topo.1e-06 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| philosophers-dl | CTMC | 10 | GreatSPN | fully-connected | singleton-recurrent | 6726 | 0.13233613967895508 | 0.14352035522460938 | 7.880147218704224 | TO | 0.11406946182250977 | 0.13413429260253906 |
| philosophers-dl | CTMC | 11 | GreatSPN | fully-connected | singleton-recurrent | 16238 | 0.20190119743347168 | 0.18458342552185059 | 148.13013434410095 | TO | 0.18878936767578125 | 0.18768906593322754 |
| philosophers-dl | CTMC | 12 | GreatSPN | fully-connected | singleton-recurrent | 39202 | 0.41058349609375 | 0.40087461471557617 | TO | TO | 1.8063750267028809 | 1.8420381546020508 |
| philosophers-dl | CTMC | 13 | GreatSPN | fully-connected | singleton-recurrent | 94642 | 0.9892938137054443 | 1.214057207107544 | TO | TO | 0.9315061569213867 | 4.213326454162598 |
| philosophers-dl | CTMC | 14 | GreatSPN | fully-connected | singleton-recurrent | 228486 | 2.6490142345428467 | 2.453251838684082 | TO | TO | 5.378384351730347 | 5.325535535812378 |
| philosophers-dl | CTMC | 15 | GreatSPN | fully-connected | singleton-recurrent | 551614 | 9.40103554725647 | 8.536644697189331 | TO | MO | 9.221697330474854 | 8.770890712738037 |
| philosophers-dl | CTMC | 16 | GreatSPN | fully-connected | singleton-recurrent | 1331714 | 20.5517156124115 | 17.86804509162903 | TO | MO | 19.302306652069092 | 18.018146991729736 |
| philosophers-dl | CTMC | 17 | GreatSPN | fully-connected | singleton-recurrent | 3215042 | 53.311726331710815 | 44.74351263046265 | TO | MO | 44.58175206184387 | 40.35913610458374 |
| philosophers-dl | CTMC | 18 | GreatSPN | fully-connected | singleton-recurrent | 7761798 | 167.1182997226715 | 152.20269465446472 | TO | MO | 161.2349328994751 | 130.2162218093872 |
| philosophers-dl | CTMC | 19 | GreatSPN | fully-connected | singleton-recurrent | 18738638 | MO | MO | MO | MO | MO | MO |
| philosophers-dl | CTMC | 20 | GreatSPN | fully-connected | singleton-recurrent | -8000 | MO | MO | MO | MO | MO | MO |
| philosophers-dl | CTMC | 3 | GreatSPN | fully-connected | singleton-recurrent | 14 | 0.07537651062011719 | 1.496443748474121 | 0.07519650459289551 | 0.07320046424865723 | 5.694098949432373 | 5.625956296920776 |
| philosophers-dl | CTMC | 4 | GreatSPN | fully-connected | singleton-recurrent | 34 | 0.07831740379333496 | 0.11174821853637695 | 0.08183717727661133 | 0.07640647888183594 | 5.024796962738037 | 5.092467546463013 |
| philosophers-dl | CTMC | 5 | GreatSPN | fully-connected | singleton-recurrent | 82 | 4.552901744842529 | 4.946044683456421 | 4.4552295207977295 | 0.1194906234741211 | 5.380950927734375 | 5.796217203140259 |
| philosophers-dl | CTMC | 6 | GreatSPN | fully-connected | singleton-recurrent | 198 | 4.885318279266357 | 5.450791835784912 | 4.556557655334473 | 0.7023143768310547 | 6.253777265548706 | 2.4706413745880127 |
| philosophers-dl | CTMC | 7 | GreatSPN | fully-connected | singleton-recurrent | 478 | 0.08919835090637207 | 0.07035160064697266 | 0.07701635360717773 | 34.20190930366516 | 2.7057204246520996 | 2.5011074542999268 |
| philosophers-dl | CTMC | 8 | GreatSPN | fully-connected | singleton-recurrent | 1154 | 0.07539606094360352 | 0.08433079719543457 | 1.3652276992797852 | TO | 2.440415620803833 | 1.7909400463104248 |
| philosophers-dl | CTMC | 9 | GreatSPN | fully-connected | singleton-recurrent | 2786 | 0.08865165710449219 | 0.08730149269104004 | 0.5010995864868164 | TO | 1.8670365810394287 | 1.8458082675933838 |