Table 5.

Full break-down of solved problems by reasoner and task over the 306 ontologies for DL consistency and classification, 264 for DL realisation, 298 for EL consistency and classification, and 109 for EL realisation

Reasoner	Solved	Timeout	Error	Wrong	Solved	Timeout	Error	Wrong
	DL consistency				EL consistency
Chainsaw	291	3	11	1	276	19	3	0
ELepHant	–	–	–	–	296	2	0	0
ELK	–	–	–	–	298	0	0	0
FaCT++	276	16	13	1	270	22	6	0
HermiT	294	8	3	1	282	16	0	0
HermiT-OA4	293	8	4	1	282	16	0	0
jcel	–	–	–	–	261	35	2	0
Jfact	166	83	52	5	227	71	0	0
Konclude	303	1	0	2	298	0	0	0
MORe	253	43	2	8	295	3	0	0
Pellet-OA4	278	26	0	2	285	13	0	0
Racer	239	48	1	18	256	40	0	2
TrOWL	266	0	36	4	273	0	25	0
	DL classification				EL classification
Chainsaw	119	171	16	0	191	94	13	0
ELepHant	–	–	–	–	291	6	0	1
ELK	–	–	–	–	298	0	0	0
FaCT++	200	87	17	2	244	51	3	0
HermiT	236	67	2	1	272	26	0	0
HermiT-OA4	237	66	2	1	272	26	0	0
jcel	–	–	–	–	133	158	6	1
Jfact	128	106	59	13	189	89	2	18
Konclude	288	7	1	10	294	0	0	4
MORe	247	41	2	16	294	2	0	2
Pellet-OA4	187	105	14	0	261	28	9	0
Racer	164	86	2	54	237	38	0	23
TrOWL	201	0	35	70	275	0	23	0
	DL realisation				EL realisation
Chainsaw	79	166	16	3	43	64	2	0
ELepHant	–	–	–	–	84	1	0	24
ELK	–	–	–	–	102	0	0	7
FaCT++	172	58	25	9	79	27	3	0
HermiT	163	93	5	3	57	52	0	0
HermiT-OA4	162	93	6	3	57	52	0	0
Jfact	109	89	47	19	63	43	0	3
Konclude	247	2	1	14	104	0	0	5
PAGOdA	104	51	95	14	86	15	0	8
Pellet-OA4	136	54	24	50	60	32	2	15
Racer	46	75	3	140	32	31	0	46
TrOWL	150	0	43	71	86	0	22	1