Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1541060 cpu_core_1 "11.76470588235294".
- 1541578 cpu_core_1 "11.76470588235294".
- 1543056 cpu_core_1 "11.76470588235294".
- 1543455 cpu_core_1 "11.76470588235294".
- 1543525 cpu_core_1 "11.76470588235294".
- 1545277 cpu_core_1 "11.76470588235294".
- 1546482 cpu_core_1 "11.76470588235294".
- 1550197 cpu_core_1 "11.76470588235294".
- 1551114 cpu_core_1 "11.76470588235294".
- 1551255 cpu_core_1 "11.76470588235294".
- 1551833 cpu_core_1 "11.76470588235294".
- 1552726 cpu_core_1 "11.76470588235294".
- 1552730 cpu_core_1 "11.76470588235294".
- 1553926 cpu_core_1 "11.76470588235294".
- 1557163 cpu_core_1 "11.76470588235294".
- 1557268 cpu_core_1 "11.76470588235294".
- 1558386 cpu_core_1 "11.76470588235294".
- 1561212 cpu_core_1 "11.76470588235294".
- 1562890 cpu_core_1 "11.76470588235294".
- 1563030 cpu_core_1 "11.76470588235294".
- 1563927 cpu_core_1 "11.76470588235294".
- 1564174 cpu_core_1 "11.76470588235294".
- 1564862 cpu_core_1 "11.76470588235294".
- 1568350 cpu_core_1 "11.76470588235294".
- 1568761 cpu_core_1 "11.76470588235294".
- 1572523 cpu_core_1 "11.76470588235294".
- 1578661 cpu_core_1 "11.76470588235294".
- 1579483 cpu_core_1 "11.76470588235294".
- 1579575 cpu_core_1 "11.76470588235294".
- 1579611 cpu_core_1 "11.76470588235294".
- 1580284 cpu_core_1 "11.76470588235294".
- 1582742 cpu_core_1 "11.76470588235294".
- 1584769 cpu_core_1 "11.76470588235294".
- 1585373 cpu_core_1 "11.76470588235294".
- 1587935 cpu_core_1 "11.76470588235294".
- 1591829 cpu_core_1 "11.76470588235294".
- 1592464 cpu_core_1 "11.76470588235294".
- 1594771 cpu_core_1 "11.76470588235294".
- 1597828 cpu_core_1 "11.76470588235294".
- 1599538 cpu_core_1 "11.76470588235294".
- 1600163 cpu_core_1 "11.76470588235294".
- 1600314 cpu_core_1 "11.76470588235294".
- 1601975 cpu_core_1 "11.76470588235294".
- 1602101 cpu_core_1 "11.76470588235294".
- 1603441 cpu_core_1 "11.76470588235294".
- 1603707 cpu_core_1 "11.76470588235294".
- 1604784 cpu_core_1 "11.76470588235294".
- 1609812 cpu_core_1 "11.76470588235294".
- 1611383 cpu_core_1 "11.76470588235294".
- 1612869 cpu_core_1 "11.76470588235294".
- 1613261 cpu_core_1 "11.76470588235294".
- 1613265 cpu_core_1 "11.76470588235294".
- 1613391 cpu_core_1 "11.76470588235294".
- 1614118 cpu_core_1 "11.76470588235294".
- 1615040 cpu_core_1 "11.76470588235294".
- 1615123 cpu_core_1 "11.76470588235294".
- 1616002 cpu_core_1 "11.76470588235294".
- 1617090 cpu_core_1 "11.76470588235294".
- 1617437 cpu_core_1 "11.76470588235294".
- 1618783 cpu_core_1 "11.76470588235294".
- 1619391 cpu_core_1 "11.76470588235294".
- 1620927 cpu_core_1 "11.76470588235294".
- 1623199 cpu_core_1 "11.76470588235294".
- 1625559 cpu_core_1 "11.76470588235294".
- 1626111 cpu_core_1 "11.76470588235294".
- 1626880 cpu_core_1 "11.76470588235294".
- 1627842 cpu_core_1 "11.76470588235294".
- 1631335 cpu_core_1 "11.76470588235294".
- 1633846 cpu_core_1 "11.76470588235294".
- 1634074 cpu_core_1 "11.76470588235294".
- 1635499 cpu_core_1 "11.76470588235294".
- 1636932 cpu_core_1 "11.76470588235294".
- 1642419 cpu_core_1 "11.76470588235294".
- 1645936 cpu_core_1 "11.76470588235294".
- 1662417 cpu_core_1 "11.76470588235294".
- 1667354 cpu_core_1 "11.76470588235294".
- 1667809 cpu_core_1 "11.76470588235294".
- 1671606 cpu_core_1 "11.76470588235294".
- 1671710 cpu_core_1 "11.76470588235294".
- 1671756 cpu_core_1 "11.76470588235294".
- 1675307 cpu_core_1 "11.76470588235294".
- 1682023 cpu_core_1 "11.76470588235294".
- 1690166 cpu_core_1 "11.76470588235294".
- 1694762 cpu_core_1 "11.76470588235294".
- 1695048 cpu_core_1 "11.76470588235294".
- 1697004 cpu_core_1 "11.76470588235294".
- 1700314 cpu_core_1 "11.76470588235294".
- 1704861 cpu_core_1 "11.76470588235294".
- 1708062 cpu_core_1 "11.76470588235294".
- 1710505 cpu_core_1 "11.76470588235294".
- 1711184 cpu_core_1 "11.76470588235294".
- 1712392 cpu_core_1 "11.76470588235294".
- 1714009 cpu_core_1 "11.76470588235294".
- 1714493 cpu_core_1 "11.76470588235294".
- 1714681 cpu_core_1 "11.76470588235294".
- 1715597 cpu_core_1 "11.76470588235294".
- 1716757 cpu_core_1 "11.76470588235294".
- 1717624 cpu_core_1 "11.76470588235294".
- 1718722 cpu_core_1 "11.76470588235294".
- 1721489 cpu_core_1 "11.76470588235294".