| 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.013 | 0.008 | 7.769 | TO | 0.007 | 0.007 |
| philosophers-dl | CTMC | 11 | GreatSPN | fully-connected | singleton-recurrent | 16238 | 0.034 | 0.023 | 147.954 | TO | 0.021 | 0.018 |
| philosophers-dl | CTMC | 12 | GreatSPN | fully-connected | singleton-recurrent | 39202 | 0.092 | 0.059 | TO | TO | 0.060 | 0.049 |
| philosophers-dl | CTMC | 13 | GreatSPN | fully-connected | singleton-recurrent | 94642 | 0.264 | 0.203 | TO | TO | 0.170 | 0.129 |
| philosophers-dl | CTMC | 14 | GreatSPN | fully-connected | singleton-recurrent | 228486 | 0.814 | 0.574 | TO | TO | 0.484 | 0.378 |
| philosophers-dl | CTMC | 15 | GreatSPN | fully-connected | singleton-recurrent | 551614 | 2.660 | 1.790 | TO | MO | 1.438 | 1.024 |
| philosophers-dl | CTMC | 16 | GreatSPN | fully-connected | singleton-recurrent | 1331714 | 8.126 | 5.427 | TO | MO | 3.862 | 2.673 |
| philosophers-dl | CTMC | 17 | GreatSPN | fully-connected | singleton-recurrent | 3215042 | 20.535 | 11.811 | TO | MO | 11.618 | 7.761 |
| philosophers-dl | CTMC | 18 | GreatSPN | fully-connected | singleton-recurrent | 7761798 | 62.954 | 44.693 | TO | MO | 59.176 | 34.599 |
| 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.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| philosophers-dl | CTMC | 4 | GreatSPN | fully-connected | singleton-recurrent | 34 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| philosophers-dl | CTMC | 5 | GreatSPN | fully-connected | singleton-recurrent | 82 | 0.000 | 0.000 | 0.000 | 0.009 | 0.000 | 0.000 |
| philosophers-dl | CTMC | 6 | GreatSPN | fully-connected | singleton-recurrent | 198 | 0.000 | 0.000 | 0.001 | 0.628 | 0.000 | 0.000 |
| philosophers-dl | CTMC | 7 | GreatSPN | fully-connected | singleton-recurrent | 478 | 0.000 | 0.000 | 0.003 | 34.118 | 0.000 | 0.000 |
| philosophers-dl | CTMC | 8 | GreatSPN | fully-connected | singleton-recurrent | 1154 | 0.001 | 0.001 | 0.045 | TO | 0.001 | 0.001 |
| philosophers-dl | CTMC | 9 | GreatSPN | fully-connected | singleton-recurrent | 2786 | 0.004 | 0.003 | 0.415 | TO | 0.003 | 0.003 |