| Model | Parameters | Type | Original | EVT cat. | Stationary cat. | states | storm.sparse.evtfull-ovi-topo.0.001 | storm.sparse.classic-gmres-topo.1e-06 | storm.sparse.evtfull-gmres-topo.1e-06 | storm.sparse.classic-luexact-topo.ignored | storm.sparse.evtfull-luexact-topo.ignored | storm.sparse.evtfull-ii-topo.0.001 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| lumbroso | DTMC | 1000 | PRISM | cyclic | singleton-recurrent | 51007 | 0.9176211357116699 | 1.5923137664794922 | 0.13083529472351074 | 14.935609102249146 | 0.281339168548584 | 0.1328296661376953 |
| lumbroso | DTMC | 1024000 | PRISM | cyclic | singleton-recurrent | 52232191 | TO | TO | TO | MO | MO | TO |
| lumbroso | DTMC | 128 | PRISM | cyclic | singleton-recurrent | 255 | 0.06912636756896973 | 0.07961463928222656 | 0.07191681861877441 | 1.3250515460968018 | 1.3205459117889404 | 0.06877732276916504 |
| lumbroso | DTMC | 128000 | PRISM | cyclic | singleton-recurrent | 6529023 | 523.7855262756348 | TO | 564.0100548267365 | TO | 545.8859913349152 | 524.9411725997925 |
| lumbroso | DTMC | 16000 | PRISM | cyclic | singleton-recurrent | 816127 | 7.242498397827148 | 392.73025345802307 | 6.8836634159088135 | TO | 9.410394430160522 | 7.1667726039886475 |
| lumbroso | DTMC | 2000 | PRISM | cyclic | singleton-recurrent | 102015 | 0.22307181358337402 | 5.980005502700806 | 0.21460771560668945 | 59.47565412521362 | 0.7435305118560791 | 0.6988556385040283 |
| lumbroso | DTMC | 250 | PRISM | cyclic | singleton-recurrent | 12751 | 1.5277981758117676 | 0.17498254776000977 | 0.08016753196716309 | 1.1741511821746826 | 0.11414742469787598 | 0.08096122741699219 |
| lumbroso | DTMC | 256000 | PRISM | cyclic | singleton-recurrent | 13058047 | TO | TO | TO | TO | TO | TO |
| lumbroso | DTMC | 32000 | PRISM | cyclic | singleton-recurrent | 1632255 | 26.671485900878906 | 1593.3523082733154 | 27.01198124885559 | TO | 32.33800435066223 | 26.62501049041748 |
| lumbroso | DTMC | 4000 | PRISM | cyclic | singleton-recurrent | 204031 | 0.6474471092224121 | 24.317437887191772 | 0.6107854843139648 | 241.6088559627533 | 1.2247090339660645 | 0.6218664646148682 |
| lumbroso | DTMC | 500 | PRISM | cyclic | singleton-recurrent | 25503 | 0.10231208801269531 | 0.46468329429626465 | 0.09478092193603516 | 4.001870155334473 | 0.16653132438659668 | 0.09622645378112793 |
| lumbroso | DTMC | 512000 | PRISM | cyclic | singleton-recurrent | 26116095 | TO | TO | TO | TO | TO | TO |
| lumbroso | DTMC | 64000 | PRISM | cyclic | singleton-recurrent | 3264511 | 99.72988247871399 | TO | 106.46040964126587 | TO | 115.02615404129028 | 103.59971880912781 |
| lumbroso | DTMC | 8000 | PRISM | cyclic | singleton-recurrent | 408063 | 2.020467519760132 | 98.40521669387817 | 1.9932401180267334 | 993.8640885353088 | 4.8391594886779785 | 2.0188610553741455 |