| 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.008 | 0.026 | TO | NA | 0.023 | TO | 0.009 |
| philosophers-dlfix | CTMC | 11 | GreatSPN | no-transient | fully-recurrent | 13860 | 0.019 | TO | TO | NA | TO | TO | 0.035 |
| philosophers-dlfix | CTMC | 12 | GreatSPN | no-transient | fully-recurrent | 33461 | 0.051 | TO | TO | NA | TO | TO | 0.085 |
| philosophers-dlfix | CTMC | 13 | GreatSPN | no-transient | fully-recurrent | 80782 | 0.141 | TO | TO | NA | TO | TO | 0.291 |
| philosophers-dlfix | CTMC | 14 | GreatSPN | no-transient | fully-recurrent | 195025 | 0.419 | TO | TO | NA | TO | TO | 0.846 |
| philosophers-dlfix | CTMC | 15 | GreatSPN | no-transient | fully-recurrent | 470832 | 1.214 | TO | MO | NA | TO | MO | 5.170 |
| philosophers-dlfix | CTMC | 16 | GreatSPN | no-transient | fully-recurrent | 1136689 | 3.217 | TO | MO | NA | TO | MO | 18.650 |
| philosophers-dlfix | CTMC | 17 | GreatSPN | no-transient | fully-recurrent | 2744210 | 10.905 | TO | MO | TO | MO | 839.479 | |
| philosophers-dlfix | CTMC | 18 | GreatSPN | no-transient | fully-recurrent | 6625109 | 28.599 | TO | MO | TO | MO | 565.171 | |
| 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 | 0.000 | 0.000 | 0.000 | NA | 0.000 | 0.000 | 0.000 |
| philosophers-dlfix | CTMC | 4 | GreatSPN | no-transient | fully-recurrent | 29 | 0.000 | 0.000 | 0.000 | NA | 0.000 | 0.001 | 0.000 |
| philosophers-dlfix | CTMC | 5 | GreatSPN | no-transient | fully-recurrent | 70 | 0.000 | 0.000 | 0.007 | NA | 0.000 | 0.010 | 0.000 |
| philosophers-dlfix | CTMC | 6 | GreatSPN | no-transient | fully-recurrent | 169 | 0.000 | 0.000 | 0.286 | NA | 0.000 | 0.271 | 0.000 |
| philosophers-dlfix | CTMC | 7 | GreatSPN | no-transient | fully-recurrent | 408 | 0.000 | 0.066 | 13.330 | NA | 0.056 | 19.223 | 0.000 |
| philosophers-dlfix | CTMC | 8 | GreatSPN | no-transient | fully-recurrent | 985 | 0.001 | 0.002 | 953.507 | NA | 0.002 | 1550.325 | 0.001 |
| philosophers-dlfix | CTMC | 9 | GreatSPN | no-transient | fully-recurrent | 2378 | 0.003 | 38.945 | TO | NA | 32.699 | TO | 0.004 |