Matches in ISWC2014 Benchmark for { ?s ?p 5.88235294117647. }
- 1713894 cpu_core_0 "5.88235294117647".
- 1714264 cpu_core_0 "5.88235294117647".
- 1714929 cpu_core_0 "5.88235294117647".
- 1716782 cpu_core_0 "5.88235294117647".
- 1717664 cpu_core_0 "5.88235294117647".
- 1719227 cpu_core_0 "5.88235294117647".
- 1719465 cpu_core_0 "5.88235294117647".
- 1721484 cpu_core_0 "5.88235294117647".
- 1723383 cpu_core_0 "5.88235294117647".
- 1723416 cpu_core_0 "5.88235294117647".
- 1723643 cpu_core_0 "5.88235294117647".
- 1723675 cpu_core_0 "5.88235294117647".
- 1724784 cpu_core_0 "5.88235294117647".
- 1725221 cpu_core_0 "5.88235294117647".
- 1725467 cpu_core_0 "5.88235294117647".
- 1726091 cpu_core_0 "5.88235294117647".
- 1728478 cpu_core_0 "5.88235294117647".
- 1730961 cpu_core_0 "5.88235294117647".
- 1734398 cpu_core_0 "5.88235294117647".
- 1735842 cpu_core_0 "5.88235294117647".
- 1738234 cpu_core_0 "5.88235294117647".
- 1738698 cpu_core_0 "5.88235294117647".
- 1743851 cpu_core_0 "5.88235294117647".
- 1745334 cpu_core_0 "5.88235294117647".
- 1748243 cpu_core_0 "5.88235294117647".
- 1748529 cpu_core_0 "5.88235294117647".
- 1749233 cpu_core_0 "5.88235294117647".
- 1749739 cpu_core_0 "5.88235294117647".
- 1753438 cpu_core_0 "5.88235294117647".
- 1755193 cpu_core_0 "5.88235294117647".
- 1758311 cpu_core_0 "5.88235294117647".
- 1764670 cpu_core_0 "5.88235294117647".
- 1766918 cpu_core_0 "5.88235294117647".
- 1767097 cpu_core_0 "5.88235294117647".
- 1767711 cpu_core_0 "5.88235294117647".
- 1769301 cpu_core_0 "5.88235294117647".
- 1775043 cpu_core_0 "5.88235294117647".
- 1778468 cpu_core_0 "5.88235294117647".
- 1779610 cpu_core_0 "5.88235294117647".
- 1780712 cpu_core_0 "5.88235294117647".
- 1782557 cpu_core_0 "5.88235294117647".
- 1783562 cpu_core_0 "5.88235294117647".
- 1785449 cpu_core_0 "5.88235294117647".
- 1785463 cpu_core_0 "5.88235294117647".
- 1794956 cpu_core_0 "5.88235294117647".
- 1797541 cpu_core_0 "5.88235294117647".
- 1799339 cpu_core_0 "5.88235294117647".
- 1804986 cpu_core_0 "5.88235294117647".
- 1805330 cpu_core_0 "5.88235294117647".
- 1806259 cpu_core_0 "5.88235294117647".
- 1809976 cpu_core_0 "5.88235294117647".
- 1809984 cpu_core_0 "5.88235294117647".
- 1813329 cpu_core_0 "5.88235294117647".
- 1813981 cpu_core_0 "5.88235294117647".
- 1814223 cpu_core_0 "5.88235294117647".
- 1816625 cpu_core_0 "5.88235294117647".
- 1817085 cpu_core_0 "5.88235294117647".
- 1818027 cpu_core_0 "5.88235294117647".
- 1824807 cpu_core_0 "5.88235294117647".
- 1825170 cpu_core_0 "5.88235294117647".
- 1826069 cpu_core_0 "5.88235294117647".
- 1831298 cpu_core_0 "5.88235294117647".
- 1831912 cpu_core_0 "5.88235294117647".
- 183266 cpu_core_0 "5.88235294117647".
- 1836203 cpu_core_0 "5.88235294117647".
- 1838264 cpu_core_0 "5.88235294117647".
- 1838529 cpu_core_0 "5.88235294117647".
- 1839212 cpu_core_0 "5.88235294117647".
- 184068 cpu_core_0 "5.88235294117647".
- 1848008 cpu_core_0 "5.88235294117647".
- 1856261 cpu_core_0 "5.88235294117647".
- 1858344 cpu_core_0 "5.88235294117647".
- 1858501 cpu_core_0 "5.88235294117647".
- 1858943 cpu_core_0 "5.88235294117647".
- 1859930 cpu_core_0 "5.88235294117647".
- 1860404 cpu_core_0 "5.88235294117647".
- 1862941 cpu_core_0 "5.88235294117647".
- 1863001 cpu_core_0 "5.88235294117647".
- 1863425 cpu_core_0 "5.88235294117647".
- 1863443 cpu_core_0 "5.88235294117647".
- 1863572 cpu_core_0 "5.88235294117647".
- 1865647 cpu_core_0 "5.88235294117647".
- 1865665 cpu_core_0 "5.88235294117647".
- 1866152 cpu_core_0 "5.88235294117647".
- 1866286 cpu_core_0 "5.88235294117647".
- 1868134 cpu_core_0 "5.88235294117647".
- 1868444 cpu_core_0 "5.88235294117647".
- 1868565 cpu_core_0 "5.88235294117647".
- 1869186 cpu_core_0 "5.88235294117647".
- 1871717 cpu_core_0 "5.88235294117647".
- 1874457 cpu_core_0 "5.88235294117647".
- 1879735 cpu_core_0 "5.88235294117647".
- 1880192 cpu_core_0 "5.88235294117647".
- 1882115 cpu_core_0 "5.88235294117647".
- 1884101 cpu_core_0 "5.88235294117647".
- 1885353 cpu_core_0 "5.88235294117647".
- 1885973 cpu_core_0 "5.88235294117647".
- 1888621 cpu_core_0 "5.88235294117647".
- 1889474 cpu_core_0 "5.88235294117647".
- 1892042 cpu_core_0 "5.88235294117647".