Matches in ISWC2014 Benchmark for { ?s ?p 17.346938775510203. }
- 1807960 cpu_core_0 "17.346938775510203".
- 1808764 cpu_core_0 "17.346938775510203".
- 1808805 cpu_core_0 "17.346938775510203".
- 1809103 cpu_core_0 "17.346938775510203".
- 1809176 cpu_core_0 "17.346938775510203".
- 1809396 cpu_core_0 "17.346938775510203".
- 1809527 cpu_core_0 "17.346938775510203".
- 1809949 cpu_core_0 "17.346938775510203".
- 1809957 cpu_core_0 "17.346938775510203".
- 1810170 cpu_core_0 "17.346938775510203".
- 1810246 cpu_core_0 "17.346938775510203".
- 1810785 cpu_core_0 "17.346938775510203".
- 1810852 cpu_core_0 "17.346938775510203".
- 1812230 cpu_core_0 "17.346938775510203".
- 1812830 cpu_core_0 "17.346938775510203".
- 1814435 cpu_core_0 "17.346938775510203".
- 1814863 cpu_core_0 "17.346938775510203".
- 1815152 cpu_core_0 "17.346938775510203".
- 1815832 cpu_core_0 "17.346938775510203".
- 1815834 cpu_core_0 "17.346938775510203".
- 1816011 cpu_core_0 "17.346938775510203".
- 1816040 cpu_core_0 "17.346938775510203".
- 1816378 cpu_core_0 "17.346938775510203".
- 1817471 cpu_core_0 "17.346938775510203".
- 1817885 cpu_core_0 "17.346938775510203".
- 1818162 cpu_core_0 "17.346938775510203".
- 1818366 cpu_core_0 "17.346938775510203".
- 1818846 cpu_core_0 "17.346938775510203".
- 1818887 cpu_core_0 "17.346938775510203".
- 1819446 cpu_core_0 "17.346938775510203".
- 1819677 cpu_core_0 "17.346938775510203".
- 1820114 cpu_core_0 "17.346938775510203".
- 1820467 cpu_core_0 "17.346938775510203".
- 1821079 cpu_core_0 "17.346938775510203".
- 1821248 cpu_core_0 "17.346938775510203".
- 1821454 cpu_core_0 "17.346938775510203".
- 1821471 cpu_core_0 "17.346938775510203".
- 1821539 cpu_core_0 "17.346938775510203".
- 1821585 cpu_core_0 "17.346938775510203".
- 1822322 cpu_core_0 "17.346938775510203".
- 1822469 cpu_core_0 "17.346938775510203".
- 1825006 cpu_core_0 "17.346938775510203".
- 1825633 cpu_core_0 "17.346938775510203".
- 1825637 cpu_core_0 "17.346938775510203".
- 1826405 cpu_core_0 "17.346938775510203".
- 1826419 cpu_core_0 "17.346938775510203".
- 1826682 cpu_core_0 "17.346938775510203".
- 1826799 cpu_core_0 "17.346938775510203".
- 1826926 cpu_core_0 "17.346938775510203".
- 1826938 cpu_core_0 "17.346938775510203".
- 1827188 cpu_core_0 "17.346938775510203".
- 1827420 cpu_core_0 "17.346938775510203".
- 1827748 cpu_core_0 "17.346938775510203".
- 1827802 cpu_core_0 "17.346938775510203".
- 1828102 cpu_core_0 "17.346938775510203".
- 1828436 cpu_core_0 "17.346938775510203".
- 1828451 cpu_core_0 "17.346938775510203".
- 1828847 cpu_core_0 "17.346938775510203".
- 1829401 cpu_core_0 "17.346938775510203".
- 1829499 cpu_core_0 "17.346938775510203".
- 1829501 cpu_core_0 "17.346938775510203".
- 1830889 cpu_core_0 "17.346938775510203".
- 1831189 cpu_core_0 "17.346938775510203".
- 1831536 cpu_core_0 "17.346938775510203".
- 1831551 cpu_core_0 "17.346938775510203".
- 1831853 cpu_core_0 "17.346938775510203".
- 1832149 cpu_core_0 "17.346938775510203".
- 1832652 cpu_core_0 "17.346938775510203".
- 1832792 cpu_core_0 "17.346938775510203".
- 1833351 cpu_core_0 "17.346938775510203".
- 1833730 cpu_core_0 "17.346938775510203".
- 1834259 cpu_core_0 "17.346938775510203".
- 1834621 cpu_core_0 "17.346938775510203".
- 1834867 cpu_core_0 "17.346938775510203".
- 1835320 cpu_core_0 "17.346938775510203".
- 1835515 cpu_core_0 "17.346938775510203".
- 1836989 cpu_core_0 "17.346938775510203".
- 1837104 cpu_core_0 "17.346938775510203".
- 1837714 cpu_core_0 "17.346938775510203".
- 1837936 cpu_core_0 "17.346938775510203".
- 1838190 cpu_core_0 "17.346938775510203".
- 1838677 cpu_core_0 "17.346938775510203".
- 1839204 cpu_core_0 "17.346938775510203".
- 1839286 cpu_core_0 "17.346938775510203".
- 1839521 cpu_core_0 "17.346938775510203".
- 1839536 cpu_core_0 "17.346938775510203".
- 1839656 cpu_core_0 "17.346938775510203".
- 1839678 cpu_core_0 "17.346938775510203".
- 1839766 cpu_core_0 "17.346938775510203".
- 1839794 cpu_core_0 "17.346938775510203".
- 1840377 cpu_core_0 "17.346938775510203".
- 1840440 cpu_core_0 "17.346938775510203".
- 1840810 cpu_core_0 "17.346938775510203".
- 1841177 cpu_core_0 "17.346938775510203".
- 1842967 cpu_core_0 "17.346938775510203".
- 1843949 cpu_core_0 "17.346938775510203".
- 1844317 cpu_core_0 "17.346938775510203".
- 1844617 cpu_core_0 "17.346938775510203".
- 1844762 cpu_core_0 "17.346938775510203".
- 1845045 cpu_core_0 "17.346938775510203".