Matches in ISWC2014 Benchmark for { ?s ?p 9.183673469387754. }
- 1731611 cpu_core_0 "9.183673469387754".
- 1732790 cpu_core_0 "9.183673469387754".
- 1732845 cpu_core_0 "9.183673469387754".
- 1733101 cpu_core_0 "9.183673469387754".
- 1733703 cpu_core_0 "9.183673469387754".
- 1734007 cpu_core_0 "9.183673469387754".
- 1734317 cpu_core_0 "9.183673469387754".
- 1734456 cpu_core_0 "9.183673469387754".
- 1734552 cpu_core_0 "9.183673469387754".
- 1734880 cpu_core_0 "9.183673469387754".
- 1734932 cpu_core_0 "9.183673469387754".
- 1734967 cpu_core_0 "9.183673469387754".
- 1735216 cpu_core_0 "9.183673469387754".
- 1735441 cpu_core_0 "9.183673469387754".
- 1735701 cpu_core_0 "9.183673469387754".
- 1735705 cpu_core_0 "9.183673469387754".
- 1735904 cpu_core_0 "9.183673469387754".
- 1735972 cpu_core_0 "9.183673469387754".
- 1735978 cpu_core_0 "9.183673469387754".
- 1736161 cpu_core_0 "9.183673469387754".
- 1736897 cpu_core_0 "9.183673469387754".
- 1737146 cpu_core_0 "9.183673469387754".
- 1737298 cpu_core_0 "9.183673469387754".
- 1737605 cpu_core_0 "9.183673469387754".
- 1737805 cpu_core_0 "9.183673469387754".
- 1737847 cpu_core_0 "9.183673469387754".
- 1738424 cpu_core_0 "9.183673469387754".
- 1738927 cpu_core_0 "9.183673469387754".
- 1739710 cpu_core_0 "9.183673469387754".
- 1739776 cpu_core_0 "9.183673469387754".
- 1739800 cpu_core_0 "9.183673469387754".
- 1739887 cpu_core_0 "9.183673469387754".
- 1739899 cpu_core_0 "9.183673469387754".
- 1739946 cpu_core_0 "9.183673469387754".
- 1739991 cpu_core_0 "9.183673469387754".
- 1740081 cpu_core_0 "9.183673469387754".
- 1740403 cpu_core_0 "9.183673469387754".
- 1740434 cpu_core_0 "9.183673469387754".
- 1740493 cpu_core_0 "9.183673469387754".
- 1740747 cpu_core_0 "9.183673469387754".
- 1740867 cpu_core_0 "9.183673469387754".
- 1740908 cpu_core_0 "9.183673469387754".
- 1741085 cpu_core_0 "9.183673469387754".
- 1741087 cpu_core_0 "9.183673469387754".
- 1741346 cpu_core_0 "9.183673469387754".
- 1741764 cpu_core_0 "9.183673469387754".
- 1742210 cpu_core_0 "9.183673469387754".
- 1742359 cpu_core_0 "9.183673469387754".
- 1742513 cpu_core_0 "9.183673469387754".
- 1742693 cpu_core_0 "9.183673469387754".
- 1742720 cpu_core_0 "9.183673469387754".
- 1743259 cpu_core_0 "9.183673469387754".
- 1744279 cpu_core_0 "9.183673469387754".
- 1745261 cpu_core_0 "9.183673469387754".
- 1746299 cpu_core_0 "9.183673469387754".
- 1746315 cpu_core_0 "9.183673469387754".
- 1746991 cpu_core_0 "9.183673469387754".
- 1747004 cpu_core_0 "9.183673469387754".
- 1747906 cpu_core_0 "9.183673469387754".
- 1747939 cpu_core_0 "9.183673469387754".
- 1748047 cpu_core_0 "9.183673469387754".
- 1748246 cpu_core_0 "9.183673469387754".
- 1748252 cpu_core_0 "9.183673469387754".
- 1748677 cpu_core_0 "9.183673469387754".
- 1749047 cpu_core_0 "9.183673469387754".
- 1749782 cpu_core_0 "9.183673469387754".
- 1749790 cpu_core_0 "9.183673469387754".
- 1750351 cpu_core_0 "9.183673469387754".
- 1750381 cpu_core_0 "9.183673469387754".
- 1750508 cpu_core_0 "9.183673469387754".
- 1750560 cpu_core_0 "9.183673469387754".
- 1751074 cpu_core_0 "9.183673469387754".
- 1751647 cpu_core_0 "9.183673469387754".
- 1751705 cpu_core_0 "9.183673469387754".
- 1751852 cpu_core_0 "9.183673469387754".
- 1751940 cpu_core_0 "9.183673469387754".
- 1751948 cpu_core_0 "9.183673469387754".
- 1752025 cpu_core_0 "9.183673469387754".
- 1752256 cpu_core_0 "9.183673469387754".
- 1752658 cpu_core_0 "9.183673469387754".
- 1752660 cpu_core_0 "9.183673469387754".
- 1752898 cpu_core_0 "9.183673469387754".
- 1752968 cpu_core_0 "9.183673469387754".
- 1753162 cpu_core_0 "9.183673469387754".
- 1753173 cpu_core_0 "9.183673469387754".
- 1753230 cpu_core_0 "9.183673469387754".
- 1754369 cpu_core_0 "9.183673469387754".
- 1754542 cpu_core_0 "9.183673469387754".
- 1754910 cpu_core_0 "9.183673469387754".
- 1755544 cpu_core_0 "9.183673469387754".
- 1756782 cpu_core_0 "9.183673469387754".
- 1757195 cpu_core_0 "9.183673469387754".
- 1757231 cpu_core_0 "9.183673469387754".
- 1757240 cpu_core_0 "9.183673469387754".
- 1757550 cpu_core_0 "9.183673469387754".
- 1757624 cpu_core_0 "9.183673469387754".
- 1757717 cpu_core_0 "9.183673469387754".
- 1757723 cpu_core_0 "9.183673469387754".
- 1757797 cpu_core_0 "9.183673469387754".
- 1757992 cpu_core_0 "9.183673469387754".