Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1823417 cpu_core_0 "11.76470588235294".
- 1824038 cpu_core_0 "11.76470588235294".
- 1826565 cpu_core_0 "11.76470588235294".
- 1827481 cpu_core_0 "11.76470588235294".
- 1828825 cpu_core_0 "11.76470588235294".
- 1829337 cpu_core_0 "11.76470588235294".
- 1829973 cpu_core_0 "11.76470588235294".
- 1830056 cpu_core_0 "11.76470588235294".
- 1830096 cpu_core_0 "11.76470588235294".
- 1830108 cpu_core_0 "11.76470588235294".
- 1831347 cpu_core_0 "11.76470588235294".
- 1831834 cpu_core_0 "11.76470588235294".
- 1832139 cpu_core_0 "11.76470588235294".
- 1832168 cpu_core_0 "11.76470588235294".
- 1832262 cpu_core_0 "11.76470588235294".
- 1832651 cpu_core_0 "11.76470588235294".
- 1833509 cpu_core_0 "11.76470588235294".
- 1833890 cpu_core_0 "11.76470588235294".
- 1833900 cpu_core_0 "11.76470588235294".
- 1833914 cpu_core_0 "11.76470588235294".
- 1834997 cpu_core_0 "11.76470588235294".
- 1835428 cpu_core_0 "11.76470588235294".
- 1835877 cpu_core_0 "11.76470588235294".
- 1837567 cpu_core_0 "11.76470588235294".
- 1838421 cpu_core_0 "11.76470588235294".
- 1838882 cpu_core_0 "11.76470588235294".
- 1838933 cpu_core_0 "11.76470588235294".
- 1839062 cpu_core_0 "11.76470588235294".
- 1839547 cpu_core_0 "11.76470588235294".
- 1840770 cpu_core_0 "11.76470588235294".
- 1840826 cpu_core_0 "11.76470588235294".
- 1841032 cpu_core_0 "11.76470588235294".
- 1841255 cpu_core_0 "11.76470588235294".
- 1841379 cpu_core_0 "11.76470588235294".
- 1841792 cpu_core_0 "11.76470588235294".
- 1842494 cpu_core_0 "11.76470588235294".
- 1843505 cpu_core_0 "11.76470588235294".
- 1843529 cpu_core_0 "11.76470588235294".
- 1845900 cpu_core_0 "11.76470588235294".
- 1846007 cpu_core_0 "11.76470588235294".
- 1846728 cpu_core_0 "11.76470588235294".
- 1846735 cpu_core_0 "11.76470588235294".
- 1846948 cpu_core_0 "11.76470588235294".
- 1847502 cpu_core_0 "11.76470588235294".
- 1847572 cpu_core_0 "11.76470588235294".
- 1847867 cpu_core_0 "11.76470588235294".
- 1847948 cpu_core_0 "11.76470588235294".
- 1848372 cpu_core_0 "11.76470588235294".
- 1849018 cpu_core_0 "11.76470588235294".
- 1849042 cpu_core_0 "11.76470588235294".
- 1849058 cpu_core_0 "11.76470588235294".
- 1849230 cpu_core_0 "11.76470588235294".
- 1850190 cpu_core_0 "11.76470588235294".
- 1850429 cpu_core_0 "11.76470588235294".
- 1851151 cpu_core_0 "11.76470588235294".
- 1851650 cpu_core_0 "11.76470588235294".
- 1851884 cpu_core_0 "11.76470588235294".
- 1852558 cpu_core_0 "11.76470588235294".
- 1852845 cpu_core_0 "11.76470588235294".
- 1852956 cpu_core_0 "11.76470588235294".
- 1853022 cpu_core_0 "11.76470588235294".
- 1853696 cpu_core_0 "11.76470588235294".
- 1854169 cpu_core_0 "11.76470588235294".
- 1854558 cpu_core_0 "11.76470588235294".
- 1855151 cpu_core_0 "11.76470588235294".
- 1855715 cpu_core_0 "11.76470588235294".
- 1856212 cpu_core_0 "11.76470588235294".
- 1856463 cpu_core_0 "11.76470588235294".
- 1856924 cpu_core_0 "11.76470588235294".
- 1857375 cpu_core_0 "11.76470588235294".
- 1859258 cpu_core_0 "11.76470588235294".
- 1859481 cpu_core_0 "11.76470588235294".
- 1859800 cpu_core_0 "11.76470588235294".
- 1860126 cpu_core_0 "11.76470588235294".
- 1860492 cpu_core_0 "11.76470588235294".
- 1861162 cpu_core_0 "11.76470588235294".
- 1861268 cpu_core_0 "11.76470588235294".
- 1862712 cpu_core_0 "11.76470588235294".
- 1862724 cpu_core_0 "11.76470588235294".
- 1862939 cpu_core_0 "11.76470588235294".
- 1863068 cpu_core_0 "11.76470588235294".
- 1863977 cpu_core_0 "11.76470588235294".
- 1864126 cpu_core_0 "11.76470588235294".
- 1864182 cpu_core_0 "11.76470588235294".
- 1864295 cpu_core_0 "11.76470588235294".
- 1865667 cpu_core_0 "11.76470588235294".
- 1866706 cpu_core_0 "11.76470588235294".
- 1866748 cpu_core_0 "11.76470588235294".
- 1866987 cpu_core_0 "11.76470588235294".
- 1867164 cpu_core_0 "11.76470588235294".
- 1867266 cpu_core_0 "11.76470588235294".
- 1867621 cpu_core_0 "11.76470588235294".
- 1868194 cpu_core_0 "11.76470588235294".
- 1869642 cpu_core_0 "11.76470588235294".
- 1869646 cpu_core_0 "11.76470588235294".
- 1870010 cpu_core_0 "11.76470588235294".
- 1870138 cpu_core_0 "11.76470588235294".
- 1870166 cpu_core_0 "11.76470588235294".
- 1870389 cpu_core_0 "11.76470588235294".
- 1870420 cpu_core_0 "11.76470588235294".