Matches in ISWC2014 Benchmark for { ?s ?p 13.861386138613863. }
- 1810919 cpu_core_0 "13.861386138613863".
- 1810984 cpu_core_0 "13.861386138613863".
- 1811074 cpu_core_0 "13.861386138613863".
- 1811099 cpu_core_0 "13.861386138613863".
- 1811301 cpu_core_0 "13.861386138613863".
- 1811483 cpu_core_0 "13.861386138613863".
- 1811513 cpu_core_0 "13.861386138613863".
- 1811529 cpu_core_0 "13.861386138613863".
- 1811554 cpu_core_0 "13.861386138613863".
- 1811641 cpu_core_0 "13.861386138613863".
- 1811748 cpu_core_0 "13.861386138613863".
- 1811901 cpu_core_0 "13.861386138613863".
- 1812361 cpu_core_0 "13.861386138613863".
- 1812389 cpu_core_0 "13.861386138613863".
- 1812443 cpu_core_0 "13.861386138613863".
- 1812803 cpu_core_0 "13.861386138613863".
- 1812869 cpu_core_0 "13.861386138613863".
- 1812902 cpu_core_0 "13.861386138613863".
- 1812998 cpu_core_0 "13.861386138613863".
- 1813046 cpu_core_0 "13.861386138613863".
- 1813067 cpu_core_0 "13.861386138613863".
- 1813073 cpu_core_0 "13.861386138613863".
- 1813202 cpu_core_0 "13.861386138613863".
- 1813235 cpu_core_0 "13.861386138613863".
- 1813412 cpu_core_0 "13.861386138613863".
- 1813538 cpu_core_0 "13.861386138613863".
- 1813556 cpu_core_0 "13.861386138613863".
- 1813929 cpu_core_0 "13.861386138613863".
- 1814634 cpu_core_0 "13.861386138613863".
- 1814783 cpu_core_0 "13.861386138613863".
- 1815726 cpu_core_0 "13.861386138613863".
- 1816386 cpu_core_0 "13.861386138613863".
- 1816394 cpu_core_0 "13.861386138613863".
- 1816589 cpu_core_0 "13.861386138613863".
- 1816956 cpu_core_0 "13.861386138613863".
- 1816966 cpu_core_0 "13.861386138613863".
- 1817073 cpu_core_0 "13.861386138613863".
- 1817163 cpu_core_0 "13.861386138613863".
- 1817208 cpu_core_0 "13.861386138613863".
- 1817237 cpu_core_0 "13.861386138613863".
- 1817332 cpu_core_0 "13.861386138613863".
- 1817429 cpu_core_0 "13.861386138613863".
- 1817631 cpu_core_0 "13.861386138613863".
- 1817671 cpu_core_0 "13.861386138613863".
- 1817687 cpu_core_0 "13.861386138613863".
- 1817726 cpu_core_0 "13.861386138613863".
- 1817998 cpu_core_0 "13.861386138613863".
- 1818060 cpu_core_0 "13.861386138613863".
- 1818121 cpu_core_0 "13.861386138613863".
- 1818125 cpu_core_0 "13.861386138613863".
- 1818154 cpu_core_0 "13.861386138613863".
- 1818176 cpu_core_0 "13.861386138613863".
- 1818329 cpu_core_0 "13.861386138613863".
- 1818606 cpu_core_0 "13.861386138613863".
- 1818724 cpu_core_0 "13.861386138613863".
- 1818821 cpu_core_0 "13.861386138613863".
- 1819000 cpu_core_0 "13.861386138613863".
- 1819018 cpu_core_0 "13.861386138613863".
- 1819059 cpu_core_0 "13.861386138613863".
- 1819071 cpu_core_0 "13.861386138613863".
- 1819137 cpu_core_0 "13.861386138613863".
- 1819203 cpu_core_0 "13.861386138613863".
- 1819479 cpu_core_0 "13.861386138613863".
- 1819619 cpu_core_0 "13.861386138613863".
- 1819689 cpu_core_0 "13.861386138613863".
- 1819926 cpu_core_0 "13.861386138613863".
- 1820431 cpu_core_0 "13.861386138613863".
- 1820725 cpu_core_0 "13.861386138613863".
- 1820758 cpu_core_0 "13.861386138613863".
- 1820883 cpu_core_0 "13.861386138613863".
- 1821069 cpu_core_0 "13.861386138613863".
- 1821418 cpu_core_0 "13.861386138613863".
- 1821935 cpu_core_0 "13.861386138613863".
- 1822922 cpu_core_0 "13.861386138613863".
- 1823188 cpu_core_0 "13.861386138613863".
- 1823214 cpu_core_0 "13.861386138613863".
- 1823782 cpu_core_0 "13.861386138613863".
- 1823825 cpu_core_0 "13.861386138613863".
- 1823901 cpu_core_0 "13.861386138613863".
- 1823961 cpu_core_0 "13.861386138613863".
- 1823997 cpu_core_0 "13.861386138613863".
- 1824296 cpu_core_0 "13.861386138613863".
- 1824426 cpu_core_0 "13.861386138613863".
- 1824548 cpu_core_0 "13.861386138613863".
- 1824625 cpu_core_0 "13.861386138613863".
- 1824787 cpu_core_0 "13.861386138613863".
- 1824881 cpu_core_0 "13.861386138613863".
- 1824997 cpu_core_0 "13.861386138613863".
- 1825165 cpu_core_0 "13.861386138613863".
- 1825197 cpu_core_0 "13.861386138613863".
- 1825225 cpu_core_0 "13.861386138613863".
- 1825383 cpu_core_0 "13.861386138613863".
- 1825749 cpu_core_0 "13.861386138613863".
- 1825788 cpu_core_0 "13.861386138613863".
- 1825853 cpu_core_0 "13.861386138613863".
- 1825944 cpu_core_0 "13.861386138613863".
- 1825947 cpu_core_0 "13.861386138613863".
- 1826010 cpu_core_0 "13.861386138613863".
- 1826204 cpu_core_0 "13.861386138613863".
- 1826297 cpu_core_0 "13.861386138613863".