Live Screen: http://bit.ly/1oEweet

Discipline:OWL DL RealisationOWL EL RealisationOWL DL ClassificationOWL EL ClassificationOWL DL ConsistencyOWL EL Consistency
Schedule: 10:20 - 17:20 (CEST)10:25 - 17:25 (CEST)10:35 - 17:35 (CEST)10:40 - 17:40 (CEST)15:55 - 18:55 (CEST)16:05 - 19:05 (CEST)
Discipline: OWL EL Consistency(finished)
Rank Reasoner  ProgressScore Time 
1ELK
250 / 2500566.5 s
2Konclude
249 / 2501412.5 s
3MORe
244 / 25061,470.7 s
4Chainsaw
237 / 25013441.4 s
5HermiT
236 / 25014607.1 s
6FaCT++
234 / 25016502.2 s
7jcel
228 / 250222,170.9 s
8TReasoner
223 / 250272,371.7 s
9ELepHant
212 / 25038142.7 s
10JFact
168 / 250501,844.6 s
Discipline:
OWL DL Consistency
(finished)
Rank Reasoner  ProgressScore Time 
1Konclude
194 / 2006541.0 s
2Chainsaw
186 / 20014521.7 s
3HermiT
184 / 200161,055.3 s
4FaCT++
176 / 200241,679.0 s
5TReasoner
145 / 200551,398.1 s
6MORe
143 / 200561,286.6 s
7JFact
88 / 200821,248.8 s
Discipline: OWL EL Classification(finished)
Rank Reasoner  ProgressScore Time 
1Konclude
297 / 3003659.7 s
2MORe
292 / 30082,112.8 s
3ELK
284 / 300161,146.6 s
4TrOWL
283 / 300172,477.9 s
5HermiT
271 / 300293,743.2 s
6FaCT++
241 / 300591,962.7 s
7JFact
192 / 3001083,564.2 s
8Chainsaw
147 / 3001311,559.0 s
9jcel
114 / 30013485.6 s
10ELepHant
62 / 300238164.8 s
11TReasoner
22 / 30025489.4 s
Discipline:
OWL DL Classification
(finished)
Rank Reasoner  ProgressScore Time 
1Konclude
224 / 250261,098.2 s
2HermiT
181 / 250693,863.3 s
3MORe
178 / 250721,659.8 s
4TrOWL
172 / 250782,318.2 s
5FaCT++
147 / 250103943.7 s
6JFact
102 / 250148640.3 s
7Chainsaw
91 / 2501441,020.7 s
8TReasoner
8 / 25024234.1 s
Discipline: OWL EL Realisation(finished)
Rank Reasoner  ProgressScore Time 
1Konclude
243 / 2507474.5 s
2TrOWL
226 / 250241,339.2 s
3FaCT++
221 / 25029522.4 s
4JFact
178 / 250724,836.9 s
5ELK
157 / 25093645.5 s
6HermiT
121 / 2501291,044.9 s
7Chainsaw
107 / 2501341,018.3 s
8ELepHant
105 / 25014521.2 s
Discipline:
OWL DL Realisation
(finished)
Rank Reasoner  ProgressScore Time 
1Konclude
178 / 20022866.3 s
2FaCT++
112 / 20088458.5 s
3TrOWL
106 / 200941,126.7 s
4HermiT
98 / 2001021,421.2 s
5JFact
63 / 200137576.3 s
6Chainsaw
49 / 200151707.4 s