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.2587174835736116	8.349336279141468e-14	8.349336279141468e-14	8.349336279141468e-14	8.362948196551665e-14	0.0	8.349336279141468e-14	8.349336279141468e-14	1.285844014559105e-06	3.96250711630138e-07	0.00037437967208560916	0.0009999995000828483	8.349336279141468e-14	8.349336279141468e-14	7.354227979525627e-05	0.0	8.349336279141468e-14	8.06233094051099e-07	0.0027361678036213607	8.349336279141468e-14
brp	DTMC	2048-4	PRISM	acyclic	singleton-recurrent	139271	0.6657988869007881	1.7224154100371928e-13	1.7224154100371928e-13	1.7224154100371928e-13	1.7322780147929482e-13	0.0	1.7224154100371928e-13	1.7224154100371928e-13	2.2476781521269643e-06	4.0544233877383084e-07	0.00041565975513019614	0.0009579122040350375	1.7224154100371928e-13	1.7224154100371928e-13	0.0001598029347162774	0.0	1.7224154100371928e-13	6.803419577640756e-07	0.003462075831294876	1.7224154100371928e-13
brp	DTMC	2048-5	PRISM	acyclic	singleton-recurrent	165896	1.487974571735872	1.7027563686864712e-13	1.7027563686864712e-13	1.7027563686864712e-13	1.6870408676187054e-13	0.0	1.7027563686864712e-13	1.7027563686864712e-13	2.4829670487483978e-06	4.4877650093840486e-07	0.0004465787203200592	0.0009162931940368161	1.7027563686864712e-13	1.7027563686864712e-13	0.0010570308508960767	0.0	1.7027563686864712e-13	5.254958661752265e-07	0.0036929226292767743	1.7027563686864712e-13
coupon	DTMC	5-2-5	PGCL	cyclic	singleton-recurrent	5397	0.012993441247166289	2.0413959917161035e-08	2.0901825554479198e-05	1.5984950531688083e-05	2.7537027776135775e-15	0.0	1.640977145014112e-08	0.004174738254343682	2.0767667376472058e-05	4.7683001108110134e-07	0.000466812068684724	0.000369435151841649	1.5387691121304671e-15	1.0911271886016039e-14	1.1307621505807219e-13	0.0	2.395224624189672e-05	2.2404222832265692e-07	0.012254864318647734	0.020965356321120655
coupon	DTMC	7-3-5	PGCL	cyclic	singleton-recurrent	337710	0.05132963986283551	1.2158892544564286e-08	9.715664866345796e-06	1.004886649911413e-05	4.67005909369494e-14	0.0	9.777015868510044e-09	0.0189648628729979	2.3131040869236556e-05	4.819438689326699e-07	0.0004953796768433852	3.6752973636646956e-05	5.900608252864539e-15	1.4335550250727502e-13	3.595667908993595e-05	0.0	2.9829402937323483e-05	5.264536350646796e-08	0.020036434366893226	0.022212424877647397
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	1.149484796933352e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	3.4492911022391504e-15	0.0	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.149484796933352e-14	0.0	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14
crafted-branch	DTMC	0.001-20-1000-1000	PRISM	acyclic	mixed	1007079	1.149484796933352e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	3.4492911022391504e-15	0.0	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.149484796933352e-14	0.0	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14
crafted-branch	DTMC	0.001-20-1000-10000	PRISM	acyclic	mixed	10007079	1.149484796933352e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	3.4492911022391504e-15	0.0	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.149484796933352e-14	0.0	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14	1.0920105570866844e-14
crowds	DTMC	4-15	PRISM	cyclic	singleton-recurrent	119800	0.005120813098667824	2.4202310877852006e-08	3.900254006549414e-05	6.850835824089606e-05	3.719294067277409e-15	0.0	6.615262326163778e-08	5.1656862045519574e-15	3.5092975934306126e-06	4.6848798157272457e-07	0.00043234169883895235	0.0007266162584971757	2.3245587920483806e-15	5.1656862045519574e-15	6.0770302469876276e-05	0.0	9.30676787327283e-06	8.174715502373513e-07	0.003946343573443104	0.01025064889259512
crowds	DTMC	5-10	PRISM	cyclic	singleton-recurrent	111294	0.028070388026265766	4.353565104938865e-08	2.306946895174487e-05	6.886656592200686e-05	1.9001978320899663e-15	0.0	6.635949626329308e-08	8.075319542934173e-15	3.406045762058176e-06	4.2371332008946473e-07	0.0004501292144421376	0.0006909571758149781	2.2108295813814664e-15	8.075319542934173e-15	0.0011528273012864055	0.0	1.1433949811735422e-05	8.149958328969291e-07	0.0045798908704699865	0.012578465486582603
crowds	DTMC	5-15	PRISM	cyclic	singleton-recurrent	592060	0.021912178386959164	4.365486630255933e-08	2.391983680871641e-05	6.623318141574513e-05	4.3860081823594175e-15	0.0	7.448472034217681e-08	6.7911431473695516e-15	3.406045762158194e-06	4.5072637842545856e-07	0.0004723498822852673	0.0006909088072957022	2.635466044249742e-15	6.7911431473695516e-15	0.0005637482436963823	0.0	1.1433949812403877e-05	8.148795129882994e-07	0.004579890870470873	0.012578465486584221
crowds	DTMC	6-10	PRISM	cyclic	singleton-recurrent	352535	0.06718221116161047	3.4469415261332156e-08	3.7324458089490505e-05	6.920297618544473e-05	2.3643748652364616e-15	0.0	6.980378692816428e-08	1.056685686471191e-14	3.958272598825302e-06	4.7337984804685347e-07	0.0004872405320042953	0.0007084986385366422	2.6599217233910193e-15	1.056685686471191e-14	0.004766560637197473	0.0	1.3561127225826075e-05	7.136899915103251e-07	0.005019263601542483	0.014900807229702764
crowds	DTMC	6-5	PRISM	cyclic	singleton-recurrent	18817	0.018431341682377884	3.170072340937576e-08	3.681380001856403e-05	6.756654064736937e-05	1.2686592468859792e-15	0.0	6.471020706502595e-08	2.393781306974983e-15	3.958272598419331e-06	3.721997957554825e-07	0.00044398622842569026	0.0007086852655511332	2.0688280070819042e-15	2.393781306974983e-15	0.00017788903483348685	0.0	1.3561127225636718e-05	7.141732858633589e-07	0.0050192636015415435	0.014900807229702728
egl	DTMC	5-2	PRISM	acyclic	singleton-recurrent	33790	1.3843370894051077e-12	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0009999994999998485	0.0	0.0	1.3843370894051077e-12	0.0	0.0	9.999995000953277e-07	0.0	0.0
egl	DTMC	5-4	PRISM	acyclic	singleton-recurrent	74750	2.8401725415960755e-12	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0009999994999998485	0.0	0.0	2.8401725415960755e-12	0.0	0.0	9.999995000953277e-07	0.0	0.0
egl	DTMC	5-6	PRISM	acyclic	singleton-recurrent	115710	1.5552004128949193e-12	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0009999994999998485	0.0	0.0	1.5552004128949193e-12	0.0	0.0	9.999995000953277e-07	0.0	0.0
egl	DTMC	5-8	PRISM	acyclic	singleton-recurrent	156670	1.1313172620930345e-12	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0009999994999998485	0.0	0.0	1.1313172620930345e-12	0.0	0.0	9.999995000953277e-07	0.0	0.0
embedded	CTMC	4	PRISM	cyclic	singleton-recurrent	5168	0.0026721317040767256	1.4853844353612585e-07	0.00014847080419089066	8.010349423591631e-05	1.6583799489070245e-11	0.0	8.006618526287868e-08	0.9936371727713413	0.3448204682247038	4.999475836359135e-07	0.0004999991839316941	0.00040809716836892623	1.6580940991471658e-11	0.0006922124641171507	4.122620063138703e-07	0.0	0.16609020283433767	9.866320961204292e-07	0.9999999972893666	0.9999999919730623
embedded	CTMC	5	PRISM	cyclic	singleton-recurrent	6013	0.002672683789108566	1.3498315289232876e-07	0.00013493877958987033	7.282155695425118e-05	1.6583834603152055e-11	0.0	7.278728134115326e-08	0.9936364605642211	0.34482046822310314	4.999469502799305e-07	0.0004999991850087674	0.0004080971742544117	1.6581392333205006e-11	0.0006937242104874849	4.0422928782923877e-07	0.0	0.16608800677347502	9.866358330493525e-07	0.9999999972893666	0.999999991953188
embedded	CTMC	6	PRISM	cyclic	singleton-recurrent	6858	0.002673437392825644	1.2368578820024273e-07	0.00012364587645778878	6.675144517187148e-05	1.658129584016193e-11	0.0	6.672300626957094e-08	0.9936357487617077	0.34482046822711665	4.999469174234907e-07	0.0004999991849098626	0.0004080971717095944	1.6580640097004178e-11	0.0006944876655333715	4.047447151876197e-07	0.0	0.16608568397962634	9.866333733537187e-07	0.9999999972893666	0.999999991935625
embedded	CTMC	7	PRISM	cyclic	singleton-recurrent	7703	0.0026743700807144517	1.1413576912685698e-07	0.00011411810974869316	6.161669799202831e-05	1.6579286071837558e-11	0.0	6.159147593003716e-08	0.9936350370665891	0.34482046822585394	4.999413062927206e-07	0.0004999991821278691	0.0004080971681117437	1.6580339202531775e-11	0.0006949707189785674	3.932467549244949e-07	0.0	0.1660838900990336	9.866333577824958e-07	0.9999999972893666	0.9999999919140808
embedded	CTMC	8	PRISM	cyclic	singleton-recurrent	8548	0.0026754539048901263	1.0592636368086186e-07	0.0001059093429458475	5.721560539503048e-05	1.6581693227724303e-11	0.0	5.7193527341322164e-08	0.9936343253798368	0.34482046822415857	4.999441547971016e-07	0.0004999991821094528	0.00040809717638461265	1.6578985177367742e-11	0.0006953499465518442	3.9037905842487935e-07	0.0	0.16608169435044204	9.866349050578416e-07	0.9999999972893666	0.9999999918940885
haddad-monmege	DTMC	20-0.7	PRISM	fully-connected	singleton-recurrent	41	3.342199533002648e-11	9.723260682318167e-07	0.0009783129694269327	0.0004995003686384233	1.4928428863451398e-11	0.0	4.999994592961141e-07	3.342199533002648e-11	0.5118505383507185	4.999994592961141e-07	0.0004995003686384233	0.0009783129694269327	1.4928428863451398e-11	3.342199533002648e-11	3.342199533002648e-11	0.0	0.5118505383507185	9.723260682318167e-07	0.9990458099569198	0.9990458099569198
haddad-monmege	DTMC	300-0.7	PRISM	fully-connected	singleton-recurrent	601	1.0	TO	TO	TO	2.3333333333333335	0.0	TO	1.0	1.0	TO	TO	TO	2.3333333333333335	1.0	1.0	0.0	1.0	TO	1.0	1.0
herman	DTMC	11	PRISM	cyclic	mixed	2048	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE
herman	DTMC	13	PRISM	cyclic	mixed	8192	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE
herman	DTMC	15	PRISM	cyclic	mixed	32768	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	MO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE
herman	DTMC	17	PRISM	cyclic	mixed	131072	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	MO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	MO	NO BASELINE	NO BASELINE	MO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE
herman	DTMC	9	PRISM	cyclic	mixed	512	0.0005953543705019192	1.3265321518671227e-07	0.00012039522486802169	0.0001236860693608567	1.6944972435026644e-15	0.0	1.3298622962170816e-07	0.0006284374520193405	3.2711543550229332e-06	4.4277567441222105e-07	0.0004376279383259898	7.418575990439212e-05	1.7977658869357996e-15	7.619966386828833e-07	1.302032565659931e-06	0.0	3.5795002744190472e-06	8.169251429969995e-08	0.003233123774219811	0.0034945888784059325
leader_sync	DTMC	4-2	PRISM	cyclic	singleton-recurrent	61	2.9976021664879227e-15	2.1185998066997058e-08	2.2054762324974497e-05	6.103515625e-05	0.0	0.0	5.960464477539063e-08	1.3322676295501878e-15	1.9073486328125e-06	4.76837158203125e-07	0.00048828125	0.00047753931201166555	0.0	1.3322676295501878e-15	2.9976021664879227e-15	0.0	1.9073486328125e-06	4.536755201511866e-07	0.001953125	0.001953125
leader_sync	DTMC	4-3	PRISM	cyclic	singleton-recurrent	274	1.5404344466674047e-14	4.036524037243083e-08	2.6873115080081056e-05	3.936497095458069e-05	1.6447748512965284e-15	0.0	4.6108535323163835e-08	1.809252336426181e-15	3.556944054849964e-07	1.7784720363067663e-07	0.00015183631653606366	6.775416965996983e-05	1.6447748512965284e-15	1.809252336426181e-15	1.5404344466674047e-14	0.0	3.556944054849964e-07	1.361688581336118e-07	0.0011713087275567746	0.0011713087275567746
leader_sync	DTMC	4-4	PRISM	cyclic	singleton-recurrent	812	3.840677775812651e-14	2.4261164889571862e-08	2.284675433676664e-05	4.656612873149557e-05	1.0705722023171154e-15	0.0	2.775557633727388e-08	5.0584536559483695e-15	3.5527136782453894e-07	1.7763568466167e-07	0.00029802322387767477	0.00010231470331867332	6.423433213902692e-16	5.0584536559483695e-15	3.840677775812651e-14	0.0	3.5527136782453894e-07	7.946078852405503e-07	0.0005960464477538507	0.0005960464477538507
leader_sync	DTMC	5-2	PRISM	cyclic	singleton-recurrent	141	1.1657341758564145e-14	3.178718288587845e-08	9.71438748789688e-06	6.21605522784415e-05	1.3877787807814457e-16	0.0	7.318524106181279e-08	7.355227538141662e-15	2.932728671208492e-06	4.7649680923189663e-07	0.000404716911202215	0.00012274359957265002	1.3877787807814457e-16	7.355227538141662e-15	1.1657341758564145e-14	0.0	2.932728671208492e-06	2.654949149416552e-07	0.002490939847161015	0.002490939847161015
leader_sync	DTMC	5-3	PRISM	cyclic	singleton-recurrent	1050	3.856290287096443e-14	1.0860403873089176e-07	3.551519897343134e-05	3.936497095421866e-05	6.516526448886789e-16	0.0	4.610853449049657e-08	3.106889745474462e-14	3.556944055960187e-07	1.77847203214343e-07	0.00015183631653546632	0.0002613375115451296	4.344350965924526e-16	3.106889745474462e-14	3.856290287096443e-14	0.0	3.5569440549193537e-07	3.7196600712595823e-07	0.0011713087275562475	0.0011713087275562475
leader_sync	DTMC	5-4	PRISM	cyclic	singleton-recurrent	4244	1.1162945567910754e-13	1.407495824968033e-07	4.832377090134811e-05	1.3019030575866024e-05	1.836766033387208e-16	0.0	2.3117658568688748e-08	1.8883704124204672e-14	3.8181422160848175e-07	1.9090711095293147e-07	0.00010751199442942014	9.414532328588205e-05	1.836766033387208e-16	1.8883704124204672e-14	1.1162945567910754e-13	0.0	3.8181422104870547e-07	9.517658067920154e-08	0.00021502398885786447	0.00021502398885786447
lumbroso	DTMC	1000	PRISM	cyclic	singleton-recurrent	51007	2.9976021664879227e-14	7.142856883746163e-08	7.14617202979273e-05	3.051781095742001e-05	0.0	0.0	2.980232260973992e-08	0.0	0.0	4.768372150465439e-07	0.0004883408619216212	0.0009999994999998485	0.0	0.0	2.9976021664879227e-14	0.0	0.0	9.999995000953277e-07	0.0	0.0
lumbroso	DTMC	16000	PRISM	cyclic	singleton-recurrent	816127	4.554134847012392e-13	4.5454544350675974e-08	4.547623107598042e-05	1.5258792700478807e-05	0.0	0.0	1.4901161193847656e-08	0.0	0.0	4.768371617558387e-07	0.0004882849753187202	0.0009999994999998485	0.0	0.0	4.554134847012392e-13	0.0	0.0	9.999995000953277e-07	0.0	0.0
lumbroso	DTMC	4000	PRISM	cyclic	singleton-recurrent	204031	2.3314683517128287e-13	5.5555553934993895e-08	5.558177934883446e-05	1.525880361441523e-05	0.0	0.0	1.4901161193847656e-08	0.0	0.0	4.768371724139797e-07	0.0004882961516159412	0.0009999994999998485	0.0	0.0	2.3314683517128287e-13	0.0	0.0	9.999995000953277e-07	0.0	0.0
lumbroso	DTMC	64000	PRISM	cyclic	singleton-recurrent	3264511	1.4348522370255523e-12	3.8461537732459306e-08	3.848002244510873e-05	1.5258789971994702e-05	0.0	MO	1.4901161193847656e-08	0.0	0.0	4.768371590913034e-07	0.000488282181324351	0.0009999994999998485	0.0	0.0	1.4348522370255523e-12	0.0	0.0	9.999995000953277e-07	0.0	0.0
nand	DTMC	20-2	PRISM	acyclic	singleton-recurrent	154942	1.1433060354258992e-14	1.0412251394057296e-14	1.0412251394057296e-14	1.0412251394057296e-14	1.07732132905336e-14	0.0	1.0412251394057296e-14	1.0412251394057296e-14	1.0616413186097635e-14	1.0412251394057296e-14	1.0412251394057296e-14	0.0009999995000101016	1.0412251394057296e-14	1.0412251394057296e-14	1.1433060354258992e-14	0.0	1.0412251394057296e-14	1.0412251394057296e-14	1.0616413186097635e-14	1.0412251394057296e-14
nand	DTMC	20-3	PRISM	acyclic	singleton-recurrent	231552	1.432187701766452e-14	1.4098975689540119e-14	1.4098975689540119e-14	1.4098975689540119e-14	1.460049936602279e-14	0.0	1.4098975689540119e-14	1.4098975689540119e-14	1.420786438645812e-14	1.4098975689540119e-14	1.4098975689540119e-14	0.000999999500013649	1.4098975689540119e-14	1.4098975689540119e-14	1.432187701766452e-14	0.0	1.4098975689540119e-14	9.99999513655873e-07	1.420786438645812e-14	1.4098975689540119e-14
nand	DTMC	20-4	PRISM	acyclic	singleton-recurrent	308162	1.2662980120353005e-14	1.797428609000877e-14	1.797428609000877e-14	1.797428609000877e-14	1.8241335174209123e-14	0.0	1.797428609000877e-14	1.797428609000877e-14	1.791752175207577e-14	1.797428609000877e-14	1.797428609000877e-14	0.0009999995000174267	1.797428609000877e-14	1.797428609000877e-14	1.2662980120353005e-14	0.0	1.797428609000877e-14	9.999995173289565e-07	1.791752175207577e-14	1.797428609000877e-14
nand	DTMC	40-1	PRISM	acyclic	singleton-recurrent	1004862	9.492406860545088e-14	1.37377890715395e-14	1.37377890715395e-14	1.37377890715395e-14	1.4006961836575291e-14	0.0	1.37377890715395e-14	1.37377890715395e-14	1.37377890715395e-14	1.37377890715395e-14	1.37377890715395e-14	0.000999999500013436	1.37377890715395e-14	1.37377890715395e-14	9.492406860545088e-14	0.0	1.37377890715395e-14	9.999995133236451e-07	1.37377890715395e-14	1.37377890715395e-14
nand	DTMC	40-2	PRISM	acyclic	singleton-recurrent	2003082	1.0258460747536446e-13	2.1402428781797092e-14	2.1402428781797092e-14	2.1402428781797092e-14	2.0672127102312843e-14	MO	2.1402428781797092e-14	2.1402428781797092e-14	2.077554753228061e-14	2.1402428781797092e-14	2.1402428781797092e-14	0.0009999995000209868	2.1402428781797092e-14	2.1402428781797092e-14	1.0258460747536446e-13	0.0	2.1402428781797092e-14	9.99999520637233e-07	2.077554753228061e-14	2.1402428781797092e-14
nand	DTMC	40-4	PRISM	acyclic	singleton-recurrent	3999522	6.0285110237146e-14	3.569459034914071e-14	3.569459034914071e-14	3.569459034914071e-14	3.671500080369787e-14	MO	3.569459034914071e-14	3.569459034914071e-14	3.569459034914071e-14	3.569459034914071e-14	3.569459034914071e-14	0.0009999995000353125	3.569459034914071e-14	3.569459034914071e-14	6.0285110237146e-14	0.0	3.569459034914071e-14	9.999995349402834e-07	3.569459034914071e-14	3.569459034914071e-14
oscillators	DTMC	6-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	5006	0.1224075732988897	1.2201512015771696e-07	0.00011839868542806703	4.199276074213159e-05	8.778553420901674e-15	0.0	3.686702441886586e-08	0.15070199963942507	0.00014751556533985886	4.896618306255905e-07	0.0004896876604321978	0.000672694128493763	5.486573293045998e-15	1.063180811016684e-05	6.276348351926099e-05	0.0	8.999342638836368e-05	7.426031763468963e-07	0.12875234302025346	0.0830047834322432
oscillators	DTMC	6-8-0.1-1-0.1-1.0	PRISM	cyclic	mixed	1717	0.04060742068279718	7.818561244641073e-08	8.643885733591338e-05	4.798973327898813e-05	3.561981544676696e-15	0.0	4.067128243272126e-08	0.00590175604286138	7.057355684206569e-05	4.259094812833795e-07	0.000424980070344126	0.0009558283786466597	1.3278971714353413e-14	1.2873733536385566e-05	3.731009433372238e-05	0.0	7.10645408593869e-05	9.404380885597111e-07	0.06566491654136525	0.06615676934472503
oscillators	DTMC	7-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	11441	0.09266132839666795	1.0953885179996186e-07	0.00010128424941121916	3.289380681928912e-05	1.4368560946446066e-14	0.0	4.160474338374535e-08	0.3366720136161124	9.879036518855994e-05	4.783452500727651e-07	0.0004789622581026823	0.00097958766531976	1.5591417197207436e-14	2.5692105611894742e-05	8.338639832321544e-05	0.0	5.3857026950887597e-05	9.516684621832022e-07	0.09023067709150391	0.05120678666670505
oscillators	DTMC	8-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	24311	0.05755834026659381	1.0932122961083925e-07	0.00011058432032000721	3.7588868778685995e-05	2.1473337165983984e-14	TO	3.803649612707215e-08	0.6727218874924262	0.0001503552466271366	4.946764437332006e-07	0.0004952859696082968	0.0009319810274565332	2.397452967534753e-14	0.0009180943797202916	8.48646411714561e-05	0.0	8.84110117348924e-05	9.319810338641606e-07	0.13070229202229208	0.08086432495021738
oscillators	DTMC	8-8-0.1-1-0.1-1.0	PRISM	cyclic	mixed	6436	0.037230530803341176	9.232136210014087e-08	9.112459499682852e-05	3.056984953826122e-05	2.0531920647631226e-14	0.0	3.35177738104172e-08	0.021869680724024097	0.00017034364186537917	4.928131752512112e-07	0.0004934246463389596	0.000941792793204054	2.4381664167776575e-14	7.327339046233177e-05	6.856109781416058e-05	0.0	8.871952866329869e-05	9.62522870313568e-07	0.14558358064067564	0.08130254735374759
philosophers-dl	CTMC	10	GreatSPN	fully-connected	singleton-recurrent	6726	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE
philosophers-dl	CTMC	12	GreatSPN	fully-connected	singleton-recurrent	39202	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	TO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE
philosophers-dl	CTMC	16	GreatSPN	fully-connected	singleton-recurrent	1331714	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	MO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE	MO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE
philosophers-dl	CTMC	8	GreatSPN	fully-connected	singleton-recurrent	1154	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE