Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1763381 cpu_core_0 "12.745098039215685".
- 1764394 cpu_core_0 "12.745098039215685".
- 1764432 cpu_core_0 "12.745098039215685".
- 1765595 cpu_core_0 "12.745098039215685".
- 1766201 cpu_core_0 "12.745098039215685".
- 1766453 cpu_core_0 "12.745098039215685".
- 1766525 cpu_core_0 "12.745098039215685".
- 1766558 cpu_core_0 "12.745098039215685".
- 1766810 cpu_core_0 "12.745098039215685".
- 1766880 cpu_core_0 "12.745098039215685".
- 1767090 cpu_core_0 "12.745098039215685".
- 1768512 cpu_core_0 "12.745098039215685".
- 1768613 cpu_core_0 "12.745098039215685".
- 1768905 cpu_core_0 "12.745098039215685".
- 1769027 cpu_core_0 "12.745098039215685".
- 1769086 cpu_core_0 "12.745098039215685".
- 1769272 cpu_core_0 "12.745098039215685".
- 1769281 cpu_core_0 "12.745098039215685".
- 1769945 cpu_core_0 "12.745098039215685".
- 1770081 cpu_core_0 "12.745098039215685".
- 1770439 cpu_core_0 "12.745098039215685".
- 1772333 cpu_core_0 "12.745098039215685".
- 1772999 cpu_core_0 "12.745098039215685".
- 1773123 cpu_core_0 "12.745098039215685".
- 1773318 cpu_core_0 "12.745098039215685".
- 1774226 cpu_core_0 "12.745098039215685".
- 1774481 cpu_core_0 "12.745098039215685".
- 1774594 cpu_core_0 "12.745098039215685".
- 1775589 cpu_core_0 "12.745098039215685".
- 1776872 cpu_core_0 "12.745098039215685".
- 1777276 cpu_core_0 "12.745098039215685".
- 1777955 cpu_core_0 "12.745098039215685".
- 1778125 cpu_core_0 "12.745098039215685".
- 1778666 cpu_core_0 "12.745098039215685".
- 1779319 cpu_core_0 "12.745098039215685".
- 1780267 cpu_core_0 "12.745098039215685".
- 1780513 cpu_core_0 "12.745098039215685".
- 1780620 cpu_core_0 "12.745098039215685".
- 1781715 cpu_core_0 "12.745098039215685".
- 1781826 cpu_core_0 "12.745098039215685".
- 1782052 cpu_core_0 "12.745098039215685".
- 1782457 cpu_core_0 "12.745098039215685".
- 1782994 cpu_core_0 "12.745098039215685".
- 1784052 cpu_core_0 "12.745098039215685".
- 1784226 cpu_core_0 "12.745098039215685".
- 1785701 cpu_core_0 "12.745098039215685".
- 1786082 cpu_core_0 "12.745098039215685".
- 1786143 cpu_core_0 "12.745098039215685".
- 1786802 cpu_core_0 "12.745098039215685".
- 1788011 cpu_core_0 "12.745098039215685".
- 1789719 cpu_core_0 "12.745098039215685".
- 1790237 cpu_core_0 "12.745098039215685".
- 1791906 cpu_core_0 "12.745098039215685".
- 1792282 cpu_core_0 "12.745098039215685".
- 1792371 cpu_core_0 "12.745098039215685".
- 1792674 cpu_core_0 "12.745098039215685".
- 1794701 cpu_core_0 "12.745098039215685".
- 1794915 cpu_core_0 "12.745098039215685".
- 1794948 cpu_core_0 "12.745098039215685".
- 1795805 cpu_core_0 "12.745098039215685".
- 1796509 cpu_core_0 "12.745098039215685".
- 1796581 cpu_core_0 "12.745098039215685".
- 1796694 cpu_core_0 "12.745098039215685".
- 1797356 cpu_core_0 "12.745098039215685".
- 1797774 cpu_core_0 "12.745098039215685".
- 1798072 cpu_core_0 "12.745098039215685".
- 1798364 cpu_core_0 "12.745098039215685".
- 1798516 cpu_core_0 "12.745098039215685".
- 1798544 cpu_core_0 "12.745098039215685".
- 1798928 cpu_core_0 "12.745098039215685".
- 1800014 cpu_core_0 "12.745098039215685".
- 1800043 cpu_core_0 "12.745098039215685".
- 1800260 cpu_core_0 "12.745098039215685".
- 1800389 cpu_core_0 "12.745098039215685".
- 1800557 cpu_core_0 "12.745098039215685".
- 1801952 cpu_core_0 "12.745098039215685".
- 1802369 cpu_core_0 "12.745098039215685".
- 1802701 cpu_core_0 "12.745098039215685".
- 1803502 cpu_core_0 "12.745098039215685".
- 1803590 cpu_core_0 "12.745098039215685".
- 1803616 cpu_core_0 "12.745098039215685".
- 1803893 cpu_core_0 "12.745098039215685".
- 1805392 cpu_core_0 "12.745098039215685".
- 1805610 cpu_core_0 "12.745098039215685".
- 1805629 cpu_core_0 "12.745098039215685".
- 1806418 cpu_core_0 "12.745098039215685".
- 1807070 cpu_core_0 "12.745098039215685".
- 1807299 cpu_core_0 "12.745098039215685".
- 1808334 cpu_core_0 "12.745098039215685".
- 1808458 cpu_core_0 "12.745098039215685".
- 1808590 cpu_core_0 "12.745098039215685".
- 1809667 cpu_core_0 "12.745098039215685".
- 1810522 cpu_core_0 "12.745098039215685".
- 1810638 cpu_core_0 "12.745098039215685".
- 1811595 cpu_core_0 "12.745098039215685".
- 1811860 cpu_core_0 "12.745098039215685".
- 1812094 cpu_core_0 "12.745098039215685".
- 1812696 cpu_core_0 "12.745098039215685".
- 1812736 cpu_core_0 "12.745098039215685".
- 1813472 cpu_core_0 "12.745098039215685".