Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1613628 cpu_core_0 "11.76470588235294".
- 1613745 cpu_core_0 "11.76470588235294".
- 1613840 cpu_core_0 "11.76470588235294".
- 1615235 cpu_core_0 "11.76470588235294".
- 1616549 cpu_core_0 "11.76470588235294".
- 1617154 cpu_core_0 "11.76470588235294".
- 1618609 cpu_core_0 "11.76470588235294".
- 1618858 cpu_core_0 "11.76470588235294".
- 1620181 cpu_core_0 "11.76470588235294".
- 1620197 cpu_core_0 "11.76470588235294".
- 1620337 cpu_core_0 "11.76470588235294".
- 1620413 cpu_core_0 "11.76470588235294".
- 1620564 cpu_core_0 "11.76470588235294".
- 1620935 cpu_core_0 "11.76470588235294".
- 1621941 cpu_core_0 "11.76470588235294".
- 1622606 cpu_core_0 "11.76470588235294".
- 1623201 cpu_core_0 "11.76470588235294".
- 1623534 cpu_core_0 "11.76470588235294".
- 1624046 cpu_core_0 "11.76470588235294".
- 1624153 cpu_core_0 "11.76470588235294".
- 1624799 cpu_core_0 "11.76470588235294".
- 1625228 cpu_core_0 "11.76470588235294".
- 1626527 cpu_core_0 "11.76470588235294".
- 1627171 cpu_core_0 "11.76470588235294".
- 1627293 cpu_core_0 "11.76470588235294".
- 1627828 cpu_core_0 "11.76470588235294".
- 1628441 cpu_core_0 "11.76470588235294".
- 1630066 cpu_core_0 "11.76470588235294".
- 1630401 cpu_core_0 "11.76470588235294".
- 1631147 cpu_core_0 "11.76470588235294".
- 1631181 cpu_core_0 "11.76470588235294".
- 1631307 cpu_core_0 "11.76470588235294".
- 1631315 cpu_core_0 "11.76470588235294".
- 1631334 cpu_core_0 "11.76470588235294".
- 1631490 cpu_core_0 "11.76470588235294".
- 1632997 cpu_core_0 "11.76470588235294".
- 1633878 cpu_core_0 "11.76470588235294".
- 1634290 cpu_core_0 "11.76470588235294".
- 1634292 cpu_core_0 "11.76470588235294".
- 1635253 cpu_core_0 "11.76470588235294".
- 1635925 cpu_core_0 "11.76470588235294".
- 1637254 cpu_core_0 "11.76470588235294".
- 1637516 cpu_core_0 "11.76470588235294".
- 1637824 cpu_core_0 "11.76470588235294".
- 1638141 cpu_core_0 "11.76470588235294".
- 1641466 cpu_core_0 "11.76470588235294".
- 1643416 cpu_core_0 "11.76470588235294".
- 1645223 cpu_core_0 "11.76470588235294".
- 1646320 cpu_core_0 "11.76470588235294".
- 1646859 cpu_core_0 "11.76470588235294".
- 1647177 cpu_core_0 "11.76470588235294".
- 1647813 cpu_core_0 "11.76470588235294".
- 1648799 cpu_core_0 "11.76470588235294".
- 1649017 cpu_core_0 "11.76470588235294".
- 1649507 cpu_core_0 "11.76470588235294".
- 1649644 cpu_core_0 "11.76470588235294".
- 1649735 cpu_core_0 "11.76470588235294".
- 1649861 cpu_core_0 "11.76470588235294".
- 1649936 cpu_core_0 "11.76470588235294".
- 1650272 cpu_core_0 "11.76470588235294".
- 1650411 cpu_core_0 "11.76470588235294".
- 1650580 cpu_core_0 "11.76470588235294".
- 1650587 cpu_core_0 "11.76470588235294".
- 1650911 cpu_core_0 "11.76470588235294".
- 1651027 cpu_core_0 "11.76470588235294".
- 1652086 cpu_core_0 "11.76470588235294".
- 1652144 cpu_core_0 "11.76470588235294".
- 1652214 cpu_core_0 "11.76470588235294".
- 1652388 cpu_core_0 "11.76470588235294".
- 1652453 cpu_core_0 "11.76470588235294".
- 1652637 cpu_core_0 "11.76470588235294".
- 1652786 cpu_core_0 "11.76470588235294".
- 1652974 cpu_core_0 "11.76470588235294".
- 1653686 cpu_core_0 "11.76470588235294".
- 1653987 cpu_core_0 "11.76470588235294".
- 1654547 cpu_core_0 "11.76470588235294".
- 1657828 cpu_core_0 "11.76470588235294".
- 1672039 cpu_core_0 "11.76470588235294".
- 1672375 cpu_core_0 "11.76470588235294".
- 1672766 cpu_core_0 "11.76470588235294".
- 1673122 cpu_core_0 "11.76470588235294".
- 1673168 cpu_core_0 "11.76470588235294".
- 1674910 cpu_core_0 "11.76470588235294".
- 1677956 cpu_core_0 "11.76470588235294".
- 1678193 cpu_core_0 "11.76470588235294".
- 1680859 cpu_core_0 "11.76470588235294".
- 1684822 cpu_core_0 "11.76470588235294".
- 1688310 cpu_core_0 "11.76470588235294".
- 1691891 cpu_core_0 "11.76470588235294".
- 1693365 cpu_core_0 "11.76470588235294".
- 1694042 cpu_core_0 "11.76470588235294".
- 1698826 cpu_core_0 "11.76470588235294".
- 1700985 cpu_core_0 "11.76470588235294".
- 1710927 cpu_core_0 "11.76470588235294".
- 1713525 cpu_core_0 "11.76470588235294".
- 1714118 cpu_core_0 "11.76470588235294".
- 1714371 cpu_core_0 "11.76470588235294".
- 1715546 cpu_core_0 "11.76470588235294".
- 1716520 cpu_core_0 "11.76470588235294".
- 1716558 cpu_core_0 "11.76470588235294".