Model	Parameters	Type	Original	EVT cat.	Stationary cat.	states	storm.sparse.ii-topo.0.001	storm.sparse.ovi-topo.0.001	storm.sparse.lu-topo.0.001	storm.sparse.luexact-topo.ignored	storm.sparse.vi-topo.1e-06	storm.sparse.gmres-topo.1e-06
philosophers-dl	CTMC	10	GreatSPN	fully-connected	singleton-recurrent	6726	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE
philosophers-dl	CTMC	11	GreatSPN	fully-connected	singleton-recurrent	16238	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE
philosophers-dl	CTMC	12	GreatSPN	fully-connected	singleton-recurrent	39202	NO BASELINE	NO BASELINE	TO	TO	NO BASELINE	NO BASELINE
philosophers-dl	CTMC	13	GreatSPN	fully-connected	singleton-recurrent	94642	NO BASELINE	NO BASELINE	TO	TO	NO BASELINE	NO BASELINE
philosophers-dl	CTMC	14	GreatSPN	fully-connected	singleton-recurrent	228486	NO BASELINE	NO BASELINE	TO	TO	NO BASELINE	NO BASELINE
philosophers-dl	CTMC	15	GreatSPN	fully-connected	singleton-recurrent	551614	NO BASELINE	NO BASELINE	TO	MO	NO BASELINE	NO BASELINE
philosophers-dl	CTMC	16	GreatSPN	fully-connected	singleton-recurrent	1331714	NO BASELINE	NO BASELINE	TO	MO	NO BASELINE	NO BASELINE
philosophers-dl	CTMC	17	GreatSPN	fully-connected	singleton-recurrent	3215042	NO BASELINE	NO BASELINE	TO	MO	NO BASELINE	NO BASELINE
philosophers-dl	CTMC	18	GreatSPN	fully-connected	singleton-recurrent	7761798	NO BASELINE	NO BASELINE	TO	MO	NO BASELINE	NO BASELINE
philosophers-dl	CTMC	19	GreatSPN	fully-connected	singleton-recurrent	18738638	MO	MO	MO	MO	MO	MO
philosophers-dl	CTMC	20	GreatSPN	fully-connected	singleton-recurrent	-8000	MO	MO	MO	MO	MO	MO
philosophers-dl	CTMC	3	GreatSPN	fully-connected	singleton-recurrent	14	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE
philosophers-dl	CTMC	4	GreatSPN	fully-connected	singleton-recurrent	34	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE
philosophers-dl	CTMC	5	GreatSPN	fully-connected	singleton-recurrent	82	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE
philosophers-dl	CTMC	6	GreatSPN	fully-connected	singleton-recurrent	198	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE
philosophers-dl	CTMC	7	GreatSPN	fully-connected	singleton-recurrent	478	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE	NO BASELINE
philosophers-dl	CTMC	8	GreatSPN	fully-connected	singleton-recurrent	1154	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE
philosophers-dl	CTMC	9	GreatSPN	fully-connected	singleton-recurrent	2786	NO BASELINE	NO BASELINE	NO BASELINE	TO	NO BASELINE	NO BASELINE