Matches in ISWC2014 Benchmark for { ?s ?p 13.26530612244898. }
- 1744083 cpu_core_0 "13.26530612244898".
- 1744347 cpu_core_0 "13.26530612244898".
- 1744619 cpu_core_0 "13.26530612244898".
- 1744741 cpu_core_0 "13.26530612244898".
- 1745124 cpu_core_0 "13.26530612244898".
- 1745446 cpu_core_0 "13.26530612244898".
- 1745529 cpu_core_0 "13.26530612244898".
- 1745891 cpu_core_0 "13.26530612244898".
- 1745963 cpu_core_0 "13.26530612244898".
- 1746016 cpu_core_0 "13.26530612244898".
- 1746056 cpu_core_0 "13.26530612244898".
- 1746337 cpu_core_0 "13.26530612244898".
- 1746657 cpu_core_0 "13.26530612244898".
- 1747125 cpu_core_0 "13.26530612244898".
- 1747303 cpu_core_0 "13.26530612244898".
- 1748083 cpu_core_0 "13.26530612244898".
- 1749434 cpu_core_0 "13.26530612244898".
- 1750008 cpu_core_0 "13.26530612244898".
- 1750053 cpu_core_0 "13.26530612244898".
- 1751105 cpu_core_0 "13.26530612244898".
- 1751649 cpu_core_0 "13.26530612244898".
- 1751828 cpu_core_0 "13.26530612244898".
- 1752288 cpu_core_0 "13.26530612244898".
- 1753109 cpu_core_0 "13.26530612244898".
- 1753261 cpu_core_0 "13.26530612244898".
- 1753274 cpu_core_0 "13.26530612244898".
- 1753322 cpu_core_0 "13.26530612244898".
- 1753394 cpu_core_0 "13.26530612244898".
- 1753493 cpu_core_0 "13.26530612244898".
- 1753532 cpu_core_0 "13.26530612244898".
- 1753567 cpu_core_0 "13.26530612244898".
- 1753871 cpu_core_0 "13.26530612244898".
- 1754121 cpu_core_0 "13.26530612244898".
- 1754164 cpu_core_0 "13.26530612244898".
- 1754406 cpu_core_0 "13.26530612244898".
- 1754483 cpu_core_0 "13.26530612244898".
- 1754668 cpu_core_0 "13.26530612244898".
- 1754943 cpu_core_0 "13.26530612244898".
- 1755893 cpu_core_0 "13.26530612244898".
- 1756173 cpu_core_0 "13.26530612244898".
- 1756423 cpu_core_0 "13.26530612244898".
- 1756912 cpu_core_0 "13.26530612244898".
- 1757069 cpu_core_0 "13.26530612244898".
- 1757271 cpu_core_0 "13.26530612244898".
- 1757320 cpu_core_0 "13.26530612244898".
- 1757323 cpu_core_0 "13.26530612244898".
- 1757708 cpu_core_0 "13.26530612244898".
- 1757954 cpu_core_0 "13.26530612244898".
- 1758062 cpu_core_0 "13.26530612244898".
- 1758418 cpu_core_0 "13.26530612244898".
- 1758474 cpu_core_0 "13.26530612244898".
- 1758600 cpu_core_0 "13.26530612244898".
- 1758602 cpu_core_0 "13.26530612244898".
- 1758713 cpu_core_0 "13.26530612244898".
- 1759259 cpu_core_0 "13.26530612244898".
- 1759296 cpu_core_0 "13.26530612244898".
- 1759377 cpu_core_0 "13.26530612244898".
- 1759673 cpu_core_0 "13.26530612244898".
- 1759832 cpu_core_0 "13.26530612244898".
- 1760589 cpu_core_0 "13.26530612244898".
- 1760674 cpu_core_0 "13.26530612244898".
- 1760988 cpu_core_0 "13.26530612244898".
- 1761200 cpu_core_0 "13.26530612244898".
- 1761247 cpu_core_0 "13.26530612244898".
- 1761327 cpu_core_0 "13.26530612244898".
- 1761522 cpu_core_0 "13.26530612244898".
- 1761530 cpu_core_0 "13.26530612244898".
- 1761537 cpu_core_0 "13.26530612244898".
- 1761901 cpu_core_0 "13.26530612244898".
- 1762015 cpu_core_0 "13.26530612244898".
- 1762729 cpu_core_0 "13.26530612244898".
- 1763077 cpu_core_0 "13.26530612244898".
- 1763113 cpu_core_0 "13.26530612244898".
- 1763596 cpu_core_0 "13.26530612244898".
- 1763772 cpu_core_0 "13.26530612244898".
- 1763838 cpu_core_0 "13.26530612244898".
- 1763882 cpu_core_0 "13.26530612244898".
- 1763898 cpu_core_0 "13.26530612244898".
- 1764112 cpu_core_0 "13.26530612244898".
- 1764132 cpu_core_0 "13.26530612244898".
- 1764176 cpu_core_0 "13.26530612244898".
- 1764270 cpu_core_0 "13.26530612244898".
- 1764351 cpu_core_0 "13.26530612244898".
- 1764789 cpu_core_0 "13.26530612244898".
- 1764843 cpu_core_0 "13.26530612244898".
- 1764853 cpu_core_0 "13.26530612244898".
- 1764887 cpu_core_0 "13.26530612244898".
- 1765323 cpu_core_0 "13.26530612244898".
- 1765602 cpu_core_0 "13.26530612244898".
- 1766061 cpu_core_0 "13.26530612244898".
- 1766081 cpu_core_0 "13.26530612244898".
- 1766239 cpu_core_0 "13.26530612244898".
- 1766318 cpu_core_0 "13.26530612244898".
- 1767093 cpu_core_0 "13.26530612244898".
- 1767264 cpu_core_0 "13.26530612244898".
- 1767420 cpu_core_0 "13.26530612244898".
- 1768258 cpu_core_0 "13.26530612244898".
- 1768365 cpu_core_0 "13.26530612244898".
- 1768367 cpu_core_0 "13.26530612244898".
- 1768467 cpu_core_0 "13.26530612244898".