Matches in ISWC2014 Benchmark for { ?s ?p 14.000000000000002. }
- 1765256 cpu_core_0 "14.000000000000002".
- 1765314 cpu_core_0 "14.000000000000002".
- 1765516 cpu_core_0 "14.000000000000002".
- 1765586 cpu_core_0 "14.000000000000002".
- 1765618 cpu_core_0 "14.000000000000002".
- 1765626 cpu_core_0 "14.000000000000002".
- 1765813 cpu_core_0 "14.000000000000002".
- 1765873 cpu_core_0 "14.000000000000002".
- 1765926 cpu_core_0 "14.000000000000002".
- 1766203 cpu_core_0 "14.000000000000002".
- 1766323 cpu_core_0 "14.000000000000002".
- 1766483 cpu_core_0 "14.000000000000002".
- 1766540 cpu_core_0 "14.000000000000002".
- 1766568 cpu_core_0 "14.000000000000002".
- 1766578 cpu_core_0 "14.000000000000002".
- 1766694 cpu_core_0 "14.000000000000002".
- 1766783 cpu_core_0 "14.000000000000002".
- 1766807 cpu_core_0 "14.000000000000002".
- 1766836 cpu_core_0 "14.000000000000002".
- 1767031 cpu_core_0 "14.000000000000002".
- 1767195 cpu_core_0 "14.000000000000002".
- 1767213 cpu_core_0 "14.000000000000002".
- 1767397 cpu_core_0 "14.000000000000002".
- 1767441 cpu_core_0 "14.000000000000002".
- 1767657 cpu_core_0 "14.000000000000002".
- 1767811 cpu_core_0 "14.000000000000002".
- 1768031 cpu_core_0 "14.000000000000002".
- 1768127 cpu_core_0 "14.000000000000002".
- 1768173 cpu_core_0 "14.000000000000002".
- 1768309 cpu_core_0 "14.000000000000002".
- 1768534 cpu_core_0 "14.000000000000002".
- 1768562 cpu_core_0 "14.000000000000002".
- 1768624 cpu_core_0 "14.000000000000002".
- 1768748 cpu_core_0 "14.000000000000002".
- 1768950 cpu_core_0 "14.000000000000002".
- 1769120 cpu_core_0 "14.000000000000002".
- 1769134 cpu_core_0 "14.000000000000002".
- 1769209 cpu_core_0 "14.000000000000002".
- 1769279 cpu_core_0 "14.000000000000002".
- 1769376 cpu_core_0 "14.000000000000002".
- 1769440 cpu_core_0 "14.000000000000002".
- 1769450 cpu_core_0 "14.000000000000002".
- 1769503 cpu_core_0 "14.000000000000002".
- 1769549 cpu_core_0 "14.000000000000002".
- 1769601 cpu_core_0 "14.000000000000002".
- 1769638 cpu_core_0 "14.000000000000002".
- 1769676 cpu_core_0 "14.000000000000002".
- 1769705 cpu_core_0 "14.000000000000002".
- 1769804 cpu_core_0 "14.000000000000002".
- 1769847 cpu_core_0 "14.000000000000002".
- 1769877 cpu_core_0 "14.000000000000002".
- 1769956 cpu_core_0 "14.000000000000002".
- 1770069 cpu_core_0 "14.000000000000002".
- 1770070 cpu_core_0 "14.000000000000002".
- 1770193 cpu_core_0 "14.000000000000002".
- 1770209 cpu_core_0 "14.000000000000002".
- 1770223 cpu_core_0 "14.000000000000002".
- 1770304 cpu_core_0 "14.000000000000002".
- 1770419 cpu_core_0 "14.000000000000002".
- 1770463 cpu_core_0 "14.000000000000002".
- 1770574 cpu_core_0 "14.000000000000002".
- 1770590 cpu_core_0 "14.000000000000002".
- 1770680 cpu_core_0 "14.000000000000002".
- 1770695 cpu_core_0 "14.000000000000002".
- 1770698 cpu_core_0 "14.000000000000002".
- 1770716 cpu_core_0 "14.000000000000002".
- 1770825 cpu_core_0 "14.000000000000002".
- 1770883 cpu_core_0 "14.000000000000002".
- 1770966 cpu_core_0 "14.000000000000002".
- 1771064 cpu_core_0 "14.000000000000002".
- 1771115 cpu_core_0 "14.000000000000002".
- 1771210 cpu_core_0 "14.000000000000002".
- 1771231 cpu_core_0 "14.000000000000002".
- 1771379 cpu_core_0 "14.000000000000002".
- 1771384 cpu_core_0 "14.000000000000002".
- 1771386 cpu_core_0 "14.000000000000002".
- 1771526 cpu_core_0 "14.000000000000002".
- 1771631 cpu_core_0 "14.000000000000002".
- 1771644 cpu_core_0 "14.000000000000002".
- 1771676 cpu_core_0 "14.000000000000002".
- 1771722 cpu_core_0 "14.000000000000002".
- 1771724 cpu_core_0 "14.000000000000002".
- 1771740 cpu_core_0 "14.000000000000002".
- 1771778 cpu_core_0 "14.000000000000002".
- 1771850 cpu_core_0 "14.000000000000002".
- 1771902 cpu_core_0 "14.000000000000002".
- 1771913 cpu_core_0 "14.000000000000002".
- 1771996 cpu_core_0 "14.000000000000002".
- 1772143 cpu_core_0 "14.000000000000002".
- 1772167 cpu_core_0 "14.000000000000002".
- 1772489 cpu_core_0 "14.000000000000002".
- 1772688 cpu_core_0 "14.000000000000002".
- 1772690 cpu_core_0 "14.000000000000002".
- 1772736 cpu_core_0 "14.000000000000002".
- 1772761 cpu_core_0 "14.000000000000002".
- 1773410 cpu_core_0 "14.000000000000002".
- 1773434 cpu_core_0 "14.000000000000002".
- 1773997 cpu_core_0 "14.000000000000002".
- 1774447 cpu_core_0 "14.000000000000002".
- 1774491 cpu_core_0 "14.000000000000002".