Matches in ISWC2014 Benchmark for { ?s ?p 14.000000000000002. }
- 1794105 cpu_core_0 "14.000000000000002".
- 1794146 cpu_core_0 "14.000000000000002".
- 1794261 cpu_core_0 "14.000000000000002".
- 1794264 cpu_core_0 "14.000000000000002".
- 1794269 cpu_core_0 "14.000000000000002".
- 1794291 cpu_core_0 "14.000000000000002".
- 1794329 cpu_core_0 "14.000000000000002".
- 1794339 cpu_core_0 "14.000000000000002".
- 1794361 cpu_core_0 "14.000000000000002".
- 1794510 cpu_core_0 "14.000000000000002".
- 1794560 cpu_core_0 "14.000000000000002".
- 1794598 cpu_core_0 "14.000000000000002".
- 1794636 cpu_core_0 "14.000000000000002".
- 1794711 cpu_core_0 "14.000000000000002".
- 1794917 cpu_core_0 "14.000000000000002".
- 1794936 cpu_core_0 "14.000000000000002".
- 1795158 cpu_core_0 "14.000000000000002".
- 1795551 cpu_core_0 "14.000000000000002".
- 1795555 cpu_core_0 "14.000000000000002".
- 1795597 cpu_core_0 "14.000000000000002".
- 1795742 cpu_core_0 "14.000000000000002".
- 1795840 cpu_core_0 "14.000000000000002".
- 1795994 cpu_core_0 "14.000000000000002".
- 1796102 cpu_core_0 "14.000000000000002".
- 1796512 cpu_core_0 "14.000000000000002".
- 1796677 cpu_core_0 "14.000000000000002".
- 1797109 cpu_core_0 "14.000000000000002".
- 1797367 cpu_core_0 "14.000000000000002".
- 1797430 cpu_core_0 "14.000000000000002".
- 1797702 cpu_core_0 "14.000000000000002".
- 1797775 cpu_core_0 "14.000000000000002".
- 1797895 cpu_core_0 "14.000000000000002".
- 1797896 cpu_core_0 "14.000000000000002".
- 1797944 cpu_core_0 "14.000000000000002".
- 1798085 cpu_core_0 "14.000000000000002".
- 1798098 cpu_core_0 "14.000000000000002".
- 1798219 cpu_core_0 "14.000000000000002".
- 1798239 cpu_core_0 "14.000000000000002".
- 1798243 cpu_core_0 "14.000000000000002".
- 1798401 cpu_core_0 "14.000000000000002".
- 1798445 cpu_core_0 "14.000000000000002".
- 1798447 cpu_core_0 "14.000000000000002".
- 1798451 cpu_core_0 "14.000000000000002".
- 1798553 cpu_core_0 "14.000000000000002".
- 1798748 cpu_core_0 "14.000000000000002".
- 1798907 cpu_core_0 "14.000000000000002".
- 1798929 cpu_core_0 "14.000000000000002".
- 1799029 cpu_core_0 "14.000000000000002".
- 1799082 cpu_core_0 "14.000000000000002".
- 1799101 cpu_core_0 "14.000000000000002".
- 1799194 cpu_core_0 "14.000000000000002".
- 1799234 cpu_core_0 "14.000000000000002".
- 1799267 cpu_core_0 "14.000000000000002".
- 1799284 cpu_core_0 "14.000000000000002".
- 1799419 cpu_core_0 "14.000000000000002".
- 1799433 cpu_core_0 "14.000000000000002".
- 1799454 cpu_core_0 "14.000000000000002".
- 1799556 cpu_core_0 "14.000000000000002".
- 1799563 cpu_core_0 "14.000000000000002".
- 1799636 cpu_core_0 "14.000000000000002".
- 1799681 cpu_core_0 "14.000000000000002".
- 1799818 cpu_core_0 "14.000000000000002".
- 1799896 cpu_core_0 "14.000000000000002".
- 1799964 cpu_core_0 "14.000000000000002".
- 1800040 cpu_core_0 "14.000000000000002".
- 1800231 cpu_core_0 "14.000000000000002".
- 1800268 cpu_core_0 "14.000000000000002".
- 1800298 cpu_core_0 "14.000000000000002".
- 1800421 cpu_core_0 "14.000000000000002".
- 1800494 cpu_core_0 "14.000000000000002".
- 1800522 cpu_core_0 "14.000000000000002".
- 1800545 cpu_core_0 "14.000000000000002".
- 1800714 cpu_core_0 "14.000000000000002".
- 1800726 cpu_core_0 "14.000000000000002".
- 1800778 cpu_core_0 "14.000000000000002".
- 1800835 cpu_core_0 "14.000000000000002".
- 1800972 cpu_core_0 "14.000000000000002".
- 1800981 cpu_core_0 "14.000000000000002".
- 1801197 cpu_core_0 "14.000000000000002".
- 1801376 cpu_core_0 "14.000000000000002".
- 1801387 cpu_core_0 "14.000000000000002".
- 1801403 cpu_core_0 "14.000000000000002".
- 1801596 cpu_core_0 "14.000000000000002".
- 1801669 cpu_core_0 "14.000000000000002".
- 1801767 cpu_core_0 "14.000000000000002".
- 1802307 cpu_core_0 "14.000000000000002".
- 1802449 cpu_core_0 "14.000000000000002".
- 1802538 cpu_core_0 "14.000000000000002".
- 1802667 cpu_core_0 "14.000000000000002".
- 1802716 cpu_core_0 "14.000000000000002".
- 1802809 cpu_core_0 "14.000000000000002".
- 1802906 cpu_core_0 "14.000000000000002".
- 1803043 cpu_core_0 "14.000000000000002".
- 1803209 cpu_core_0 "14.000000000000002".
- 1803393 cpu_core_0 "14.000000000000002".
- 1803415 cpu_core_0 "14.000000000000002".
- 1803446 cpu_core_0 "14.000000000000002".
- 1803450 cpu_core_0 "14.000000000000002".
- 1803566 cpu_core_0 "14.000000000000002".
- 1803596 cpu_core_0 "14.000000000000002".