Matches in ISWC2014 Benchmark for { ?s ?p 3.061224489795918. }
- 1654402 cpu_core_0 "3.061224489795918".
- 1654514 cpu_core_0 "3.061224489795918".
- 1654518 cpu_core_0 "3.061224489795918".
- 1654523 cpu_core_0 "3.061224489795918".
- 1665730 cpu_core_0 "3.061224489795918".
- 1671550 cpu_core_0 "3.061224489795918".
- 1671685 cpu_core_0 "3.061224489795918".
- 1671806 cpu_core_0 "3.061224489795918".
- 1672052 cpu_core_0 "3.061224489795918".
- 1672098 cpu_core_0 "3.061224489795918".
- 1672145 cpu_core_0 "3.061224489795918".
- 1672148 cpu_core_0 "3.061224489795918".
- 1672608 cpu_core_0 "3.061224489795918".
- 1673142 cpu_core_0 "3.061224489795918".
- 1674489 cpu_core_0 "3.061224489795918".
- 1676263 cpu_core_0 "3.061224489795918".
- 1684820 cpu_core_0 "3.061224489795918".
- 1685952 cpu_core_0 "3.061224489795918".
- 1691859 cpu_core_0 "3.061224489795918".
- 1693497 cpu_core_0 "3.061224489795918".
- 1709900 cpu_core_0 "3.061224489795918".
- 1711917 cpu_core_0 "3.061224489795918".
- 1713761 cpu_core_0 "3.061224489795918".
- 1714945 cpu_core_0 "3.061224489795918".
- 1715247 cpu_core_0 "3.061224489795918".
- 1716022 cpu_core_0 "3.061224489795918".
- 1716079 cpu_core_0 "3.061224489795918".
- 1717447 cpu_core_0 "3.061224489795918".
- 1717497 cpu_core_0 "3.061224489795918".
- 1717835 cpu_core_0 "3.061224489795918".
- 1718080 cpu_core_0 "3.061224489795918".
- 1718426 cpu_core_0 "3.061224489795918".
- 1718439 cpu_core_0 "3.061224489795918".
- 1718796 cpu_core_0 "3.061224489795918".
- 1718975 cpu_core_0 "3.061224489795918".
- 1719695 cpu_core_0 "3.061224489795918".
- 1719854 cpu_core_0 "3.061224489795918".
- 1722112 cpu_core_0 "3.061224489795918".
- 1722841 cpu_core_0 "3.061224489795918".
- 1723205 cpu_core_0 "3.061224489795918".
- 1723884 cpu_core_0 "3.061224489795918".
- 1725978 cpu_core_0 "3.061224489795918".
- 1726652 cpu_core_0 "3.061224489795918".
- 1727044 cpu_core_0 "3.061224489795918".
- 1728916 cpu_core_0 "3.061224489795918".
- 1729016 cpu_core_0 "3.061224489795918".
- 1730984 cpu_core_0 "3.061224489795918".
- 1731931 cpu_core_0 "3.061224489795918".
- 1732118 cpu_core_0 "3.061224489795918".
- 1732307 cpu_core_0 "3.061224489795918".
- 1732550 cpu_core_0 "3.061224489795918".
- 1732865 cpu_core_0 "3.061224489795918".
- 1733028 cpu_core_0 "3.061224489795918".
- 1733893 cpu_core_0 "3.061224489795918".
- 1737445 cpu_core_0 "3.061224489795918".
- 1737773 cpu_core_0 "3.061224489795918".
- 1738135 cpu_core_0 "3.061224489795918".
- 1738735 cpu_core_0 "3.061224489795918".
- 1741527 cpu_core_0 "3.061224489795918".
- 1741859 cpu_core_0 "3.061224489795918".
- 1742221 cpu_core_0 "3.061224489795918".
- 1742704 cpu_core_0 "3.061224489795918".
- 1743589 cpu_core_0 "3.061224489795918".
- 1747833 cpu_core_0 "3.061224489795918".
- 1749010 cpu_core_0 "3.061224489795918".
- 1750333 cpu_core_0 "3.061224489795918".
- 1751187 cpu_core_0 "3.061224489795918".
- 1751474 cpu_core_0 "3.061224489795918".
- 1751613 cpu_core_0 "3.061224489795918".
- 1756262 cpu_core_0 "3.061224489795918".
- 1757121 cpu_core_0 "3.061224489795918".
- 1760063 cpu_core_0 "3.061224489795918".
- 1760265 cpu_core_0 "3.061224489795918".
- 1761874 cpu_core_0 "3.061224489795918".
- 1763905 cpu_core_0 "3.061224489795918".
- 1765868 cpu_core_0 "3.061224489795918".
- 1766878 cpu_core_0 "3.061224489795918".
- 1769067 cpu_core_0 "3.061224489795918".
- 1770270 cpu_core_0 "3.061224489795918".
- 1770321 cpu_core_0 "3.061224489795918".
- 1771135 cpu_core_0 "3.061224489795918".
- 1772441 cpu_core_0 "3.061224489795918".
- 1773437 cpu_core_0 "3.061224489795918".
- 1780377 cpu_core_0 "3.061224489795918".
- 1780570 cpu_core_0 "3.061224489795918".
- 1784190 cpu_core_0 "3.061224489795918".
- 1784974 cpu_core_0 "3.061224489795918".
- 1786019 cpu_core_0 "3.061224489795918".
- 1786097 cpu_core_0 "3.061224489795918".
- 1788738 cpu_core_0 "3.061224489795918".
- 1790232 cpu_core_0 "3.061224489795918".
- 1791809 cpu_core_0 "3.061224489795918".
- 1792798 cpu_core_0 "3.061224489795918".
- 1794121 cpu_core_0 "3.061224489795918".
- 1794984 cpu_core_0 "3.061224489795918".
- 1796068 cpu_core_0 "3.061224489795918".
- 1797773 cpu_core_0 "3.061224489795918".
- 1800175 cpu_core_0 "3.061224489795918".
- 1802155 cpu_core_0 "3.061224489795918".
- 1805628 cpu_core_0 "3.061224489795918".