Model	Parameters	Type	Original	EVT cat.	Stationary cat.	states	storm.sparse.gmres.0.001	storm.sparse.ovi-topo.1e-06	storm.sparse.ovi-topo.0.001	storm.sparse.ii-topo.0.001	storm.sparse.lu.0.001	storm.sparse.luexact.ignored	storm.sparse.ii-topo.1e-06	storm.sparse.gmres-topo.0.001	storm.sparse.vi.1e-06	storm.sparse.ii.1e-06	storm.sparse.ii.0.001	storm.sparse.ovi.0.001	storm.sparse.lu-topo.0.001	storm.sparse.gmres-topo.1e-06	storm.sparse.gmres.1e-06	storm.sparse.luexact-topo.ignored	storm.sparse.vi-topo.1e-06	storm.sparse.ovi.1e-06	storm.sparse.vi.0.001	storm.sparse.vi-topo.0.001
brp	DTMC	1024-5	PRISM	acyclic	singleton-recurrent	82952	0.287	0.174	0.197	0.202	0.201	23.389	0.206	0.174	0.897	0.885	0.893	2.259	0.216	0.174	0.241	18.622	0.173	1.959	0.856	0.201
brp	DTMC	2048-4	PRISM	acyclic	singleton-recurrent	139271	0.660	0.498	0.484	0.520	0.511	77.409	0.434	0.421	2.483	2.772	3.304	7.306	0.426	0.415	1.182	64.045	0.452	7.523	2.398	0.433
brp	DTMC	2048-5	PRISM	acyclic	singleton-recurrent	165896	0.963	0.746	0.710	0.778	0.758	122.067	0.629	0.725	3.089	3.431	3.832	7.825	0.673	0.625	1.405	102.253	0.607	8.810	3.170	0.632
coupon	DTMC	5-2-5	PGCL	cyclic	singleton-recurrent	5397	0.010	0.006	0.024	0.007	0.010	0.128	0.007	0.005	0.008	0.010	0.009	0.026	0.007	0.005	0.007	0.072	0.008	0.009	0.007	0.005
coupon	DTMC	7-3-5	PGCL	cyclic	singleton-recurrent	337710	1.961	1.312	1.101	1.196	4.676	1215.948	1.245	1.057	2.201	2.348	2.128	2.057	1.113	1.318	2.206	20.514	1.261	2.150	1.909	1.123
coupon	DTMC	9-4-5	PGCL	cyclic	singleton-recurrent	27642923	TO	TO	TO	TO	TO	TO	TO	TO	TO	TO	TO	TO	TO	TO	TO	TO	TO	TO	TO	TO
crafted-branch	DTMC	0.001-20-1000-100	PRISM	acyclic	mixed	107079	0.091	0.101	0.109	0.092	0.119	0.637	0.104	0.094	0.101	0.117	0.088	0.107	0.103	0.101	0.102	0.482	0.094	0.089	0.089	0.103
crafted-branch	DTMC	0.001-20-1000-1000	PRISM	acyclic	mixed	1007079	1.148	1.027	1.192	0.989	1.163	4.774	1.012	1.014	1.113	1.040	0.982	0.997	1.118	1.080	0.997	4.758	1.140	1.021	1.240	1.182
crafted-branch	DTMC	0.001-20-1000-10000	PRISM	acyclic	mixed	10007079	10.497	10.490	11.507	13.057	10.478	60.867	10.381	11.179	10.452	10.728	13.415	10.445	10.415	10.445	10.557	63.540	10.230	10.886	10.345	10.432
crowds	DTMC	4-15	PRISM	cyclic	singleton-recurrent	119800	0.276	0.275	0.308	0.400	0.319	4.056	0.394	0.267	0.288	0.333	0.316	0.291	0.287	0.274	0.270	1.967	0.260	0.306	0.267	0.272
crowds	DTMC	5-10	PRISM	cyclic	singleton-recurrent	111294	0.228	0.314	0.271	0.410	0.277	3.789	0.500	0.410	0.232	0.281	0.410	0.255	0.279	0.294	0.229	1.555	0.268	0.264	0.219	0.260
crowds	DTMC	5-15	PRISM	cyclic	singleton-recurrent	592060	6.100	5.413	5.591	8.580	5.877	23.382	8.796	5.404	5.659	6.547	6.340	5.962	5.439	5.490	5.686	13.988	5.446	5.798	5.541	6.138
crowds	DTMC	6-10	PRISM	cyclic	singleton-recurrent	352535	2.103	2.618	3.265	4.345	2.516	14.432	4.086	2.503	2.139	2.255	2.227	2.300	2.668	2.515	2.285	7.105	2.510	2.200	2.111	2.509
crowds	DTMC	6-5	PRISM	cyclic	singleton-recurrent	18817	0.023	0.041	0.029	0.035	0.036	0.411	0.044	0.025	0.037	0.047	0.028	0.045	0.029	0.028	0.041	0.225	0.048	0.046	0.025	0.025
egl	DTMC	5-2	PRISM	acyclic	singleton-recurrent	33790	0.060	0.059	0.063	0.061	0.088	0.536	0.045	0.079	0.045	0.050	0.068	0.054	0.053	0.045	0.047	0.194	0.043	0.051	0.056	0.060
egl	DTMC	5-4	PRISM	acyclic	singleton-recurrent	74750	0.145	0.149	0.175	0.148	0.172	1.189	0.158	0.151	0.150	0.168	0.158	0.173	0.147	0.158	0.151	0.374	0.205	0.145	0.146	0.150
egl	DTMC	5-6	PRISM	acyclic	singleton-recurrent	115710	0.355	0.386	0.296	0.300	0.396	2.216	0.329	0.405	0.295	0.345	0.323	0.298	0.350	0.342	0.308	0.794	0.320	0.380	0.384	0.379
egl	DTMC	5-8	PRISM	acyclic	singleton-recurrent	156670	0.539	0.594	0.573	0.584	0.612	2.626	0.639	0.670	0.651	0.650	0.586	0.633	0.552	0.660	0.639	1.063	0.592	0.657	0.542	0.620
embedded	CTMC	4	PRISM	cyclic	singleton-recurrent	5168	0.010	0.486	0.316	0.472	0.028	42.193	0.702	0.010	16.568	328.932	277.721	65.700	0.019	0.010	0.009	0.482	0.115	145.697	0.165	0.034
embedded	CTMC	5	PRISM	cyclic	singleton-recurrent	6013	0.031	0.517	0.361	0.602	0.058	62.158	0.746	0.020	20.028	384.864	355.028	83.002	0.029	0.012	0.010	0.689	0.108	176.171	0.203	0.016
embedded	CTMC	6	PRISM	cyclic	singleton-recurrent	6858	0.010	0.561	0.370	0.526	0.059	82.085	0.778	0.015	24.199	462.972	369.498	86.437	0.017	0.015	0.013	1.240	0.130	194.245	0.208	0.015
embedded	CTMC	7	PRISM	cyclic	singleton-recurrent	7703	0.019	0.571	0.403	0.587	0.053	47.909	0.790	0.026	24.830	517.599	440.629	113.693	0.022	0.017	0.015	1.536	0.131	218.631	0.258	0.027
embedded	CTMC	8	PRISM	cyclic	singleton-recurrent	8548	0.018	0.721	0.373	0.630	0.052	130.882	0.863	0.020	25.543	575.192	470.720	113.235	0.030	0.031	0.014	1.553	0.134	248.982	0.288	0.038
haddad-monmege	DTMC	20-0.7	PRISM	fully-connected	singleton-recurrent	41	0.001	0.878	0.429	0.608	0.001	0.018	1.159	0.002	0.071	1.158	0.581	0.486	0.001	0.001	0.001	0.001	0.052	0.912	0.001	0.001
haddad-monmege	DTMC	300-0.7	PRISM	fully-connected	singleton-recurrent	601	0.002	TO	TO	TO	0.003	0.063	TO	0.002	0.796	TO	TO	TO	0.003	0.002	0.005	0.064	0.881	TO	0.002	0.002
herman	DTMC	11	PRISM	cyclic	mixed	2048	0.029	0.009	0.009	0.022	0.231	TO	0.015	0.019	0.029	0.041	0.053	0.039	0.065	0.011	0.054	TO	0.018	0.021	0.042	0.029
herman	DTMC	13	PRISM	cyclic	mixed	8192	0.300	0.072	0.070	0.114	15.042	TO	0.101	0.111	0.190	0.428	0.373	0.191	0.739	0.075	0.373	TO	0.067	0.220	0.119	0.066
herman	DTMC	15	PRISM	cyclic	mixed	32768	3.968	0.588	0.581	0.806	1358.177	MO	0.842	0.652	2.530	6.342	4.319	2.090	42.444	0.648	4.389	TO	0.550	3.299	1.554	0.608
herman	DTMC	17	PRISM	cyclic	mixed	131072	40.530	5.212	5.224	6.971	TO	MO	7.225	5.623	28.248	64.038	47.947	25.489	MO	5.902	50.080	MO	4.910	37.210	15.297	5.215
herman	DTMC	9	PRISM	cyclic	mixed	512	0.003	0.014	0.002	0.002	0.043	40.290	0.018	0.002	0.003	0.004	0.004	0.002	0.011	0.002	0.003	7.910	0.002	0.013	0.002	0.002
leader_sync	DTMC	4-2	PRISM	cyclic	singleton-recurrent	61	0.000	0.001	0.001	0.001	0.024	0.002	0.000	0.001	0.028	0.001	0.001	0.001	0.012	0.001	0.001	0.002	0.001	0.001	0.018	0.014
leader_sync	DTMC	4-3	PRISM	cyclic	singleton-recurrent	274	0.001	0.001	0.001	0.001	0.001	0.006	0.001	0.002	0.001	0.001	0.001	0.001	0.001	0.001	0.001	0.003	0.001	0.001	0.001	0.001
leader_sync	DTMC	4-4	PRISM	cyclic	singleton-recurrent	812	0.001	0.001	0.002	0.002	0.001	0.014	0.001	0.001	0.001	0.001	0.001	0.002	0.001	0.001	0.001	0.013	0.001	0.001	0.002	0.001
leader_sync	DTMC	5-2	PRISM	cyclic	singleton-recurrent	141	0.001	0.001	0.001	0.003	0.001	0.004	0.001	0.016	0.002	0.001	0.038	0.001	0.001	0.001	0.001	0.003	0.001	0.074	0.001	0.002
leader_sync	DTMC	5-3	PRISM	cyclic	singleton-recurrent	1050	0.002	0.001	0.003	0.032	0.002	0.017	0.001	0.002	0.002	0.002	0.023	0.012	0.002	0.001	0.001	0.009	0.002	0.002	0.002	0.002
leader_sync	DTMC	5-4	PRISM	cyclic	singleton-recurrent	4244	0.005	0.004	0.004	0.004	0.012	0.075	0.005	0.004	0.004	0.005	0.005	0.004	0.005	0.004	0.005	0.031	0.004	0.004	0.006	0.005
lumbroso	DTMC	1000	PRISM	cyclic	singleton-recurrent	51007	0.105	0.056	0.078	0.065	0.098	0.800	0.055	0.067	0.082	0.098	0.094	0.093	0.057	0.058	0.086	0.294	0.055	0.083	0.136	0.080
lumbroso	DTMC	16000	PRISM	cyclic	singleton-recurrent	816127	14.725	7.008	7.456	7.496	15.007	27.407	7.027	6.914	14.973	15.265	14.756	15.803	6.916	7.149	14.687	10.781	6.799	15.039	14.973	6.789
lumbroso	DTMC	4000	PRISM	cyclic	singleton-recurrent	204031	0.941	0.518	0.522	0.523	0.936	4.452	0.517	0.505	0.891	0.974	0.981	0.935	0.532	0.506	0.908	1.498	0.537	1.013	0.896	0.533
lumbroso	DTMC	64000	PRISM	cyclic	singleton-recurrent	3264511	269.687	113.368	128.609	116.194	231.988	MO	115.911	105.271	227.447	223.062	223.798	268.308	107.967	106.631	228.630	121.083	103.558	250.250	235.369	127.277
nand	DTMC	20-2	PRISM	acyclic	singleton-recurrent	154942	0.623	0.569	0.594	0.610	0.634	5.696	0.561	0.658	0.707	0.677	0.700	0.801	0.558	0.573	0.549	1.714	0.544	0.755	0.602	0.656
nand	DTMC	20-3	PRISM	acyclic	singleton-recurrent	231552	1.358	1.223	1.297	1.265	1.614	9.968	1.266	1.226	1.427	1.599	1.693	2.460	1.409	1.318	1.269	3.186	1.221	1.713	1.703	1.374
nand	DTMC	20-4	PRISM	acyclic	singleton-recurrent	308162	2.173	2.171	2.160	2.229	2.577	14.967	2.282	2.157	2.462	2.819	2.624	3.628	2.268	2.161	2.529	5.138	2.213	3.172	2.717	2.217
nand	DTMC	40-1	PRISM	acyclic	singleton-recurrent	1004862	21.792	22.310	22.952	22.678	22.742	96.935	23.046	26.049	22.825	23.085	26.880	24.058	22.291	21.985	21.542	31.156	21.845	26.358	24.303	22.395
nand	DTMC	40-2	PRISM	acyclic	singleton-recurrent	2003082	83.959	88.025	88.732	88.697	87.614	MO	88.031	102.104	88.234	88.944	99.888	101.370	87.373	86.532	83.993	107.272	86.601	110.108	89.522	87.514
nand	DTMC	40-4	PRISM	acyclic	singleton-recurrent	3999522	351.732	350.269	358.832	353.572	345.667	MO	347.627	350.315	357.966	355.814	354.196	395.423	347.888	346.619	342.219	391.493	363.271	373.849	357.352	344.608
oscillators	DTMC	6-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	5006	0.015	0.009	0.009	0.011	0.018	29.926	0.010	0.010	0.020	0.041	0.031	0.020	0.012	0.028	0.016	2.163	0.009	0.031	0.014	0.010
oscillators	DTMC	6-8-0.1-1-0.1-1.0	PRISM	cyclic	mixed	1717	0.004	0.004	0.004	0.004	0.005	0.434	0.004	0.003	0.006	0.009	0.011	0.006	0.004	0.004	0.006	0.076	0.004	0.007	0.003	0.003
oscillators	DTMC	7-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	11441	0.039	0.024	0.023	0.032	0.068	880.263	0.027	0.026	0.043	0.076	0.058	0.052	0.031	0.050	0.060	15.281	0.026	0.065	0.028	0.025
oscillators	DTMC	8-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	24311	0.082	0.064	0.066	0.082	0.339	TO	0.076	0.094	0.164	0.275	0.246	0.232	0.091	0.078	0.100	60.897	0.064	0.259	0.077	0.061
oscillators	DTMC	8-8-0.1-1-0.1-1.0	PRISM	cyclic	mixed	6436	0.015	0.024	0.014	0.043	0.033	26.886	0.017	0.014	0.042	0.068	0.048	0.048	0.018	0.015	0.019	1.169	0.028	0.057	0.017	0.013
philosophers-dl	CTMC	10	GreatSPN	fully-connected	singleton-recurrent	6726	0.011	0.015	0.012	0.017	8.792	TO	0.020	0.010	0.013	0.016	0.018	0.015	7.864	0.010	0.010	TO	0.013	0.015	0.010	0.009
philosophers-dl	CTMC	12	GreatSPN	fully-connected	singleton-recurrent	39202	0.064	0.123	0.074	0.109	TO	TO	0.150	0.061	0.080	0.139	0.120	0.077	TO	0.063	0.064	TO	0.077	0.115	0.060	0.058
philosophers-dl	CTMC	16	GreatSPN	fully-connected	singleton-recurrent	1331714	2.766	6.165	5.511	7.338	TO	MO	9.622	2.977	4.817	9.630	7.859	5.039	TO	3.597	3.598	MO	5.028	5.621	3.615	107.527
philosophers-dl	CTMC	8	GreatSPN	fully-connected	singleton-recurrent	1154	0.002	0.003	0.003	0.003	0.044	TO	0.002	0.004	0.024	0.003	0.002	0.003	0.040	0.003	0.024	TO	0.021	0.010	0.002	0.002