The tables present average loading time in milliseconds (ALT), average reasoning time in milliseconds (ART), number of correct results w.r.t. reference (CORRECT), number of incorrect results w.r.t. reference (INCORRECT), number of results for those cases where there is no reference (NO-REF), number of parsing and out-of-memory exceptions (EXCEPTION) and number of evaluation tasks that were not completed within 1 hour (TIMEOUT).