Matches in ISWC2014 Benchmark for { ?s ?p 15.686274509803921. }
- 1831530 cpu_core_0 "15.686274509803921".
- 1831607 cpu_core_0 "15.686274509803921".
- 1831807 cpu_core_0 "15.686274509803921".
- 1831915 cpu_core_0 "15.686274509803921".
- 1831954 cpu_core_0 "15.686274509803921".
- 1831968 cpu_core_0 "15.686274509803921".
- 1833056 cpu_core_0 "15.686274509803921".
- 1833142 cpu_core_0 "15.686274509803921".
- 1833246 cpu_core_0 "15.686274509803921".
- 1833268 cpu_core_0 "15.686274509803921".
- 1833406 cpu_core_0 "15.686274509803921".
- 1833753 cpu_core_0 "15.686274509803921".
- 1834965 cpu_core_0 "15.686274509803921".
- 1835155 cpu_core_0 "15.686274509803921".
- 1835532 cpu_core_0 "15.686274509803921".
- 1836049 cpu_core_0 "15.686274509803921".
- 1836278 cpu_core_0 "15.686274509803921".
- 1836791 cpu_core_0 "15.686274509803921".
- 1837259 cpu_core_0 "15.686274509803921".
- 1837813 cpu_core_0 "15.686274509803921".
- 1838112 cpu_core_0 "15.686274509803921".
- 1838195 cpu_core_0 "15.686274509803921".
- 1838229 cpu_core_0 "15.686274509803921".
- 1838306 cpu_core_0 "15.686274509803921".
- 1838448 cpu_core_0 "15.686274509803921".
- 1839288 cpu_core_0 "15.686274509803921".
- 1839409 cpu_core_0 "15.686274509803921".
- 1839569 cpu_core_0 "15.686274509803921".
- 1839729 cpu_core_0 "15.686274509803921".
- 1839774 cpu_core_0 "15.686274509803921".
- 1839856 cpu_core_0 "15.686274509803921".
- 1839879 cpu_core_0 "15.686274509803921".
- 1840884 cpu_core_0 "15.686274509803921".
- 1840936 cpu_core_0 "15.686274509803921".
- 1841300 cpu_core_0 "15.686274509803921".
- 1841730 cpu_core_0 "15.686274509803921".
- 1842029 cpu_core_0 "15.686274509803921".
- 1842163 cpu_core_0 "15.686274509803921".
- 1842835 cpu_core_0 "15.686274509803921".
- 1842968 cpu_core_0 "15.686274509803921".
- 1843356 cpu_core_0 "15.686274509803921".
- 1843562 cpu_core_0 "15.686274509803921".
- 1843985 cpu_core_0 "15.686274509803921".
- 1844141 cpu_core_0 "15.686274509803921".
- 1844396 cpu_core_0 "15.686274509803921".
- 1844948 cpu_core_0 "15.686274509803921".
- 1845165 cpu_core_0 "15.686274509803921".
- 1846540 cpu_core_0 "15.686274509803921".
- 1846594 cpu_core_0 "15.686274509803921".
- 1846634 cpu_core_0 "15.686274509803921".
- 1846859 cpu_core_0 "15.686274509803921".
- 1847172 cpu_core_0 "15.686274509803921".
- 1848057 cpu_core_0 "15.686274509803921".
- 1848558 cpu_core_0 "15.686274509803921".
- 1848761 cpu_core_0 "15.686274509803921".
- 1849346 cpu_core_0 "15.686274509803921".
- 1850223 cpu_core_0 "15.686274509803921".
- 1850557 cpu_core_0 "15.686274509803921".
- 1850609 cpu_core_0 "15.686274509803921".
- 1850786 cpu_core_0 "15.686274509803921".
- 1850807 cpu_core_0 "15.686274509803921".
- 1850929 cpu_core_0 "15.686274509803921".
- 1851934 cpu_core_0 "15.686274509803921".
- 1852728 cpu_core_0 "15.686274509803921".
- 1853770 cpu_core_0 "15.686274509803921".
- 1853791 cpu_core_0 "15.686274509803921".
- 1854103 cpu_core_0 "15.686274509803921".
- 1854973 cpu_core_0 "15.686274509803921".
- 1856115 cpu_core_0 "15.686274509803921".
- 1856293 cpu_core_0 "15.686274509803921".
- 1857129 cpu_core_0 "15.686274509803921".
- 1857327 cpu_core_0 "15.686274509803921".
- 1857868 cpu_core_0 "15.686274509803921".
- 1857977 cpu_core_0 "15.686274509803921".
- 1858520 cpu_core_0 "15.686274509803921".
- 1859200 cpu_core_0 "15.686274509803921".
- 1860815 cpu_core_0 "15.686274509803921".
- 1861173 cpu_core_0 "15.686274509803921".
- 1861316 cpu_core_0 "15.686274509803921".
- 1861742 cpu_core_0 "15.686274509803921".
- 1861795 cpu_core_0 "15.686274509803921".
- 1862174 cpu_core_0 "15.686274509803921".
- 1862236 cpu_core_0 "15.686274509803921".
- 1863557 cpu_core_0 "15.686274509803921".
- 1863919 cpu_core_0 "15.686274509803921".
- 1864779 cpu_core_0 "15.686274509803921".
- 1865154 cpu_core_0 "15.686274509803921".
- 1865336 cpu_core_0 "15.686274509803921".
- 1867698 cpu_core_0 "15.686274509803921".
- 1869155 cpu_core_0 "15.686274509803921".
- 1869333 cpu_core_0 "15.686274509803921".
- 1869756 cpu_core_0 "15.686274509803921".
- 1870998 cpu_core_0 "15.686274509803921".
- 1871311 cpu_core_0 "15.686274509803921".
- 1871699 cpu_core_0 "15.686274509803921".
- 1872530 cpu_core_0 "15.686274509803921".
- 1873250 cpu_core_0 "15.686274509803921".
- 1873943 cpu_core_0 "15.686274509803921".
- 1874127 cpu_core_0 "15.686274509803921".
- 1874783 cpu_core_0 "15.686274509803921".