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.007092769369462348	8.182343691487404e-14	8.182343691487404e-14	8.182343691487404e-14	8.193445921733655e-14	0.0	8.182343691487404e-14	8.182343691487404e-14	2.695904277594252e-09	7.710251326287221e-10	2.6429385016069062e-06	0.000979999207368909	8.182343691487404e-14	8.182343691487404e-14	5.957160632230618e-06	0.0	8.182343691487404e-14	2.3035471563570553e-07	2.7155488102947878e-05	8.182343691487404e-14
brp	DTMC	2048-4	PRISM	acyclic	singleton-recurrent	139271	0.06609887647027124	1.687538997430238e-13	1.687538997430238e-13	1.687538997430238e-13	1.6975310046518644e-13	0.0	1.687538997430238e-13	1.687538997430238e-13	5.176424000552515e-08	8.357955882942747e-09	2.1663568417817913e-05	0.0007476192022290995	1.687538997430238e-13	1.687538997430238e-13	5.785829775162288e-05	0.0	1.687538997430238e-13	3.1606387573823724e-07	0.00023460745423431462	1.687538997430238e-13
brp	DTMC	2048-5	PRISM	acyclic	singleton-recurrent	165896	0.0661058924247252	1.6686652060116103e-13	1.6686652060116103e-13	1.6686652060116103e-13	1.653122083666858e-13	0.0	1.6686652060116103e-13	1.6686652060116103e-13	2.5262596570208018e-08	3.994089836645287e-09	1.212075515344413e-05	0.0005694729518130881	1.6686652060116103e-13	1.6686652060116103e-13	5.788473764556379e-05	0.0	1.6686652060116103e-13	1.495204009493989e-07	0.0001374715371670332	1.6686652060116103e-13
coupon	DTMC	5-2-5	PGCL	cyclic	singleton-recurrent	5397	0.00010683352031404247	6.400288424246448e-10	5.485406245411828e-07	5.541563248140369e-07	6.938893903907228e-17	0.0	5.658848598044663e-10	2.4849632466331442e-05	8.76360489544814e-07	2.0182989050876454e-08	1.970113591624051e-05	1.6609921707801123e-05	6.245004513516506e-17	4.0939474033052647e-16	3.9968028886505635e-14	0.0	7.187620610013545e-07	9.84995836283975e-09	0.0005330461207119289	0.0006236409461702133
coupon	DTMC	7-3-5	PGCL	cyclic	singleton-recurrent	337710	1.5912821125331662e-05	1.7908454667120433e-11	1.816594188833523e-08	2.572643163648372e-08	6.093216209368535e-17	0.0	2.488433981442939e-11	7.4510040784722675e-06	7.32023657246117e-08	1.5152964698977867e-09	1.5576625544675739e-06	1.1961937853915625e-07	8.023096076392733e-18	2.0339632755828063e-16	8.875430970896325e-09	0.0	6.523040809586211e-08	1.5259410878973312e-10	6.13865597020838e-05	5.026237934222834e-05
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	6.661338147750939e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	2.220446049250313e-16	0.0	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	6.661338147750939e-16	0.0	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16
crafted-branch	DTMC	0.001-20-1000-1000	PRISM	acyclic	mixed	1007079	6.661338147750939e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	2.220446049250313e-16	0.0	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	6.661338147750939e-16	0.0	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16
crafted-branch	DTMC	0.001-20-1000-10000	PRISM	acyclic	mixed	10007079	6.661338147750939e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	2.220446049250313e-16	0.0	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	6.661338147750939e-16	0.0	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16	1.1102230246251565e-16
crowds	DTMC	4-15	PRISM	cyclic	singleton-recurrent	119800	2.0165464869298377e-05	4.950037713058464e-09	7.977174738660331e-06	1.2834715250487072e-05	2.7755575615628914e-16	0.0	1.2237384938718066e-08	1.4432899320127035e-15	7.68028921571684e-08	8.320583111398605e-10	4.4886519123821245e-07	9.602588279039592e-05	1.6653345369377348e-16	1.4432899320127035e-15	8.008234073856972e-08	0.0	2.3931282098210716e-06	1.1443058417492935e-07	0.00012367889421799338	0.0026421830806531155
crowds	DTMC	5-10	PRISM	cyclic	singleton-recurrent	111294	0.00010359739950945718	7.873003915470633e-09	4.1719212646729176e-06	1.0380375547569543e-05	2.220446049250313e-16	0.0	1.0841727959842729e-08	1.609823385706477e-15	5.5276285632066546e-08	4.4533243759303787e-10	2.7578351458057426e-07	6.239897869536604e-05	2.220446049250313e-16	1.609823385706477e-15	5.841649112210516e-07	0.0	2.6449633236946823e-06	8.469584095172067e-08	0.00010869170649821513	0.0029199690047598814
crowds	DTMC	5-15	PRISM	cyclic	singleton-recurrent	592060	4.7224282731151215e-05	7.1428970516151935e-09	3.913840885494402e-06	9.839136269396143e-06	7.771561172376096e-16	0.0	1.0008362028024465e-08	1.4432899320127035e-15	4.3146479111744185e-08	1.8434065385264375e-10	1.0263542546407045e-07	5.5581224275291774e-05	1.6653345369377348e-16	1.4432899320127035e-15	1.8503313513589664e-07	0.0	2.3931282098210716e-06	7.599901785670937e-08	8.886801018398449e-05	0.0026421830806531155
crowds	DTMC	6-10	PRISM	cyclic	singleton-recurrent	352535	0.00022255286234900556	5.194552010756581e-09	5.624879089172197e-06	8.716996524604781e-06	4.440892098500626e-16	0.0	8.380777738459244e-09	1.609823385706477e-15	3.6666558178577446e-08	1.433553276086741e-10	7.707526764044736e-08	4.22769980283344e-05	2.220446049250313e-16	1.609823385706477e-15	1.2862362228371633e-06	0.0	2.6449633236946823e-06	4.2287117363315474e-08	7.175686616098242e-05	0.0029199690047598814
crowds	DTMC	6-5	PRISM	cyclic	singleton-recurrent	18817	0.00036913613998479367	6.14189732406345e-09	7.132623444539021e-06	8.98014116368362e-06	2.220446049250313e-16	0.0	9.403643641547887e-09	1.1102230246251565e-15	5.956706145004986e-08	4.492169414227476e-10	3.040027720668803e-07	5.5604152176036425e-05	2.220446049250313e-16	1.1102230246251565e-15	6.684679403068383e-08	0.0	3.4004686659816485e-06	5.5621970251884534e-08	0.00010884901998259311	0.003753326777079513
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.0004999997499999242	0.0	0.0	1.3843370894051077e-12	0.0	0.0	4.999997500476638e-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.0004999997499999242	0.0	0.0	2.8401725415960755e-12	0.0	0.0	4.999997500476638e-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.0004999997499999242	0.0	0.0	1.5552004128949193e-12	0.0	0.0	4.999997500476638e-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.0004999997499999242	0.0	0.0	1.1313172620930345e-12	0.0	0.0	4.999997500476638e-07	0.0	0.0
embedded	CTMC	4	PRISM	cyclic	singleton-recurrent	5168	20985.65040139854	1.8012194838374853	1800.641855865717	556.09697175771	5.5886805057525635e-05	0.0	0.5557814668864012	14968115.268796617	4743515.806712564	7.120706140995026e-05	7.120706140995026e-05	4135.588718788698	5.592033267021179e-05	0.9403366297483444	0.06911437399685383	0.0	1699654.8263305407	13.8489421736449	15878624.28157482	15878570.674448248
embedded	CTMC	5	PRISM	cyclic	singleton-recurrent	6013	20947.97735773772	1.6364844683557749	1636.1198057755828	505.4945175219327	5.589611828327179e-05	0.0	0.5052041430026293	14968115.26744754	4743515.806706116	9.070150554180145e-05	9.070150554180145e-05	4135.5888354294	5.5924057960510254e-05	0.9362370148301125	0.042632319033145905	0.0	1699608.91746277	13.848824746906757	15878624.280161908	15878570.453008283
embedded	CTMC	6	PRISM	cyclic	singleton-recurrent	6858	20905.46082735248	1.4990832898765802	1498.8040134180337	463.34057934582233	5.5866315960884094e-05	0.0	0.46307103522121906	14968115.26585931	4743515.806720454	4.3723732233047485e-05	4.3723732233047485e-05	4135.588923472911	5.59147447347641e-05	0.9348501693457365	0.026552146213361993	0.0	1699560.0677855276	13.848696107044816	15878624.278547132	15878570.2973227
embedded	CTMC	7	PRISM	cyclic	singleton-recurrent	7703	20858.416618593037	1.3830009549856186	1382.92942728661	427.67652407847345	5.581788718700409e-05	0.0	0.427383353933692	14968115.264057286	4743515.806720391	6.581470370292664e-05	6.581470370292664e-05	4135.588920637965	5.5905431509017944e-05	0.9343840442597866	0.1848309002816677	0.0	1699528.7794227675	13.848648579791188	15878624.276730487	15878570.05278457
embedded	CTMC	8	PRISM	cyclic	singleton-recurrent	8548	20807.20790763572	1.2831362131983042	1283.1087207868695	397.09365845285356	5.5847689509391785e-05	0.0	0.39680892787873745	14968115.262050005	4743515.806761669	2.402951940894127e-05	2.402951940894127e-05	4135.588930776343	5.5888667702674866e-05	0.934228029102087	0.1975669153034687	0.0	1699482.877109263	13.848824355751276	15878624.274711963	15878569.829214953
haddad-monmege	DTMC	20-0.7	PRISM	fully-connected	singleton-recurrent	41	1.7522601410746574e-05	0.5097696529701352	512.9084560539341	261.87730397400446	7.826660294085741e-06	0.0	0.2621389664709568	1.7522601410746574e-05	268352.2324243328	0.2621389664709568	261.87730397400446	512.9084560539341	7.826660294085741e-06	1.7522601410746574e-05	1.7522601410746574e-05	0.0	268352.2324243328	0.5097696529701352	523778.2385849841	523778.2385849841
haddad-monmege	DTMC	300-0.7	PRISM	fully-connected	singleton-recurrent	601	1.018517988167243e+90	TO	TO	TO	2.3765419723902335e+90	0.0	TO	1.018517988167243e+90	1.018517988167243e+90	TO	TO	TO	2.3765419723902335e+90	1.018517988167243e+90	1.018517988167243e+90	0.0	1.018517988167243e+90	TO	1.018517988167243e+90	1.018517988167243e+90
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	2.4893304901685287e-05	9.953372709370356e-10	9.021635170025633e-07	8.102191038389384e-06	8.326672684688674e-17	0.0	8.711408192030312e-09	1.271671726536111e-05	2.1428053811889392e-07	2.900450406240207e-08	2.866729598875739e-05	4.859619213218314e-06	4.163336342344337e-17	1.3591613664404312e-08	2.791038153371339e-08	0.0	2.3447907428197912e-07	5.351357357241682e-09	0.00021178930339407764	0.0002289168605630887
leader_sync	DTMC	4-2	PRISM	cyclic	singleton-recurrent	61	5.773159728050814e-15	2.1185997844952453e-08	1.692563160027305e-05	6.103515625e-05	0.0	0.0	5.960464477539063e-08	2.220446049250313e-15	1.9073486328125e-06	4.76837158203125e-07	0.00048828125	0.0004667973740233311	0.0	2.220446049250313e-15	5.773159728050814e-15	0.0	1.9073486328125e-06	4.3051388209924824e-07	0.001953125	0.001953125
leader_sync	DTMC	4-3	PRISM	cyclic	singleton-recurrent	274	2.020605904817785e-14	1.4127833347643559e-08	3.0862655957530905e-06	1.3777739834353042e-05	2.220446049250313e-15	0.0	1.6137987612907523e-08	2.4424906541753444e-15	1.2449304231942904e-07	6.224652193687064e-08	5.314271078815658e-05	1.565101157208204e-05	2.220446049250313e-15	2.4424906541753444e-15	2.020605904817785e-14	0.0	1.2449304231942904e-07	4.765909999981943e-08	0.0004099580546450543	0.0004099580546450543
leader_sync	DTMC	4-4	PRISM	cyclic	singleton-recurrent	812	4.529709940470639e-14	9.98397586826627e-10	3.094012055893103e-06	8.623357172776736e-06	1.3877787807814457e-16	0.0	5.1399218214953635e-09	5.773159728050814e-15	6.579099398607013e-08	3.289549743712428e-08	5.518948590355066e-05	1.1671209666719307e-05	8.326672684688674e-17	5.773159728050814e-15	4.529709940470639e-14	0.0	6.579099398607013e-08	1.4714960849815384e-07	0.00011037897180621314	0.00011037897180621314
leader_sync	DTMC	5-2	PRISM	cyclic	singleton-recurrent	141	3.730349362740526e-14	6.993180123870957e-08	2.136372721839308e-05	0.00013675321501205318	4.440892098500626e-16	0.0	1.6100752953107644e-07	2.3092638912203256e-14	6.4520030771397785e-06	1.0482929799771057e-06	0.0008903772046449099	0.0002700359190606072	4.440892098500626e-16	2.3092638912203256e-14	3.730349362740526e-14	0.0	6.4520030771397785e-06	5.840888133157307e-07	0.0054800676637536405	0.0054800676637536405
leader_sync	DTMC	5-3	PRISM	cyclic	singleton-recurrent	1050	5.1736392947532295e-14	2.605734894522982e-08	1.2430319640932552e-05	1.3777739834130998e-05	6.661338147750939e-16	0.0	1.6137987168818313e-08	4.1300296516055823e-14	1.2449304231942904e-07	6.224652149278143e-08	5.314271078793453e-05	6.036818749399764e-05	5.551115123125783e-17	4.1300296516055823e-14	5.1736392947532295e-14	0.0	1.2449304231942904e-07	1.3018810229858957e-07	0.0004099580546439441	0.0004099580546439441
leader_sync	DTMC	5-4	PRISM	cyclic	singleton-recurrent	4244	1.270095140171179e-13	1.6592760054834343e-08	6.657941767906905e-06	1.7937331020512204e-06	6.938893903907228e-18	0.0	3.1851006276895077e-09	2.1316282072803006e-14	5.260551527719315e-08	2.6302758193708087e-08	1.4812763677429786e-05	1.2971133430017545e-05	6.938893903907228e-18	2.1316282072803006e-14	1.270095140171179e-13	0.0	5.260551527719315e-08	1.0313813803008998e-08	2.9625527353749348e-05	2.9625527353749348e-05
lumbroso	DTMC	1000	PRISM	cyclic	singleton-recurrent	51007	2.9976021664879227e-14	4.464285552341352e-09	4.466357518620456e-06	6.018576994308516e-36	0.0	0.0	5.877471797902015e-39	0.0	0.0	9.403955927617072e-38	9.63082535979748e-35	0.0004999997499999242	0.0	0.0	2.9976021664879227e-14	0.0	0.0	4.999997500476638e-07	0.0	0.0
lumbroso	DTMC	16000	PRISM	cyclic	singleton-recurrent	816127	4.554134847012392e-13	1.7755681386982802e-10	1.7764152764054852e-07	1.8807914097311686e-37	0.0	0.0	1.8367099231598242e-40	0.0	0.0	5.877471797902015e-39	6.018576994308516e-36	0.0004999997499999242	0.0	0.0	4.554134847012392e-13	0.0	0.0	4.999997500476638e-07	0.0	0.0
lumbroso	DTMC	4000	PRISM	cyclic	singleton-recurrent	204031	2.3314683517128287e-13	8.680555302342796e-10	8.684653023255384e-07	7.523171019910777e-37	0.0	0.0	7.346839692639297e-40	0.0	0.0	2.350988771709498e-38	2.407485901123049e-35	0.0004999997499999242	0.0	0.0	2.3314683517128287e-13	0.0	0.0	4.999997500476638e-07	0.0	0.0
lumbroso	DTMC	64000	PRISM	cyclic	singleton-recurrent	3264511	1.4348522370255523e-12	3.756009544185479e-11	3.7578146919051494e-08	4.701977683548843e-38	0.0	MO	4.591774807899561e-41	0.0	0.0	1.4693679412647704e-39	1.5046356389172568e-36	0.0004999997499999242	0.0	0.0	1.4348522370255523e-12	0.0	0.0	4.999997500476638e-07	0.0	0.0
nand	DTMC	20-2	PRISM	acyclic	singleton-recurrent	154942	3.9968028886505635e-15	3.608224830031759e-15	3.608224830031759e-15	3.608224830031759e-15	3.3861802251067274e-15	0.0	3.608224830031759e-15	3.608224830031759e-15	3.6637359812630166e-15	3.608224830031759e-15	3.608224830031759e-15	0.00028505580443571876	3.608224830031759e-15	3.608224830031759e-15	3.9968028886505635e-15	0.0	3.608224830031759e-15	3.608224830031759e-15	3.6637359812630166e-15	3.608224830031759e-15
nand	DTMC	20-3	PRISM	acyclic	singleton-recurrent	231552	1.432187701766452e-14	5.662137425588298e-15	5.662137425588298e-15	5.662137425588298e-15	5.551115123125783e-15	0.0	5.662137425588298e-15	5.662137425588298e-15	5.717648576819556e-15	5.662137425588298e-15	5.662137425588298e-15	0.0003323092445383091	5.662137425588298e-15	5.662137425588298e-15	1.432187701766452e-14	0.0	5.662137425588298e-15	3.256630640713354e-07	5.717648576819556e-15	5.662137425588298e-15
nand	DTMC	20-4	PRISM	acyclic	singleton-recurrent	308162	5.329070518200751e-15	7.882583474838611e-15	7.882583474838611e-15	7.882583474838611e-15	7.549516567451064e-15	0.0	7.882583474838611e-15	7.882583474838611e-15	7.993605777301127e-15	7.882583474838611e-15	7.882583474838611e-15	0.00034428689444526706	7.882583474838611e-15	7.882583474838611e-15	5.329070518200751e-15	0.0	7.882583474838611e-15	3.584828198732737e-07	7.993605777301127e-15	7.882583474838611e-15
nand	DTMC	40-1	PRISM	acyclic	singleton-recurrent	1004862	9.492406860545088e-14	2.3592239273284576e-15	2.3592239273284576e-15	2.3592239273284576e-15	2.248201624865942e-15	0.0	2.3592239273284576e-15	2.3592239273284576e-15	2.192690473634684e-15	2.3592239273284576e-15	2.3592239273284576e-15	0.00014296511734854245	2.3592239273284576e-15	2.3592239273284576e-15	9.492406860545088e-14	0.0	2.3592239273284576e-15	1.4296511913203247e-07	2.192690473634684e-15	2.3592239273284576e-15
nand	DTMC	40-2	PRISM	acyclic	singleton-recurrent	2003082	1.0258460747536446e-13	4.9960036108132044e-15	4.9960036108132044e-15	4.9960036108132044e-15	4.773959005888173e-15	MO	4.9960036108132044e-15	4.9960036108132044e-15	4.9960036108132044e-15	4.9960036108132044e-15	4.9960036108132044e-15	0.0001689946634453321	4.9960036108132044e-15	4.9960036108132044e-15	1.0258460747536446e-13	0.0	4.9960036108132044e-15	1.6899466687148035e-07	4.9960036108132044e-15	4.9960036108132044e-15
nand	DTMC	40-4	PRISM	acyclic	singleton-recurrent	3999522	6.0285110237146e-14	1.0824674490095276e-14	1.0824674490095276e-14	1.0824674490095276e-14	1.049160758270773e-14	MO	1.0824674490095276e-14	1.0824674490095276e-14	1.071365218763276e-14	1.0824674490095276e-14	1.0824674490095276e-14	0.00020518149844586664	1.0824674490095276e-14	1.0824674490095276e-14	6.0285110237146e-14	0.0	1.0824674490095276e-14	2.0518150556370074e-07	1.071365218763276e-14	1.0824674490095276e-14
oscillators	DTMC	6-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	5006	0.010256303223094676	2.625843276149453e-07	0.00039223614987538014	0.0002474826045846257	6.394884621840902e-14	0.0	2.4523124420028353e-07	0.00016188090158575363	0.0010773549918008385	3.5766655317459595e-06	0.0035768542031879846	0.004916648742358198	3.9968028886505635e-14	9.729533889668573e-07	1.7680311131584858e-05	0.0	0.0006592661734687866	3.1041949046795025e-06	0.940808589364325	0.6046622805145105
oscillators	DTMC	6-8-0.1-1-0.1-1.0	PRISM	cyclic	mixed	1717	0.0019166771197236532	1.1691264578672644e-07	0.0001556127828807874	0.00013841332524666683	1.4210854715202004e-14	0.0	1.3114178276651955e-07	0.000270963688917214	0.0002820384398543041	1.7020942548739981e-06	0.0016983799793157672	0.0011998690191079575	5.3290705182007514e-14	2.3214526212456121e-07	3.4498169156904623e-06	0.0	0.0002840202096638933	1.1821183951710168e-06	0.2624221749649718	0.26440389547460263
oscillators	DTMC	7-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	11441	0.007332491493663884	1.5842831713186456e-08	2.8073205794232337e-05	8.135401049669255e-05	3.68594044175552e-14	0.0	7.947362545834835e-08	0.0005065072298355844	0.0002597081386732647	1.2575128587322126e-06	0.0012602519176394544	0.002100288618324786	4.04121180963557e-14	2.8478273250698294e-07	2.203004704701139e-06	0.0	0.00014175064579058372	1.075345092527158e-06	0.23721675741254922	0.13462275715381988
oscillators	DTMC	8-10-0.1-1-0.1-1.0	PRISM	cyclic	mixed	24311	0.010795084452175363	3.1330026573073155e-08	1.4738672360348204e-05	8.72953641430918e-05	6.128431095930864e-14	TO	8.642183724205665e-08	0.0005246888728236421	0.0004597352862738546	1.5125525809622786e-06	0.0015144163049338744	0.0002807351610969455	7.37188088351104e-14	2.9224922748483095e-07	1.583214374711872e-06	0.0	0.0002703324460280321	3.5388218666554394e-07	0.3992405539559072	0.24725725338628157
oscillators	DTMC	8-8-0.1-1-0.1-1.0	PRISM	cyclic	mixed	6436	0.004961373087593479	8.019833064309978e-08	2.2406980457745362e-05	0.0001482457535386672	9.947598300641403e-14	0.0	1.482868512425739e-07	0.0033987962326893495	0.000827349483054185	2.3935658628460033e-06	0.002396535741548078	0.002962093488173778	1.1812772982011666e-13	5.287985809232509e-07	1.6066850258233956e-05	0.0	0.0004309128394943684	3.4095420176072366e-06	0.7070912589720919	0.39489259656027276
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