Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1160170 cpu_core_0 "13.999999999999998".
- 1160171 cpu_core_0 "13.999999999999998".
- 1160177 cpu_core_0 "13.999999999999998".
- 1160194 cpu_core_0 "13.999999999999998".
- 1160352 cpu_core_0 "13.999999999999998".
- 1160558 cpu_core_0 "13.999999999999998".
- 1160622 cpu_core_0 "13.999999999999998".
- 1160631 cpu_core_0 "13.999999999999998".
- 1160768 cpu_core_0 "13.999999999999998".
- 1160769 cpu_core_0 "13.999999999999998".
- 1160836 cpu_core_0 "13.999999999999998".
- 1160970 cpu_core_0 "13.999999999999998".
- 1160972 cpu_core_0 "13.999999999999998".
- 1161020 cpu_core_0 "13.999999999999998".
- 1161050 cpu_core_0 "13.999999999999998".
- 1161095 cpu_core_0 "13.999999999999998".
- 1161437 cpu_core_0 "13.999999999999998".
- 1161441 cpu_core_0 "13.999999999999998".
- 1161474 cpu_core_0 "13.999999999999998".
- 1161831 cpu_core_0 "13.999999999999998".
- 1161996 cpu_core_0 "13.999999999999998".
- 1162047 cpu_core_0 "13.999999999999998".
- 1162059 cpu_core_0 "13.999999999999998".
- 1162065 cpu_core_0 "13.999999999999998".
- 1162132 cpu_core_0 "13.999999999999998".
- 1162316 cpu_core_0 "13.999999999999998".
- 1162341 cpu_core_0 "13.999999999999998".
- 1162364 cpu_core_0 "13.999999999999998".
- 1162407 cpu_core_0 "13.999999999999998".
- 1162421 cpu_core_0 "13.999999999999998".
- 1162473 cpu_core_0 "13.999999999999998".
- 1162528 cpu_core_0 "13.999999999999998".
- 1162545 cpu_core_0 "13.999999999999998".
- 1162654 cpu_core_0 "13.999999999999998".
- 1162689 cpu_core_0 "13.999999999999998".
- 1163024 cpu_core_0 "13.999999999999998".
- 1163118 cpu_core_0 "13.999999999999998".
- 1163125 cpu_core_0 "13.999999999999998".
- 1163144 cpu_core_0 "13.999999999999998".
- 1163316 cpu_core_0 "13.999999999999998".
- 1163324 cpu_core_0 "13.999999999999998".
- 1163335 cpu_core_0 "13.999999999999998".
- 1163437 cpu_core_0 "13.999999999999998".
- 1163452 cpu_core_0 "13.999999999999998".
- 1163625 cpu_core_0 "13.999999999999998".
- 1163762 cpu_core_0 "13.999999999999998".
- 1163768 cpu_core_0 "13.999999999999998".
- 1163781 cpu_core_0 "13.999999999999998".
- 1163972 cpu_core_0 "13.999999999999998".
- 1163980 cpu_core_0 "13.999999999999998".
- 1164026 cpu_core_0 "13.999999999999998".
- 1164125 cpu_core_0 "13.999999999999998".
- 1164171 cpu_core_0 "13.999999999999998".
- 1164222 cpu_core_0 "13.999999999999998".
- 1164381 cpu_core_0 "13.999999999999998".
- 1164403 cpu_core_0 "13.999999999999998".
- 1164413 cpu_core_0 "13.999999999999998".
- 1164497 cpu_core_0 "13.999999999999998".
- 1164498 cpu_core_0 "13.999999999999998".
- 1164499 cpu_core_0 "13.999999999999998".
- 1164561 cpu_core_0 "13.999999999999998".
- 1164576 cpu_core_0 "13.999999999999998".
- 1164621 cpu_core_0 "13.999999999999998".
- 1164748 cpu_core_0 "13.999999999999998".
- 1164770 cpu_core_0 "13.999999999999998".
- 1164809 cpu_core_0 "13.999999999999998".
- 1165014 cpu_core_0 "13.999999999999998".
- 1165053 cpu_core_0 "13.999999999999998".
- 1165212 cpu_core_0 "13.999999999999998".
- 1165247 cpu_core_0 "13.999999999999998".
- 1165303 cpu_core_0 "13.999999999999998".
- 1165369 cpu_core_0 "13.999999999999998".
- 1165396 cpu_core_0 "13.999999999999998".
- 1165594 cpu_core_0 "13.999999999999998".
- 1165700 cpu_core_0 "13.999999999999998".
- 1165732 cpu_core_0 "13.999999999999998".
- 1165768 cpu_core_0 "13.999999999999998".
- 1165780 cpu_core_0 "13.999999999999998".
- 1166091 cpu_core_0 "13.999999999999998".
- 1166109 cpu_core_0 "13.999999999999998".
- 1166177 cpu_core_0 "13.999999999999998".
- 1166184 cpu_core_0 "13.999999999999998".
- 1166185 cpu_core_0 "13.999999999999998".
- 1166210 cpu_core_0 "13.999999999999998".
- 1166328 cpu_core_0 "13.999999999999998".
- 1166408 cpu_core_0 "13.999999999999998".
- 1166629 cpu_core_0 "13.999999999999998".
- 1166799 cpu_core_0 "13.999999999999998".
- 1166888 cpu_core_0 "13.999999999999998".
- 1167025 cpu_core_0 "13.999999999999998".
- 1167105 cpu_core_0 "13.999999999999998".
- 1167120 cpu_core_0 "13.999999999999998".
- 1167528 cpu_core_0 "13.999999999999998".
- 1167587 cpu_core_0 "13.999999999999998".
- 1167650 cpu_core_0 "13.999999999999998".
- 1167651 cpu_core_0 "13.999999999999998".
- 1167652 cpu_core_0 "13.999999999999998".
- 1167662 cpu_core_0 "13.999999999999998".
- 1167825 cpu_core_0 "13.999999999999998".
- 1167835 cpu_core_0 "13.999999999999998".