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	1.1102230246251565e-16	8.093525849517391e-14	8.093525849517391e-14	8.093525849517391e-14	1.1102230246251565e-16	1.1102230246251565e-16	2.220446049250313e-16	1.1102230246251565e-16	8.093525849517391e-14	-8000	1.1102230246251565e-16	2.220446049250313e-16	0.0	2.220446049250313e-16	TO	0.0	TO	1.1102230246251565e-16
brp	DTMC	2048-4	PRISM	acyclic	singleton-recurrent	139271	ERR	1.0842021724855044e-19	1.6697754290362354e-13	1.6697754290362354e-13	1.6697754290362354e-13	1.0842021724855044e-19	1.0842021724855044e-19	2.220446049250313e-16	1.0842021724855044e-19	1.6697754290362354e-13	MO	1.0842021724855044e-19	2.220446049250313e-16	0.0	2.220446049250313e-16	TO	0.0	TO	1.0842021724855044e-19
brp	DTMC	2048-5	PRISM	acyclic	singleton-recurrent	165896	ERR	3.469446951953614e-18	1.652011860642233e-13	1.652011860642233e-13	1.652011860642233e-13	3.469446951953614e-18	3.469446951953614e-18	4.440892098500626e-16	3.469446951953614e-18	1.652011860642233e-13	MO	3.469446951953614e-18	4.440892098500626e-16	0.0	4.440892098500626e-16	TO	0.0	TO	3.469446951953614e-18
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	5.551115123125783e-17	TO	TO	TO	8.881784197001252e-15	8.326672684688674e-17	8.881784197001252e-15	5.551115123125783e-17	TO	-8000	8.881784197001252e-15	8.326672684688674e-17	0.0	8.881784197001252e-15	-8000	0.0	0.0	5.551115123125783e-17
crafted-branch	DTMC	0.001-20-1000-1000	PRISM	acyclic	mixed	1007079	-8000	2.7755575615628914e-16	TO	TO	TO	5.498379529456088e-14	8.326672684688674e-17	5.498379529456088e-14	5.551115123125783e-17	TO	-8000	5.498379529456088e-14	8.326672684688674e-17	0.0	5.498379529456088e-14	-8000	0.0	0.0	2.7755575615628914e-16
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	1.0	TO	TO	TO	0.011346537554987407	5.672545766444159e-16	0.011346537554987407	6.800116025829084e-16	TO	ERR	0.011346537554987407	5.672545766444159e-16	MO	0.011346537554987407	TO	0.0	MO	1.0
crafted-loop	DTMC	100000	PRISM	no-transient	fully-recurrent	100000	ERR	1.907288996877421e-12	TO	TO	TO	0.003574585586295026	MO	0.003574585586295026	8.331009493378616e-16	TO	MO	0.003574585586295026	MO	MO	0.003574585586295026	ERR	0.0	MO	1.0
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	6.106226635438361e-15	4.595966079934399e-09	2.316791425371889e-09	4.686519030183689e-06	6.106226635438361e-15	6.217248937900877e-15	5.9396931817445875e-15	6.217248937900877e-15	3.4433792288623977e-06	-8000	6.106226635438361e-15	6.106226635438361e-15	0.0	1.2368187723987845e-08	TO	0.0	TO	6.106226635438361e-15
crowds	DTMC	5-10	PRISM	cyclic	singleton-recurrent	111294	ERR	1.8041124150158794e-15	2.9735293394228535e-09	8.13700523627503e-10	2.903941324905457e-06	1.8041124150158794e-15	1.582067810090848e-15	1.4155343563970746e-15	1.582067810090848e-15	1.4920165486986825e-06	-8000	1.8041124150158794e-15	1.4988010832439613e-15	0.0	1.4155343563970746e-15	TO	0.0	TO	1.8041124150158794e-15
crowds	DTMC	5-15	PRISM	cyclic	singleton-recurrent	592060	ERR	3.6887159993170826e-14	2.9998033501676957e-09	8.525768147027435e-10	3.099017181373842e-06	3.6887159993170826e-14	3.699818229563334e-14	TO	3.699818229563334e-14	1.535000481972526e-06	MO	3.6887159993170826e-14	TO	0.0	TO	ERR	0.0	TO	3.6887159993170826e-14
crowds	DTMC	6-10	PRISM	cyclic	singleton-recurrent	352535	ERR	3.913536161803677e-15	2.0219468599425028e-09	1.3776821905508996e-09	2.0138586176027262e-06	3.913536161803677e-15	4.3298697960381105e-15	TO	4.3298697960381105e-15	3.6933649739945285e-06	-8000	3.913536161803677e-15	TO	0.0	TO	ERR	0.0	TO	3.913536161803677e-15
crowds	DTMC	6-5	PRISM	cyclic	singleton-recurrent	18817	-8000	6.938893903907228e-17	1.990059186884885e-09	1.084832168540828e-09	2.0363481639806835e-06	6.938893903907228e-17	1.249000902703301e-16	1.8041124150158794e-16	1.249000902703301e-16	4.183293381490594e-06	-8000	6.938893903907228e-17	1.1102230246251565e-16	0.0	1.8041124150158794e-16	TO	0.0	0.0	6.938893903907228e-17
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	7.873303664585052e-08	9.229844777358664e-09	3.364683187623285e-08	9.233581880319086e-06	7.873303664585052e-08	1.092015367021304e-12	6.090683513093609e-13	1.092015367021304e-12	3.362851726673721e-05	-8000	0.07306063472864688	1.0912382109040664e-12	0.0	7.720759402787131e-05	-8000	0.0	0.0	0.07306063472864688
embedded	CTMC	5	PRISM	cyclic	singleton-recurrent	6013	-8000	9.146554449945832e-08	8.38944058667579e-09	3.055611852431639e-08	8.393335392153922e-06	9.146554449945832e-08	1.0919043447188415e-12	5.770939282001564e-13	1.0919043447188415e-12	3.055151167563608e-05	-8000	0.07306202419804242	1.0912382109040664e-12	0.0	9.00917768098114e-05	-8000	0.0	0.0	0.07306202419804242
embedded	CTMC	6	PRISM	cyclic	singleton-recurrent	6858	-8000	1.0420043201897489e-07	7.68881203150329e-09	2.7994503271067117e-08	7.693326507296483e-06	1.0420043201897489e-07	1.0919043447188415e-12	5.278000259067994e-13	1.0919043447188415e-12	2.798967001149677e-05	-8000	0.07306341326487842	1.0911271886016038e-12	0.0	0.00010297905973784965	-8000	0.0	0.0	0.07306341326487842
embedded	CTMC	7	PRISM	cyclic	singleton-recurrent	7703	-8000	1.1693585979383192e-07	7.0967752785477956e-09	2.5825198091133927e-08	7.10028247374872e-06	1.1693585979383192e-07	1.0919043447188415e-12	5.098144129078719e-13	1.0919043447188415e-12	2.5821154064797902e-05	-8000	0.07306480223256762	1.0913492332065289e-12	0.0	0.00011586950703839499	-8000	0.0	0.0	0.07306480223256762
embedded	CTMC	8	PRISM	cyclic	singleton-recurrent	8548	-8000	1.2967120126272658e-07	6.5882289623786505e-09	2.3951905347985303e-08	6.592433792862451e-06	1.2967120126272658e-07	1.0919043447188415e-12	4.899414207670816e-13	1.0919043447188415e-12	2.395836525037609e-05	-8000	0.07306619120220237	1.0913492332065289e-12	0.0	0.00012876315837635766	-8000	0.0	0.0	0.07306619120220237
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.1102230246251565e-16	1.749985711896329e-07	3.4299487894351444e-07	0.00017486864700022586	1.1102230246251565e-16	5.551115123125783e-17	4.524450814002989e-09	5.551115123125783e-17	0.00034528794673915897	-8000	1.1102230246251565e-16	5.551115123125783e-17	0.0	0.0531650703274088	TO	0.0	0.0	1.1102230246251565e-16
haddad-monmege	DTMC	300-0.7	PRISM	fully-connected	singleton-recurrent	601	TO	1.6653345369377348e-16	TO	TO	TO	1.6653345369377348e-16	1.1102230246251565e-16	0.05316455696202527	1.1102230246251565e-16	TO	-8000	99999999999.7	5.551115123125783e-17	0.0	0.05316455696202527	TO	0.0	0.0	99999999999.7
herman	DTMC	11	PRISM	cyclic	mixed	2048	NS	2.7755575615628914e-17	1.2114563727183558e-09	1.291871776221143e-09	1.1490806895095296e-06	2.7755575615628914e-17	1.457167719820518e-16	2.7755575615628914e-17	1.3877787807814457e-17	1.807021637809103e-06	-8000	2.7755575615628914e-17	1.457167719820518e-16	0.0	2.7755575615628914e-17	NS	0.0	0.0	6.811896169453546e-06
herman	DTMC	13	PRISM	cyclic	mixed	8192	NS	2.7755575615628914e-17	1.145980331462848e-09	4.845333745340241e-09	1.0988722285235064e-06	2.0816681711721685e-17	2.5673907444456745e-16	2.0816681711721685e-17	6.938893903907228e-18	8.450365172746332e-07	-8000	2.0816681711721685e-17	2.5673907444456745e-16	0.0	2.0816681711721685e-17	NS	0.0	0.0	7.073357816897441e-07
herman	DTMC	15	PRISM	cyclic	mixed	32768	NS	2.0816681711721685e-17	9.893130689664353e-10	3.92579437707985e-09	1.0478510617875636e-06	6.938893903907228e-18	6.938893903907228e-17	6.938893903907228e-18	1.3877787807814457e-17	3.4281014870546356e-07	MO	6.938893903907228e-18	6.938893903907228e-17	0.0	6.938893903907228e-18	NS	0.0	0.0	3.461242129271236e-06
herman	DTMC	17	PRISM	cyclic	mixed	131072	NS	7.4148451718880626e-09	9.455601475416575e-10	3.114628291389643e-09	9.210165400445891e-07	0.0	7.28583859910259e-17	0.0	1.734723475976807e-17	5.245638090463356e-07	MO	0.0	7.28583859910259e-17	0.0	0.0	NS	MO	0.0	4.3751226812618893e-07
herman	DTMC	9	PRISM	cyclic	mixed	512	NS	2.7755575615628914e-17	1.2735081600379061e-09	3.8766730797723525e-09	1.3823741980695248e-06	1.3877787807814457e-17	6.245004513516506e-17	1.3877787807814457e-17	1.3877787807814457e-17	4.024109170330803e-06	-8000	1.3877787807814457e-17	6.245004513516506e-17	0.0	1.3877787807814457e-17	NS	0.0	0.0	2.7755575615628914e-17
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.336808689942018e-19	2.168404344971009e-19	3.571402852273198e-11	2.168404344971009e-19	4.336808689942018e-19	4.336808689942018e-19	8.673617379884035e-19	4.336808689942018e-19	3.571361569150444e-08	-8000	4.336808689942018e-19	4.336808689942018e-19	0.0	8.673617379884035e-19	-8000	0.0	0.0	4.336808689942018e-19
lumbroso	DTMC	16000	PRISM	cyclic	singleton-recurrent	816127	ERR	1.3403449357352049e-17	1.3552527156068805e-20	1.1617402461035209e-14	1.3552527156068805e-20	1.3403449357352049e-17	1.3403449357352049e-17	1.3403449357352049e-17	1.3403449357352049e-17	1.1617344659506888e-11	MO	1.3403449357352049e-17	1.3403449357352049e-17	0.0	1.3403449357352049e-17	ERR	0.0	TO	1.3403449357352049e-17
lumbroso	DTMC	4000	PRISM	cyclic	singleton-recurrent	204031	-8000	2.065405138584886e-17	5.421010862427522e-20	1.627592375111342e-13	5.421010862427522e-20	2.065405138584886e-17	2.065405138584886e-17	2.065405138584886e-17	2.065405138584886e-17	1.6275800911007277e-10	-8000	2.065405138584886e-17	2.065405138584886e-17	0.0	2.065405138584886e-17	-8000	0.0	0.0	2.065405138584886e-17
lumbroso	DTMC	64000	PRISM	cyclic	singleton-recurrent	3264511	ERR	1.4277587358918487e-17	3.3881317890172014e-21	2.4575339593185808e-15	3.3881317890172014e-21	1.4277587358918487e-17	1.4277587358918487e-17	TO	1.4277587358918487e-17	2.457519505548369e-12	MO	1.4277587358918487e-17	TO	0.0	TO	ERR	0.0	TO	1.4277587358918487e-17
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	5.551115123125783e-17	2.831068712794149e-15	2.831068712794149e-15	2.831068712794149e-15	5.551115123125783e-17	5.551115123125783e-17	2.220446049250313e-16	5.551115123125783e-17	2.831068712794149e-15	-8000	5.551115123125783e-17	2.220446049250313e-16	0.0	2.220446049250313e-16	TO	0.0	0.0	5.551115123125783e-17
nand	DTMC	20-3	PRISM	acyclic	singleton-recurrent	231552	-8000	1.3877787807814457e-16	4.440892098500626e-15	4.440892098500626e-15	4.440892098500626e-15	1.3877787807814457e-16	1.3877787807814457e-16	2.220446049250313e-16	1.3877787807814457e-16	4.440892098500626e-15	-8000	1.3877787807814457e-16	2.220446049250313e-16	0.0	2.220446049250313e-16	TO	0.0	0.0	1.3877787807814457e-16
nand	DTMC	20-4	PRISM	acyclic	singleton-recurrent	308162	-8000	1.6653345369377348e-16	5.995204332975845e-15	5.995204332975845e-15	5.995204332975845e-15	1.6653345369377348e-16	1.6653345369377348e-16	4.440892098500626e-16	1.6653345369377348e-16	5.995204332975845e-15	-8000	1.6653345369377348e-16	4.440892098500626e-16	0.0	4.440892098500626e-16	TO	0.0	0.0	1.6653345369377348e-16
nand	DTMC	40-1	PRISM	acyclic	singleton-recurrent	1004862	-8000	4.163336342344337e-17	1.887379141862766e-15	1.887379141862766e-15	1.887379141862766e-15	4.163336342344337e-17	4.163336342344337e-17	1.942890293094024e-16	4.163336342344337e-17	1.887379141862766e-15	-8000	4.163336342344337e-17	1.942890293094024e-16	0.0	1.942890293094024e-16	TO	0.0	0.0	4.163336342344337e-17
nand	DTMC	40-2	PRISM	acyclic	singleton-recurrent	2003082	-8000	9.71445146547012e-17	3.524958103184872e-15	3.524958103184872e-15	3.524958103184872e-15	9.71445146547012e-17	9.71445146547012e-17	1.6653345369377348e-16	9.71445146547012e-17	3.524958103184872e-15	-8000	9.71445146547012e-17	1.6653345369377348e-16	0.0	1.6653345369377348e-16	TO	0.0	0.0	9.71445146547012e-17
nand	DTMC	40-4	PRISM	acyclic	singleton-recurrent	3999522	-8000	1.1102230246251565e-16	7.216449660063518e-15	7.216449660063518e-15	7.216449660063518e-15	1.1102230246251565e-16	1.1102230246251565e-16	1.942890293094024e-16	1.1102230246251565e-16	7.216449660063518e-15	MO	1.1102230246251565e-16	1.942890293094024e-16	0.0	1.942890293094024e-16	TO	0.0	0.0	1.1102230246251565e-16
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	8.055228207549947e-10	1.7191347520886802e-11	8.338931498444446e-11	1.7178909086381332e-08	6.492428788365469e-06	1.4203048459560108e-15	6.492428788365469e-06	5.551115123125783e-17	5.527423097256411e-08	-8000	0.04787502724908864	1.4203048459560108e-15	0.0	0.04787502724908864	-8000	0.0	0.0	1.7269257319638132e-07
polling	CTMC	7	PRISM	no-transient	fully-recurrent	1344	-8000	5.363635908843794e-10	6.68409435872902e-12	1.3920786967819634e-11	6.678380315151529e-09	3.4641124701732877e-05	4.147588305788985e-15	3.4641124701732877e-05	1.4631308317691882e-15	5.779095096594038e-09	-8000	0.050682112557557876	4.147588305788985e-15	0.0	0.050682112557557876	-8000	0.0	0.0	1.0960572677666102e-07
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	7.055119919163744e-06	8.243994265022536e-09	9.520916055549833e-09	8.238669409132982e-06	0.00027039734137845883	5.728750807065808e-14	0.00027039734137845883	6.88338275267597e-14	8.518476803942576e-06	-8000	0.06120176641505386	5.728750807065808e-14	0.0	0.06120176641505386	-8000	0.0	0.0	0.013386925298841224