Matches in ISWC2014 Benchmark for { ?s ?p 6.9306930693069315. }
- 1769903 cpu_core_0 "6.9306930693069315".
- 1770267 cpu_core_0 "6.9306930693069315".
- 1770447 cpu_core_0 "6.9306930693069315".
- 1770505 cpu_core_0 "6.9306930693069315".
- 1770946 cpu_core_0 "6.9306930693069315".
- 1772093 cpu_core_0 "6.9306930693069315".
- 1772512 cpu_core_0 "6.9306930693069315".
- 1773816 cpu_core_0 "6.9306930693069315".
- 1773963 cpu_core_0 "6.9306930693069315".
- 1774566 cpu_core_0 "6.9306930693069315".
- 1774689 cpu_core_0 "6.9306930693069315".
- 1775945 cpu_core_0 "6.9306930693069315".
- 1776129 cpu_core_0 "6.9306930693069315".
- 1776375 cpu_core_0 "6.9306930693069315".
- 1776391 cpu_core_0 "6.9306930693069315".
- 1777481 cpu_core_0 "6.9306930693069315".
- 1777888 cpu_core_0 "6.9306930693069315".
- 1779262 cpu_core_0 "6.9306930693069315".
- 1779563 cpu_core_0 "6.9306930693069315".
- 1779853 cpu_core_0 "6.9306930693069315".
- 1780706 cpu_core_0 "6.9306930693069315".
- 1781006 cpu_core_0 "6.9306930693069315".
- 1781898 cpu_core_0 "6.9306930693069315".
- 1781948 cpu_core_0 "6.9306930693069315".
- 1782962 cpu_core_0 "6.9306930693069315".
- 1784076 cpu_core_0 "6.9306930693069315".
- 1784162 cpu_core_0 "6.9306930693069315".
- 178533 cpu_core_0 "6.9306930693069315".
- 1785472 cpu_core_0 "6.9306930693069315".
- 1785586 cpu_core_0 "6.9306930693069315".
- 1787146 cpu_core_0 "6.9306930693069315".
- 1787642 cpu_core_0 "6.9306930693069315".
- 1788906 cpu_core_0 "6.9306930693069315".
- 1789244 cpu_core_0 "6.9306930693069315".
- 1790084 cpu_core_0 "6.9306930693069315".
- 1791380 cpu_core_0 "6.9306930693069315".
- 1792166 cpu_core_0 "6.9306930693069315".
- 1792366 cpu_core_0 "6.9306930693069315".
- 1792785 cpu_core_0 "6.9306930693069315".
- 1793265 cpu_core_0 "6.9306930693069315".
- 1796320 cpu_core_0 "6.9306930693069315".
- 1796805 cpu_core_0 "6.9306930693069315".
- 1797519 cpu_core_0 "6.9306930693069315".
- 1798055 cpu_core_0 "6.9306930693069315".
- 1798514 cpu_core_0 "6.9306930693069315".
- 1799589 cpu_core_0 "6.9306930693069315".
- 1800463 cpu_core_0 "6.9306930693069315".
- 1802089 cpu_core_0 "6.9306930693069315".
- 1802461 cpu_core_0 "6.9306930693069315".
- 1805544 cpu_core_0 "6.9306930693069315".
- 1806083 cpu_core_0 "6.9306930693069315".
- 1806187 cpu_core_0 "6.9306930693069315".
- 1806308 cpu_core_0 "6.9306930693069315".
- 1806741 cpu_core_0 "6.9306930693069315".
- 1806894 cpu_core_0 "6.9306930693069315".
- 1807173 cpu_core_0 "6.9306930693069315".
- 1807654 cpu_core_0 "6.9306930693069315".
- 1807673 cpu_core_0 "6.9306930693069315".
- 1808183 cpu_core_0 "6.9306930693069315".
- 1808669 cpu_core_0 "6.9306930693069315".
- 1809821 cpu_core_0 "6.9306930693069315".
- 1809825 cpu_core_0 "6.9306930693069315".
- 1810806 cpu_core_0 "6.9306930693069315".
- 1810818 cpu_core_0 "6.9306930693069315".
- 1811782 cpu_core_0 "6.9306930693069315".
- 1812718 cpu_core_0 "6.9306930693069315".
- 1814189 cpu_core_0 "6.9306930693069315".
- 1816339 cpu_core_0 "6.9306930693069315".
- 1817669 cpu_core_0 "6.9306930693069315".
- 1818408 cpu_core_0 "6.9306930693069315".
- 1818458 cpu_core_0 "6.9306930693069315".
- 1819468 cpu_core_0 "6.9306930693069315".
- 1819866 cpu_core_0 "6.9306930693069315".
- 1821168 cpu_core_0 "6.9306930693069315".
- 1821213 cpu_core_0 "6.9306930693069315".
- 1821538 cpu_core_0 "6.9306930693069315".
- 1821671 cpu_core_0 "6.9306930693069315".
- 1824167 cpu_core_0 "6.9306930693069315".
- 1824661 cpu_core_0 "6.9306930693069315".
- 1827092 cpu_core_0 "6.9306930693069315".
- 1828892 cpu_core_0 "6.9306930693069315".
- 1829022 cpu_core_0 "6.9306930693069315".
- 1829865 cpu_core_0 "6.9306930693069315".
- 1830890 cpu_core_0 "6.9306930693069315".
- 1831484 cpu_core_0 "6.9306930693069315".
- 1832695 cpu_core_0 "6.9306930693069315".
- 1832916 cpu_core_0 "6.9306930693069315".
- 1833863 cpu_core_0 "6.9306930693069315".
- 1834697 cpu_core_0 "6.9306930693069315".
- 1834844 cpu_core_0 "6.9306930693069315".
- 1835456 cpu_core_0 "6.9306930693069315".
- 1835482 cpu_core_0 "6.9306930693069315".
- 1835793 cpu_core_0 "6.9306930693069315".
- 1836099 cpu_core_0 "6.9306930693069315".
- 1836438 cpu_core_0 "6.9306930693069315".
- 1836888 cpu_core_0 "6.9306930693069315".
- 1837092 cpu_core_0 "6.9306930693069315".
- 1837346 cpu_core_0 "6.9306930693069315".
- 1838081 cpu_core_0 "6.9306930693069315".
- 1838086 cpu_core_0 "6.9306930693069315".