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.5797808170318604	0.42404842376708984	0.46619462966918945	0.47447824478149414	0.4481801986694336	23.876670360565186	2.0715131759643555	0.418367862701416	1.5392963886260986	1.129887580871582	1.1438407897949219	2.534531593322754	2.023028612136841	0.4155385494232178	0.489185094833374	19.067898511886597	0.42529821395874023	3.670621156692505	2.5109617710113525	2.3094871044158936
brp	DTMC	2048-4	PRISM	acyclic	singleton-recurrent	139271	1.0258533954620361	0.8740348815917969	0.968005895614624	0.9990625381469727	0.9026179313659668	78.21668839454651	0.7821331024169922	0.7863433361053467	4.324998378753662	3.1278648376464844	3.8108444213867188	7.817911386489868	0.7884466648101807	0.7729237079620361	1.7356443405151367	64.84995436668396	2.4208359718322754	7.953165531158447	2.7579128742218018	0.7952899932861328
brp	DTMC	2048-5	PRISM	acyclic	singleton-recurrent	165896	2.6954216957092285	1.2993192672729492	1.177259922027588	2.556710958480835	1.2553021907806396	123.15230751037598	1.0392987728118896	2.45949387550354	3.5175530910491943	3.8415465354919434	5.587848424911499	8.256357669830322	1.1630463600158691	1.0334429740905762	1.7991576194763184	103.25045394897461	1.0189025402069092	9.39116883277893	3.698115348815918	1.0852811336517334
coupon	DTMC	5-2-5	PGCL	cyclic	singleton-recurrent	5397	0.25264525413513184	0.15116381645202637	2.172691583633423	0.09197306632995605	0.1291646957397461	0.2112870216369629	0.10245895385742188	0.08176064491271973	0.22124600410461426	0.15012502670288086	0.09342479705810547	0.13631820678710938	0.12630176544189453	0.15602707862854004	0.14742493629455566	0.29873132705688477	0.05884265899658203	0.1671912670135498	0.11187195777893066	0.0812220573425293
coupon	DTMC	7-3-5	PGCL	cyclic	singleton-recurrent	337710	3.764441728591919	1.7934010028839111	1.4582631587982178	1.5588057041168213	6.510555267333984	1218.735433101654	1.6126072406768799	1.4065582752227783	4.119099378585815	2.7214736938476562	2.491126775741577	2.4410502910614014	1.4652376174926758	3.19759202003479	4.308417797088623	23.341809034347534	3.628892183303833	2.5043373107910156	2.28373122215271	2.8348498344421387
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.30319738388061523	0.3104124069213867	2.427086591720581	0.28945493698120117	0.37175631523132324	1.1653516292572021	1.576460361480713	0.30271244049072266	0.31469202041625977	2.001108407974243	0.28812170028686523	2.4387083053588867	0.28551411628723145	1.0936691761016846	2.0249011516571045	1.0090253353118896	0.3042423725128174	0.29091596603393555	0.3064110279083252	0.33261775970458984
crafted-branch	DTMC	0.001-20-1000-1000	PRISM	acyclic	mixed	1007079	2.743689775466919	2.384035110473633	2.836250066757202	2.351290225982666	6.118163108825684	9.0941162109375	2.384894609451294	2.3576819896698	3.566187858581543	2.4206953048706055	2.3395073413848877	2.35878586769104	6.098920583724976	2.452730655670166	2.386235237121582	12.71769666671753	3.632533311843872	2.3974404335021973	6.174474239349365	2.786236524581909
crafted-branch	DTMC	0.001-20-1000-10000	PRISM	acyclic	mixed	10007079	25.127721786499023	27.03524899482727	28.995364665985107	29.7645001411438	25.07978057861328	112.83830857276917	24.887897729873657	26.630603313446045	25.062652349472046	25.583858728408813	30.321009159088135	25.12430763244629	25.258763790130615	25.19638180732727	25.05211067199707	113.04313087463379	24.689682245254517	25.727871894836426	24.91611886024475	25.227614641189575
crowds	DTMC	4-15	PRISM	cyclic	singleton-recurrent	119800	0.713763952255249	0.5751795768737793	0.6761932373046875	0.6983001232147217	0.6475715637207031	6.593372344970703	0.7215609550476074	0.691474199295044	2.8381662368774414	0.6609921455383301	0.6646599769592285	0.616264820098877	0.5844190120697021	0.6139662265777588	0.5950002670288086	4.262766122817993	0.583733081817627	0.6301267147064209	0.6813793182373047	0.7089500427246094
crowds	DTMC	5-10	PRISM	cyclic	singleton-recurrent	111294	0.5371997356414795	0.6422946453094482	0.5621979236602783	0.7041456699371338	0.5701558589935303	4.5767436027526855	0.8403117656707764	1.9992680549621582	0.5233829021453857	0.5691931247711182	1.9993493556976318	0.5449345111846924	0.5630109310150146	0.6041505336761475	0.5141017436981201	2.218442916870117	0.5556411743164062	0.553764820098877	0.5429530143737793	0.5505456924438477
crowds	DTMC	5-15	PRISM	cyclic	singleton-recurrent	592060	7.539775848388672	6.762071371078491	7.006037473678589	9.997698068618774	7.209097623825073	27.2695951461792	10.191728353500366	6.742353677749634	6.988659143447876	7.976548433303833	7.758846282958984	7.363643169403076	6.774583339691162	6.8362181186676025	7.08668851852417	17.745371103286743	6.7882232666015625	7.120620250701904	6.877460479736328	7.5925281047821045
crowds	DTMC	6-10	PRISM	cyclic	singleton-recurrent	352535	2.8725876808166504	3.3745830059051514	4.250298261642456	5.188686370849609	3.332958459854126	16.688899993896484	4.847477674484253	3.271139621734619	2.903217315673828	3.019164562225342	2.991061210632324	3.109679937362671	3.433980941772461	3.277453660964966	3.1222968101501465	9.26408839225769	3.2705283164978027	3.0329201221466064	2.8945956230163574	3.2747416496276855
crowds	DTMC	6-5	PRISM	cyclic	singleton-recurrent	18817	0.13263702392578125	1.5941128730773926	0.20896434783935547	0.15001511573791504	0.2703568935394287	0.5988161563873291	1.4791505336761475	0.1076664924621582	1.9213218688964844	1.5102179050445557	0.12752032279968262	0.20998144149780273	0.2189016342163086	0.23381781578063965	1.9233086109161377	0.39382028579711914	1.9327092170715332	0.3420994281768799	0.26348233222961426	0.2522585391998291
egl	DTMC	5-2	PRISM	acyclic	singleton-recurrent	33790	1.6977956295013428	0.3035237789154053	1.7861289978027344	1.8499596118927002	1.7062067985534668	1.1087238788604736	0.2809736728668213	1.7941811084747314	0.28072309494018555	0.25334620475769043	1.8210763931274414	0.3610217571258545	0.31078124046325684	0.2798454761505127	0.2864394187927246	2.231950044631958	0.2729523181915283	0.37387943267822266	1.327373743057251	0.4330463409423828
egl	DTMC	5-4	PRISM	acyclic	singleton-recurrent	74750	0.5988683700561523	0.6852552890777588	1.7657051086425781	0.5940823554992676	0.5963754653930664	3.2536072731018066	0.6554811000823975	0.6038646697998047	0.5911970138549805	0.7383332252502441	0.5849685668945312	1.5254850387573242	0.5657620429992676	0.5908277034759521	0.5941076278686523	2.675945520401001	0.7203423976898193	0.727243185043335	0.5657045841217041	0.565342903137207
egl	DTMC	5-6	PRISM	acyclic	singleton-recurrent	115710	2.31186842918396	2.2467610836029053	0.9037649631500244	0.9049091339111328	1.0847358703613281	3.8190722465515137	1.0362498760223389	2.1539063453674316	0.9079301357269287	1.128800868988037	2.0898752212524414	0.8997435569763184	1.0408000946044922	1.095738410949707	0.9155848026275635	2.392164468765259	0.9187407493591309	2.2268388271331787	2.3309009075164795	2.315140724182129
egl	DTMC	5-8	PRISM	acyclic	singleton-recurrent	156670	1.3229835033416748	2.5572779178619385	1.3556203842163086	1.3782196044921875	1.4003684520721436	4.46003794670105	2.1218676567077637	1.5934803485870361	1.5603089332580566	2.112968921661377	1.3761093616485596	1.5268051624298096	1.3325111865997314	2.0181360244750977	2.0180766582489014	2.858799934387207	2.2060391902923584	1.7287912368774414	1.3199844360351562	1.4491493701934814
embedded	CTMC	4	PRISM	cyclic	singleton-recurrent	5168	0.825911283493042	0.568281888961792	0.4854128360748291	0.5259413719177246	0.12235641479492188	42.36992049217224	0.7870945930480957	0.09279513359069824	16.662355422973633	329.02162623405457	277.80821228027344	65.78928589820862	0.4883999824523926	0.09536862373352051	0.09681320190429688	0.6189625263214111	0.17322301864624023	145.79087376594543	0.7611532211303711	0.3303196430206299
embedded	CTMC	5	PRISM	cyclic	singleton-recurrent	6013	0.9973235130310059	0.6049768924713135	0.4603559970855713	1.5612373352050781	0.7566099166870117	62.49976420402527	0.8292751312255859	0.9513568878173828	20.1191565990448	384.96001958847046	357.07963848114014	84.83313250541687	0.6742908954620361	0.09847354888916016	0.09493231773376465	0.9229037761688232	0.19013214111328125	176.26265382766724	0.3025338649749756	0.596961259841919
embedded	CTMC	6	PRISM	cyclic	singleton-recurrent	6858	0.09510135650634766	0.6519732475280762	1.0190300941467285	0.6117076873779297	0.782461404800415	83.65160512924194	0.8656253814697266	0.11703896522521973	24.291720628738403	463.06905937194824	369.6033818721771	86.53260016441345	0.10425591468811035	0.10423135757446289	0.10930490493774414	1.6263678073883057	0.22948217391967773	194.33868312835693	0.29712438583374023	0.09987258911132812
embedded	CTMC	7	PRISM	cyclic	singleton-recurrent	7703	1.5047821998596191	0.6620678901672363	0.507239580154419	0.8622753620147705	0.15757966041564941	49.424012899398804	0.8783488273620605	1.568206787109375	24.924318075180054	517.6974568367004	442.12641739845276	113.86754727363586	0.0914011001586914	0.11268925666809082	0.11686491966247559	1.716827392578125	0.22218751907348633	218.72822785377502	0.39977574348449707	1.5755999088287354
embedded	CTMC	8	PRISM	cyclic	singleton-recurrent	8548	0.1273190975189209	0.8353610038757324	0.47824788093566895	0.7277395725250244	0.14660263061523438	131.09529614448547	2.268868923187256	0.11447906494140625	25.635185480117798	576.9342339038849	470.8336706161499	113.33975553512573	1.507765531539917	1.3597323894500732	0.10811734199523926	1.7218291759490967	0.1978745460510254	250.82188940048218	1.678044080734253	1.4704666137695312
haddad-monmege	DTMC	20-0.7	PRISM	fully-connected	singleton-recurrent	41	0.0709383487701416	0.9210784435272217	0.47189855575561523	0.6909353733062744	0.09340834617614746	0.08963441848754883	1.2236557006835938	0.07656359672546387	0.2525596618652344	1.2235686779022217	0.6571536064147949	0.5606129169464111	0.06872677803039551	0.0679788589477539	0.0735769271850586	0.09864974021911621	1.26304030418396	0.9849607944488525	0.06584668159484863	0.09294891357421875
haddad-monmege	DTMC	300-0.7	PRISM	fully-connected	singleton-recurrent	601	0.07835793495178223	TO	TO	TO	0.09517407417297363	0.14180755615234375	TO	0.07271790504455566	0.8683996200561523	TO	TO	TO	0.07576870918273926	0.07775402069091797	0.8737525939941406	0.14142370223999023	1.3992445468902588	TO	0.07007598876953125	0.048230886459350586
herman	DTMC	11	PRISM	cyclic	mixed	2048	0.24429535865783691	0.15630888938903809	0.15487456321716309	1.9905765056610107	0.37323594093322754	TO	0.19813108444213867	1.925821304321289	1.181917667388916	0.2938425540924072	1.8971750736236572	0.26064133644104004	1.9814002513885498	0.18353867530822754	1.010235071182251	TO	1.1404516696929932	0.13819670677185059	1.9486079216003418	1.9378552436828613
herman	DTMC	13	PRISM	cyclic	mixed	8192	1.1589226722717285	0.9416782855987549	0.9352352619171143	1.1317598819732666	15.906889200210571	TO	0.9626009464263916	0.9953434467315674	1.0923616886138916	1.294126033782959	1.4303958415985107	1.2085509300231934	1.5735514163970947	0.9356276988983154	1.4230868816375732	TO	0.9195766448974609	1.0481717586517334	0.984095573425293	0.9332783222198486
herman	DTMC	15	PRISM	cyclic	mixed	32768	11.542045831680298	9.796478271484375	8.201319932937622	8.44723916053772	1365.8052413463593	MO	8.5693039894104	8.324692964553833	10.085505485534668	15.388667583465576	11.972645998001099	9.712990522384644	50.12094712257385	8.303865909576416	11.942737579345703	TO	8.11609148979187	10.917147159576416	9.17419171333313	8.447926998138428
herman	DTMC	17	PRISM	cyclic	mixed	131072	114.76793932914734	78.22065305709839	80.82436943054199	82.83047819137573	TO	MO	80.72801947593689	79.96765995025635	102.73055028915405	137.3699185848236	123.00189781188965	101.0417640209198	MO	79.11981177330017	125.1814649105072	MO	83.95034790039062	110.32239651679993	88.76016473770142	92.43623232841492
herman	DTMC	9	PRISM	cyclic	mixed	512	0.07365870475769043	0.19681501388549805	0.03731107711791992	0.10124373435974121	2.2952797412872314	43.56165552139282	1.762509822845459	0.07008600234985352	0.07431793212890625	0.06686139106750488	0.03794145584106445	0.12237954139709473	0.8998382091522217	0.11013150215148926	0.07728958129882812	11.185574531555176	0.07957077026367188	1.7514185905456543	0.03764152526855469	0.09903502464294434
leader_sync	DTMC	4-2	PRISM	cyclic	singleton-recurrent	61	0.10138702392578125	0.14484214782714844	0.07502102851867676	0.048529863357543945	2.3006174564361572	0.11877822875976562	0.13570404052734375	0.047677040100097656	1.669614553451538	0.06472301483154297	0.10538458824157715	0.10115337371826172	2.4595584869384766	0.06483864784240723	0.06933760643005371	0.0394597053527832	0.0765230655670166	0.06896209716796875	2.639266014099121	2.3460488319396973
leader_sync	DTMC	4-3	PRISM	cyclic	singleton-recurrent	274	0.08745932579040527	0.08330750465393066	0.08356928825378418	0.044724464416503906	0.10267972946166992	0.0882103443145752	0.08409404754638672	0.08102297782897949	0.1475238800048828	0.09505629539489746	0.08471846580505371	0.042766571044921875	0.10129976272583008	0.0916452407836914	0.13875818252563477	0.08129501342773438	0.08132600784301758	0.09099817276000977	0.04621243476867676	0.0436396598815918
leader_sync	DTMC	4-4	PRISM	cyclic	singleton-recurrent	812	0.04502463340759277	0.08414697647094727	0.08247852325439453	0.07506060600280762	0.07595062255859375	0.1467883586883545	0.07623505592346191	0.052342891693115234	0.07596659660339355	0.09368586540222168	0.07503819465637207	0.07446742057800293	0.07596683502197266	0.09290218353271484	0.09381699562072754	0.15605545043945312	0.09526515007019043	0.08451676368713379	0.11423206329345703	0.051445960998535156
leader_sync	DTMC	5-2	PRISM	cyclic	singleton-recurrent	141	0.07475519180297852	0.14464902877807617	0.07419896125793457	0.2734193801879883	0.24569082260131836	0.04884505271911621	0.05189013481140137	2.087501049041748	0.0870051383972168	0.052892208099365234	2.332040309906006	0.2815055847167969	0.08424663543701172	0.0699007511138916	0.08780121803283691	0.058142662048339844	0.07847881317138672	0.21088433265686035	0.07696032524108887	0.07433867454528809
leader_sync	DTMC	5-3	PRISM	cyclic	singleton-recurrent	1050	0.08080720901489258	0.04822516441345215	0.09557867050170898	1.6162028312683105	0.07534432411193848	0.10271382331848145	0.047876834869384766	0.08113718032836914	0.08145761489868164	0.0961611270904541	1.6252596378326416	1.3844707012176514	0.08458590507507324	0.15553879737854004	0.1483476161956787	0.08499598503112793	0.0869140625	0.044441938400268555	0.08008098602294922	0.07973718643188477
leader_sync	DTMC	5-4	PRISM	cyclic	singleton-recurrent	4244	0.09865999221801758	0.05694150924682617	0.09167337417602539	0.09647989273071289	0.07377958297729492	0.18316912651062012	0.06590962409973145	0.09190011024475098	0.1016225814819336	0.09250998497009277	0.09274983406066895	0.0963435173034668	0.10068798065185547	0.09338259696960449	0.09502387046813965	0.14390802383422852	0.10036230087280273	0.09462237358093262	0.1063535213470459	0.10580778121948242
lumbroso	DTMC	1000	PRISM	cyclic	singleton-recurrent	51007	1.4982507228851318	0.17063689231872559	0.2013094425201416	0.1873159408569336	0.20651984214782715	0.9842510223388672	0.16018962860107422	0.19784212112426758	0.19350910186767578	0.20534634590148926	0.20503687858581543	0.20333456993103027	0.16765880584716797	0.16412901878356934	0.19031572341918945	0.48334646224975586	0.16315793991088867	0.18816018104553223	1.6887924671173096	1.6462504863739014
lumbroso	DTMC	16000	PRISM	cyclic	singleton-recurrent	816127	15.445494413375854	7.713715076446533	8.2046217918396	8.301748514175415	15.756286859512329	29.658544063568115	7.753873109817505	7.648571491241455	15.691224575042725	16.22622585296631	15.475934743881226	16.596540689468384	7.65404486656189	8.10352873802185	15.414897203445435	12.967037916183472	7.526064395904541	15.751444816589355	15.704605340957642	7.531091928482056
lumbroso	DTMC	4000	PRISM	cyclic	singleton-recurrent	204031	2.9732959270477295	0.7075784206390381	0.7483253479003906	0.7491679191589355	1.1549012660980225	5.136237621307373	0.7347190380096436	0.7333559989929199	1.1282250881195068	1.188019037246704	1.204451560974121	1.1604375839233398	0.7582848072052002	0.7269296646118164	1.2201032638549805	2.067833185195923	0.8147938251495361	1.2564373016357422	1.1193389892578125	2.604593276977539
lumbroso	DTMC	64000	PRISM	cyclic	singleton-recurrent	3264511	273.53533816337585	118.69070434570312	132.50196480751038	119.54740500450134	237.54886722564697	MO	122.69188666343689	108.51865530014038	230.83889937400818	226.378573179245	227.00582718849182	271.66564655303955	113.64769077301025	110.0197446346283	231.83608531951904	132.3978157043457	106.9183738231659	256.0122137069702	240.9414210319519	131.1230185031891
nand	DTMC	20-2	PRISM	acyclic	singleton-recurrent	154942	0.9635400772094727	0.8013119697570801	0.9280092716217041	0.9224822521209717	0.8595654964447021	6.246257781982422	0.7907721996307373	1.0026321411132812	0.978186845779419	0.92372727394104	1.0292339324951172	1.1443889141082764	0.7889702320098877	0.8188459873199463	0.7872366905212402	2.244035005569458	0.7718617916107178	0.9814245700836182	0.8307571411132812	1.0020349025726318
nand	DTMC	20-3	PRISM	acyclic	singleton-recurrent	231552	1.7101163864135742	1.6212670803070068	1.6309306621551514	1.588381290435791	3.6006710529327393	10.884248733520508	1.5972962379455566	1.5414505004882812	1.7563326358795166	1.9476432800292969	2.189655065536499	2.9392731189727783	3.2914247512817383	1.6725547313690186	1.6135976314544678	5.594055414199829	1.54278564453125	2.025759696960449	3.3805248737335205	1.725099802017212
nand	DTMC	20-4	PRISM	acyclic	singleton-recurrent	308162	2.576411485671997	2.574014663696289	2.565609931945801	4.105291128158569	4.52325963973999	16.080753326416016	2.70400071144104	2.56095552444458	2.931630849838257	3.2462778091430664	4.434535503387451	4.018902778625488	4.302501201629639	2.5639894008636475	3.0073235034942627	6.195100784301758	2.683666706085205	3.6048781871795654	4.734924554824829	3.990139961242676
nand	DTMC	40-1	PRISM	acyclic	singleton-recurrent	1004862	22.988282918930054	23.518662214279175	24.168638467788696	25.234962701797485	23.92906904220581	100.18696236610413	24.415942907333374	29.08248472213745	24.010621547698975	24.294984102249146	29.619539737701416	25.239275217056274	23.575653553009033	23.210137128829956	22.78302836418152	34.491947174072266	23.062296867370605	27.729212760925293	25.625532627105713	23.71476435661316
nand	DTMC	40-2	PRISM	acyclic	singleton-recurrent	2003082	86.52846336364746	90.59049320220947	91.28984713554382	91.27330446243286	90.30939054489136	MO	90.59791731834412	105.09903311729431	90.82141757011414	91.52552366256714	102.81322884559631	103.94301509857178	90.20924997329712	89.12267756462097	86.62838363647461	113.92077016830444	89.2017822265625	113.31499743461609	92.12813973426819	90.0910096168518
nand	DTMC	40-4	PRISM	acyclic	singleton-recurrent	3999522	356.8768472671509	355.4300956726074	364.02992939949036	358.7814633846283	351.5631375312805	MO	352.83487129211426	355.44547486305237	363.32305788993835	360.926744222641	359.34514355659485	400.5048487186432	354.35364961624146	351.7670063972473	347.7351441383362	405.57006883621216	368.6487603187561	378.99185848236084	362.44683384895325	349.78413558006287
oscillators	DTMC	6-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	5006	4.88341498374939	4.4582014083862305	4.3715221881866455	4.621743440628052	4.515859127044678	34.89717102050781	4.53216552734375	4.840452671051025	4.394211769104004	4.4499876499176025	4.8019773960113525	4.768158912658691	4.401780843734741	4.831887483596802	4.3545448780059814	7.135591745376587	4.407880067825317	4.57858681678772	4.885653257369995	4.946863889694214
oscillators	DTMC	6-8-0.1-1-0.1-1.0	PRISM	cyclic	mixed	1717	0.9445891380310059	1.0005481243133545	0.9903998374938965	0.9111592769622803	1.0290002822875977	1.3245306015014648	0.9451637268066406	0.9016618728637695	1.0495948791503906	1.4190163612365723	1.3627755641937256	1.0609536170959473	0.9837822914123535	0.9506843090057373	1.052506685256958	1.0548710823059082	1.048980712890625	0.9802305698394775	0.9058573246002197	0.9639050960540771
oscillators	DTMC	7-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	11441	18.530088901519775	15.987334489822388	16.036490440368652	16.997857809066772	16.16447615623474	896.3900039196014	16.055594205856323	16.648187160491943	16.092055797576904	16.241044282913208	17.331684589385986	17.329630851745605	16.322038650512695	21.17829918861389	21.438177585601807	32.4702353477478	17.267014741897583	16.039766311645508	16.07213068008423	16.445635080337524
oscillators	DTMC	8-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	24311	59.74981951713562	59.47737979888916	61.34319615364075	114.63151001930237	81.32764983177185	TO	59.80023145675659	73.73234629631042	63.78225016593933	58.38509011268616	98.83992457389832	69.10136795043945	60.618250131607056	60.23885893821716	82.26225733757019	124.62541723251343	59.459492444992065	71.90851545333862	59.523898124694824	58.87631011009216
oscillators	DTMC	8-8-0.1-1-0.1-1.0	PRISM	cyclic	mixed	6436	7.81043004989624	9.185955047607422	7.945441722869873	8.42304539680481	9.730902194976807	36.5425910949707	7.535373210906982	7.799902677536011	12.317273378372192	7.889439105987549	7.527382850646973	9.71455979347229	7.573004961013794	7.57254695892334	7.472801208496094	10.942831754684448	9.13484811782837	7.640755653381348	7.426023244857788	7.770909309387207
philosophers-dl	CTMC	10	GreatSPN	fully-connected	singleton-recurrent	6726	0.1224057674407959	0.1268749237060547	0.13971948623657227	0.13643574714660645	8.913562536239624	TO	0.13727617263793945	0.08572816848754883	0.13951921463012695	0.12924480438232422	0.09022283554077148	0.14602279663085938	7.977417469024658	0.12619400024414062	0.1290121078491211	TO	0.15068769454956055	0.1194617748260498	0.11171507835388184	0.08474946022033691
philosophers-dl	CTMC	12	GreatSPN	fully-connected	singleton-recurrent	39202	0.48753881454467773	0.625786542892456	0.3833434581756592	0.4247467517852783	TO	TO	0.6722860336303711	0.47495460510253906	0.39530301094055176	0.45211219787597656	0.5189328193664551	0.38965582847595215	TO	0.3801841735839844	0.4080080986022949	TO	0.4019179344177246	0.6442148685455322	0.37430548667907715	0.4718453884124756
philosophers-dl	CTMC	16	GreatSPN	fully-connected	singleton-recurrent	1331714	14.882771968841553	21.732019662857056	19.449080228805542	19.43443012237549	TO	MO	23.691906929016113	15.687995672225952	18.220054149627686	23.69243860244751	20.55696940422058	18.8729031085968	TO	16.745043516159058	16.77711534500122	MO	18.19192361831665	19.19523525238037	15.769241094589233	119.82724165916443
philosophers-dl	CTMC	8	GreatSPN	fully-connected	singleton-recurrent	1154	0.09916424751281738	0.08539175987243652	0.05513405799865723	0.08754253387451172	0.12571358680725098	TO	0.05639982223510742	0.08023333549499512	1.3776273727416992	0.08127784729003906	0.07834506034851074	0.08753323554992676	0.12465095520019531	0.05879664421081543	1.3719408512115479	TO	1.3905634880065918	0.19884610176086426	0.09216141700744629	0.09246420860290527