Matches in ISWC2014 Benchmark for { ?s ?p 18.367346938775512. }
- 1683321 cpu_core_0 "18.367346938775512".
- 1686629 cpu_core_0 "18.367346938775512".
- 1687053 cpu_core_0 "18.367346938775512".
- 1691356 cpu_core_0 "18.367346938775512".
- 1696180 cpu_core_0 "18.367346938775512".
- 1699625 cpu_core_0 "18.367346938775512".
- 1702461 cpu_core_0 "18.367346938775512".
- 1704690 cpu_core_0 "18.367346938775512".
- 1708101 cpu_core_0 "18.367346938775512".
- 1715541 cpu_core_0 "18.367346938775512".
- 1727146 cpu_core_0 "18.367346938775512".
- 1727174 cpu_core_0 "18.367346938775512".
- 1727807 cpu_core_0 "18.367346938775512".
- 1728892 cpu_core_0 "18.367346938775512".
- 1729483 cpu_core_0 "18.367346938775512".
- 1730996 cpu_core_0 "18.367346938775512".
- 1733651 cpu_core_0 "18.367346938775512".
- 1735155 cpu_core_0 "18.367346938775512".
- 1737461 cpu_core_0 "18.367346938775512".
- 1738394 cpu_core_0 "18.367346938775512".
- 1738644 cpu_core_0 "18.367346938775512".
- 1738649 cpu_core_0 "18.367346938775512".
- 1738779 cpu_core_0 "18.367346938775512".
- 1742085 cpu_core_0 "18.367346938775512".
- 1743319 cpu_core_0 "18.367346938775512".
- 1745083 cpu_core_0 "18.367346938775512".
- 1749393 cpu_core_0 "18.367346938775512".
- 1756121 cpu_core_0 "18.367346938775512".
- 1757190 cpu_core_0 "18.367346938775512".
- 1759307 cpu_core_0 "18.367346938775512".
- 1760199 cpu_core_0 "18.367346938775512".
- 1764247 cpu_core_0 "18.367346938775512".
- 1764991 cpu_core_0 "18.367346938775512".
- 1765592 cpu_core_0 "18.367346938775512".
- 1766367 cpu_core_0 "18.367346938775512".
- 1766949 cpu_core_0 "18.367346938775512".
- 1768557 cpu_core_0 "18.367346938775512".
- 1768734 cpu_core_0 "18.367346938775512".
- 1769793 cpu_core_0 "18.367346938775512".
- 1771359 cpu_core_0 "18.367346938775512".
- 1772117 cpu_core_0 "18.367346938775512".
- 1772203 cpu_core_0 "18.367346938775512".
- 1772247 cpu_core_0 "18.367346938775512".
- 1772376 cpu_core_0 "18.367346938775512".
- 1774431 cpu_core_0 "18.367346938775512".
- 1777820 cpu_core_0 "18.367346938775512".
- 1777931 cpu_core_0 "18.367346938775512".
- 1778464 cpu_core_0 "18.367346938775512".
- 1778653 cpu_core_0 "18.367346938775512".
- 1782991 cpu_core_0 "18.367346938775512".
- 1784736 cpu_core_0 "18.367346938775512".
- 1786153 cpu_core_0 "18.367346938775512".
- 1787008 cpu_core_0 "18.367346938775512".
- 1789913 cpu_core_0 "18.367346938775512".
- 1798815 cpu_core_0 "18.367346938775512".
- 1800073 cpu_core_0 "18.367346938775512".
- 1800127 cpu_core_0 "18.367346938775512".
- 1800140 cpu_core_0 "18.367346938775512".
- 1800255 cpu_core_0 "18.367346938775512".
- 1800367 cpu_core_0 "18.367346938775512".
- 1800474 cpu_core_0 "18.367346938775512".
- 1803772 cpu_core_0 "18.367346938775512".
- 1808642 cpu_core_0 "18.367346938775512".
- 1808836 cpu_core_0 "18.367346938775512".
- 1809226 cpu_core_0 "18.367346938775512".
- 1809284 cpu_core_0 "18.367346938775512".
- 1810878 cpu_core_0 "18.367346938775512".
- 1814037 cpu_core_0 "18.367346938775512".
- 1814483 cpu_core_0 "18.367346938775512".
- 1814623 cpu_core_0 "18.367346938775512".
- 1814890 cpu_core_0 "18.367346938775512".
- 1815109 cpu_core_0 "18.367346938775512".
- 1819646 cpu_core_0 "18.367346938775512".
- 1820118 cpu_core_0 "18.367346938775512".
- 1824985 cpu_core_0 "18.367346938775512".
- 1827385 cpu_core_0 "18.367346938775512".
- 1827541 cpu_core_0 "18.367346938775512".
- 1827574 cpu_core_0 "18.367346938775512".
- 1829011 cpu_core_0 "18.367346938775512".
- 1831232 cpu_core_0 "18.367346938775512".
- 1831803 cpu_core_0 "18.367346938775512".
- 1832643 cpu_core_0 "18.367346938775512".
- 1836250 cpu_core_0 "18.367346938775512".
- 1837564 cpu_core_0 "18.367346938775512".
- 1837572 cpu_core_0 "18.367346938775512".
- 1838246 cpu_core_0 "18.367346938775512".
- 1838523 cpu_core_0 "18.367346938775512".
- 1838562 cpu_core_0 "18.367346938775512".
- 1839025 cpu_core_0 "18.367346938775512".
- 1839194 cpu_core_0 "18.367346938775512".
- 1839447 cpu_core_0 "18.367346938775512".
- 1842117 cpu_core_0 "18.367346938775512".
- 1843071 cpu_core_0 "18.367346938775512".
- 1843795 cpu_core_0 "18.367346938775512".
- 1845351 cpu_core_0 "18.367346938775512".
- 1845549 cpu_core_0 "18.367346938775512".
- 1845580 cpu_core_0 "18.367346938775512".
- 1849131 cpu_core_0 "18.367346938775512".
- 1850127 cpu_core_0 "18.367346938775512".
- 1850475 cpu_core_0 "18.367346938775512".