Model	Parameters	Type	Original	EVT cat.	Stationary cat.	states	sds.default-abs.ap-sample.0.001	storm.sparse.evtfull-gmres-topo.1e-06	storm.sparse.evtfull-ii-topo.1e-06	storm.sparse.evtfull-ovi-topo.1e-06	storm.sparse.evtfull-ii-topo.0.001	storm.sparse.evtreach-gmres-topo.1e-06	storm.sparse.evtreach-lu-topo.0.001	storm.sparse.classic-gmres-topo.1e-06	storm.sparse.evtfull-lu-topo.0.001	storm.sparse.evtfull-ovi-topo.0.001	prism.explicit-rel.default.0.001	storm.sparse.evtreach-gmres-topo.0.001	storm.sparse.classic-lu-topo.0.001	storm.sparse.evtreach-luexact-topo.ignored	storm.sparse.classic-gmres-topo.0.001	sds.default-abs.ap-naive.0.001	storm.sparse.evtfull-luexact-topo.ignored	storm.sparse.classic-luexact-topo.ignored	storm.sparse.evtfull-gmres-topo.0.001
brp	DTMC	1024-5	PRISM	acyclic	singleton-recurrent	82952	NA	0.204	0.174	0.182	0.174	0.188	0.177	4.859	0.171	0.173	1448.636	0.173	4.356	17.338	4.316	TO	17.347	TO	0.171
brp	DTMC	2048-4	PRISM	acyclic	singleton-recurrent	139271	ERR	0.442	0.437	0.436	0.439	0.436	0.462	16.651	0.480	0.518	MO	0.440	14.547	58.153	14.507	TO	58.140	TO	0.444
brp	DTMC	2048-5	PRISM	acyclic	singleton-recurrent	165896	ERR	0.627	0.677	0.623	0.624	0.613	0.624	18.143	0.632	0.625	MO	0.623	18.385	94.771	17.972	TO	95.044	TO	0.632
cluster	CTMC	128	PRISM	no-transient	fully-recurrent	597012	TO	201.733	TO	TO	TO	39.467	MO	90.670	526.002	TO	MO	0.979	MO	MO	1.006	TO	MO	MO	164.596
cluster	CTMC	256	PRISM	no-transient	fully-recurrent	2373652	TO	TO	TO	TO	TO	171.529	MO	162.573	MO	TO	MO	4.343	MO	MO	4.328	TO	MO	MO	TO
cluster	CTMC	64	PRISM	no-transient	fully-recurrent	151060	TO	22.388	TO	TO	TO	7.298	239.329	7.281	44.786	TO	MO	0.384	347.660	TO	0.388	TO	TO	TO	22.472
crafted-branch	DTMC	0.001-20-1000-100	PRISM	acyclic	mixed	107079	NA	0.320	TO	TO	TO	0.243	0.396	0.473	0.397	TO	4.262	0.252	0.711	7.121	0.449	NA	6.106	11.790	0.371
crafted-branch	DTMC	0.001-20-1000-1000	PRISM	acyclic	mixed	1007079	NA	3.742	TO	TO	TO	2.948	16.832	2.699	16.964	TO	65.318	3.177	16.048	719.890	3.055	NA	444.524	721.611	3.563
crafted-branch	DTMC	0.001-20-1000-10000	PRISM	acyclic	mixed	10007079	NA	74.358	TO	TO	TO	53.351	TO	45.013	1769.328	TO	MO	59.300	TO	TO	52.649	NA	TO	TO	57.058
crafted-loop	DTMC	10000	PRISM	no-transient	fully-recurrent	10000	TO	0.013	TO	TO	TO	0.191	1.958	0.198	0.011	TO	ERR	0.248	1.944	MO	0.197	TO	2.407	MO	0.012
crafted-loop	DTMC	100000	PRISM	no-transient	fully-recurrent	100000	ERR	0.144	TO	TO	TO	0.104	MO	0.120	0.160	TO	MO	0.129	MO	MO	0.150	ERR	594.701	MO	0.134
crafted-loop	DTMC	1000000	PRISM	no-transient	fully-recurrent	1000000	TO	1.342	TO	TO	TO	1.128	MO	1.176	1.346	TO	MO	1.109	MO	MO	1.113	TO	MO	MO	1.344
crowds	DTMC	4-15	PRISM	cyclic	singleton-recurrent	119800	ERR	0.257	0.443	0.315	0.384	0.327	0.264	246.967	0.331	0.307	82.826	0.295	330.239	1.673	246.523	TO	1.669	TO	0.301
crowds	DTMC	5-10	PRISM	cyclic	singleton-recurrent	111294	ERR	0.296	0.426	0.291	0.412	0.399	0.329	233.163	0.293	0.274	57.201	0.288	276.358	1.282	238.509	TO	1.281	TO	0.289
crowds	DTMC	5-15	PRISM	cyclic	singleton-recurrent	592060	ERR	5.500	8.252	6.435	8.221	5.464	5.553	TO	5.519	5.554	MO	5.505	TO	12.402	TO	ERR	13.514	TO	5.464
crowds	DTMC	6-10	PRISM	cyclic	singleton-recurrent	352535	ERR	2.690	4.765	2.640	4.077	2.551	2.654	TO	2.615	2.597	435.188	2.573	TO	5.852	TO	ERR	5.867	TO	2.577
crowds	DTMC	6-5	PRISM	cyclic	singleton-recurrent	18817	NA	0.028	0.040	0.026	0.039	0.026	0.027	2.694	0.029	0.029	0.948	0.026	3.651	0.167	2.619	TO	0.166	48.564	0.026
egl	DTMC	5-2	PRISM	acyclic	singleton-recurrent	33790	NA	0.027	0.023	0.023	0.035	0.024	0.025	0.024	0.027	0.035	0.074	0.028	0.024	0.064	0.022	NA	0.059	0.065	0.028
egl	DTMC	5-4	PRISM	acyclic	singleton-recurrent	74750	NA	0.053	0.054	0.062	0.053	0.054	0.112	0.065	0.068	0.071	0.126	0.075	0.051	0.151	0.076	NA	0.157	0.166	0.053
egl	DTMC	5-6	PRISM	acyclic	singleton-recurrent	115710	NA	0.144	0.084	0.078	0.111	0.077	0.088	0.078	0.094	0.117	0.161	0.080	0.082	0.240	0.094	NA	0.220	0.223	0.091
egl	DTMC	5-8	PRISM	acyclic	singleton-recurrent	156670	NA	0.127	0.129	0.142	0.116	0.114	0.118	0.118	0.117	0.114	0.185	0.117	0.115	0.333	0.117	NA	0.291	0.359	0.119
embedded	CTMC	4	PRISM	cyclic	singleton-recurrent	5168	NA	0.012	0.859	0.511	0.542	0.009	0.011	0.135	0.011	0.332	2.044	0.010	0.189	0.466	0.133	NA	0.461	4.653	0.010
embedded	CTMC	5	PRISM	cyclic	singleton-recurrent	6013	NA	0.023	0.813	0.568	0.527	0.012	0.014	0.173	0.034	0.328	2.22	0.012	0.223	0.651	0.169	NA	0.602	6.314	0.032
embedded	CTMC	6	PRISM	cyclic	singleton-recurrent	6858	NA	0.017	0.802	0.565	0.550	0.017	0.019	0.224	0.019	0.341	2.833	0.017	0.324	1.153	0.239	NA	1.174	10.008	0.014
embedded	CTMC	7	PRISM	cyclic	singleton-recurrent	7703	NA	0.019	0.822	0.599	0.573	0.019	0.018	0.248	0.021	0.366	3.272	0.019	0.369	1.302	0.254	NA	1.449	8.015	0.018
embedded	CTMC	8	PRISM	cyclic	singleton-recurrent	8548	NA	0.024	0.940	0.662	0.627	0.024	0.022	0.351	0.022	0.467	3.475	0.024	0.457	2.411	0.294	NA	1.578	9.289	0.024
fms	CTMC	7	PRISM	no-transient	fully-recurrent	1639440	TO	6.979	TO	TO	TO	5.200	TO	4.809	TO	TO	MO	3.997	TO	TO	3.794	TO	TO	TO	5.766
fms	CTMC	8	PRISM	no-transient	fully-recurrent	4459455	TO	19.243	TO	TO	TO	16.867	TO	15.581	TO	TO	MO	10.798	TO	MO	12.075	TO	MO	MO	18.773
fms	CTMC	9	PRISM	no-transient	fully-recurrent	11058190	TO	50.528	TO	TO	TO	36.693	TO	37.887	TO	TO	MO	32.691	TO	MO	32.122	TO	MO	MO	50.423
haddad-monmege	DTMC	20-0.7	PRISM	fully-connected	singleton-recurrent	41	NA	0.010	1.215	0.918	0.638	0.017	0.001	0.019	0.001	0.458	0.032	0.001	0.001	0.001	0.001	TO	0.001	0.002	0.001
haddad-monmege	DTMC	300-0.7	PRISM	fully-connected	singleton-recurrent	601	TO	0.002	TO	TO	TO	0.002	0.003	0.001	0.003	TO	0.056	0.003	0.001	0.061	0.001	TO	0.074	0.015	0.003
herman	DTMC	11	PRISM	cyclic	mixed	2048	NS	0.006	0.006	0.006	0.006	0.004	0.021	0.004	0.027	0.006	0.078	0.004	0.022	0.014	0.004	NS	0.054	0.015	0.006
herman	DTMC	13	PRISM	cyclic	mixed	8192	NS	0.055	0.050	0.051	0.053	0.022	0.021	0.031	0.049	0.048	0.232	0.020	0.019	0.092	0.019	NS	0.536	0.092	0.051
herman	DTMC	15	PRISM	cyclic	mixed	32768	NS	0.856	0.442	0.441	0.418	0.128	0.130	0.125	0.437	0.412	MO	0.134	0.122	0.734	0.127	NS	4.956	0.730	0.438
herman	DTMC	17	PRISM	cyclic	mixed	131072	NS	4.586	3.925	3.898	3.771	0.946	0.983	0.947	3.950	3.722	MO	0.966	0.924	6.235	1.095	NS	MO	6.225	3.844
herman	DTMC	9	PRISM	cyclic	mixed	512	NS	0.001	0.003	0.002	0.004	0.002	0.002	0.001	0.027	0.004	0.046	0.003	0.001	0.015	0.004	NS	0.008	0.023	0.005
kanban	CTMC	4	PRISM	no-transient	fully-recurrent	454475	TO	1.774	TO	TO	TO	1.464	TO	1.192	TO	TO	MO	0.918	TO	MO	1.259	TO	MO	MO	1.524
kanban	CTMC	5	PRISM	no-transient	fully-recurrent	2546432	TO	16.320	TO	TO	TO	9.028	TO	8.585	TO	TO	MO	4.992	TO	MO	4.942	TO	MO	MO	11.611
kanban	CTMC	6	PRISM	no-transient	fully-recurrent	11261376	TO	MO	TO	TO	TO	43.705	TO	44.616	TO	TO	MO	30.521	TO	MO	24.060	TO	MO	MO	MO
leader_sync	DTMC	4-2	PRISM	cyclic	singleton-recurrent	61	NA	0.000	0.001	0.011	0.001	0.001	0.001	0.002	0.001	0.001	0.026	0.002	0.001	0.013	0.032	TO	0.001	0.003	0.001
leader_sync	DTMC	4-3	PRISM	cyclic	singleton-recurrent	274	NA	0.008	0.010	0.001	0.001	0.009	0.011	0.007	0.001	0.002	0.025	0.001	0.001	0.001	0.001	TO	0.001	0.001	0.001
leader_sync	DTMC	4-4	PRISM	cyclic	singleton-recurrent	812	NA	0.002	0.002	0.001	0.003	0.002	0.001	0.001	0.001	0.010	0.065	0.001	0.001	0.002	0.001	TO	0.002	0.002	0.002
leader_sync	DTMC	5-2	PRISM	cyclic	singleton-recurrent	141	NA	0.001	0.001	0.001	0.001	0.001	0.001	0.001	0.001	0.001	0.038	0.001	0.001	0.012	0.001	TO	0.002	0.003	0.001
leader_sync	DTMC	5-3	PRISM	cyclic	singleton-recurrent	1050	NA	0.003	0.003	0.002	0.044	0.002	0.001	0.001	0.002	0.002	0.036	0.001	0.001	0.003	0.001	TO	0.003	0.006	0.002
leader_sync	DTMC	5-4	PRISM	cyclic	singleton-recurrent	4244	NA	0.015	0.013	0.034	0.003	0.003	0.019	0.004	0.009	0.004	0.041	0.004	0.013	0.013	0.017	TO	0.020	0.009	0.006
lumbroso	DTMC	1000	PRISM	cyclic	singleton-recurrent	51007	NA	0.067	0.079	0.056	0.057	0.067	0.135	1.506	0.063	0.057	3.204	0.062	1.524	0.192	1.733	NA	0.253	15.185	0.058
lumbroso	DTMC	16000	PRISM	cyclic	singleton-recurrent	816127	ERR	7.590	6.733	7.978	6.785	7.593	8.182	411.734	7.396	6.773	MO	7.025	464.381	10.374	419.598	ERR	10.360	TO	8.054
lumbroso	DTMC	4000	PRISM	cyclic	singleton-recurrent	204031	NA	0.601	0.633	0.567	0.569	0.599	0.499	25.529	0.569	0.509	81.63	0.591	25.746	1.032	25.973	NA	1.006	246.108	0.574
lumbroso	DTMC	64000	PRISM	cyclic	singleton-recurrent	3264511	ERR	105.678	106.657	107.850	111.063	104.655	104.768	TO	104.920	109.007	MO	105.781	TO	109.533	TO	ERR	109.512	TO	106.761
majority	CTMC		PRISM	no-transient	fully-recurrent	192000	TO	0.685	496.574	148.650	471.658	0.753	TO	0.742	TO	77.008	MO	0.492	TO	TO	0.466	TO	TO	TO	0.445
mapk_cascade	CTMC	5	PRISM	no-transient	fully-recurrent	408366	TO	10.892	TO	TO	TO	1.724	TO	1.884	TO	TO	MO	1.075	TO	MO	0.932	TO	MO	MO	7.734
mapk_cascade	CTMC	6	PRISM	no-transient	fully-recurrent	1373026	TO	70.640	TO	TO	TO	7.046	MO	7.021	TO	TO	MO	3.639	TO	MO	4.297	TO	MO	MO	45.249
mapk_cascade	CTMC	7	PRISM	no-transient	fully-recurrent	3979348	TO	835.576	TO	TO	TO	22.038	TO	20.757	TO	TO	MO	11.819	TO	MO	12.657	TO	MO	MO	501.875
nand	DTMC	20-2	PRISM	acyclic	singleton-recurrent	154942	NA	0.610	0.608	0.618	0.569	0.584	0.588	0.256	0.586	0.556	9.403	0.620	0.271	1.226	0.256	TO	1.236	5.989	0.579
nand	DTMC	20-3	PRISM	acyclic	singleton-recurrent	231552	NA	1.213	1.265	1.318	1.310	1.221	1.209	0.436	1.201	1.239	19.659	1.251	0.401	2.295	0.405	TO	2.286	11.561	1.245
nand	DTMC	20-4	PRISM	acyclic	singleton-recurrent	308162	NA	2.458	2.162	2.177	2.160	2.151	2.170	0.540	2.156	2.186	33.114	2.495	0.538	3.816	0.721	TO	3.786	20.835	2.488
nand	DTMC	40-1	PRISM	acyclic	singleton-recurrent	1004862	NA	22.122	21.973	22.419	22.753	22.691	22.087	3.523	22.113	26.459	122.215	22.681	3.381	27.390	3.317	TO	27.332	73.782	22.659
nand	DTMC	40-2	PRISM	acyclic	singleton-recurrent	2003082	NA	87.742	86.323	86.559	87.570	99.077	107.737	6.536	89.051	87.456	436.534	88.735	6.787	105.356	7.136	TO	105.312	305.230	88.694
nand	DTMC	40-4	PRISM	acyclic	singleton-recurrent	3999522	NA	354.427	351.544	366.364	382.994	345.326	413.763	12.916	404.321	384.068	MO	454.639	14.206	460.529	13.860	TO	460.311	941.737	448.987
oscillators	DTMC	6-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	5006	NA	0.009	0.024	0.012	0.008	0.013	0.009	0.010	0.009	0.009	0.041	0.008	0.007	0.017	0.007	NA	0.023	0.016	0.007
oscillators	DTMC	6-8-0.1-1-0.1-1.0	PRISM	cyclic	mixed	1717	NA	0.002	0.003	0.003	0.003	0.014	0.002	0.013	0.003	0.002	0.032	0.003	0.003	0.006	0.003	NA	0.009	0.006	0.002
oscillators	DTMC	7-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	11441	NA	0.066	0.024	0.023	0.026	0.024	0.023	0.022	0.022	0.025	0.087	0.025	0.020	0.046	0.018	NA	0.071	0.049	0.019
oscillators	DTMC	8-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	24311	NA	0.053	0.134	0.051	0.060	0.052	0.059	0.048	0.048	0.058	0.104	0.050	0.068	0.090	0.061	NA	0.206	0.111	0.048
oscillators	DTMC	8-8-0.1-1-0.1-1.0	PRISM	cyclic	mixed	6436	NA	0.011	0.012	0.014	0.013	0.011	0.012	0.012	0.011	0.012	0.073	0.011	0.011	0.020	0.011	NA	0.029	0.032	0.017
polling	CTMC	10	PRISM	no-transient	fully-recurrent	15360	TO	0.062	TO	TO	TO	0.035	3.314	0.050	1.007	TO	0.718	0.024	3.040	TO	0.029	TO	TO	TO	0.042
polling	CTMC	12	PRISM	no-transient	fully-recurrent	73728	TO	0.376	TO	TO	TO	0.261	277.067	0.260	102.388	TO	MO	0.153	276.959	TO	0.154	TO	TO	TO	0.239
polling	CTMC	6	PRISM	no-transient	fully-recurrent	576	NA	0.002	1.816	1.682	1.149	0.002	0.004	0.002	0.003	1.079	0.07	0.023	0.004	5.761	0.002	NA	3.911	5.747	0.024
polling	CTMC	7	PRISM	no-transient	fully-recurrent	1344	NA	0.003	13.934	13.228	8.836	0.003	0.008	0.003	0.007	7.968	0.134	0.003	0.009	95.974	0.003	NA	148.294	95.784	0.003
polling	CTMC	8	PRISM	no-transient	fully-recurrent	3072	TO	0.007	102.365	99.831	63.641	0.007	0.075	0.006	0.026	54.974	0.171	0.005	0.074	TO	0.005	TO	TO	TO	0.007
speed-ind	CTMC		PRISM	no-transient	fully-recurrent	743424	TO	7.218	TO	TO	TO	7.340	TO	3.883	TO	TO	MO	2.539	TO	MO	2.532	TO	MO	MO	10.046
tandem	CTMC	255	PRISM	no-transient	fully-recurrent	130816	TO	146.049	TO	TO	TO	8.911	24.385	8.254	4.183	TO	MO	0.576	24.211	TO	0.530	TO	TO	TO	154.492
tandem	CTMC	511	PRISM	no-transient	fully-recurrent	523776	TO	861.256	TO	TO	TO	55.782	203.529	56.300	31.852	TO	MO	4.972	246.420	TO	4.501	TO	TO	TO	801.372
toggle-switch	CTMC		PRISM	no-transient	fully-recurrent	99	NA	0.001	0.051	0.031	0.036	0.001	0.628	0.002	0.001	0.017	0.037	0.001	0.001	0.856	0.001	NA	0.347	1.007	0.002