Live Screen: http://bit.ly/1KjiB1D ? ??:?? ??:??

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