Discipline:OWL DL ConsistencyOWL EL ConsistencyOWL DL ClassificationOWL EL ClassificationOWL DL RealisationOWL EL Realisation
Schedule: 07:00 - 18:30 (CEST)07:05 - 18:35 (CEST)07:10 - 18:40 (CEST)07:15 - 18:45 (CEST)07:20 - 18:50 (CEST)07:25 - 18:55 (CEST)

Discipline: OWL EL Realisation(finished)
Reasoner  ProgressScore Time 
Konclude
104 / 1095229.9 s
ELK
102 / 1097277.8 s
TrOWL
86 / 10923242.3 s
PAGOdA
86 / 109231,771.7 s
ELepHant
84 / 10925424.8 s
FaCT++
79 / 10930354.2 s
JFact
63 / 10946280.7 s
Pellet-OA4
60 / 109491,154.3 s
HermiT
57 / 10952905.1 s
HermiT-OA4
57 / 10952934.4 s
Chainsaw
43 / 10966251.9 s
Racer
32 / 10977518.8 s
jcel
0 / 1091090.0 s
Discipline:
OWL DL Realisation
(finished)
Reasoner  ProgressScore Time 
Konclude
247 / 26417739.3 s
FaCT++
172 / 264921,111.3 s
HermiT
163 / 2641012,934.9 s
HermiT-OA4
162 / 2641023,022.5 s
TrOWL
150 / 264114503.5 s
Pellet-OA4
136 / 2641281,434.2 s
JFact
109 / 2641551,252.6 s
PAGOdA
104 / 2641603,437.5 s
Chainsaw
79 / 2641851,067.6 s
Racer
46 / 264218294.8 s
Discipline: OWL EL Classification(finished)
Reasoner  ProgressScore Time 
ELK
298 / 2980674.1 s
Konclude
294 / 2984622.3 s
MOReHermiT
294 / 29841,685.1 s
ELepHant
291 / 2987957.0 s
TrOWL
275 / 29823767.4 s
HermiT
272 / 298262,012.9 s
HermiT-OA4
272 / 298262,068.6 s
Pellet-OA4
261 / 298372,169.5 s
FaCT++
244 / 298542,671.9 s
Racer
237 / 298611,322.2 s
Chainsaw
191 / 2981071,587.4 s
JFact
189 / 2981092,404.3 s
jcel
133 / 29816598.4 s
Discipline:
OWL DL Classification
(finished)
Reasoner  ProgressScore Time 
Konclude
288 / 306181,308.9 s
MOReHermiT
247 / 306592,143.0 s
HermiT-OA4
237 / 306695,808.2 s
HermiT
236 / 306705,416.4 s
TrOWL
201 / 306105971.1 s
FaCT++
200 / 3061061,361.3 s
Pellet-OA4
187 / 3061192,179.3 s
Racer
164 / 3061421,103.8 s
JFact
128 / 306178889.5 s
Chainsaw
119 / 3061871,709.0 s
Discipline: OWL EL Consistency(finished)
Reasoner  ProgressScore Time 
ELK
298 / 2980425.1 s
Konclude
298 / 29801,050.4 s
ELepHant
296 / 2982312.7 s
MOReHermiT
295 / 29831,290.5 s
Pellet-OA4
285 / 298132,018.6 s
HermiT
282 / 29816846.6 s
HermiT-OA4
282 / 29816874.7 s
Chainsaw
276 / 29822473.6 s
TrOWL
273 / 29825699.3 s
FaCT++
270 / 29828636.3 s
jcel
261 / 298371,465.4 s
Racer
256 / 298421,211.4 s
JFact
227 / 298712,307.6 s
Discipline:
OWL DL Consistency
(finished)
Reasoner  ProgressScore Time 
Konclude
303 / 30631,341.9 s
HermiT
294 / 306121,449.6 s
HermiT-OA4
293 / 306131,549.4 s
Chainsaw
291 / 306151,100.5 s
Pellet-OA4
278 / 306281,194.1 s
FaCT++
276 / 306301,341.2 s
TrOWL
266 / 306401,089.3 s
MOReHermiT
253 / 306531,823.0 s
Racer
239 / 306672,604.3 s
JFact
166 / 3061401,469.9 s