Matches in ISWC2014 Benchmark for { ?s ?p 15.686274509803921. }
- 1610714 cpu_core_0 "15.686274509803921".
- 1611139 cpu_core_0 "15.686274509803921".
- 1611163 cpu_core_0 "15.686274509803921".
- 1611446 cpu_core_0 "15.686274509803921".
- 1612131 cpu_core_0 "15.686274509803921".
- 1614103 cpu_core_0 "15.686274509803921".
- 1614397 cpu_core_0 "15.686274509803921".
- 1617665 cpu_core_0 "15.686274509803921".
- 1618282 cpu_core_0 "15.686274509803921".
- 1619103 cpu_core_0 "15.686274509803921".
- 1625966 cpu_core_0 "15.686274509803921".
- 1626413 cpu_core_0 "15.686274509803921".
- 1626842 cpu_core_0 "15.686274509803921".
- 1628572 cpu_core_0 "15.686274509803921".
- 1628762 cpu_core_0 "15.686274509803921".
- 1629439 cpu_core_0 "15.686274509803921".
- 1631183 cpu_core_0 "15.686274509803921".
- 1631283 cpu_core_0 "15.686274509803921".
- 1632335 cpu_core_0 "15.686274509803921".
- 1632575 cpu_core_0 "15.686274509803921".
- 1636678 cpu_core_0 "15.686274509803921".
- 1637433 cpu_core_0 "15.686274509803921".
- 1637538 cpu_core_0 "15.686274509803921".
- 1639550 cpu_core_0 "15.686274509803921".
- 1643170 cpu_core_0 "15.686274509803921".
- 1643660 cpu_core_0 "15.686274509803921".
- 1647243 cpu_core_0 "15.686274509803921".
- 1648847 cpu_core_0 "15.686274509803921".
- 1649630 cpu_core_0 "15.686274509803921".
- 1650162 cpu_core_0 "15.686274509803921".
- 1651986 cpu_core_0 "15.686274509803921".
- 1653555 cpu_core_0 "15.686274509803921".
- 1657529 cpu_core_0 "15.686274509803921".
- 1670274 cpu_core_0 "15.686274509803921".
- 1671603 cpu_core_0 "15.686274509803921".
- 1673392 cpu_core_0 "15.686274509803921".
- 1674114 cpu_core_0 "15.686274509803921".
- 1674639 cpu_core_0 "15.686274509803921".
- 1677551 cpu_core_0 "15.686274509803921".
- 1689458 cpu_core_0 "15.686274509803921".
- 1692972 cpu_core_0 "15.686274509803921".
- 1694376 cpu_core_0 "15.686274509803921".
- 1698568 cpu_core_0 "15.686274509803921".
- 1698880 cpu_core_0 "15.686274509803921".
- 1705503 cpu_core_0 "15.686274509803921".
- 1706882 cpu_core_0 "15.686274509803921".
- 1711168 cpu_core_0 "15.686274509803921".
- 1711449 cpu_core_0 "15.686274509803921".
- 1714575 cpu_core_0 "15.686274509803921".
- 1717467 cpu_core_0 "15.686274509803921".
- 1719561 cpu_core_0 "15.686274509803921".
- 1720342 cpu_core_0 "15.686274509803921".
- 1720401 cpu_core_0 "15.686274509803921".
- 1720593 cpu_core_0 "15.686274509803921".
- 1721082 cpu_core_0 "15.686274509803921".
- 1721323 cpu_core_0 "15.686274509803921".
- 1722409 cpu_core_0 "15.686274509803921".
- 1725243 cpu_core_0 "15.686274509803921".
- 1726306 cpu_core_0 "15.686274509803921".
- 1727095 cpu_core_0 "15.686274509803921".
- 1727301 cpu_core_0 "15.686274509803921".
- 1727443 cpu_core_0 "15.686274509803921".
- 1727874 cpu_core_0 "15.686274509803921".
- 1727962 cpu_core_0 "15.686274509803921".
- 1729558 cpu_core_0 "15.686274509803921".
- 1730278 cpu_core_0 "15.686274509803921".
- 1730584 cpu_core_0 "15.686274509803921".
- 1731013 cpu_core_0 "15.686274509803921".
- 1731113 cpu_core_0 "15.686274509803921".
- 1731179 cpu_core_0 "15.686274509803921".
- 1732020 cpu_core_0 "15.686274509803921".
- 1732433 cpu_core_0 "15.686274509803921".
- 1732553 cpu_core_0 "15.686274509803921".
- 1732588 cpu_core_0 "15.686274509803921".
- 1732653 cpu_core_0 "15.686274509803921".
- 1732904 cpu_core_0 "15.686274509803921".
- 1733515 cpu_core_0 "15.686274509803921".
- 1734188 cpu_core_0 "15.686274509803921".
- 1734925 cpu_core_0 "15.686274509803921".
- 1735851 cpu_core_0 "15.686274509803921".
- 1736721 cpu_core_0 "15.686274509803921".
- 1737007 cpu_core_0 "15.686274509803921".
- 1737733 cpu_core_0 "15.686274509803921".
- 1737806 cpu_core_0 "15.686274509803921".
- 1737869 cpu_core_0 "15.686274509803921".
- 1738391 cpu_core_0 "15.686274509803921".
- 1738458 cpu_core_0 "15.686274509803921".
- 1738971 cpu_core_0 "15.686274509803921".
- 1740269 cpu_core_0 "15.686274509803921".
- 1740278 cpu_core_0 "15.686274509803921".
- 1741150 cpu_core_0 "15.686274509803921".
- 1741823 cpu_core_0 "15.686274509803921".
- 1742345 cpu_core_0 "15.686274509803921".
- 1742692 cpu_core_0 "15.686274509803921".
- 1743202 cpu_core_0 "15.686274509803921".
- 1743478 cpu_core_0 "15.686274509803921".
- 1743730 cpu_core_0 "15.686274509803921".
- 1744324 cpu_core_0 "15.686274509803921".
- 1744478 cpu_core_0 "15.686274509803921".
- 1744561 cpu_core_0 "15.686274509803921".