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	138.8116056919098	0.5138132572174072	0.4264862537384033	0.5322203636169434	0.4214942455291748	0.4554572105407715	0.4158961772918701	5.23010516166687	0.4114673137664795	0.4232313632965088	1449.5772035121918	0.41562533378601074	5.760505676269531	18.82267475128174	4.553863048553467	TO	18.952720165252686	TO	0.40870094299316406
brp	DTMC	2048-4	PRISM	acyclic	singleton-recurrent	139271	ERR	0.801236629486084	0.8011529445648193	0.7980532646179199	0.7982871532440186	0.80098557472229	0.8273606300354004	17.01160192489624	0.8415861129760742	0.9445934295654297	MO	0.8035781383514404	14.927923917770386	58.87748885154724	14.885732412338257	TO	58.863425970077515	TO	0.8036856651306152
brp	DTMC	2048-5	PRISM	acyclic	singleton-recurrent	165896	ERR	1.0421926975250244	1.1409072875976562	1.0511794090270996	1.0364117622375488	1.0352201461791992	1.0479300022125244	18.531614780426025	1.051633596420288	1.0368690490722656	MO	1.0464327335357666	18.789886474609375	95.64201593399048	18.37888216972351	TO	96.77657771110535	TO	1.0546002388000488
cluster	CTMC	128	PRISM	no-transient	fully-recurrent	597012	TO	205.9867136478424	TO	TO	TO	41.67136359214783	MO	92.95051884651184	528.0494449138641	TO	MO	2.996694326400757	MO	MO	3.031404972076416	TO	MO	MO	166.64511895179749
cluster	CTMC	256	PRISM	no-transient	fully-recurrent	2373652	TO	TO	TO	TO	TO	179.69086575508118	MO	173.02278447151184	MO	TO	MO	12.992007732391357	MO	MO	12.925302028656006	TO	MO	MO	TO
cluster	CTMC	64	PRISM	no-transient	fully-recurrent	151060	TO	22.933677911758423	TO	TO	TO	7.844664573669434	239.8805055618286	7.832171440124512	47.15385055541992	TO	MO	1.4284584522247314	348.26499915122986	TO	1.4313688278198242	TO	TO	TO	25.041205406188965
crafted-branch	DTMC	0.001-20-1000-100	PRISM	acyclic	mixed	107079	0.4352078437805176	0.5234251022338867	TO	TO	TO	0.44663119316101074	0.6024839878082275	0.7326743602752686	0.6084132194519043	TO	5.613807678222656	0.46565675735473633	2.512277841567993	7.656430721282959	0.6509637832641602	0.43587255477905273	6.696699142456055	12.370250463485718	0.6081616878509521
crafted-branch	DTMC	0.001-20-1000-1000	PRISM	acyclic	mixed	1007079	1.1649208068847656	5.097166299819946	TO	TO	TO	4.314525842666626	18.197413206100464	4.05023717880249	18.329461574554443	TO	70.5693142414093	4.535508394241333	17.401490688323975	724.4319097995758	4.420657634735107	1.7090473175048828	448.9397625923157	726.1409475803375	4.979023694992065
crafted-branch	DTMC	0.001-20-1000-10000	PRISM	acyclic	mixed	10007079	87.68858551979065	88.86654329299927	TO	TO	TO	67.95765709877014	TO	59.499415159225464	1783.8771152496338	TO	MO	73.81629753112793	TO	TO	67.3123550415039	81.16657042503357	TO	TO	71.59352707862854
crafted-loop	DTMC	10000	PRISM	no-transient	fully-recurrent	10000	TO	0.09825611114501953	TO	TO	TO	0.27063846588134766	2.038459062576294	0.27930545806884766	0.08454036712646484	TO	ERR	1.9877090454101562	2.0214486122131348	MO	0.276965856552124	TO	2.527587890625	MO	0.08756303787231445
crafted-loop	DTMC	100000	PRISM	no-transient	fully-recurrent	100000	ERR	0.27881836891174316	TO	TO	TO	0.23649263381958008	MO	0.5155050754547119	0.6500194072723389	TO	MO	0.6509077548980713	MO	MO	0.8914568424224854	ERR	596.6890096664429	MO	0.26996874809265137
crafted-loop	DTMC	1000000	PRISM	no-transient	fully-recurrent	1000000	TO	2.0892539024353027	TO	TO	TO	1.9629664421081543	MO	2.0167133808135986	2.133175849914551	TO	MO	1.90370512008667	MO	MO	1.9046506881713867	TO	MO	MO	2.1041765213012695
crowds	DTMC	4-15	PRISM	cyclic	singleton-recurrent	119800	ERR	0.5894894599914551	0.8064911365509033	0.6846647262573242	0.8831658363342285	1.2214279174804688	0.5899262428283691	247.28711032867432	0.712907075881958	0.8325116634368896	92.5107798576355	0.8053593635559082	330.56739377975464	2.4853603839874268	246.86813473701477	TO	2.4760642051696777	TO	0.8246772289276123
crowds	DTMC	5-10	PRISM	cyclic	singleton-recurrent	111294	ERR	0.61299729347229	0.7243678569793701	0.588733434677124	0.6964709758758545	0.743727445602417	0.8155713081359863	233.4534397125244	0.5947515964508057	0.5595018863677979	58.25647687911987	0.5962913036346436	276.66103625297546	3.446654796600342	238.809504032135	TO	3.442948579788208	TO	0.5963003635406494
crowds	DTMC	5-15	PRISM	cyclic	singleton-recurrent	592060	ERR	6.835591554641724	9.569210767745972	7.995724678039551	9.588581800460815	6.801423072814941	6.8905699253082275	TO	6.8422510623931885	6.915545225143433	MO	6.856112241744995	TO	16.13064169883728	TO	ERR	17.57288956642151	TO	6.811823844909668
crowds	DTMC	6-10	PRISM	cyclic	singleton-recurrent	352535	ERR	4.2740161418914795	5.651437520980835	3.4168269634246826	4.854407072067261	3.3207931518554688	3.4400124549865723	TO	3.3947865962982178	3.3731906414031982	437.27516889572144	3.343299150466919	TO	7.887385368347168	TO	ERR	7.904037714004517	TO	3.35074782371521
crowds	DTMC	6-5	PRISM	cyclic	singleton-recurrent	18817	172.05898571014404	0.14932632446289062	0.15999078750610352	0.13213706016540527	0.18313241004943848	0.13944768905639648	0.14131402969360352	2.8068506717681885	0.14480018615722656	0.17290544509887695	1.5848023891448975	0.16466879844665527	3.7691562175750732	0.3302743434906006	2.81502366065979	TO	0.3264787197113037	48.72641944885254	0.1676192283630371
egl	DTMC	5-2	PRISM	acyclic	singleton-recurrent	33790	0.8341531753540039	0.2903759479522705	0.33433008193969727	0.3284122943878174	0.3142585754394531	0.2623772621154785	0.26900720596313477	0.26160430908203125	0.26976776123046875	0.3141016960144043	1.2197542190551758	0.2884490489959717	0.2684895992279053	0.5211231708526611	0.30465126037597656	1.0024096965789795	0.5200934410095215	0.5248165130615234	0.28858327865600586
egl	DTMC	5-4	PRISM	acyclic	singleton-recurrent	74750	1.268794298171997	0.4857676029205322	0.48879575729370117	1.989758014678955	0.475710391998291	0.48067545890808105	2.1799254417419434	0.5578575134277344	1.96781325340271	1.6358129978179932	1.2114300727844238	1.9790377616882324	0.4758024215698242	1.818997859954834	1.9687392711639404	1.3748290538787842	1.7576394081115723	1.8014867305755615	0.4758932590484619
egl	DTMC	5-6	PRISM	acyclic	singleton-recurrent	115710	1.9340190887451172	0.7896838188171387	0.7117383480072021	0.686398983001709	1.0039637088775635	0.6778910160064697	1.0415410995483398	0.6498091220855713	0.7131340503692627	0.8665666580200195	1.3560981750488281	0.6957721710205078	0.7420892715454102	1.7853212356567383	0.7133803367614746	2.1499249935150146	1.6030299663543701	1.5688130855560303	0.7578897476196289
egl	DTMC	5-8	PRISM	acyclic	singleton-recurrent	156670	2.20874285697937	1.032865047454834	3.2580528259277344	3.555274724960327	0.906423807144165	0.9270575046539307	0.954986572265625	0.9278051853179932	0.9517743587493896	0.9045820236206055	1.5645766258239746	0.9649801254272461	0.9469761848449707	2.471254587173462	0.9639809131622314	2.6891775131225586	2.0849153995513916	2.3504414558410645	0.9587101936340332
embedded	CTMC	4	PRISM	cyclic	singleton-recurrent	5168	1.59682035446167	0.10499429702758789	0.9490551948547363	0.5982973575592041	0.6329436302185059	0.09054064750671387	0.09376382827758789	0.22182416915893555	0.10749220848083496	0.4238600730895996	2.7015247344970703	0.09471535682678223	0.27871012687683105	0.6918303966522217	0.2170243263244629	24.83108615875244	0.5902209281921387	6.597080230712891	0.09744644165039062
embedded	CTMC	5	PRISM	cyclic	singleton-recurrent	6013	1.4883694648742676	2.5792503356933594	2.841717481613159	2.933008909225464	0.6131665706634521	0.09943389892578125	0.09717798233032227	0.26287293434143066	1.6352589130401611	0.41605281829833984	2.760409355163574	0.1007242202758789	0.30982065200805664	0.8034377098083496	0.5848860740661621	31.931057691574097	0.7385470867156982	6.464645147323608	1.6540517807006836
embedded	CTMC	6	PRISM	cyclic	singleton-recurrent	6858	1.879525899887085	0.12094664573669434	0.8978838920593262	0.6511886119842529	0.6425197124481201	0.12185955047607422	0.11424016952514648	2.6687943935394287	0.11037325859069824	0.42621755599975586	3.511521100997925	0.12074613571166992	0.41765928268432617	1.2991883754730225	0.33372068405151367	22.688019514083862	1.3287992477416992	10.154754638671875	0.10371971130371094
embedded	CTMC	7	PRISM	cyclic	singleton-recurrent	7703	1.7292888164520264	0.11781024932861328	0.915137767791748	0.6939647197723389	0.6586017608642578	0.11761116981506348	0.1043858528137207	0.34040379524230957	0.1358780860900879	0.45453548431396484	3.973867416381836	0.1179499626159668	0.4698495864868164	1.459947109222412	0.3468592166900635	28.188392639160156	1.6247596740722656	9.558176040649414	0.10579276084899902
embedded	CTMC	8	PRISM	cyclic	singleton-recurrent	8548	1.6181044578552246	0.14838719367980957	1.0360133647918701	0.7602674961090088	0.7228074073791504	0.13404607772827148	0.11632800102233887	0.45504093170166016	0.11491775512695312	0.5848779678344727	4.101217269897461	0.20835375785827637	0.5577559471130371	16.653865098953247	0.3898203372955322	30.636566162109375	3.303541898727417	9.466844320297241	0.12302899360656738
fms	CTMC	7	PRISM	no-transient	fully-recurrent	1639440	TO	18.871673345565796	TO	TO	TO	17.269734382629395	TO	16.52201533317566	TO	TO	MO	13.597425937652588	TO	TO	13.359204530715942	TO	TO	TO	15.339264392852783
fms	CTMC	8	PRISM	no-transient	fully-recurrent	4459455	TO	48.19391226768494	TO	TO	TO	46.328068256378174	TO	47.540494203567505	TO	TO	MO	38.33588480949402	TO	MO	39.82196760177612	TO	MO	MO	46.76849317550659
fms	CTMC	9	PRISM	no-transient	fully-recurrent	11058190	TO	119.2611174583435	TO	TO	TO	105.53989267349243	TO	108.74374389648438	TO	TO	MO	104.47625637054443	TO	MO	110.99243116378784	TO	MO	MO	121.90353274345398
haddad-monmege	DTMC	20-0.7	PRISM	fully-connected	singleton-recurrent	41	26.83872652053833	2.9720938205718994	1.282928228378296	0.9897329807281494	0.7078456878662109	2.6463754177093506	0.09801626205444336	2.8244402408599854	0.09765267372131348	0.5258820056915283	1.20578932762146	0.10417962074279785	0.09889483451843262	0.04781341552734375	0.10238194465637207	TO	0.06637811660766602	0.07485175132751465	0.10573840141296387
haddad-monmege	DTMC	300-0.7	PRISM	fully-connected	singleton-recurrent	601	TO	0.07160687446594238	TO	TO	TO	0.07459402084350586	0.12557053565979004	0.07223963737487793	0.1183929443359375	TO	1.1985743045806885	0.11746621131896973	0.12335371971130371	0.1345818042755127	0.11027264595031738	TO	0.16302776336669922	0.09042978286743164	0.049709320068359375
herman	DTMC	11	PRISM	cyclic	mixed	2048	NS	0.17358899116516113	0.1755046844482422	0.1732804775238037	0.16506671905517578	0.15086793899536133	1.857792615890503	0.1507251262664795	1.7342584133148193	0.159745454788208	1.2240498065948486	0.15732049942016602	1.7890150547027588	0.3868520259857178	0.15739774703979492	NS	0.4268815517425537	0.38706231117248535	0.16272592544555664
herman	DTMC	13	PRISM	cyclic	mixed	8192	NS	1.062002182006836	0.9064795970916748	0.9377937316894531	0.9168329238891602	1.0230498313903809	0.8845140933990479	0.9552881717681885	0.9069352149963379	0.9030289649963379	1.8362548351287842	0.886235237121582	0.8806540966033936	2.9953784942626953	0.8754575252532959	NS	3.412940263748169	2.9876019954681396	0.9114151000976562
herman	DTMC	15	PRISM	cyclic	mixed	32768	NS	9.192344427108765	10.855198860168457	10.792545318603516	8.093330383300781	8.110562324523926	7.84417462348938	8.151848554611206	8.143675327301025	8.044902563095093	MO	7.882493495941162	7.708878755569458	26.21178960800171	7.823837518692017	NS	30.457666397094727	26.139001607894897	8.185163974761963
herman	DTMC	17	PRISM	cyclic	mixed	131072	NS	81.36027121543884	80.57020235061646	81.21811819076538	79.00021004676819	78.8291244506836	74.39878368377686	78.92386889457703	81.86781096458435	79.36527848243713	MO	76.09764194488525	75.64819598197937	238.42173647880554	78.36192607879639	NS	MO	238.40258812904358	79.16382622718811
herman	DTMC	9	PRISM	cyclic	mixed	512	NS	0.08101844787597656	0.08469581604003906	0.07966995239257812	0.7120964527130127	0.16701197624206543	0.08014297485351562	0.07315945625305176	0.1398932933807373	0.7536709308624268	1.2187576293945312	0.7181751728057861	0.09237480163574219	1.5249004364013672	0.6934361457824707	NS	0.10444760322570801	1.4966118335723877	0.29335808753967285
kanban	CTMC	4	PRISM	no-transient	fully-recurrent	454475	TO	3.860759735107422	TO	TO	TO	3.7270820140838623	TO	3.2159767150878906	TO	TO	MO	3.004483222961426	TO	MO	3.5390803813934326	TO	MO	MO	3.6276473999023438
kanban	CTMC	5	PRISM	no-transient	fully-recurrent	2546432	TO	31.420071601867676	TO	TO	TO	22.74756145477295	TO	24.11273741722107	TO	TO	MO	20.72033381462097	TO	MO	19.187995195388794	TO	MO	MO	24.413771152496338
kanban	CTMC	6	PRISM	no-transient	fully-recurrent	11261376	TO	MO	TO	TO	TO	106.02454400062561	TO	108.04758954048157	TO	TO	MO	93.10448861122131	TO	MO	86.5888831615448	TO	MO	MO	MO
leader_sync	DTMC	4-2	PRISM	cyclic	singleton-recurrent	61	0.34552955627441406	0.08795714378356934	0.08764052391052246	0.09133625030517578	0.08887434005737305	0.08569788932800293	0.07004976272583008	0.08802247047424316	0.08520174026489258	0.09261369705200195	1.2023773193359375	0.11293292045593262	0.07874011993408203	0.683727502822876	0.3214855194091797	TO	0.07744073867797852	0.6945645809173584	0.21808791160583496
leader_sync	DTMC	4-3	PRISM	cyclic	singleton-recurrent	274	0.40769171714782715	2.13108491897583	2.208284616470337	0.0691523551940918	0.10930395126342773	2.2302439212799072	2.0371668338775635	2.2312700748443604	0.041475534439086914	0.0440821647644043	1.1982364654541016	0.05643153190612793	0.08483028411865234	0.08905506134033203	0.07793927192687988	TO	0.08918094635009766	0.08579802513122559	0.041751861572265625
leader_sync	DTMC	4-4	PRISM	cyclic	singleton-recurrent	812	0.4297366142272949	0.08788108825683594	0.08041095733642578	0.07910513877868652	0.30427980422973633	0.0897524356842041	0.08119678497314453	0.0718994140625	0.07781529426574707	0.234666109085083	1.234262466430664	0.04695606231689453	0.07755208015441895	0.08427739143371582	0.10018134117126465	TO	0.050862789154052734	0.08367466926574707	0.10601568222045898
leader_sync	DTMC	5-2	PRISM	cyclic	singleton-recurrent	141	0.6388494968414307	0.08269429206848145	0.08015036582946777	0.08165860176086426	0.08022117614746094	0.07021760940551758	0.08573484420776367	0.07738733291625977	0.08940839767456055	0.0873560905456543	1.2509806156158447	0.08222270011901855	0.11774396896362305	0.23358750343322754	0.08106398582458496	TO	0.12540507316589355	0.3004295825958252	0.08939886093139648
leader_sync	DTMC	5-3	PRISM	cyclic	singleton-recurrent	1050	0.50502610206604	0.2991492748260498	0.2771635055541992	0.0926060676574707	0.726137638092041	0.305814266204834	0.20484566688537598	0.08287429809570312	0.11389875411987305	0.0898275375366211	1.2536580562591553	0.10399079322814941	0.10729432106018066	0.2000446319580078	0.09798836708068848	TO	0.11043643951416016	0.17598915100097656	0.08705377578735352
leader_sync	DTMC	5-4	PRISM	cyclic	singleton-recurrent	4244	0.523669958114624	0.16691184043884277	0.20447587966918945	1.989260196685791	0.1331493854522705	0.09736514091491699	0.17458319664001465	0.10885167121887207	0.1185297966003418	0.12626862525939941	1.2354893684387207	0.144791841506958	0.17097735404968262	0.22216558456420898	0.11486506462097168	TO	0.1195824146270752	0.2072765827178955	0.08119034767150879
lumbroso	DTMC	1000	PRISM	cyclic	singleton-recurrent	51007	6.412193298339844	0.18739676475524902	0.19521260261535645	0.16728901863098145	0.1347513198852539	1.4455065727233887	3.4866647720336914	1.614377498626709	0.18062734603881836	0.16552519798278809	3.8979761600494385	0.1971602439880371	1.936328649520874	0.424530029296875	1.8447942733764648	2.9177961349487305	0.8598616123199463	15.376672506332397	0.13389134407043457
lumbroso	DTMC	16000	PRISM	cyclic	singleton-recurrent	816127	ERR	8.376454591751099	7.436855792999268	10.015983819961548	7.529797077178955	8.38442063331604	9.244651079177856	412.5328311920166	8.318525552749634	7.499727725982666	MO	7.770712614059448	465.34545516967773	12.767020225524902	420.45615887641907	ERR	12.69722604751587	TO	9.148706436157227
lumbroso	DTMC	4000	PRISM	cyclic	singleton-recurrent	204031	120.12202048301697	0.8536462783813477	0.9305660724639893	0.8029263019561768	1.3294150829315186	0.851264238357544	0.725109338760376	25.758846521377563	1.4044773578643799	0.8336672782897949	82.64074325561523	1.403078317642212	25.96732211112976	1.577451229095459	28.334948778152466	28.558796882629395	1.5540478229522705	246.64213752746582	1.36454176902771
lumbroso	DTMC	64000	PRISM	cyclic	singleton-recurrent	3264511	ERR	109.13143396377563	109.96716666221619	111.07796168327332	114.54236316680908	107.9673056602478	108.38450336456299	TO	109.06129765510559	112.49721908569336	MO	109.27624607086182	TO	118.85332345962524	TO	ERR	118.52578568458557	TO	110.28467559814453
majority	CTMC		PRISM	no-transient	fully-recurrent	192000	TO	1.4863245487213135	497.34409642219543	149.4257528781891	472.57682824134827	2.950773239135742	TO	3.1578876972198486	TO	77.79461336135864	MO	1.346531629562378	TO	TO	1.2503330707550049	TO	TO	TO	1.3641674518585205
mapk_cascade	CTMC	5	PRISM	no-transient	fully-recurrent	408366	TO	15.073792457580566	TO	TO	TO	5.895632266998291	TO	6.713573694229126	TO	TO	MO	6.08595085144043	TO	MO	4.984297275543213	TO	MO	MO	12.131433248519897
mapk_cascade	CTMC	6	PRISM	no-transient	fully-recurrent	1373026	TO	85.38922882080078	TO	TO	TO	23.197798013687134	MO	23.187952518463135	TO	TO	MO	19.802597284317017	TO	MO	20.789268255233765	TO	MO	MO	61.40017032623291
mapk_cascade	CTMC	7	PRISM	no-transient	fully-recurrent	3979348	TO	880.4477136135101	TO	TO	TO	67.11484837532043	TO	68.28205871582031	TO	TO	MO	65.0638816356659	TO	MO	59.49872708320618	TO	MO	MO	555.0118820667267
nand	DTMC	20-2	PRISM	acyclic	singleton-recurrent	154942	28.050495147705078	0.8527469635009766	0.84942626953125	0.8708984851837158	0.871607780456543	0.8253524303436279	0.8549702167510986	0.4890761375427246	0.8573153018951416	0.8197064399719238	10.228623628616333	0.8848233222961426	0.4848172664642334	1.8474280834197998	0.5109729766845703	TO	1.8720457553863525	6.560717582702637	0.8096678256988525
nand	DTMC	20-3	PRISM	acyclic	singleton-recurrent	231552	63.033934354782104	1.5318825244903564	1.5847933292388916	1.6446220874786377	1.7351748943328857	1.536949634552002	1.5240349769592285	0.7890112400054932	1.5125374794006348	1.555788516998291	20.786349773406982	1.6678216457366943	0.7326092720031738	3.0497589111328125	0.7157220840454102	TO	3.0335514545440674	12.302391052246094	1.6897780895233154
nand	DTMC	20-4	PRISM	acyclic	singleton-recurrent	308162	95.59814023971558	2.9497439861297607	2.5580482482910156	2.5839684009552	2.558076858520508	2.5378799438476562	2.560945749282837	0.9382145404815674	2.5461158752441406	2.5775582790374756	34.206677198410034	4.943571329116821	0.9374210834503174	4.773884057998657	1.588491439819336	TO	4.737884283065796	21.884339094161987	4.925307512283325
nand	DTMC	40-1	PRISM	acyclic	singleton-recurrent	1004862	108.49675416946411	23.36911964416504	23.14745330810547	23.63892650604248	24.02965259552002	23.969833612442017	23.293813467025757	4.774169921875	23.304376125335693	28.169930934906006	124.55983710289001	23.977250576019287	4.566282749176025	30.50265669822693	4.505705118179321	TO	30.45235300064087	76.86571741104126	24.00142002105713
nand	DTMC	40-2	PRISM	acyclic	singleton-recurrent	2003082	425.45849657058716	90.35614538192749	88.94432353973389	89.1437475681305	90.19455432891846	101.9976897239685	110.81913137435913	9.1597421169281	91.92304158210754	90.07130455970764	440.4078149795532	91.35673427581787	9.512969255447388	111.87814521789551	9.952920198440552	TO	111.88580226898193	312.8300085067749	91.29163646697998
nand	DTMC	40-4	PRISM	acyclic	singleton-recurrent	3999522	1267.9322731494904	359.5222339630127	356.6838073730469	372.3176019191742	389.03010869026184	350.44327759742737	419.60189175605774	17.99864172935486	409.90758895874023	389.9835386276245	MO	460.86352014541626	20.04632019996643	474.7997467517853	19.574153661727905	TO	474.4936189651489	954.1506140232086	455.2649290561676
oscillators	DTMC	6-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	5006	5.616860866546631	4.830090284347534	9.424078941345215	6.174718379974365	4.670737266540527	5.055623292922974	4.692701101303101	5.020343780517578	4.75956130027771	4.457655906677246	3.3408665657043457	4.554144382476807	4.558675765991211	4.720731735229492	4.527860403060913	10.243056535720825	4.741508722305298	4.475329160690308	4.660465240478516
oscillators	DTMC	6-8-0.1-1-0.1-1.0	PRISM	cyclic	mixed	1717	1.4671216011047363	0.9123809337615967	0.935666561126709	1.0322256088256836	1.0922560691833496	2.3664498329162598	1.1477744579315186	2.306213855743408	1.1347944736480713	1.0586764812469482	1.2074706554412842	1.1831939220428467	0.9135942459106445	1.1794137954711914	1.1822402477264404	4.919414043426514	1.1779417991638184	1.178987979888916	0.9964659214019775
oscillators	DTMC	7-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	11441	30.596248149871826	26.533652782440186	18.135571718215942	17.944904088974	16.917430877685547	16.600189208984375	17.166752338409424	16.548623085021973	17.324617862701416	16.827285766601562	31.63625717163086	17.519307613372803	17.302186012268066	17.076528549194336	15.924670934677124	89.38299679756165	17.25958561897278	17.124237298965454	16.26791262626648
oscillators	DTMC	8-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	24311	227.14247012138367	59.98348116874695	86.17865991592407	61.402743339538574	60.13168120384216	58.967307329177856	86.81574201583862	58.1426420211792	100.72261357307434	64.6390700340271	134.5368950366974	82.5228271484375	63.70219826698303	78.63704061508179	65.18865156173706	453.5654287338257	71.0574631690979	58.68016338348389	81.52403974533081
oscillators	DTMC	8-8-0.1-1-0.1-1.0	PRISM	cyclic	mixed	6436	9.30176067352295	7.759729862213135	7.813634634017944	7.600905895233154	7.700395822525024	7.987070798873901	7.689699649810791	8.221275091171265	7.662347793579102	7.745098352432251	5.292359828948975	7.834169626235962	7.727462291717529	7.598337173461914	7.697737455368042	18.561769723892212	7.485520839691162	7.592229127883911	7.708099126815796
polling	CTMC	10	PRISM	no-transient	fully-recurrent	15360	TO	0.21689701080322266	TO	TO	TO	0.18366432189941406	3.4610631465911865	0.20044827461242676	1.1672403812408447	TO	1.4714972972869873	0.14046621322631836	3.1782596111297607	TO	0.19086432456970215	TO	TO	TO	0.18470048904418945
polling	CTMC	12	PRISM	no-transient	fully-recurrent	73728	TO	0.8408310413360596	TO	TO	TO	0.807915210723877	277.5323340892792	0.8059608936309814	102.85356664657593	TO	MO	0.6179802417755127	277.42922735214233	TO	0.621762752532959	TO	TO	TO	0.7040433883666992
polling	CTMC	6	PRISM	no-transient	fully-recurrent	576	74.89081335067749	0.08819866180419922	1.9034242630004883	1.774883508682251	1.227491855621338	0.077545166015625	0.08317208290100098	0.08715701103210449	0.04633212089538574	1.1597232818603516	1.2398560047149658	1.4578216075897217	0.19117021560668945	5.845107316970825	0.044867753982543945	69.93332815170288	3.9908480644226074	5.832651138305664	1.5339725017547607
polling	CTMC	7	PRISM	no-transient	fully-recurrent	1344	2.5067505836486816	0.07842230796813965	14.018514156341553	13.305126905441284	8.918134212493896	0.08984518051147461	0.0892648696899414	0.08284473419189453	0.0868985652923584	8.054861307144165	1.2291672229766846	0.08317232131958008	0.09559154510498047	96.0396785736084	0.08123207092285156	2.156132936477661	148.3612766265869	95.8533239364624	0.08036971092224121
polling	CTMC	8	PRISM	no-transient	fully-recurrent	3072	TO	0.08870601654052734	102.45655417442322	99.93101024627686	63.931718826293945	0.09205794334411621	0.16846823692321777	0.09650564193725586	0.1095571517944336	55.08921933174133	1.235264539718628	0.09633946418762207	0.16842079162597656	TO	0.0952150821685791	TO	TO	TO	0.09392690658569336
speed-ind	CTMC		PRISM	no-transient	fully-recurrent	743424	TO	11.401938676834106	TO	TO	TO	11.614324808120728	TO	8.392528533935547	TO	TO	MO	5.951345682144165	TO	MO	5.9510345458984375	TO	MO	MO	17.112013816833496
tandem	CTMC	255	PRISM	no-transient	fully-recurrent	130816	TO	146.35677671432495	TO	TO	TO	9.205937385559082	24.797444581985474	8.526655673980713	4.524244785308838	TO	MO	0.824639081954956	24.612354516983032	TO	0.8652939796447754	TO	TO	TO	156.6335711479187
tandem	CTMC	511	PRISM	no-transient	fully-recurrent	523776	TO	863.0968723297119	TO	TO	TO	56.69540095329285	204.49590682983398	57.32100558280945	32.818280935287476	TO	MO	5.944000482559204	247.51134395599365	TO	5.467891216278076	TO	TO	TO	802.574695110321
toggle-switch	CTMC		PRISM	no-transient	fully-recurrent	99	0.6148991584777832	0.07416963577270508	0.1889193058013916	0.10470747947692871	0.07316946983337402	0.06920576095581055	1.993403434753418	0.0887141227722168	0.074615478515625	0.09690189361572266	1.1996912956237793	0.07715773582458496	0.07512164115905762	0.9409308433532715	0.03461337089538574	0.6441857814788818	0.42131876945495605	1.1009650230407715	0.08069539070129395