Matches in ISWC2014 Benchmark for { ?s ?p 6.9306930693069315. }
- 1838148 cpu_core_0 "6.9306930693069315".
- 1841168 cpu_core_0 "6.9306930693069315".
- 1841927 cpu_core_0 "6.9306930693069315".
- 1842081 cpu_core_0 "6.9306930693069315".
- 1843527 cpu_core_0 "6.9306930693069315".
- 1844060 cpu_core_0 "6.9306930693069315".
- 1844525 cpu_core_0 "6.9306930693069315".
- 1844609 cpu_core_0 "6.9306930693069315".
- 1845637 cpu_core_0 "6.9306930693069315".
- 1845784 cpu_core_0 "6.9306930693069315".
- 1845953 cpu_core_0 "6.9306930693069315".
- 1846002 cpu_core_0 "6.9306930693069315".
- 1846326 cpu_core_0 "6.9306930693069315".
- 1848078 cpu_core_0 "6.9306930693069315".
- 1850217 cpu_core_0 "6.9306930693069315".
- 1854888 cpu_core_0 "6.9306930693069315".
- 1855033 cpu_core_0 "6.9306930693069315".
- 1857950 cpu_core_0 "6.9306930693069315".
- 1858397 cpu_core_0 "6.9306930693069315".
- 1859356 cpu_core_0 "6.9306930693069315".
- 1859387 cpu_core_0 "6.9306930693069315".
- 1859447 cpu_core_0 "6.9306930693069315".
- 1859693 cpu_core_0 "6.9306930693069315".
- 1859817 cpu_core_0 "6.9306930693069315".
- 1860205 cpu_core_0 "6.9306930693069315".
- 1860412 cpu_core_0 "6.9306930693069315".
- 1860828 cpu_core_0 "6.9306930693069315".
- 1861619 cpu_core_0 "6.9306930693069315".
- 1861658 cpu_core_0 "6.9306930693069315".
- 1861716 cpu_core_0 "6.9306930693069315".
- 1862192 cpu_core_0 "6.9306930693069315".
- 1862561 cpu_core_0 "6.9306930693069315".
- 1863100 cpu_core_0 "6.9306930693069315".
- 1864055 cpu_core_0 "6.9306930693069315".
- 1864071 cpu_core_0 "6.9306930693069315".
- 1864326 cpu_core_0 "6.9306930693069315".
- 1865275 cpu_core_0 "6.9306930693069315".
- 1865479 cpu_core_0 "6.9306930693069315".
- 1865602 cpu_core_0 "6.9306930693069315".
- 1865769 cpu_core_0 "6.9306930693069315".
- 1865914 cpu_core_0 "6.9306930693069315".
- 1866058 cpu_core_0 "6.9306930693069315".
- 1866084 cpu_core_0 "6.9306930693069315".
- 1866319 cpu_core_0 "6.9306930693069315".
- 1866329 cpu_core_0 "6.9306930693069315".
- 1866385 cpu_core_0 "6.9306930693069315".
- 1866754 cpu_core_0 "6.9306930693069315".
- 1866807 cpu_core_0 "6.9306930693069315".
- 1866810 cpu_core_0 "6.9306930693069315".
- 1867008 cpu_core_0 "6.9306930693069315".
- 1867118 cpu_core_0 "6.9306930693069315".
- 1867624 cpu_core_0 "6.9306930693069315".
- 1869188 cpu_core_0 "6.9306930693069315".
- 1869330 cpu_core_0 "6.9306930693069315".
- 1872702 cpu_core_0 "6.9306930693069315".
- 1872736 cpu_core_0 "6.9306930693069315".
- 1872867 cpu_core_0 "6.9306930693069315".
- 1874411 cpu_core_0 "6.9306930693069315".
- 1874673 cpu_core_0 "6.9306930693069315".
- 1874698 cpu_core_0 "6.9306930693069315".
- 1875576 cpu_core_0 "6.9306930693069315".
- 1876361 cpu_core_0 "6.9306930693069315".
- 1877369 cpu_core_0 "6.9306930693069315".
- 1878107 cpu_core_0 "6.9306930693069315".
- 1879303 cpu_core_0 "6.9306930693069315".
- 1880232 cpu_core_0 "6.9306930693069315".
- 1880606 cpu_core_0 "6.9306930693069315".
- 1882187 cpu_core_0 "6.9306930693069315".
- 1883984 cpu_core_0 "6.9306930693069315".
- 1884253 cpu_core_0 "6.9306930693069315".
- 1884467 cpu_core_0 "6.9306930693069315".
- 1885041 cpu_core_0 "6.9306930693069315".
- 1885071 cpu_core_0 "6.9306930693069315".
- 1885952 cpu_core_0 "6.9306930693069315".
- 1885992 cpu_core_0 "6.9306930693069315".
- 1888349 cpu_core_0 "6.9306930693069315".
- 1889016 cpu_core_0 "6.9306930693069315".
- 1890380 cpu_core_0 "6.9306930693069315".
- 1890939 cpu_core_0 "6.9306930693069315".
- 1891800 cpu_core_0 "6.9306930693069315".
- 189207 cpu_core_0 "6.9306930693069315".
- 1894162 cpu_core_0 "6.9306930693069315".
- 1894809 cpu_core_0 "6.9306930693069315".
- 1897888 cpu_core_0 "6.9306930693069315".
- 1897997 cpu_core_0 "6.9306930693069315".
- 1899226 cpu_core_0 "6.9306930693069315".
- 1899932 cpu_core_0 "6.9306930693069315".
- 1900321 cpu_core_0 "6.9306930693069315".
- 1900779 cpu_core_0 "6.9306930693069315".
- 1900901 cpu_core_0 "6.9306930693069315".
- 1902325 cpu_core_0 "6.9306930693069315".
- 1902481 cpu_core_0 "6.9306930693069315".
- 1902845 cpu_core_0 "6.9306930693069315".
- 1904306 cpu_core_0 "6.9306930693069315".
- 1904589 cpu_core_0 "6.9306930693069315".
- 1904698 cpu_core_0 "6.9306930693069315".
- 1904899 cpu_core_0 "6.9306930693069315".
- 1905881 cpu_core_0 "6.9306930693069315".
- 1906203 cpu_core_0 "6.9306930693069315".
- 1906802 cpu_core_0 "6.9306930693069315".