| 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 | NO BASELINE | NO BASELINE | TO | NO BASELINE | NO BASELINE | TO | NO BASELINE |
| philosophers-dlfix | CTMC | 11 | GreatSPN | no-transient | fully-recurrent | 13860 | NO BASELINE | TO | TO | NO BASELINE | TO | TO | NO BASELINE |
| philosophers-dlfix | CTMC | 12 | GreatSPN | no-transient | fully-recurrent | 33461 | NO BASELINE | TO | TO | NO BASELINE | TO | TO | NO BASELINE |
| philosophers-dlfix | CTMC | 13 | GreatSPN | no-transient | fully-recurrent | 80782 | NO BASELINE | TO | TO | NO BASELINE | TO | TO | NO BASELINE |
| philosophers-dlfix | CTMC | 14 | GreatSPN | no-transient | fully-recurrent | 195025 | NO BASELINE | TO | TO | NO BASELINE | TO | TO | NO BASELINE |
| philosophers-dlfix | CTMC | 15 | GreatSPN | no-transient | fully-recurrent | 470832 | NO BASELINE | TO | MO | NO BASELINE | TO | MO | NO BASELINE |
| philosophers-dlfix | CTMC | 16 | GreatSPN | no-transient | fully-recurrent | 1136689 | NO BASELINE | TO | MO | NO BASELINE | TO | MO | NO BASELINE |
| philosophers-dlfix | CTMC | 17 | GreatSPN | no-transient | fully-recurrent | 2744210 | NO BASELINE | TO | MO | TO | MO | NO BASELINE | |
| philosophers-dlfix | CTMC | 18 | GreatSPN | no-transient | fully-recurrent | 6625109 | NO BASELINE | TO | MO | TO | MO | NO BASELINE | |
| 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 | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE |
| philosophers-dlfix | CTMC | 4 | GreatSPN | no-transient | fully-recurrent | 29 | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE |
| philosophers-dlfix | CTMC | 5 | GreatSPN | no-transient | fully-recurrent | 70 | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE |
| philosophers-dlfix | CTMC | 6 | GreatSPN | no-transient | fully-recurrent | 169 | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE |
| philosophers-dlfix | CTMC | 7 | GreatSPN | no-transient | fully-recurrent | 408 | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE |
| philosophers-dlfix | CTMC | 8 | GreatSPN | no-transient | fully-recurrent | 985 | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE | NO BASELINE |
| philosophers-dlfix | CTMC | 9 | GreatSPN | no-transient | fully-recurrent | 2378 | NO BASELINE | NO BASELINE | TO | NO BASELINE | NO BASELINE | TO | NO BASELINE |