Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1587489 cpu_core_3 "11.76470588235294".
- 1589444 cpu_core_3 "11.76470588235294".
- 1594167 cpu_core_3 "11.76470588235294".
- 1600313 cpu_core_3 "11.76470588235294".
- 1600599 cpu_core_3 "11.76470588235294".
- 1602464 cpu_core_3 "11.76470588235294".
- 1607085 cpu_core_3 "11.76470588235294".
- 1609312 cpu_core_3 "11.76470588235294".
- 1611047 cpu_core_3 "11.76470588235294".
- 1611446 cpu_core_3 "11.76470588235294".
- 1618071 cpu_core_3 "11.76470588235294".
- 1618404 cpu_core_3 "11.76470588235294".
- 1620542 cpu_core_3 "11.76470588235294".
- 1621793 cpu_core_3 "11.76470588235294".
- 1625385 cpu_core_3 "11.76470588235294".
- 1626693 cpu_core_3 "11.76470588235294".
- 1633477 cpu_core_3 "11.76470588235294".
- 1634212 cpu_core_3 "11.76470588235294".
- 1635607 cpu_core_3 "11.76470588235294".
- 1637545 cpu_core_3 "11.76470588235294".
- 1638793 cpu_core_3 "11.76470588235294".
- 1640616 cpu_core_3 "11.76470588235294".
- 1641817 cpu_core_3 "11.76470588235294".
- 1642498 cpu_core_3 "11.76470588235294".
- 1644598 cpu_core_3 "11.76470588235294".
- 1655799 cpu_core_3 "11.76470588235294".
- 1672373 cpu_core_3 "11.76470588235294".
- 1673288 cpu_core_3 "11.76470588235294".
- 1692352 cpu_core_3 "11.76470588235294".
- 1695370 cpu_core_3 "11.76470588235294".
- 1701228 cpu_core_3 "11.76470588235294".
- 1709367 cpu_core_3 "11.76470588235294".
- 1712316 cpu_core_3 "11.76470588235294".
- 1717403 cpu_core_3 "11.76470588235294".
- 1719228 cpu_core_3 "11.76470588235294".
- 1720650 cpu_core_3 "11.76470588235294".
- 1723717 cpu_core_3 "11.76470588235294".
- 1724396 cpu_core_3 "11.76470588235294".
- 1727150 cpu_core_3 "11.76470588235294".
- 1729586 cpu_core_3 "11.76470588235294".
- 1730652 cpu_core_3 "11.76470588235294".
- 1732710 cpu_core_3 "11.76470588235294".
- 1736812 cpu_core_3 "11.76470588235294".
- 1741213 cpu_core_3 "11.76470588235294".
- 1741510 cpu_core_3 "11.76470588235294".
- 1741564 cpu_core_3 "11.76470588235294".
- 1742778 cpu_core_3 "11.76470588235294".
- 1745928 cpu_core_3 "11.76470588235294".
- 1746799 cpu_core_3 "11.76470588235294".
- 1747187 cpu_core_3 "11.76470588235294".
- 1749436 cpu_core_3 "11.76470588235294".
- 1753265 cpu_core_3 "11.76470588235294".
- 1756036 cpu_core_3 "11.76470588235294".
- 1759009 cpu_core_3 "11.76470588235294".
- 1759588 cpu_core_3 "11.76470588235294".
- 1763420 cpu_core_3 "11.76470588235294".
- 1764296 cpu_core_3 "11.76470588235294".
- 1764546 cpu_core_3 "11.76470588235294".
- 1766889 cpu_core_3 "11.76470588235294".
- 1767550 cpu_core_3 "11.76470588235294".
- 1768536 cpu_core_3 "11.76470588235294".
- 1769981 cpu_core_3 "11.76470588235294".
- 1770687 cpu_core_3 "11.76470588235294".
- 1770908 cpu_core_3 "11.76470588235294".
- 1770951 cpu_core_3 "11.76470588235294".
- 1772439 cpu_core_3 "11.76470588235294".
- 1773495 cpu_core_3 "11.76470588235294".
- 1773574 cpu_core_3 "11.76470588235294".
- 1774691 cpu_core_3 "11.76470588235294".
- 1776277 cpu_core_3 "11.76470588235294".
- 1776405 cpu_core_3 "11.76470588235294".
- 1776441 cpu_core_3 "11.76470588235294".
- 1776603 cpu_core_3 "11.76470588235294".
- 1777285 cpu_core_3 "11.76470588235294".
- 1777753 cpu_core_3 "11.76470588235294".
- 1786284 cpu_core_3 "11.76470588235294".
- 1786744 cpu_core_3 "11.76470588235294".
- 1791100 cpu_core_3 "11.76470588235294".
- 1791916 cpu_core_3 "11.76470588235294".
- 1792519 cpu_core_3 "11.76470588235294".
- 1794329 cpu_core_3 "11.76470588235294".
- 1795615 cpu_core_3 "11.76470588235294".
- 1795734 cpu_core_3 "11.76470588235294".
- 1796343 cpu_core_3 "11.76470588235294".
- 1797369 cpu_core_3 "11.76470588235294".
- 1798493 cpu_core_3 "11.76470588235294".
- 1798785 cpu_core_3 "11.76470588235294".
- 1799991 cpu_core_3 "11.76470588235294".
- 1801509 cpu_core_3 "11.76470588235294".
- 1801805 cpu_core_3 "11.76470588235294".
- 1802111 cpu_core_3 "11.76470588235294".
- 1804734 cpu_core_3 "11.76470588235294".
- 1805797 cpu_core_3 "11.76470588235294".
- 1808556 cpu_core_3 "11.76470588235294".
- 1808948 cpu_core_3 "11.76470588235294".
- 1809223 cpu_core_3 "11.76470588235294".
- 1810782 cpu_core_3 "11.76470588235294".
- 1810822 cpu_core_3 "11.76470588235294".
- 1811100 cpu_core_3 "11.76470588235294".
- 1811516 cpu_core_3 "11.76470588235294".