Matches in ISWC2014 Benchmark for { ?s ?p 13.861386138613863. }
- 1826352 cpu_core_0 "13.861386138613863".
- 1826446 cpu_core_0 "13.861386138613863".
- 1826640 cpu_core_0 "13.861386138613863".
- 1826830 cpu_core_0 "13.861386138613863".
- 1827267 cpu_core_0 "13.861386138613863".
- 1827416 cpu_core_0 "13.861386138613863".
- 1827937 cpu_core_0 "13.861386138613863".
- 1828766 cpu_core_0 "13.861386138613863".
- 1828884 cpu_core_0 "13.861386138613863".
- 1829069 cpu_core_0 "13.861386138613863".
- 1829567 cpu_core_0 "13.861386138613863".
- 1829577 cpu_core_0 "13.861386138613863".
- 1829612 cpu_core_0 "13.861386138613863".
- 1829657 cpu_core_0 "13.861386138613863".
- 1829665 cpu_core_0 "13.861386138613863".
- 1829817 cpu_core_0 "13.861386138613863".
- 1829847 cpu_core_0 "13.861386138613863".
- 1829915 cpu_core_0 "13.861386138613863".
- 1830133 cpu_core_0 "13.861386138613863".
- 1830208 cpu_core_0 "13.861386138613863".
- 1830254 cpu_core_0 "13.861386138613863".
- 1830294 cpu_core_0 "13.861386138613863".
- 1830523 cpu_core_0 "13.861386138613863".
- 1830762 cpu_core_0 "13.861386138613863".
- 1831352 cpu_core_0 "13.861386138613863".
- 1831582 cpu_core_0 "13.861386138613863".
- 1831676 cpu_core_0 "13.861386138613863".
- 1832510 cpu_core_0 "13.861386138613863".
- 1832777 cpu_core_0 "13.861386138613863".
- 1833459 cpu_core_0 "13.861386138613863".
- 1833605 cpu_core_0 "13.861386138613863".
- 1834865 cpu_core_0 "13.861386138613863".
- 1834977 cpu_core_0 "13.861386138613863".
- 1835081 cpu_core_0 "13.861386138613863".
- 1835212 cpu_core_0 "13.861386138613863".
- 1835284 cpu_core_0 "13.861386138613863".
- 1835291 cpu_core_0 "13.861386138613863".
- 1835330 cpu_core_0 "13.861386138613863".
- 1835349 cpu_core_0 "13.861386138613863".
- 1835475 cpu_core_0 "13.861386138613863".
- 1835627 cpu_core_0 "13.861386138613863".
- 1835630 cpu_core_0 "13.861386138613863".
- 1835760 cpu_core_0 "13.861386138613863".
- 1835788 cpu_core_0 "13.861386138613863".
- 1835801 cpu_core_0 "13.861386138613863".
- 1835829 cpu_core_0 "13.861386138613863".
- 1835874 cpu_core_0 "13.861386138613863".
- 1836131 cpu_core_0 "13.861386138613863".
- 1836146 cpu_core_0 "13.861386138613863".
- 1836160 cpu_core_0 "13.861386138613863".
- 1836254 cpu_core_0 "13.861386138613863".
- 1836363 cpu_core_0 "13.861386138613863".
- 1836442 cpu_core_0 "13.861386138613863".
- 1836628 cpu_core_0 "13.861386138613863".
- 1836676 cpu_core_0 "13.861386138613863".
- 1836767 cpu_core_0 "13.861386138613863".
- 1836850 cpu_core_0 "13.861386138613863".
- 1836867 cpu_core_0 "13.861386138613863".
- 1836911 cpu_core_0 "13.861386138613863".
- 1836912 cpu_core_0 "13.861386138613863".
- 1837078 cpu_core_0 "13.861386138613863".
- 1837111 cpu_core_0 "13.861386138613863".
- 1837150 cpu_core_0 "13.861386138613863".
- 1837195 cpu_core_0 "13.861386138613863".
- 1837551 cpu_core_0 "13.861386138613863".
- 1837607 cpu_core_0 "13.861386138613863".
- 1837962 cpu_core_0 "13.861386138613863".
- 1838208 cpu_core_0 "13.861386138613863".
- 1838300 cpu_core_0 "13.861386138613863".
- 1838410 cpu_core_0 "13.861386138613863".
- 1838716 cpu_core_0 "13.861386138613863".
- 1838721 cpu_core_0 "13.861386138613863".
- 1838808 cpu_core_0 "13.861386138613863".
- 1838833 cpu_core_0 "13.861386138613863".
- 1838909 cpu_core_0 "13.861386138613863".
- 1839166 cpu_core_0 "13.861386138613863".
- 1839316 cpu_core_0 "13.861386138613863".
- 1839402 cpu_core_0 "13.861386138613863".
- 1839477 cpu_core_0 "13.861386138613863".
- 1839613 cpu_core_0 "13.861386138613863".
- 1840012 cpu_core_0 "13.861386138613863".
- 1840247 cpu_core_0 "13.861386138613863".
- 1840691 cpu_core_0 "13.861386138613863".
- 1840776 cpu_core_0 "13.861386138613863".
- 1840928 cpu_core_0 "13.861386138613863".
- 1841035 cpu_core_0 "13.861386138613863".
- 1841398 cpu_core_0 "13.861386138613863".
- 1841415 cpu_core_0 "13.861386138613863".
- 1841604 cpu_core_0 "13.861386138613863".
- 1841920 cpu_core_0 "13.861386138613863".
- 1842034 cpu_core_0 "13.861386138613863".
- 1842087 cpu_core_0 "13.861386138613863".
- 1842159 cpu_core_0 "13.861386138613863".
- 1842397 cpu_core_0 "13.861386138613863".
- 1842589 cpu_core_0 "13.861386138613863".
- 1842637 cpu_core_0 "13.861386138613863".
- 1842764 cpu_core_0 "13.861386138613863".
- 1842929 cpu_core_0 "13.861386138613863".
- 1842941 cpu_core_0 "13.861386138613863".
- 1842979 cpu_core_0 "13.861386138613863".