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	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE
lumbroso	DTMC	1024000	PRISM	cyclic	singleton-recurrent	52232191	TO	TO	TO	MO	MO	TO
lumbroso	DTMC	128	PRISM	cyclic	singleton-recurrent	255	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE
lumbroso	DTMC	128000	PRISM	cyclic	singleton-recurrent	6529023	NO BASELINE	TO	NO BASELINE	TO	NO BASELINE	NO BASELINE
lumbroso	DTMC	16000	PRISM	cyclic	singleton-recurrent	816127	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE
lumbroso	DTMC	2000	PRISM	cyclic	singleton-recurrent	102015	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE
lumbroso	DTMC	250	PRISM	cyclic	singleton-recurrent	12751	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE
lumbroso	DTMC	256000	PRISM	cyclic	singleton-recurrent	13058047	TO	TO	TO	TO	TO	TO
lumbroso	DTMC	32000	PRISM	cyclic	singleton-recurrent	1632255	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE
lumbroso	DTMC	4000	PRISM	cyclic	singleton-recurrent	204031	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE
lumbroso	DTMC	500	PRISM	cyclic	singleton-recurrent	25503	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE
lumbroso	DTMC	512000	PRISM	cyclic	singleton-recurrent	26116095	TO	TO	TO	TO	TO	TO
lumbroso	DTMC	64000	PRISM	cyclic	singleton-recurrent	3264511	NO BASELINE	TO	NO BASELINE	TO	NO BASELINE	NO BASELINE
lumbroso	DTMC	8000	PRISM	cyclic	singleton-recurrent	408063	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE