Console Output

Skipping 443 KB.. Full Log

# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
Algorithm terminated successfully (time: 1s 396ms, 1000 descriptions tested, 859 nodes in the search tree).

number of retrievals: 1085
retrieval reasoning time: 25ms ( 0ms per retrieval)
(complex) subsumption checks: 109 (0 multiple)
subsumption reasoning time: 62ms ( 0ms per subsumption check)
overall reasoning time: 87ms

solutions:
1: ∃ value.(float[≤ 9.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
2: ∃ value.(float[≤ 7.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
3: ∃ value.(float[≤ 6.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
4: ∃ value.(float[≤ 55.0]) (pred. acc.: 100.00%, F-measure: 100.00%)
5: ∃ value.(float[≤ 5.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
6: ∃ value.(float[≤ 3.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
7: ∃ value.(float[≥ 1.0 , ≤ 9.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
8: ∃ value.(float[≥ 1.0 , ≤ 7.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
9: ∃ value.(float[≥ 1.0 , ≤ 6.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
10: ∃ value.(float[≥ 1.0 , ≤ 55.0]) (pred. acc.: 100.00%, F-measure: 100.00%)

start class:⊤
more accurate (50.00%) class expression found after 0ms: ⊤
# refinements = 1
# refinements = 0
# refinements = 2
# refinements = 0
# refinements = 5
# refinements = 1
# refinements = 1
# refinements = 1
more accurate (83.33%) class expression found after 31ms: ∃ value.(float[≤ 101.0])
# refinements = 1
more accurate (100.00%) class expression found after 37ms: ∃ value.(float[≤ 55.0])
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 0
# refinements = 1
# refinements = 0
# refinements = 6
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 3
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 10
# refinements = 1
# refinements = 3
# refinements = 6
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 0
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 2
# refinements = 0
# refinements = 0
# refinements = 1
# refinements = 0
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 5
# refinements = 13
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 3
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 3
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 6
# refinements = 7
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 0
# refinements = 0
# refinements = 3
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 4
# refinements = 6
# refinements = 20
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 3
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 3
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 5
# refinements = 7
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 7
# refinements = 11
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 5
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 5
# refinements = 5
# refinements = 5
# refinements = 5
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 5
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 7
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 8
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 8
# refinements = 8
# refinements = 8
# refinements = 8
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 5
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 3
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
Algorithm terminated successfully (time: 5s 320ms, 1000 descriptions tested, 859 nodes in the search tree).

number of retrievals: 1085
retrieval reasoning time: 3s 967ms ( 3ms per retrieval)
(complex) subsumption checks: 109 (0 multiple)
subsumption reasoning time: 33ms ( 0ms per subsumption check)
overall reasoning time: 4s 1ms

solutions:
1: ∃ value.(float[≤ 9.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
2: ∃ value.(float[≤ 7.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
3: ∃ value.(float[≤ 6.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
4: ∃ value.(float[≤ 55.0]) (pred. acc.: 100.00%, F-measure: 100.00%)
5: ∃ value.(float[≤ 5.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
6: ∃ value.(float[≤ 3.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
7: ∃ value.(float[≥ 1.0 , ≤ 9.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
8: ∃ value.(float[≥ 1.0 , ≤ 7.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
9: ∃ value.(float[≥ 1.0 , ≤ 6.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
10: ∃ value.(float[≥ 1.0 , ≤ 55.0]) (pred. acc.: 100.00%, F-measure: 100.00%)

http://www.oracle.com/xml/jaxp/properties/entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl
entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl
dumping remaining triples
done dumping remaining triples
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
...TBox materialised in 1 ms.
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
start class:⊤
more accurate (50.00%) class expression found after 0ms: ⊤
# refinements = 1
# refinements = 0
# refinements = 2
# refinements = 0
# refinements = 5
# refinements = 1
more accurate (66.67%) class expression found after 3ms: ∃ value.(date[≤ 2001-09-24])
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
more accurate (83.33%) class expression found after 15ms: ∃ value.(date[≤ 1971-09-24])
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 0
# refinements = 1
# refinements = 0
# refinements = 6
# refinements = 3
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 10
# refinements = 6
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
more accurate (100.00%) class expression found after 48ms: ∃ value.(date[≥ 1970-01-22 , ≤ 1971-09-24])
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 0
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 2
# refinements = 0
# refinements = 0
# refinements = 1
# refinements = 0
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 5
# refinements = 13
# refinements = 7
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 6
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 6
# refinements = 6
# refinements = 6
# refinements = 6
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 3
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 3
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 2
# refinements = 3
# refinements = 2
# refinements = 6
# refinements = 6
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 6
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 0
# refinements = 0
# refinements = 3
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 4
# refinements = 6
# refinements = 20
# refinements = 3
# refinements = 2
# refinements = 2
# refinements = 3
# refinements = 7
# refinements = 1
# refinements = 11
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 7
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 7
# refinements = 7
# refinements = 7
# refinements = 7
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 3
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 3
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 5
# refinements = 7
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 7
# refinements = 1
# refinements = 7
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 5
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 5
# refinements = 5
# refinements = 3
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 7
# refinements = 1
# refinements = 8
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 8
# refinements = 8
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 0
# refinements = 3
# refinements = 0
# refinements = 3
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 3
# refinements = 0
# refinements = 0
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 0
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 2
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 2
# refinements = 0
# refinements = 1
# refinements = 0
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 5
# refinements = 6
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 6
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 6
# refinements = 1
# refinements = 1
# refinements = 6
# refinements = 0
# refinements = 10
# refinements = 0
# refinements = 0
# refinements = 10
# refinements = 24
# refinements = 5
# refinements = 2
# refinements = 4
# refinements = 4
# refinements = 7
# refinements = 1
# refinements = 16
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 14
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 3
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
Algorithm terminated successfully (time: 503ms, 1000 descriptions tested, 743 nodes in the search tree).

number of retrievals: 1048
retrieval reasoning time: 129ms ( 0ms per retrieval)
(complex) subsumption checks: 70 (0 multiple)
subsumption reasoning time: 24ms ( 0ms per subsumption check)
overall reasoning time: 154ms

solutions:
1: ∃ value.(date[≥ 1970-01-22 , ≤ 1971-09-24]) (pred. acc.: 100.00%, F-measure: 100.00%)
2: ∃ value.(date[≤ 1971-09-24]) (pred. acc.: 83.33%, F-measure: 85.71%)
3: ∃ value.(date[≥ 1970-01-22 , ≤ 1999-03-03]) (pred. acc.: 83.33%, F-measure: 85.71%)
4: ∃ value.(date[≥ 1970-01-22 , ≤ 1980-04-10]) (pred. acc.: 83.33%, F-measure: 85.71%)
5: ∃ value.(date[≥ 1970-01-22 , ≤ 1976-11-29]) (pred. acc.: 83.33%, F-measure: 85.71%)
6: ∃ value.(date[≥ 1970-01-22 , ≤ 1974-10-06]) (pred. acc.: 83.33%, F-measure: 85.71%)
7: ∃ value.(date[≥ 1970-01-22 , ≤ 1972-03-24]) (pred. acc.: 83.33%, F-measure: 85.71%)
8: ∃ value.(date[≥ 1970-01-05 , ≤ 1971-09-24]) (pred. acc.: 83.33%, F-measure: 85.71%)
9: ∃ value.(date[≥ 1950-12-31 , ≤ 1971-09-24]) (pred. acc.: 83.33%, F-measure: 85.71%)
10: Number ⊓ (∃ value.(date[≤ 1971-09-24])) (pred. acc.: 83.33%, F-measure: 85.71%)

start class:⊤
more accurate (50.00%) class expression found after 0ms: ⊤
# refinements = 1
# refinements = 0
# refinements = 2
# refinements = 0
# refinements = 5
# refinements = 1
more accurate (66.67%) class expression found after 24ms: ∃ value.(date[≤ 2001-09-24])
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
more accurate (83.33%) class expression found after 69ms: ∃ value.(date[≤ 1971-09-24])
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 0
# refinements = 1
# refinements = 0
# refinements = 6
# refinements = 3
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 10
# refinements = 6
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
more accurate (100.00%) class expression found after 376ms: ∃ value.(date[≥ 1970-01-22 , ≤ 1971-09-24])
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 0
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 2
# refinements = 0
# refinements = 0
# refinements = 1
# refinements = 0
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 5
# refinements = 13
# refinements = 7
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 6
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 6
# refinements = 6
# refinements = 6
# refinements = 6
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 3
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 3
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 2
# refinements = 3
# refinements = 2
# refinements = 6
# refinements = 6
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 6
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 0
# refinements = 0
# refinements = 3
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 4
# refinements = 6
# refinements = 20
# refinements = 3
# refinements = 2
# refinements = 2
# refinements = 3
# refinements = 7
# refinements = 1
# refinements = 11
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 3
# refinements = 7
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 7
# refinements = 7
# refinements = 7
# refinements = 7
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 3
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 3
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 5
# refinements = 7
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 7
# refinements = 1
# refinements = 7
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 5
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 5
# refinements = 5
# refinements = 3
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 7
# refinements = 1
# refinements = 8
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 8
# refinements = 8
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 0
# refinements = 3
# refinements = 0
# refinements = 3
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 3
# refinements = 0
# refinements = 0
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 0
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 2
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 0
# refinements = 2
# refinements = 0
# refinements = 1
# refinements = 0
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 4
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 5
# refinements = 6
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 6
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 6
# refinements = 1
# refinements = 1
# refinements = 6
# refinements = 0
# refinements = 10
# refinements = 0
# refinements = 0
# refinements = 10
# refinements = 24
# refinements = 5
# refinements = 2
# refinements = 4
# refinements = 4
# refinements = 7
# refinements = 1
# refinements = 16
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 14
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 3
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 1
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 1
# refinements = 2
# refinements = 2
# refinements = 2
# refinements = 2
Algorithm terminated successfully (time: 4s 287ms, 1000 descriptions tested, 743 nodes in the search tree).

number of retrievals: 1048
retrieval reasoning time: 3s 772ms ( 3ms per retrieval)
(complex) subsumption checks: 70 (0 multiple)
subsumption reasoning time: 11ms ( 0ms per subsumption check)
overall reasoning time: 3s 784ms

solutions:
1: ∃ value.(date[≥ 1970-01-22 , ≤ 1971-09-24]) (pred. acc.: 100.00%, F-measure: 100.00%)
2: ∃ value.(date[≤ 1971-09-24]) (pred. acc.: 83.33%, F-measure: 85.71%)
3: ∃ value.(date[≥ 1970-01-22 , ≤ 1999-03-03]) (pred. acc.: 83.33%, F-measure: 85.71%)
4: ∃ value.(date[≥ 1970-01-22 , ≤ 1980-04-10]) (pred. acc.: 83.33%, F-measure: 85.71%)
5: ∃ value.(date[≥ 1970-01-22 , ≤ 1976-11-29]) (pred. acc.: 83.33%, F-measure: 85.71%)
6: ∃ value.(date[≥ 1970-01-22 , ≤ 1974-10-06]) (pred. acc.: 83.33%, F-measure: 85.71%)
7: ∃ value.(date[≥ 1970-01-22 , ≤ 1972-03-24]) (pred. acc.: 83.33%, F-measure: 85.71%)
8: ∃ value.(date[≥ 1970-01-05 , ≤ 1971-09-24]) (pred. acc.: 83.33%, F-measure: 85.71%)
9: ∃ value.(date[≥ 1950-12-31 , ≤ 1971-09-24]) (pred. acc.: 83.33%, F-measure: 85.71%)
10: Number ⊓ (∃ value.(date[≤ 1971-09-24])) (pred. acc.: 83.33%, F-measure: 85.71%)

Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 40.953 sec - in org.dllearner.test.junit.LiteralLearningTest
Running org.dllearner.test.junit.ClassExpressionTest
http://www.oracle.com/xml/jaxp/properties/entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl
entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl
dumping remaining triples
done dumping remaining triples
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
http://www.oracle.com/xml/jaxp/properties/entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl
entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl
dumping remaining triples
http://acl/BMV#notHasPrognosis -> http://www.w3.org/2002/07/owl#disjointObjectProperties -> http://acl/BMV#hasPrognosis
http://acl/BMV#hasNegIntent -> http://www.w3.org/2002/07/owl#disjointObjectProperties -> http://acl/BMV#hasPosIntent
http://acl/BMV#hasTreatment -> http://www.w3.org/2002/07/owl#disjointObjectProperties -> http://acl/BMV#notHasTreatment
done dumping remaining triples
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
[[<p1>]] ? [[<p1>]]
[[<p1>]] ? [[<p1>]]
[[<p2>, <p1>], [<p2>]] ? [[<p2>, <p1>], [<p2>]]
[[<p1>]] ? [[<p1>]]
[[<p3>, <p2>, <p1>], [<p3>, <p2>]] ? [[<p3>, <p2>, <p1>], [<p3>, <p2>]]
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.295 sec - in org.dllearner.test.junit.ClassExpressionTest
Running org.dllearner.test.junit.ELDownTest
http://www.oracle.com/xml/jaxp/properties/entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl
entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl
dumping remaining triples
done dumping remaining triples
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Galen loaded.
false
TEST 1
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
refining: human ⊓ (∃ has.animal)
desired: human ⊓ (∃ has.animal) ⊓ (∃ has.(∃ has.⊤))
desired: human ⊓ (∃ has.animal) ⊓ (∃ has.human)
desired: human ⊓ (∃ has.animal) ⊓ (∃ hasChild.⊤)
desired: human ⊓ (∃ has.animal) ⊓ (∃ hasPet.⊤)
desired: human ⊓ (∃ has.(animal ⊓ (∃ has.⊤)))
desired: human ⊓ (∃ has.bird)
desired: human ⊓ (∃ has.cat)
desired: human ⊓ (∃ hasPet.animal)

produced refinements and their unit test status (true = assertion satisfied):
true: human ⊓ (∃ has.animal) ⊓ (∃ hasPet.⊤)
true: human ⊓ (∃ has.cat)
true: human ⊓ (∃ has.animal) ⊓ (∃ hasChild.⊤)
true: human ⊓ (∃ hasPet.animal)
true: human ⊓ (∃ has.animal) ⊓ (∃ has.(∃ has.⊤))
true: human ⊓ (∃ has.(animal ⊓ (∃ has.⊤)))
true: human ⊓ (∃ has.animal) ⊓ (∃ has.human)
true: human ⊓ (∃ has.bird)
TEST 2
desired: human ⊓ ((∃ has.(animal ⊓ (∃ has.⊤))) ⊓ (∃ hasPet.bird))
desired: human ⊓ ((∃ has.(bird ⊓ (∃ has.⊤))) ⊓ (∃ hasPet.bird))
desired: human ⊓ ((∃ has.(bird ⊓ cat)) ⊓ (∃ hasPet.bird))
desired: human ⊓ ((∃ has.(∃ has.⊤)) ⊓ (∃ hasPet.bird))
desired: human ⊓ ((∃ has.cat) ⊓ (∃ hasPet.bird))
desired: human ⊓ ((∃ has.human) ⊓ (∃ hasPet.bird))
desired: human ⊓ ((∃ hasChild.⊤) ⊓ (∃ hasPet.bird))
desired: human ⊓ ((∃ hasPet.bird) ⊓ (∃ hasPet.(animal ⊓ (∃ has.⊤))))
desired: human ⊓ ((∃ hasPet.bird) ⊓ (∃ hasPet.(∃ has.⊤)))
desired: human ⊓ ((∃ hasPet.bird) ⊓ (∃ hasPet.cat))
desired: human ⊓ ((∃ hasPet.bird) ⊓ (∃ hasPet.human))
desired: human ⊓ (∃ hasPet.(bird ⊓ (∃ has.⊤)))
desired: human ⊓ (∃ hasPet.(bird ⊓ cat))

produced refinements and their unit test status (true = assertion satisfied):
TEST 3
desired: human ⊓ (∃ has.animal) ⊓ (∃ has.⊤) ⊓ (∃ hasChild.human)
desired: human ⊓ (∃ has.animal) ⊓ (∃ has.(∃ has.⊤)) ⊓ (∃ hasChild.human)
desired: human ⊓ (∃ has.(animal ⊓ (∃ has.⊤))) ⊓ (∃ hasChild.human)
desired: human ⊓ (∃ has.(animal ⊓ human)) ⊓ (∃ hasChild.human)
desired: human ⊓ (∃ has.bird) ⊓ (∃ hasChild.human)
desired: human ⊓ (∃ has.cat) ⊓ (∃ hasChild.human)
desired: human ⊓ (∃ hasChild.human) ⊓ (∃ hasPet.animal)
desired: animal ⊓ human ⊓ (∃ has.animal) ⊓ (∃ hasChild.human)

produced refinements and their unit test status (true = assertion satisfied):
true: human ⊓ (∃ has.cat) ⊓ (∃ hasChild.human)
true: human ⊓ (∃ has.bird) ⊓ (∃ hasChild.human)
Galen loaded.
∃ wheels.⊤
∃ load_count.⊤
∃ hasShape.⊤
∃ has_car.⊤
∃ load.⊤
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 55.989 sec - in org.dllearner.test.junit.ELDownTest
Running org.dllearner.test.junit.LearningProblemTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.061 sec - in org.dllearner.test.junit.LearningProblemTest
Running org.dllearner.test.junit.ELDescriptionTreeTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.166 sec - in org.dllearner.test.junit.ELDescriptionTreeTest
Running org.dllearner.utilities.owl.SimpleOntologyToByteConverterTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.073 sec - in org.dllearner.utilities.owl.SimpleOntologyToByteConverterTest
Running org.dllearner.utilities.owl.OWLClassExpressionTest
length of ∃ p1.(integer[≥ 10]) is 2
length of ∃ p1.(int[≤ 20]) is 2
length of ∃ p1.{true} is 2
length of ∀ op1.⊤ is 3
length of ∃ op1⁻.⊤ is 3
length of ≤ 3 op1.⊤ is 4
length of ≥ 3 op1.⊤ is 4
length of ∀ op1.C is 3
length of ∀ op1.(¬C) is 3
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 sec - in org.dllearner.utilities.owl.OWLClassExpressionTest
Running org.dllearner.utilities.split.DataValuesSplitterTest
{r=[1, 7, 13, 20, 26, 33, 40, 46, 53, 60]}
@prefix : <http://example.org/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
:r a owl:DatatypeProperty ; rdfs:range xsd:nonNegativeInteger . 
:p0 :r "1"^^xsd:nonNegativeInteger .
:p1 :r "2"^^xsd:nonNegativeInteger .
:p2 :r "3"^^xsd:nonNegativeInteger .
:p3 :r "4"^^xsd:nonNegativeInteger .
:p4 :r "5"^^xsd:nonNegativeInteger .
:p5 :r "6"^^xsd:nonNegativeInteger .
:p6 :r "10"^^xsd:nonNegativeInteger .
:p7 :r "12"^^xsd:nonNegativeInteger .
:p8 :r "16"^^xsd:nonNegativeInteger .
:p9 :r "20"^^xsd:nonNegativeInteger .
:p10 :r "28"^^xsd:nonNegativeInteger .
:p11 :r "30"^^xsd:nonNegativeInteger .

{r=[1, 4, 14, 30]}
{r=[1, 5, 28]}
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.243 sec - in org.dllearner.utilities.split.DataValuesSplitterTest

Results :

Tests in error: 
  HeuristicTest.classLearningTests:114->assertEqualsClassLP:271 » IllegalArgument

Tests run: 93, Failures: 0, Errors: 1, Skipped: 0

[ERROR] There are test failures.

Please refer to /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-core/target/surefire-reports for the individual test results.
[JENKINS] Recording test results
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (report) @ components-core ---
[INFO] Analyzed bundle 'DL Learner Core Components' with 558 classes
[INFO] 
[INFO] --- maven-jar-plugin:2.5:jar (default-jar) @ components-core ---
[INFO] Building jar: /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-core/target/components-core-1.3-SNAPSHOT.jar
[INFO] 
[INFO] --- maven-jar-plugin:2.5:test-jar (default) @ components-core ---
[INFO] Building jar: /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-core/target/components-core-1.3-SNAPSHOT-tests.jar
[INFO] 
[INFO] --- maven-install-plugin:2.4:install (default-install) @ components-core ---
[INFO] Installing /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-core/target/components-core-1.3-SNAPSHOT.jar to /usr/share/tomcat6/.m2/repository/org/dllearner/components-core/1.3-SNAPSHOT/components-core-1.3-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-core/pom.xml to /usr/share/tomcat6/.m2/repository/org/dllearner/components-core/1.3-SNAPSHOT/components-core-1.3-SNAPSHOT.pom
[INFO] Installing /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-core/target/components-core-1.3-SNAPSHOT-tests.jar to /usr/share/tomcat6/.m2/repository/org/dllearner/components-core/1.3-SNAPSHOT/components-core-1.3-SNAPSHOT-tests.jar
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building components-ext 1.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ components-ext ---
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ components-ext ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 58 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.3:compile (default-compile) @ components-ext ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 71 source files to /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-ext/target/classes
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-ext/src/main/java/org/dllearner/algorithms/isle/index/syntactic/LuceneSyntacticIndex.java:[85,63] unchecked method invocation: constructor <init> in class org.dllearner.algorithms.isle.index.AnnotatedTextDocument is applied to given types
  required: org.dllearner.algorithms.isle.index.TextDocument,java.util.Set<org.dllearner.algorithms.isle.index.SemanticAnnotation>
  found: org.dllearner.algorithms.isle.index.TextDocument,java.util.Set
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-ext/src/main/java/org/dllearner/algorithms/isle/index/syntactic/LuceneSyntacticIndex.java:[87,76] unchecked conversion
  required: java.util.Set<org.dllearner.algorithms.isle.index.SemanticAnnotation>
  found:    java.util.Set
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-ext/src/main/java/org/dllearner/algorithms/isle/index/SimpleEntityCandidatesTrie.java:[143,62] unchecked cast
  required: java.util.ArrayList<java.lang.String>[]
  found:    java.util.ArrayList[]
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-ext/src/main/java/org/dllearner/algorithms/isle/index/syntactic/SolrSyntacticIndex.java:[64,111] unchecked cast
  required: java.util.Map<java.util.Set<org.semanticweb.owlapi.model.OWLEntity>,java.lang.Long>
  found:    java.lang.Object
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-ext/src/main/java/org/dllearner/algorithms/isle/index/syntactic/SolrSyntacticIndex.java:[167,63] unchecked method invocation: constructor <init> in class org.dllearner.algorithms.isle.index.AnnotatedTextDocument is applied to given types
  required: org.dllearner.algorithms.isle.index.TextDocument,java.util.Set<org.dllearner.algorithms.isle.index.SemanticAnnotation>
  found: org.dllearner.algorithms.isle.index.TextDocument,java.util.Set
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-ext/src/main/java/org/dllearner/algorithms/isle/index/syntactic/SolrSyntacticIndex.java:[169,76] unchecked conversion
  required: java.util.Set<org.dllearner.algorithms.isle.index.SemanticAnnotation>
  found:    java.util.Set
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-ext/src/main/java/org/dllearner/algorithms/isle/index/RelevanceMapGenerator.java:[53,87] unchecked cast
  required: java.util.Map<org.semanticweb.owlapi.model.OWLEntity,java.lang.Double>
  found:    java.lang.Object
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ components-ext ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 29 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.3:testCompile (default-testCompile) @ components-ext ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 1 source file to /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-ext/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.18.1:test (default-test) @ components-ext ---
[INFO] Surefire report directory: /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-ext/target/surefire-reports

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.dllearner.algorithms.miles.MILESTest
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
Tests run: 1, Failures: 0, Errors: 1, Skipped: 0, Time elapsed: 3.892 sec <<< FAILURE! - in org.dllearner.algorithms.miles.MILESTest
testStart(org.dllearner.algorithms.miles.MILESTest)  Time elapsed: 3.879 sec  <<< ERROR!
java.lang.ClassCastException: org.dllearner.reasoning.ClosedWorldReasoner cannot be cast to org.dllearner.reasoning.OWLAPIReasoner
	at org.dllearner.learningproblems.sampling.CELOEPlusSampling.sample(CELOEPlusSampling.java:61)
	at org.dllearner.learningproblems.ClassLearningProblem.init(ClassLearningProblem.java:165)
	at org.dllearner.algorithms.miles.MILESTest.testStart(MILESTest.java:34)


Results :

Tests in error: 
  MILESTest.testStart:34 » ClassCast org.dllearner.reasoning.ClosedWorldReasoner...

Tests run: 1, Failures: 0, Errors: 1, Skipped: 0

[ERROR] There are test failures.

Please refer to /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-ext/target/surefire-reports for the individual test results.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.5:jar (default-jar) @ components-ext ---
[INFO] Building jar: /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-ext/target/components-ext-1.3-SNAPSHOT.jar
[INFO] 
[INFO] --- maven-install-plugin:2.4:install (default-install) @ components-ext ---
[INFO] Installing /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-ext/target/components-ext-1.3-SNAPSHOT.jar to /usr/share/tomcat6/.m2/repository/org/dllearner/components-ext/1.3-SNAPSHOT/components-ext-1.3-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-ext/pom.xml to /usr/share/tomcat6/.m2/repository/org/dllearner/components-ext/1.3-SNAPSHOT/components-ext-1.3-SNAPSHOT.pom
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building dllearner-interfaces 1.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ interfaces ---
[INFO] 
[INFO] --- xmlbeans-maven-plugin:2.3.3:xmlbeans (default) @ interfaces ---
[INFO] 
[INFO] --- javacc-maven-plugin:2.6:javacc (javacc) @ interfaces ---
[INFO] Skipping non-existing source directory: /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/javacc
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ interfaces ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 5 resources
[INFO] Copying 391 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.3:compile (default-compile) @ interfaces ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 123 source files to /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/classes
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/MapTypeImpl.java:[116,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/configuration/spring/ConfigurationBasedBeanDefinitionRegistryPostProcessor.java:[79,99] unchecked cast
  required: java.util.Collection<java.lang.String>
  found:    java.lang.Object
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/configuration/spring/ConfigurationBasedBeanDefinitionRegistryPostProcessor.java:[107,44] unchecked call to getMethod(java.lang.String,java.lang.Class<?>...) as a member of the raw type java.lang.Class
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/ListOrSetTypeImpl.java:[132,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/ListOrSetTypeImpl.java:[248,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/ListOrSetTypeImpl.java:[364,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/ListOrSetTypeImpl.java:[480,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/ListOrSetTypeImpl.java:[596,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/ListOrSetTypeImpl.java:[712,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/ListOrSetTypeImpl.java:[828,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/ListOrSetTypeImpl.java:[944,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/ListOrSetTypeImpl.java:[1060,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/ListOrSetTypeImpl.java:[1176,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/QualifierDocumentImpl.java:[110,35] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/confparser/PostProcessor.java:[91,89] unchecked cast
  required: java.util.Map<java.lang.String,java.lang.String>
  found:    java.lang.Object
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/confparser/PostProcessor.java:[135,23] unchecked call to put(K,V) as a member of the raw type java.util.Map
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/PropsTypeImpl.java:[38,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/KeyDocumentImpl.java:[200,35] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/KeyDocumentImpl.java:[316,35] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/KeyDocumentImpl.java:[432,35] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/KeyDocumentImpl.java:[548,35] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/KeyDocumentImpl.java:[664,35] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/KeyDocumentImpl.java:[780,35] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/KeyDocumentImpl.java:[896,35] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/KeyDocumentImpl.java:[1012,35] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/KeyDocumentImpl.java:[1128,35] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/KeyDocumentImpl.java:[1244,35] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/BeansDocumentImpl.java:[198,35] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/BeansDocumentImpl.java:[314,35] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/BeansDocumentImpl.java:[430,35] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/DLLearnerWS.java:[278,131] unchecked cast
  required: java.lang.Class<? extends org.dllearner.core.AbstractKnowledgeSource>
  found:    java.lang.Class<capture#1 of ? extends org.dllearner.core.Component>
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/DLLearnerWS.java:[320,135] unchecked cast
  required: java.lang.Class<? extends org.dllearner.core.AbstractReasonerComponent>
  found:    java.lang.Class<capture#2 of ? extends org.dllearner.core.Component>
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/DLLearnerWS.java:[348,161] unchecked cast
  required: java.lang.Class<? extends org.dllearner.core.AbstractClassExpressionLearningProblem>
  found:    java.lang.Class<capture#3 of ? extends org.dllearner.core.Component>
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/DLLearnerWS.java:[377,109] unchecked cast
  required: java.lang.Class<? extends org.dllearner.core.AbstractCELA>
  found:    java.lang.Class<capture#4 of ? extends org.dllearner.core.Component>
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/DLLearnerWS.java:[806,68] unchecked cast
  required: java.util.TreeSet<java.lang.String>
  found:    java.lang.Object
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[83,35] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[84,35] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[85,35] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[86,35] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[87,35] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[88,35] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[89,35] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[90,35] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[91,35] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[97,50] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[98,35] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[100,35] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[101,35] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[102,35] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[103,35] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[104,35] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[105,35] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[111,31] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[112,31] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[113,31] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[118,31] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[119,31] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[120,31] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[121,23] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/Rest.java:[125,19] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/cli/DocumentationGenerator.java:[152,89] unchecked cast
  required: java.lang.Class<? extends org.dllearner.core.Component>
  found:    java.lang.Class<capture#5 of ?>
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/cli/DocumentationGenerator.java:[163,56] unchecked call to isAssignableFrom(java.lang.Class<?>) as a member of the raw type java.lang.Class
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/cli/ExpressionValidation.java:[61,61] unchecked call to evaluate(V) as a member of the raw type org.dllearner.core.AbstractLearningProblem
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/cli/DocumentationHTMLGenerator.java:[41,56] unchecked conversion
  required: java.util.Map<java.lang.Class<?>,java.lang.String>
  found:    org.apache.commons.collections.bidimap.DualHashBidiMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/cli/DocumentationHTMLGenerator.java:[76,60] unchecked call to <U>asSubclass(java.lang.Class<U>) as a member of the raw type java.lang.Class
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/cli/DocumentationHTMLGenerator.java:[110,97] unchecked cast
  required: java.lang.Class<? extends org.dllearner.core.Component>
  found:    java.lang.Class<capture#6 of ?>
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/cli/DocumentationHTMLGenerator.java:[214,129] unchecked cast
  required: java.lang.Class<? extends org.dllearner.core.Component>
  found:    java.lang.Class<capture#7 of ?>
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/EntryTypeImpl.java:[216,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/EntryTypeImpl.java:[332,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/EntryTypeImpl.java:[448,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/EntryTypeImpl.java:[564,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/EntryTypeImpl.java:[680,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/EntryTypeImpl.java:[796,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/EntryTypeImpl.java:[912,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/EntryTypeImpl.java:[1028,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/EntryTypeImpl.java:[1144,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/EntryTypeImpl.java:[1260,31] unchecked call to <T>toArray(T[]) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/configuration/spring/editors/AbstractPropertyEditor.java:[18,34] unchecked cast
  required: T
  found:    java.lang.Object
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/cli/Enrichment.java:[553,37] <T>configure(org.dllearner.core.Component,java.lang.String,T) in org.dllearner.configuration.spring.editors.ConfigHelper has been deprecated
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/cli/Enrichment.java:[555,37] <T>configure(org.dllearner.core.Component,java.lang.String,T) in org.dllearner.configuration.spring.editors.ConfigHelper has been deprecated
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/cli/Enrichment.java:[557,29] <T>configure(org.dllearner.core.Component,java.lang.String,T) in org.dllearner.configuration.spring.editors.ConfigHelper has been deprecated
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/cli/Enrichment.java:[579,65] unchecked conversion
  required: java.util.List<org.dllearner.core.EvaluatedAxiom<org.semanticweb.owlapi.model.OWLAxiom>>
  found:    java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/cli/Enrichment.java:[692,76] unchecked conversion
  required: java.util.Map<org.semanticweb.owlapi.model.OWLIndividual,java.util.List<org.semanticweb.owlapi.model.OWLAxiom>>
  found:    java.util.Map
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/ConfGeneratorServlet.java:[189,37] unchecked method invocation: method putAll in interface java.util.Map is applied to given types
  required: java.util.Map<? extends K,? extends V>
  found: java.util.Map
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/ConfGeneratorServlet.java:[189,59] unchecked conversion
  required: java.util.Map<? extends K,? extends V>
  found:    java.util.Map
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/configuration/spring/editors/OWLEntityEditor.java:[51,32] unchecked method invocation: method getOWLEntity in interface org.semanticweb.owlapi.model.OWLEntityByTypeProvider is applied to given types
  required: org.semanticweb.owlapi.model.EntityType<E>,org.semanticweb.owlapi.model.IRI
  found: T,org.semanticweb.owlapi.model.IRI
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/configuration/spring/editors/OWLEntityEditor.java:[51,33] unchecked conversion
  required: org.semanticweb.owlapi.model.EntityType<E>
  found:    T
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/EnrichmentServlet.java:[246,64] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/EnrichmentServlet.java:[247,64] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/EnrichmentServlet.java:[248,64] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/EnrichmentServlet.java:[249,64] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/EnrichmentServlet.java:[252,51] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/EnrichmentServlet.java:[253,51] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/EnrichmentServlet.java:[277,32] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/EnrichmentServlet.java:[278,32] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/EnrichmentServlet.java:[279,32] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/EnrichmentServlet.java:[280,32] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/EnrichmentServlet.java:[281,32] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/EnrichmentServlet.java:[282,32] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/EnrichmentServlet.java:[283,32] unchecked call to put(K,V) as a member of the raw type java.util.HashMap
[INFO] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/EnrichmentServlet.java: /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/EnrichmentServlet.java uses or overrides a deprecated API.
[INFO] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/main/java/org/dllearner/server/EnrichmentServlet.java: Some input files additionally use unchecked or unsafe operations.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ interfaces ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.3:testCompile (default-testCompile) @ interfaces ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 7 source files to /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/test-classes
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java:[47,61] unchecked call to getAccuracyOrTooWeak(V) as a member of the raw type org.dllearner.core.AbstractLearningProblem
[INFO] 
[INFO] --- maven-surefire-plugin:2.19:test (default-test) @ interfaces ---
[INFO] Surefire report directory: /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/surefire-reports

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.dllearner.cli.FatherCLITest
Initializing component 'ks' of type KB File ...
... initialized component 'ks' in 1s 721ms. Status: OK
Initializing component 'embeddedReasoner' of type OWL API Reasoner ...
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
... initialized component 'embeddedReasoner' in 750ms. Status: OK
Initializing component 'reasoner' of type closed world reasoner ...
Materializing TBox...
...TBox materialised in 309 ms.
... initialized component 'reasoner' in 310ms. Status: OK
Initializing component 'op' of type rho refinement operator ...
... initialized component 'op' in 43ms. Status: OK
Initializing component 'lp' of type PosNegLPStandard ...
... initialized component 'lp' in 1ms. Status: OK
Initializing component 'h' of type multiple criteria heuristic ...
... initialized component 'h' in 0ms. Status: OK
Initializing component 'alg' of type OWL Class Expression Learner ...
... initialized component 'alg' in 17ms. Status: OK
starting top down refinement with: Thing (42.857% accuracy)
more accurate (85.71%) class expression found: male
more accurate (100.00%) class expression found: male and (hasChild some Thing)
Maximum time (15 seconds) reached, stopping now...
solutions (at most 20 are shown):
1: male and (hasChild some Thing) (accuracy 100%, length 5, depth 1)
2: (not (female)) and (hasChild some Thing) (accuracy 100%, length 6, depth 1)
3: hasChild some (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 2)
4: hasChild some (female or (hasChild some female)) (accuracy 100%, length 7, depth 2)
5: hasChild some (female or (hasChild some (not (male)))) (accuracy 100%, length 8, depth 2)
6: hasChild some (female or (hasChild some (hasChild some Thing))) (accuracy 100%, length 9, depth 3)
7: male and (hasChild some (female or male)) (accuracy 100%, length 7, depth 1)
8: male and (hasChild some (hasChild only Thing)) (accuracy 100%, length 7, depth 2)
9: (male or male) and (hasChild some Thing) (accuracy 100%, length 7, depth 1)
10: hasChild some ((not (male)) or (hasChild some Thing)) (accuracy 100%, length 8, depth 2)
11: hasChild some ((not (male)) or (hasChild some female)) (accuracy 100%, length 8, depth 2)
12: hasChild some (female or (hasChild some (hasChild some male))) (accuracy 100%, length 9, depth 3)
13: hasChild some ((not (male)) or (hasChild some (not (male)))) (accuracy 100%, length 9, depth 2)
14: hasChild some ((not (male)) or (hasChild some (hasChild some Thing))) (accuracy 100%, length 10, depth 3)
15: male and (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 1)
16: male and (hasChild some (female or (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
17: hasChild some (female or (male and (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
18: hasChild some (female or (hasChild some (female or female))) (accuracy 100%, length 9, depth 2)
19: hasChild some (female or (hasChild some (female or male))) (accuracy 100%, length 9, depth 2)
20: hasChild some (female or (hasChild some (hasChild only Thing))) (accuracy 100%, length 9, depth 3)
Algorithm stopped (27437 descriptions tested).

Initializing component 'ks' of type KB File ...
... initialized component 'ks' in 81ms. Status: OK
Initializing component 'reasoner' of type closed world reasoner ...
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
...TBox materialised in 1 ms.
... initialized component 'reasoner' in 104ms. Status: OK
Initializing component 'op' of type rho refinement operator ...
... initialized component 'op' in 6ms. Status: OK
Initializing component 'lp' of type PosNegLPStandard ...
... initialized component 'lp' in 0ms. Status: OK
Initializing component 'h' of type multiple criteria heuristic ...
... initialized component 'h' in 0ms. Status: OK
Initializing component 'alg' of type OWL Class Expression Learner ...
... initialized component 'alg' in 1ms. Status: OK
starting top down refinement with: Thing (42.857% accuracy)
more accurate (85.71%) class expression found: male
more accurate (100.00%) class expression found: male and (hasChild some Thing)
Maximum time (15 seconds) reached, stopping now...
solutions (at most 20 are shown):
1: male and (hasChild some Thing) (accuracy 100%, length 5, depth 1)
2: (not (female)) and (hasChild some Thing) (accuracy 100%, length 6, depth 1)
3: hasChild some (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 2)
4: hasChild some (female or (hasChild some female)) (accuracy 100%, length 7, depth 2)
5: hasChild some (female or (hasChild some (not (male)))) (accuracy 100%, length 8, depth 2)
6: hasChild some (female or (hasChild some (hasChild some Thing))) (accuracy 100%, length 9, depth 3)
7: male and (hasChild some (female or male)) (accuracy 100%, length 7, depth 1)
8: male and (hasChild some (hasChild only Thing)) (accuracy 100%, length 7, depth 2)
9: (male or male) and (hasChild some Thing) (accuracy 100%, length 7, depth 1)
10: hasChild some ((not (male)) or (hasChild some Thing)) (accuracy 100%, length 8, depth 2)
11: hasChild some ((not (male)) or (hasChild some female)) (accuracy 100%, length 8, depth 2)
12: hasChild some (female or (hasChild some (hasChild some male))) (accuracy 100%, length 9, depth 3)
13: hasChild some ((not (male)) or (hasChild some (not (male)))) (accuracy 100%, length 9, depth 2)
14: hasChild some ((not (male)) or (hasChild some (hasChild some Thing))) (accuracy 100%, length 10, depth 3)
15: male and (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 1)
16: male and (hasChild some (female or (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
17: hasChild some (female or (male and (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
18: hasChild some (female or (hasChild some (female or female))) (accuracy 100%, length 9, depth 2)
19: hasChild some (female or (hasChild some (female or male))) (accuracy 100%, length 9, depth 2)
20: hasChild some (female or (hasChild some (hasChild only Thing))) (accuracy 100%, length 9, depth 3)
Algorithm stopped (28704 descriptions tested).

Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 37.913 sec - in org.dllearner.cli.FatherCLITest
Running org.dllearner.configuration.spring.ConfigurationBasedPropertyOverrideConfigurerTest
Initializing component 'fourthBean' of type TestBean Component ...
... initialized component 'fourthBean' in 0ms. Status: OK
Initializing component 'thirdBean' of type TestBean Component ...
... initialized component 'thirdBean' in 0ms. Status: OK
Initializing component 'secondBean' of type TestBean Component ...
... initialized component 'secondBean' in 0ms. Status: OK
Initializing component 'testBean' of type TestBean Component ...
... initialized component 'testBean' in 0ms. Status: OK
Initializing component 'fifthBean' of type TestBean Component ...
... initialized component 'fifthBean' in 0ms. Status: OK
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.107 sec - in org.dllearner.configuration.spring.ConfigurationBasedPropertyOverrideConfigurerTest
Running org.dllearner.confparser3.ParseTest
ks.type = KB File
ks.fileName = father.kb
reasoner.type = cwr
reasoner.reasonerComponent = embeddedReasoner    (bean reference)
embeddedReasoner.type = OWL API Reasoner
embeddedReasoner.sources = [ks]
lp.type = posNegStandard
lp.positiveExamples = [http://localhost/foo#markus, http://localhost/foo#stefan, http://localhost/foo#bernd]
lp.negativeExamples = [http://localhost/foo#gabi, http://localhost/foo#anna, http://localhost/foo#michelle, http://localhost/foo#heinz]
lp.reasoner = reasoner    (bean reference)
op.type = rho
op.useCardinalityRestrictions = true
op.reasoner = reasoner    (bean reference)
h.type = multiheuristic
h.expansionPenaltyFactor = 0.2
alg.type = ocel
alg.reasoner = reasoner    (bean reference)
alg.operator = op    (bean reference)
alg.heuristic = h    (bean reference)
alg.maxExecutionTimeInSeconds = 15
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.016 sec - in org.dllearner.confparser3.ParseTest
Running org.dllearner.test.junit.LearningProblemTest
Initializing component 'acc' of type Predictive Accuracy without Weak elimination ...
... initialized component 'acc' in 0ms. Status: OK
Initializing component 'ks' of type OWL File ...
... initialized component 'ks' in 0ms. Status: OK
Initializing component 'reasoner' of type closed world reasoner ...
dumping remaining triples
done dumping remaining triples
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
Property cytogen_ca has more than one value [false, true] for individual d135. We ignore the value.
Property cytogen_ca has value [false, true]. Cannot determine whether it is false.
...TBox materialised in 15025 ms.
... initialized component 'reasoner' in 22s 924ms. Status: OK
Initializing component 'op' of type rho refinement operator ...
... initialized component 'op' in 137ms. Status: OK
Initializing component 'lp' of type PosNegLPStandard ...
... initialized component 'lp' in 2ms. Status: OK
Initializing component 'alg' of type OWL Class Expression Learner ...
... initialized component 'alg' in 5ms. Status: OK
concept: Compound and ((hasStructure some Ar_halide) or (amesTestPositive some {true})) and (hasAtom only (not (Nitrogen-35))) {12}
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 23.342 sec - in org.dllearner.test.junit.LearningProblemTest

Results :

Tests run: 5, Failures: 0, Errors: 0, Skipped: 0

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.5:jar (default-jar) @ interfaces ---
[INFO] Building jar: /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/dl-learner.jar
[INFO] 
[INFO] --- maven-install-plugin:2.4:install (default-install) @ interfaces ---
[INFO] Installing /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/dl-learner.jar to /usr/share/tomcat6/.m2/repository/org/dllearner/interfaces/1.3-SNAPSHOT/interfaces-1.3-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/pom.xml to /usr/share/tomcat6/.m2/repository/org/dllearner/interfaces/1.3-SNAPSHOT/interfaces-1.3-SNAPSHOT.pom
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Executable scripts 1.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[WARNING] The POM for org.codehaus.woodstox:wstx-asl:jar:3.2.9 is invalid, transitive dependencies (if any) will not be available, enable debug logging for more details
[INFO] 
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ scripts ---
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ scripts ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/scripts/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.3:compile (default-compile) @ scripts ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 25 source files to /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/scripts/target/classes
[ERROR] error reading /usr/share/tomcat6/.m2/repository/org/codehaus/woodstox/wstx-asl/3.2.9/wstx-asl-3.2.9.jar; error in opening zip file
[ERROR] error reading /usr/share/tomcat6/.m2/repository/org/codehaus/woodstox/wstx-asl/3.2.9/wstx-asl-3.2.9.jar; error in opening zip file
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java:[146,27] unchecked call to add(E) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java:[156,27] unchecked call to add(E) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java:[157,27] unchecked call to add(E) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java:[162,26] unchecked call to add(E) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java:[169,26] unchecked call to add(E) as a member of the raw type java.util.List
[WARNING] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java:[170,26] unchecked call to add(E) as a member of the raw type java.util.List
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ scripts ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/scripts/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.3:testCompile (default-testCompile) @ scripts ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19:test (default-test) @ scripts ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.5:jar (default-jar) @ scripts ---
[INFO] Building jar: /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/scripts/target/scripts-1.3-SNAPSHOT.jar
[INFO] 
[INFO] --- maven-install-plugin:2.4:install (default-install) @ scripts ---
[INFO] Installing /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/scripts/target/scripts-1.3-SNAPSHOT.jar to /usr/share/tomcat6/.m2/repository/org/dllearner/scripts/1.3-SNAPSHOT/scripts-1.3-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/scripts/pom.xml to /usr/share/tomcat6/.m2/repository/org/dllearner/scripts/1.3-SNAPSHOT/scripts-1.3-SNAPSHOT.pom
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO] 
[INFO] DL Learner Parent Pom ............................. SUCCESS [  2.547 s]
[INFO] DL Learner Core Components ........................ SUCCESS [03:24 min]
[INFO] components-ext .................................... SUCCESS [ 16.584 s]
[INFO] dllearner-interfaces .............................. SUCCESS [01:15 min]
[INFO] Executable scripts ................................ SUCCESS [  3.021 s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 05:05 min
[INFO] Finished at: 2016-06-23T20:50:47+01:00
[INFO] Final Memory: 66M/201M
[INFO] ------------------------------------------------------------------------
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/pom.xml to org.dllearner/interfaces/1.3-SNAPSHOT/interfaces-1.3-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/interfaces/target/dl-learner.jar to org.dllearner/interfaces/1.3-SNAPSHOT/interfaces-1.3-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-ext/pom.xml to org.dllearner/components-ext/1.3-SNAPSHOT/components-ext-1.3-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-ext/target/components-ext-1.3-SNAPSHOT.jar to org.dllearner/components-ext/1.3-SNAPSHOT/components-ext-1.3-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/scripts/pom.xml to org.dllearner/scripts/1.3-SNAPSHOT/scripts-1.3-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/scripts/target/scripts-1.3-SNAPSHOT.jar to org.dllearner/scripts/1.3-SNAPSHOT/scripts-1.3-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/pom.xml to org.dllearner/dllearner-parent/1.3-SNAPSHOT/dllearner-parent-1.3-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-core/pom.xml to org.dllearner/components-core/1.3-SNAPSHOT/components-core-1.3-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-core/target/components-core-1.3-SNAPSHOT.jar to org.dllearner/components-core/1.3-SNAPSHOT/components-core-1.3-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/csampl/workspace/components-core/target/components-core-1.3-SNAPSHOT-tests.jar to org.dllearner/components-core/1.3-SNAPSHOT/components-core-1.3-SNAPSHOT-tests.jar
channel stopped
Setting commit status on GitHub for https://github.com/AKSW/DL-Learner/commit/fccf166d85e373de2883619bbbb73190481f5f6a
Setting commit status on GitHub for https://github.com/AKSW/DL-Learner/commit/fccf166d85e373de2883619bbbb73190481f5f6a
Finished: UNSTABLE