Matches in ISWC2014 Benchmark for { ?s ?p 6.9306930693069315. }
- 1654035 cpu_core_0 "6.9306930693069315".
- 1654072 cpu_core_0 "6.9306930693069315".
- 1654542 cpu_core_0 "6.9306930693069315".
- 16572 cpu_core_0 "6.9306930693069315".
- 1658975 cpu_core_0 "6.9306930693069315".
- 1663287 cpu_core_0 "6.9306930693069315".
- 1667667 cpu_core_0 "6.9306930693069315".
- 1669516 cpu_core_0 "6.9306930693069315".
- 1670270 cpu_core_0 "6.9306930693069315".
- 1670286 cpu_core_0 "6.9306930693069315".
- 1671173 cpu_core_0 "6.9306930693069315".
- 1672686 cpu_core_0 "6.9306930693069315".
- 1672800 cpu_core_0 "6.9306930693069315".
- 1673066 cpu_core_0 "6.9306930693069315".
- 1673095 cpu_core_0 "6.9306930693069315".
- 1673229 cpu_core_0 "6.9306930693069315".
- 1682783 cpu_core_0 "6.9306930693069315".
- 1684870 cpu_core_0 "6.9306930693069315".
- 1693590 cpu_core_0 "6.9306930693069315".
- 1693699 cpu_core_0 "6.9306930693069315".
- 1694884 cpu_core_0 "6.9306930693069315".
- 1695021 cpu_core_0 "6.9306930693069315".
- 1700952 cpu_core_0 "6.9306930693069315".
- 1700995 cpu_core_0 "6.9306930693069315".
- 1710616 cpu_core_0 "6.9306930693069315".
- 1710817 cpu_core_0 "6.9306930693069315".
- 1710867 cpu_core_0 "6.9306930693069315".
- 1712504 cpu_core_0 "6.9306930693069315".
- 1713283 cpu_core_0 "6.9306930693069315".
- 1713512 cpu_core_0 "6.9306930693069315".
- 1713986 cpu_core_0 "6.9306930693069315".
- 1715189 cpu_core_0 "6.9306930693069315".
- 1715684 cpu_core_0 "6.9306930693069315".
- 1715855 cpu_core_0 "6.9306930693069315".
- 1716491 cpu_core_0 "6.9306930693069315".
- 1716792 cpu_core_0 "6.9306930693069315".
- 1717142 cpu_core_0 "6.9306930693069315".
- 1717586 cpu_core_0 "6.9306930693069315".
- 1717639 cpu_core_0 "6.9306930693069315".
- 1719784 cpu_core_0 "6.9306930693069315".
- 1721931 cpu_core_0 "6.9306930693069315".
- 1722227 cpu_core_0 "6.9306930693069315".
- 1722776 cpu_core_0 "6.9306930693069315".
- 1722931 cpu_core_0 "6.9306930693069315".
- 1723701 cpu_core_0 "6.9306930693069315".
- 1723823 cpu_core_0 "6.9306930693069315".
- 1724721 cpu_core_0 "6.9306930693069315".
- 1724960 cpu_core_0 "6.9306930693069315".
- 1725003 cpu_core_0 "6.9306930693069315".
- 1725052 cpu_core_0 "6.9306930693069315".
- 1726455 cpu_core_0 "6.9306930693069315".
- 1727758 cpu_core_0 "6.9306930693069315".
- 1728363 cpu_core_0 "6.9306930693069315".
- 1728578 cpu_core_0 "6.9306930693069315".
- 1728600 cpu_core_0 "6.9306930693069315".
- 1730273 cpu_core_0 "6.9306930693069315".
- 1731655 cpu_core_0 "6.9306930693069315".
- 1733022 cpu_core_0 "6.9306930693069315".
- 1734440 cpu_core_0 "6.9306930693069315".
- 1735644 cpu_core_0 "6.9306930693069315".
- 1735788 cpu_core_0 "6.9306930693069315".
- 1735801 cpu_core_0 "6.9306930693069315".
- 1736202 cpu_core_0 "6.9306930693069315".
- 1737294 cpu_core_0 "6.9306930693069315".
- 1737302 cpu_core_0 "6.9306930693069315".
- 1738469 cpu_core_0 "6.9306930693069315".
- 1739579 cpu_core_0 "6.9306930693069315".
- 1739625 cpu_core_0 "6.9306930693069315".
- 1740053 cpu_core_0 "6.9306930693069315".
- 1740379 cpu_core_0 "6.9306930693069315".
- 1740618 cpu_core_0 "6.9306930693069315".
- 1740701 cpu_core_0 "6.9306930693069315".
- 1742051 cpu_core_0 "6.9306930693069315".
- 1743600 cpu_core_0 "6.9306930693069315".
- 1744526 cpu_core_0 "6.9306930693069315".
- 1746160 cpu_core_0 "6.9306930693069315".
- 1746911 cpu_core_0 "6.9306930693069315".
- 1747369 cpu_core_0 "6.9306930693069315".
- 1751236 cpu_core_0 "6.9306930693069315".
- 1751932 cpu_core_0 "6.9306930693069315".
- 1752559 cpu_core_0 "6.9306930693069315".
- 1753868 cpu_core_0 "6.9306930693069315".
- 1756116 cpu_core_0 "6.9306930693069315".
- 1757226 cpu_core_0 "6.9306930693069315".
- 1757365 cpu_core_0 "6.9306930693069315".
- 1757988 cpu_core_0 "6.9306930693069315".
- 1760319 cpu_core_0 "6.9306930693069315".
- 1760788 cpu_core_0 "6.9306930693069315".
- 1763023 cpu_core_0 "6.9306930693069315".
- 1763878 cpu_core_0 "6.9306930693069315".
- 1764539 cpu_core_0 "6.9306930693069315".
- 1764643 cpu_core_0 "6.9306930693069315".
- 1765041 cpu_core_0 "6.9306930693069315".
- 1766069 cpu_core_0 "6.9306930693069315".
- 1767167 cpu_core_0 "6.9306930693069315".
- 1767233 cpu_core_0 "6.9306930693069315".
- 1768119 cpu_core_0 "6.9306930693069315".
- 1768427 cpu_core_0 "6.9306930693069315".
- 1768637 cpu_core_0 "6.9306930693069315".
- 1768672 cpu_core_0 "6.9306930693069315".