Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1717241 cpu_core_0 "11.76470588235294".
- 1717485 cpu_core_0 "11.76470588235294".
- 1717968 cpu_core_0 "11.76470588235294".
- 1718317 cpu_core_0 "11.76470588235294".
- 1718440 cpu_core_0 "11.76470588235294".
- 1719354 cpu_core_0 "11.76470588235294".
- 1720046 cpu_core_0 "11.76470588235294".
- 1720696 cpu_core_0 "11.76470588235294".
- 1720881 cpu_core_0 "11.76470588235294".
- 1721398 cpu_core_0 "11.76470588235294".
- 1721982 cpu_core_0 "11.76470588235294".
- 1723666 cpu_core_0 "11.76470588235294".
- 1723976 cpu_core_0 "11.76470588235294".
- 1724072 cpu_core_0 "11.76470588235294".
- 1724415 cpu_core_0 "11.76470588235294".
- 1724934 cpu_core_0 "11.76470588235294".
- 1725232 cpu_core_0 "11.76470588235294".
- 1725965 cpu_core_0 "11.76470588235294".
- 1726022 cpu_core_0 "11.76470588235294".
- 1726028 cpu_core_0 "11.76470588235294".
- 1726064 cpu_core_0 "11.76470588235294".
- 1726264 cpu_core_0 "11.76470588235294".
- 1726489 cpu_core_0 "11.76470588235294".
- 1726749 cpu_core_0 "11.76470588235294".
- 1728095 cpu_core_0 "11.76470588235294".
- 1728294 cpu_core_0 "11.76470588235294".
- 1728738 cpu_core_0 "11.76470588235294".
- 1729005 cpu_core_0 "11.76470588235294".
- 1729186 cpu_core_0 "11.76470588235294".
- 1729223 cpu_core_0 "11.76470588235294".
- 1729257 cpu_core_0 "11.76470588235294".
- 1729462 cpu_core_0 "11.76470588235294".
- 1730175 cpu_core_0 "11.76470588235294".
- 1731997 cpu_core_0 "11.76470588235294".
- 1733164 cpu_core_0 "11.76470588235294".
- 1733259 cpu_core_0 "11.76470588235294".
- 1733307 cpu_core_0 "11.76470588235294".
- 1733864 cpu_core_0 "11.76470588235294".
- 1734000 cpu_core_0 "11.76470588235294".
- 1734227 cpu_core_0 "11.76470588235294".
- 1734454 cpu_core_0 "11.76470588235294".
- 1737252 cpu_core_0 "11.76470588235294".
- 1737342 cpu_core_0 "11.76470588235294".
- 1737863 cpu_core_0 "11.76470588235294".
- 1740191 cpu_core_0 "11.76470588235294".
- 1740305 cpu_core_0 "11.76470588235294".
- 1740748 cpu_core_0 "11.76470588235294".
- 1740949 cpu_core_0 "11.76470588235294".
- 1741609 cpu_core_0 "11.76470588235294".
- 1741760 cpu_core_0 "11.76470588235294".
- 1742183 cpu_core_0 "11.76470588235294".
- 1743800 cpu_core_0 "11.76470588235294".
- 1745220 cpu_core_0 "11.76470588235294".
- 1745673 cpu_core_0 "11.76470588235294".
- 1745742 cpu_core_0 "11.76470588235294".
- 1745850 cpu_core_0 "11.76470588235294".
- 1746341 cpu_core_0 "11.76470588235294".
- 1746446 cpu_core_0 "11.76470588235294".
- 1746987 cpu_core_0 "11.76470588235294".
- 1747186 cpu_core_0 "11.76470588235294".
- 1747712 cpu_core_0 "11.76470588235294".
- 1748174 cpu_core_0 "11.76470588235294".
- 1748461 cpu_core_0 "11.76470588235294".
- 1748511 cpu_core_0 "11.76470588235294".
- 1748532 cpu_core_0 "11.76470588235294".
- 1748715 cpu_core_0 "11.76470588235294".
- 1749290 cpu_core_0 "11.76470588235294".
- 1749693 cpu_core_0 "11.76470588235294".
- 1750844 cpu_core_0 "11.76470588235294".
- 1751344 cpu_core_0 "11.76470588235294".
- 1751661 cpu_core_0 "11.76470588235294".
- 1752009 cpu_core_0 "11.76470588235294".
- 1752268 cpu_core_0 "11.76470588235294".
- 1752741 cpu_core_0 "11.76470588235294".
- 1752757 cpu_core_0 "11.76470588235294".
- 1753529 cpu_core_0 "11.76470588235294".
- 1754459 cpu_core_0 "11.76470588235294".
- 1754879 cpu_core_0 "11.76470588235294".
- 1756626 cpu_core_0 "11.76470588235294".
- 1757748 cpu_core_0 "11.76470588235294".
- 1757816 cpu_core_0 "11.76470588235294".
- 1758045 cpu_core_0 "11.76470588235294".
- 1758094 cpu_core_0 "11.76470588235294".
- 1758694 cpu_core_0 "11.76470588235294".
- 1758876 cpu_core_0 "11.76470588235294".
- 1758934 cpu_core_0 "11.76470588235294".
- 1759144 cpu_core_0 "11.76470588235294".
- 1759164 cpu_core_0 "11.76470588235294".
- 1760992 cpu_core_0 "11.76470588235294".
- 1761576 cpu_core_0 "11.76470588235294".
- 1761578 cpu_core_0 "11.76470588235294".
- 1762709 cpu_core_0 "11.76470588235294".
- 1763505 cpu_core_0 "11.76470588235294".
- 1765358 cpu_core_0 "11.76470588235294".
- 1766403 cpu_core_0 "11.76470588235294".
- 1766562 cpu_core_0 "11.76470588235294".
- 1766950 cpu_core_0 "11.76470588235294".
- 1767423 cpu_core_0 "11.76470588235294".
- 1767647 cpu_core_0 "11.76470588235294".
- 1768143 cpu_core_0 "11.76470588235294".