Matches in ISWC2014 Benchmark for { ?s ?p 15.686274509803921. }
- 1744742 cpu_core_0 "15.686274509803921".
- 1744879 cpu_core_0 "15.686274509803921".
- 1745213 cpu_core_0 "15.686274509803921".
- 1745262 cpu_core_0 "15.686274509803921".
- 1745738 cpu_core_0 "15.686274509803921".
- 1745831 cpu_core_0 "15.686274509803921".
- 1745951 cpu_core_0 "15.686274509803921".
- 1746410 cpu_core_0 "15.686274509803921".
- 1746560 cpu_core_0 "15.686274509803921".
- 1746972 cpu_core_0 "15.686274509803921".
- 1748193 cpu_core_0 "15.686274509803921".
- 1748327 cpu_core_0 "15.686274509803921".
- 1748482 cpu_core_0 "15.686274509803921".
- 1748722 cpu_core_0 "15.686274509803921".
- 1750109 cpu_core_0 "15.686274509803921".
- 1751104 cpu_core_0 "15.686274509803921".
- 1751515 cpu_core_0 "15.686274509803921".
- 1751839 cpu_core_0 "15.686274509803921".
- 1752173 cpu_core_0 "15.686274509803921".
- 1753870 cpu_core_0 "15.686274509803921".
- 1754252 cpu_core_0 "15.686274509803921".
- 1754540 cpu_core_0 "15.686274509803921".
- 1754724 cpu_core_0 "15.686274509803921".
- 1754808 cpu_core_0 "15.686274509803921".
- 1754918 cpu_core_0 "15.686274509803921".
- 1754925 cpu_core_0 "15.686274509803921".
- 1755060 cpu_core_0 "15.686274509803921".
- 1755630 cpu_core_0 "15.686274509803921".
- 1756668 cpu_core_0 "15.686274509803921".
- 1756793 cpu_core_0 "15.686274509803921".
- 1757427 cpu_core_0 "15.686274509803921".
- 1757846 cpu_core_0 "15.686274509803921".
- 1758164 cpu_core_0 "15.686274509803921".
- 1758533 cpu_core_0 "15.686274509803921".
- 1759129 cpu_core_0 "15.686274509803921".
- 1759387 cpu_core_0 "15.686274509803921".
- 1759911 cpu_core_0 "15.686274509803921".
- 1760576 cpu_core_0 "15.686274509803921".
- 1760830 cpu_core_0 "15.686274509803921".
- 1760951 cpu_core_0 "15.686274509803921".
- 1761538 cpu_core_0 "15.686274509803921".
- 1761972 cpu_core_0 "15.686274509803921".
- 1762039 cpu_core_0 "15.686274509803921".
- 1762633 cpu_core_0 "15.686274509803921".
- 1763061 cpu_core_0 "15.686274509803921".
- 1763315 cpu_core_0 "15.686274509803921".
- 1763807 cpu_core_0 "15.686274509803921".
- 1764378 cpu_core_0 "15.686274509803921".
- 1764426 cpu_core_0 "15.686274509803921".
- 1764472 cpu_core_0 "15.686274509803921".
- 1764719 cpu_core_0 "15.686274509803921".
- 1764992 cpu_core_0 "15.686274509803921".
- 1765278 cpu_core_0 "15.686274509803921".
- 1766530 cpu_core_0 "15.686274509803921".
- 1767214 cpu_core_0 "15.686274509803921".
- 1767955 cpu_core_0 "15.686274509803921".
- 1769617 cpu_core_0 "15.686274509803921".
- 1769818 cpu_core_0 "15.686274509803921".
- 1770226 cpu_core_0 "15.686274509803921".
- 1770998 cpu_core_0 "15.686274509803921".
- 1771243 cpu_core_0 "15.686274509803921".
- 1771727 cpu_core_0 "15.686274509803921".
- 1772400 cpu_core_0 "15.686274509803921".
- 1772460 cpu_core_0 "15.686274509803921".
- 1772978 cpu_core_0 "15.686274509803921".
- 1772990 cpu_core_0 "15.686274509803921".
- 1774336 cpu_core_0 "15.686274509803921".
- 1774339 cpu_core_0 "15.686274509803921".
- 1775518 cpu_core_0 "15.686274509803921".
- 1775824 cpu_core_0 "15.686274509803921".
- 1776127 cpu_core_0 "15.686274509803921".
- 1776535 cpu_core_0 "15.686274509803921".
- 1776736 cpu_core_0 "15.686274509803921".
- 1776828 cpu_core_0 "15.686274509803921".
- 1777285 cpu_core_0 "15.686274509803921".
- 1777921 cpu_core_0 "15.686274509803921".
- 1778833 cpu_core_0 "15.686274509803921".
- 1779835 cpu_core_0 "15.686274509803921".
- 1782315 cpu_core_0 "15.686274509803921".
- 1782364 cpu_core_0 "15.686274509803921".
- 1782688 cpu_core_0 "15.686274509803921".
- 1782781 cpu_core_0 "15.686274509803921".
- 1782800 cpu_core_0 "15.686274509803921".
- 1782938 cpu_core_0 "15.686274509803921".
- 1783096 cpu_core_0 "15.686274509803921".
- 1783209 cpu_core_0 "15.686274509803921".
- 1783781 cpu_core_0 "15.686274509803921".
- 1783943 cpu_core_0 "15.686274509803921".
- 1784893 cpu_core_0 "15.686274509803921".
- 1785072 cpu_core_0 "15.686274509803921".
- 1786064 cpu_core_0 "15.686274509803921".
- 1786475 cpu_core_0 "15.686274509803921".
- 1787320 cpu_core_0 "15.686274509803921".
- 1787435 cpu_core_0 "15.686274509803921".
- 1787585 cpu_core_0 "15.686274509803921".
- 1787727 cpu_core_0 "15.686274509803921".
- 1789937 cpu_core_0 "15.686274509803921".
- 1792129 cpu_core_0 "15.686274509803921".
- 1792524 cpu_core_0 "15.686274509803921".
- 1792665 cpu_core_0 "15.686274509803921".