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.025	1.483	0.025	14.757	0.101	0.025
lumbroso	DTMC	1024000	PRISM	cyclic	singleton-recurrent	52232191	TO	TO	TO	MO	MO	TO
lumbroso	DTMC	128	PRISM	cyclic	singleton-recurrent	255	0.000	0.000	0.000	0.005	0.000	0.000
lumbroso	DTMC	128000	PRISM	cyclic	singleton-recurrent	6529023	517.809	TO	556.536	TO	528.994	518.695
lumbroso	DTMC	16000	PRISM	cyclic	singleton-recurrent	816127	6.519	392.011	6.141	TO	7.430	6.406
lumbroso	DTMC	2000	PRISM	cyclic	singleton-recurrent	102015	0.079	5.839	0.076	59.036	0.253	0.094
lumbroso	DTMC	250	PRISM	cyclic	singleton-recurrent	12751	0.004	0.096	0.003	1.079	0.020	0.003
lumbroso	DTMC	256000	PRISM	cyclic	singleton-recurrent	13058047	TO	TO	TO	TO	TO	TO
lumbroso	DTMC	32000	PRISM	cyclic	singleton-recurrent	1632255	25.249	1591.949	25.626	TO	28.422	25.165
lumbroso	DTMC	4000	PRISM	cyclic	singleton-recurrent	204031	0.417	24.095	0.380	241.065	0.666	0.395
lumbroso	DTMC	500	PRISM	cyclic	singleton-recurrent	25503	0.011	0.379	0.009	3.880	0.042	0.009
lumbroso	DTMC	512000	PRISM	cyclic	singleton-recurrent	26116095	TO	TO	TO	TO	TO	TO
lumbroso	DTMC	64000	PRISM	cyclic	singleton-recurrent	3264511	96.668	TO	103.483	TO	106.784	100.551
lumbroso	DTMC	8000	PRISM	cyclic	singleton-recurrent	408063	1.629	98.011	1.596	991.323	2.280	1.635