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	-8000	8.421247941312927e-14	8.342127033556912e-14	8.342127033556912e-14	8.342127033556912e-14	8.421247941312927e-14	8.421247941312927e-14	8.48183245887633e-14	8.421247941312927e-14	8.342127033556912e-14	-8000	8.421247941312927e-14	8.48183245887633e-14	0.0	8.48183245887633e-14	TO	0.0	TO	8.421247941312927e-14
brp	DTMC	2048-4	PRISM	acyclic	singleton-recurrent	139271	ERR	1.7267395287044455e-13	1.7211459051438543e-13	1.7211459051438543e-13	1.7211459051438543e-13	1.7267395287044455e-13	1.7267395287044455e-13	1.6388515886206863e-13	1.7267395287044455e-13	1.7211459051438543e-13	MO	1.7267395287044455e-13	1.6388515886206863e-13	0.0	1.6388515886206863e-13	TO	0.0	TO	1.7267395287044455e-13
brp	DTMC	2048-5	PRISM	acyclic	singleton-recurrent	165896	ERR	1.7105028792067266e-13	1.7027563686864712e-13	1.7027563686864712e-13	1.7027563686864712e-13	1.7105028792067266e-13	1.7105028792067266e-13	1.7488730736635482e-13	1.7105028792067266e-13	1.7027563686864712e-13	MO	1.7105028792067266e-13	1.7488730736635482e-13	0.0	1.7488730736635482e-13	TO	0.0	TO	1.7105028792067266e-13
cluster	CTMC	128	PRISM	no-transient	fully-recurrent	597012	TO	NO BASELINE	TO	TO	TO	NO BASELINE	MO	NO BASELINE	NO BASELINE	TO	MO	NO BASELINE	MO	MO	NO BASELINE	TO	MO	MO	NO BASELINE
cluster	CTMC	256	PRISM	no-transient	fully-recurrent	2373652	TO	TO	TO	TO	TO	NO BASELINE	MO	NO BASELINE	MO	TO	MO	NO BASELINE	MO	MO	NO BASELINE	TO	MO	MO	TO
cluster	CTMC	64	PRISM	no-transient	fully-recurrent	151060	TO	NO BASELINE	TO	TO	TO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	MO	NO BASELINE	NO BASELINE	TO	NO BASELINE	TO	TO	TO	NO BASELINE
crafted-branch	DTMC	0.001-20-1000-100	PRISM	acyclic	mixed	107079	-8000	202262286455.4773	TO	TO	TO	3726168904190064.5	0.01562500000000064	3726168904190064.5	3.4245214216609025e-15	TO	-8000	3726168904190064.5	0.01562500000000064	0.0	3726168904190064.5	-8000	0.0	0.0	199749622819.76807
crafted-branch	DTMC	0.001-20-1000-1000	PRISM	acyclic	mixed	1007079	-8000	inf	TO	TO	TO	inf	inf	inf	inf	TO	-8000	inf	inf	0.0	inf	-8000	0.0	0.0	inf
crafted-branch	DTMC	0.001-20-1000-10000	PRISM	acyclic	mixed	10007079	NO BASELINE	NO BASELINE	TO	TO	TO	NO BASELINE	TO	NO BASELINE	NO BASELINE	TO	MO	NO BASELINE	TO	TO	NO BASELINE	NO BASELINE	TO	TO	NO BASELINE
crafted-loop	DTMC	10000	PRISM	no-transient	fully-recurrent	10000	TO	inf	TO	TO	TO	inf	inf	inf	inf	TO	ERR	inf	inf	MO	inf	TO	0.0	MO	inf
crafted-loop	DTMC	100000	PRISM	no-transient	fully-recurrent	100000	ERR	inf	TO	TO	TO	inf	MO	inf	inf	TO	MO	inf	MO	MO	inf	ERR	0.0	MO	inf
crafted-loop	DTMC	1000000	PRISM	no-transient	fully-recurrent	1000000	TO	NO BASELINE	TO	TO	TO	NO BASELINE	MO	NO BASELINE	NO BASELINE	TO	MO	NO BASELINE	MO	MO	NO BASELINE	TO	MO	MO	NO BASELINE
crowds	DTMC	4-15	PRISM	cyclic	singleton-recurrent	119800	ERR	3.48601994337777e-14	3.276627397743509e-08	1.6152325565625093e-08	3.5490310412509255e-05	3.48601994337777e-14	3.205176946146932e-14	3.7067755780993836e-14	3.205176946146932e-14	2.4006666926187565e-05	-8000	3.48601994337777e-14	3.2257229522119764e-14	0.0	3.5176542969873508e-06	TO	0.0	TO	3.48601994337777e-14
crowds	DTMC	5-10	PRISM	cyclic	singleton-recurrent	111294	ERR	1.6150639085868347e-14	3.398339756421792e-08	8.512619604108304e-09	3.388970279708651e-05	1.6150639085868347e-14	1.3655824918132584e-14	1.9498942310987394e-14	1.3655824918132584e-14	1.5608870079093958e-05	-8000	1.6150639085868347e-14	1.3078078479288514e-14	0.0	1.9498942310987394e-14	TO	0.0	TO	1.6150639085868347e-14
crowds	DTMC	5-15	PRISM	cyclic	singleton-recurrent	592060	ERR	2.855708733000063e-13	3.3359214031527383e-08	8.91932821538652e-09	3.362723101899344e-05	2.855708733000063e-13	2.8214511418570545e-13	TO	2.8214511418570545e-13	1.6058549711533283e-05	MO	2.855708733000063e-13	TO	0.0	TO	ERR	0.0	TO	2.855708733000063e-13
crowds	DTMC	6-10	PRISM	cyclic	singleton-recurrent	352535	ERR	4.655979436071544e-14	3.398099976657081e-08	2.1627091465760556e-08	3.416949648599716e-05	4.655979436071544e-14	4.956228791167892e-14	TO	4.956228791167892e-14	5.7979456600012575e-05	-8000	4.655979436071544e-14	TO	0.0	TO	ERR	0.0	TO	4.655979436071544e-14
crowds	DTMC	6-5	PRISM	cyclic	singleton-recurrent	18817	-8000	3.171648117214948e-15	3.25302450539896e-08	1.5211359693815892e-08	3.23813664259477e-05	3.171648117214948e-15	1.374610312388344e-15	2.5388589619431634e-15	1.374610312388344e-15	5.866250734224666e-05	-8000	3.171648117214948e-15	1.2455155818010026e-15	0.0	2.5388589619431634e-15	TO	0.0	0.0	3.171648117214948e-15
egl	DTMC	5-2	PRISM	acyclic	singleton-recurrent	33790	-8000	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0
egl	DTMC	5-4	PRISM	acyclic	singleton-recurrent	74750	-8000	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0
egl	DTMC	5-6	PRISM	acyclic	singleton-recurrent	115710	-8000	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0
egl	DTMC	5-8	PRISM	acyclic	singleton-recurrent	156670	-8000	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0
embedded	CTMC	4	PRISM	cyclic	singleton-recurrent	5168	-8000	1.999553056417256e-06	3.570140094444571e-08	6.963549204503677e-08	3.569836906214012e-05	1.999553056417256e-06	9.228467623041198e-12	7.101629492829396e-07	9.228467623041198e-12	6.959083793754464e-05	-8000	1.7629423040833943	9.2264262089396e-12	0.0	0.03512983835547321	-8000	0.0	0.0	1.7629423040833943
embedded	CTMC	5	PRISM	cyclic	singleton-recurrent	6013	-8000	2.319929415831519e-06	3.245546913702978e-08	6.32749299859229e-08	3.245350027832553e-05	2.319929415831519e-06	9.228212446278497e-12	7.223340019001139e-07	9.228212446278497e-12	6.324074639562831e-05	-8000	1.7629350041388656	9.22604344379555e-12	0.0	0.03616411525944155	-8000	0.0	0.0	1.7629350041388656
embedded	CTMC	6	PRISM	cyclic	singleton-recurrent	6858	-8000	2.643996280768428e-06	2.9752539006332693e-08	5.797753006468247e-08	2.974870500326268e-05	2.643996280768428e-06	9.228084857897148e-12	7.315623834580939e-07	9.228084857897148e-12	5.794683202483887e-05	-8000	1.7629277062641786	9.225660678651498e-12	0.0	0.03693853365674032	-8000	0.0	0.0	1.7629277062641786
embedded	CTMC	7	PRISM	cyclic	singleton-recurrent	7703	-8000	2.968076731361188e-06	2.746336516477415e-08	5.349560207279211e-08	2.7461723083098822e-05	2.968076731361188e-06	9.228340034659848e-12	7.387706482593894e-07	9.228340034659848e-12	5.347094508516429e-05	-8000	1.7629204088952135	9.225660678651498e-12	0.0	0.03753874546922307	-8000	0.0	0.0	1.7629204088952135
embedded	CTMC	8	PRISM	cyclic	singleton-recurrent	8548	-8000	3.2921554189659495e-06	2.550245595662259e-08	4.964581919965528e-08	2.5500047769699986e-05	3.2921554189659495e-06	9.228084857897148e-12	7.445508109190282e-07	9.228084857897148e-12	4.962583627920076e-05	-8000	1.76291311151094	9.225533090270149e-12	0.0	0.03801648721574032	-8000	0.0	0.0	1.76291311151094
fms	CTMC	7	PRISM	no-transient	fully-recurrent	1639440	TO	NO BASELINE	TO	TO	TO	NO BASELINE	TO	NO BASELINE	TO	TO	MO	NO BASELINE	TO	TO	NO BASELINE	TO	TO	TO	NO BASELINE
fms	CTMC	8	PRISM	no-transient	fully-recurrent	4459455	TO	NO BASELINE	TO	TO	TO	NO BASELINE	TO	NO BASELINE	TO	TO	MO	NO BASELINE	TO	MO	NO BASELINE	TO	MO	MO	NO BASELINE
fms	CTMC	9	PRISM	no-transient	fully-recurrent	11058190	TO	NO BASELINE	TO	TO	TO	NO BASELINE	TO	NO BASELINE	TO	TO	MO	NO BASELINE	TO	MO	NO BASELINE	TO	MO	MO	NO BASELINE
haddad-monmege	DTMC	20-0.7	PRISM	fully-connected	singleton-recurrent	41	-8000	1.8503717077085943e-16	2.4999795884233275e-07	4.899926842050206e-07	0.00024981235285746555	1.8503717077085943e-16	1.8503717077085943e-16	1.5081502528306128e-08	1.8503717077085943e-16	0.0004932684953416557	-8000	1.8503717077085943e-16	1.8503717077085943e-16	0.0	0.1772169010913625	TO	0.0	0.0	1.8503717077085943e-16
haddad-monmege	DTMC	300-0.7	PRISM	fully-connected	singleton-recurrent	601	TO	5.551115123125783e-16	TO	TO	TO	5.551115123125783e-16	1.8503717077085943e-16	0.17721518987341747	1.8503717077085943e-16	TO	-8000	333333333332.3333	1.8503717077085943e-16	0.0	0.17721518987341747	TO	0.0	0.0	333333333332.3333
herman	DTMC	11	PRISM	cyclic	mixed	2048	NS	6.106226635438362e-16	2.665204019980383e-08	2.8421179076865147e-08	2.5279775169209654e-05	6.106226635438362e-16	3.20576898360514e-15	6.106226635438362e-16	3.053113317719181e-16	3.9754476031800274e-05	-8000	6.106226635438362e-16	3.20576898360514e-15	0.0	6.106226635438362e-16	NS	0.0	0.0	0.00014986171572797804
herman	DTMC	13	PRISM	cyclic	mixed	8192	NS	7.2164496600635185e-16	2.9795488618034053e-08	1.259786773788463e-07	2.857067794161117e-05	5.412337245047639e-16	6.6752159355587545e-15	5.412337245047639e-16	1.8041124150158796e-16	2.1970949449140468e-05	-8000	5.412337245047639e-16	6.6752159355587545e-15	0.0	5.412337245047639e-16	NS	0.0	0.0	1.839073032393335e-05
herman	DTMC	15	PRISM	cyclic	mixed	32768	NS	6.245004513516506e-16	2.967939206899306e-08	1.177738313123955e-07	3.143553185362691e-05	2.0816681711721685e-16	2.0816681711721685e-15	2.0816681711721685e-16	4.163336342344337e-16	1.0284304461163907e-05	MO	2.0816681711721685e-16	2.0816681711721685e-15	0.0	2.0816681711721685e-16	NS	0.0	0.0	0.00010383726387813708
herman	DTMC	17	PRISM	cyclic	mixed	131072	NS	2.5210473584419413e-07	3.2149045016416355e-08	1.0589736190724786e-07	3.131456236151603e-05	0.0	2.4771851236948805e-15	0.0	5.898059818321144e-16	1.783516950757541e-05	MO	0.0	2.4771851236948805e-15	0.0	0.0	NS	MO	0.0	1.4875417116290424e-05
herman	DTMC	9	PRISM	cyclic	mixed	512	NS	4.996003610813204e-16	2.292314688068231e-08	6.978011543590235e-08	2.4882735565251446e-05	2.498001805406602e-16	1.124100812432971e-15	2.498001805406602e-16	2.498001805406602e-16	7.243396506595445e-05	-8000	2.498001805406602e-16	1.124100812432971e-15	0.0	2.498001805406602e-16	NS	0.0	0.0	4.996003610813204e-16
kanban	CTMC	4	PRISM	no-transient	fully-recurrent	454475	TO	NO BASELINE	TO	TO	TO	NO BASELINE	TO	NO BASELINE	TO	TO	MO	NO BASELINE	TO	MO	NO BASELINE	TO	MO	MO	NO BASELINE
kanban	CTMC	5	PRISM	no-transient	fully-recurrent	2546432	TO	NO BASELINE	TO	TO	TO	NO BASELINE	TO	NO BASELINE	TO	TO	MO	NO BASELINE	TO	MO	NO BASELINE	TO	MO	MO	NO BASELINE
kanban	CTMC	6	PRISM	no-transient	fully-recurrent	11261376	TO	MO	TO	TO	TO	NO BASELINE	TO	NO BASELINE	TO	TO	MO	NO BASELINE	TO	MO	NO BASELINE	TO	MO	MO	MO
leader_sync	DTMC	4-2	PRISM	cyclic	singleton-recurrent	61	-8000	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0	0.0	TO	0.0	0.0	0.0
leader_sync	DTMC	4-3	PRISM	cyclic	singleton-recurrent	274	-8000	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0	0.0	TO	0.0	0.0	0.0
leader_sync	DTMC	4-4	PRISM	cyclic	singleton-recurrent	812	-8000	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0	0.0	TO	0.0	0.0	0.0
leader_sync	DTMC	5-2	PRISM	cyclic	singleton-recurrent	141	-8000	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0	0.0	TO	0.0	0.0	0.0
leader_sync	DTMC	5-3	PRISM	cyclic	singleton-recurrent	1050	-8000	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0	0.0	TO	0.0	0.0	0.0
leader_sync	DTMC	5-4	PRISM	cyclic	singleton-recurrent	4244	-8000	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0	0.0	TO	0.0	0.0	0.0
lumbroso	DTMC	1000	PRISM	cyclic	singleton-recurrent	51007	-8000	4.3368086899420187e-16	2.1684043449710094e-16	3.5714028522731984e-08	2.1684043449710094e-16	4.3368086899420187e-16	4.3368086899420187e-16	8.673617379884037e-16	4.3368086899420187e-16	3.571361569150445e-05	-8000	4.3368086899420187e-16	4.3368086899420187e-16	0.0	8.673617379884037e-16	-8000	0.0	0.0	4.3368086899420187e-16
lumbroso	DTMC	16000	PRISM	cyclic	singleton-recurrent	816127	ERR	2.1445518971763283e-13	2.1684043449710094e-16	1.8587843937656337e-10	2.1684043449710094e-16	2.1445518971763283e-13	2.1445518971763283e-13	2.1445518971763283e-13	2.1445518971763283e-13	1.8587751455211024e-07	MO	2.1445518971763283e-13	2.1445518971763283e-13	0.0	2.1445518971763283e-13	ERR	0.0	TO	2.1445518971763283e-13
lumbroso	DTMC	4000	PRISM	cyclic	singleton-recurrent	204031	-8000	8.261620554339545e-14	2.1684043449710094e-16	6.510369500445369e-10	2.1684043449710094e-16	8.261620554339545e-14	8.261620554339545e-14	8.261620554339545e-14	8.261620554339545e-14	6.510320364402912e-07	-8000	8.261620554339545e-14	8.261620554339545e-14	0.0	8.261620554339545e-14	-8000	0.0	0.0	8.261620554339545e-14
lumbroso	DTMC	64000	PRISM	cyclic	singleton-recurrent	3264511	ERR	9.137655909707833e-13	2.1684043449710094e-16	1.572821733963892e-10	2.1684043449710094e-16	9.137655909707833e-13	9.137655909707833e-13	TO	9.137655909707833e-13	1.5728124835509563e-07	MO	9.137655909707833e-13	TO	0.0	TO	ERR	0.0	TO	9.137655909707833e-13
majority	CTMC		PRISM	no-transient	fully-recurrent	192000	TO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	TO	NO BASELINE	MO	NO BASELINE	TO	TO	NO BASELINE	TO	TO	TO	NO BASELINE
mapk_cascade	CTMC	5	PRISM	no-transient	fully-recurrent	408366	TO	NO BASELINE	TO	TO	TO	NO BASELINE	TO	NO BASELINE	TO	TO	MO	NO BASELINE	TO	MO	NO BASELINE	TO	MO	MO	NO BASELINE
mapk_cascade	CTMC	6	PRISM	no-transient	fully-recurrent	1373026	TO	NO BASELINE	TO	TO	TO	NO BASELINE	MO	NO BASELINE	TO	TO	MO	NO BASELINE	TO	MO	NO BASELINE	TO	MO	MO	NO BASELINE
mapk_cascade	CTMC	7	PRISM	no-transient	fully-recurrent	3979348	TO	NO BASELINE	TO	TO	TO	NO BASELINE	TO	NO BASELINE	TO	TO	MO	NO BASELINE	TO	MO	NO BASELINE	TO	MO	MO	NO BASELINE
nand	DTMC	20-2	PRISM	acyclic	singleton-recurrent	154942	-8000	3.534594085890628e-16	1.028472644795978e-14	1.028472644795978e-14	1.028472644795978e-14	3.534594085890628e-16	3.534594085890628e-16	9.40520277219951e-16	3.534594085890628e-16	1.028472644795978e-14	-8000	3.534594085890628e-16	9.40520277219951e-16	0.0	9.40520277219951e-16	TO	0.0	0.0	3.534594085890628e-16
nand	DTMC	20-3	PRISM	acyclic	singleton-recurrent	231552	-8000	8.322356384367236e-16	1.4098975689540119e-14	1.4098975689540119e-14	1.4098975689540119e-14	8.322356384367236e-16	8.322356384367236e-16	7.668352746376102e-16	8.322356384367236e-16	1.4098975689540119e-14	-8000	8.322356384367236e-16	7.668352746376102e-16	0.0	7.668352746376102e-16	TO	0.0	0.0	8.322356384367236e-16
nand	DTMC	20-4	PRISM	acyclic	singleton-recurrent	308162	-8000	6.596068289911475e-16	1.797428609000877e-14	1.797428609000877e-14	1.797428609000877e-14	6.596068289911475e-16	6.596068289911475e-16	1.3150474680422583e-15	6.596068289911475e-16	1.797428609000877e-14	-8000	6.596068289911475e-16	1.3150474680422583e-15	0.0	1.3150474680422583e-15	TO	0.0	0.0	6.596068289911475e-16
nand	DTMC	40-1	PRISM	acyclic	singleton-recurrent	1004862	-8000	8.475363356248473e-16	1.3542773559183818e-14	1.3542773559183818e-14	1.3542773559183818e-14	8.475363356248473e-16	8.475363356248473e-16	1.358995367336302e-15	8.475363356248473e-16	1.3542773559183818e-14	-8000	8.475363356248473e-16	1.358995367336302e-15	0.0	1.358995367336302e-15	TO	0.0	0.0	8.475363356248473e-16
nand	DTMC	40-2	PRISM	acyclic	singleton-recurrent	2003082	-8000	1.2585772231979127e-15	2.1402428781797092e-14	2.1402428781797092e-14	2.1402428781797092e-14	1.2585772231979127e-15	1.2585772231979127e-15	1.4488743290631673e-15	1.2585772231979127e-15	2.1402428781797092e-14	-8000	1.2585772231979127e-15	1.4488743290631673e-15	0.0	1.4488743290631673e-15	TO	0.0	0.0	1.2585772231979127e-15
nand	DTMC	40-4	PRISM	acyclic	singleton-recurrent	3999522	-8000	1.1274551024155346e-15	3.569459034914071e-14	3.569459034914071e-14	3.569459034914071e-14	1.1274551024155346e-15	1.1274551024155346e-15	2.62989415784305e-15	1.1274551024155346e-15	3.569459034914071e-14	MO	1.1274551024155346e-15	2.62989415784305e-15	0.0	2.62989415784305e-15	TO	0.0	0.0	1.1274551024155346e-15
oscillators	DTMC	6-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	5006	-8000	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0
oscillators	DTMC	6-8-0.1-1-0.1-1.0	PRISM	cyclic	mixed	1717	-8000	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0
oscillators	DTMC	7-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	11441	-8000	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0
oscillators	DTMC	8-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	24311	-8000	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0
oscillators	DTMC	8-8-0.1-1-0.1-1.0	PRISM	cyclic	mixed	6436	-8000	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0	0.0	-8000	0.0	0.0	0.0
polling	CTMC	10	PRISM	no-transient	fully-recurrent	15360	TO	NO BASELINE	TO	TO	TO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	TO	TO	TO	NO BASELINE
polling	CTMC	12	PRISM	no-transient	fully-recurrent	73728	TO	NO BASELINE	TO	TO	TO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	MO	NO BASELINE	NO BASELINE	TO	NO BASELINE	TO	TO	TO	NO BASELINE
polling	CTMC	6	PRISM	no-transient	fully-recurrent	576	-8000	1.1643429875849645e-06	2.484923383588273e-08	1.2053508806944584e-07	2.4831254700320307e-05	0.3640666303597198	5.295551324915861e-10	0.3640666303597198	3.667154553623645e-14	7.989613896566644e-05	-8000	69.20095970176126	5.295551324915861e-10	0.0	69.20095970176126	-8000	0.0	0.0	0.00010781489541120797
polling	CTMC	7	PRISM	no-transient	fully-recurrent	1344	-8000	2.419343108245915e-06	3.014954388494718e-08	6.279165958379526e-08	3.0123769890991653e-05	6.504999249166883	1.2904170342673185e-09	6.504999249166883	6.599656565924429e-12	2.6067417944586915e-05	-8000	228.60876802859514	1.2904170342673185e-09	0.0	228.60876802859514	-8000	0.0	0.0	0.0004957905020383608
polling	CTMC	8	PRISM	no-transient	fully-recurrent	3072	TO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	TO	TO	TO	NO BASELINE
speed-ind	CTMC		PRISM	no-transient	fully-recurrent	743424	TO	NO BASELINE	TO	TO	TO	NO BASELINE	TO	NO BASELINE	TO	TO	MO	NO BASELINE	TO	MO	NO BASELINE	TO	MO	MO	NO BASELINE
tandem	CTMC	255	PRISM	no-transient	fully-recurrent	130816	TO	NO BASELINE	TO	TO	TO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	MO	NO BASELINE	NO BASELINE	TO	NO BASELINE	TO	TO	TO	NO BASELINE
tandem	CTMC	511	PRISM	no-transient	fully-recurrent	523776	TO	NO BASELINE	TO	TO	TO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	MO	NO BASELINE	NO BASELINE	TO	NO BASELINE	TO	TO	TO	NO BASELINE
toggle-switch	CTMC		PRISM	no-transient	fully-recurrent	99	-8000	0.0023800399693522244	1.1257175897732352e-07	1.3034955970666634e-07	0.0001124990520394089	1066531.21950863	7.873896319946816e-13	1066531.21950863	9.4378546542982e-13	0.00011837568798098389	-8000	2179140.9622836136	7.873896319946816e-13	0.0	2179140.9622836136	-8000	0.0	0.0	1.175816493339668