Matches in ISWC2014 Benchmark for { ?s ?p 13.26530612244898. }
- 1837116 cpu_core_0 "13.26530612244898".
- 1837160 cpu_core_0 "13.26530612244898".
- 1837587 cpu_core_0 "13.26530612244898".
- 1837743 cpu_core_0 "13.26530612244898".
- 1837812 cpu_core_0 "13.26530612244898".
- 1838273 cpu_core_0 "13.26530612244898".
- 1838530 cpu_core_0 "13.26530612244898".
- 1838693 cpu_core_0 "13.26530612244898".
- 1838965 cpu_core_0 "13.26530612244898".
- 1839063 cpu_core_0 "13.26530612244898".
- 1839501 cpu_core_0 "13.26530612244898".
- 1839629 cpu_core_0 "13.26530612244898".
- 1839857 cpu_core_0 "13.26530612244898".
- 1839878 cpu_core_0 "13.26530612244898".
- 1839885 cpu_core_0 "13.26530612244898".
- 1839934 cpu_core_0 "13.26530612244898".
- 1840282 cpu_core_0 "13.26530612244898".
- 1840592 cpu_core_0 "13.26530612244898".
- 1840652 cpu_core_0 "13.26530612244898".
- 1840941 cpu_core_0 "13.26530612244898".
- 1840969 cpu_core_0 "13.26530612244898".
- 1841199 cpu_core_0 "13.26530612244898".
- 1841367 cpu_core_0 "13.26530612244898".
- 1841399 cpu_core_0 "13.26530612244898".
- 1841439 cpu_core_0 "13.26530612244898".
- 1841791 cpu_core_0 "13.26530612244898".
- 1841813 cpu_core_0 "13.26530612244898".
- 1842086 cpu_core_0 "13.26530612244898".
- 1842162 cpu_core_0 "13.26530612244898".
- 1842231 cpu_core_0 "13.26530612244898".
- 1842871 cpu_core_0 "13.26530612244898".
- 1842977 cpu_core_0 "13.26530612244898".
- 1843533 cpu_core_0 "13.26530612244898".
- 1843783 cpu_core_0 "13.26530612244898".
- 1843811 cpu_core_0 "13.26530612244898".
- 1843850 cpu_core_0 "13.26530612244898".
- 1844142 cpu_core_0 "13.26530612244898".
- 1844198 cpu_core_0 "13.26530612244898".
- 1844228 cpu_core_0 "13.26530612244898".
- 1844551 cpu_core_0 "13.26530612244898".
- 1844663 cpu_core_0 "13.26530612244898".
- 1844803 cpu_core_0 "13.26530612244898".
- 1844812 cpu_core_0 "13.26530612244898".
- 1844818 cpu_core_0 "13.26530612244898".
- 1844863 cpu_core_0 "13.26530612244898".
- 1845239 cpu_core_0 "13.26530612244898".
- 1845273 cpu_core_0 "13.26530612244898".
- 1845347 cpu_core_0 "13.26530612244898".
- 1845483 cpu_core_0 "13.26530612244898".
- 1845626 cpu_core_0 "13.26530612244898".
- 1846233 cpu_core_0 "13.26530612244898".
- 1846273 cpu_core_0 "13.26530612244898".
- 1846949 cpu_core_0 "13.26530612244898".
- 1847226 cpu_core_0 "13.26530612244898".
- 1847234 cpu_core_0 "13.26530612244898".
- 1847255 cpu_core_0 "13.26530612244898".
- 1847546 cpu_core_0 "13.26530612244898".
- 1847710 cpu_core_0 "13.26530612244898".
- 1848255 cpu_core_0 "13.26530612244898".
- 1848525 cpu_core_0 "13.26530612244898".
- 1848540 cpu_core_0 "13.26530612244898".
- 1848822 cpu_core_0 "13.26530612244898".
- 1849273 cpu_core_0 "13.26530612244898".
- 1849345 cpu_core_0 "13.26530612244898".
- 1850072 cpu_core_0 "13.26530612244898".
- 1850201 cpu_core_0 "13.26530612244898".
- 1850212 cpu_core_0 "13.26530612244898".
- 1850341 cpu_core_0 "13.26530612244898".
- 1850610 cpu_core_0 "13.26530612244898".
- 1850668 cpu_core_0 "13.26530612244898".
- 1850716 cpu_core_0 "13.26530612244898".
- 1850785 cpu_core_0 "13.26530612244898".
- 1850858 cpu_core_0 "13.26530612244898".
- 1850987 cpu_core_0 "13.26530612244898".
- 1851110 cpu_core_0 "13.26530612244898".
- 1851195 cpu_core_0 "13.26530612244898".
- 1851624 cpu_core_0 "13.26530612244898".
- 1851648 cpu_core_0 "13.26530612244898".
- 1851779 cpu_core_0 "13.26530612244898".
- 1852324 cpu_core_0 "13.26530612244898".
- 1852506 cpu_core_0 "13.26530612244898".
- 1853066 cpu_core_0 "13.26530612244898".
- 1853113 cpu_core_0 "13.26530612244898".
- 1853412 cpu_core_0 "13.26530612244898".
- 1853801 cpu_core_0 "13.26530612244898".
- 1853876 cpu_core_0 "13.26530612244898".
- 1854305 cpu_core_0 "13.26530612244898".
- 1854401 cpu_core_0 "13.26530612244898".
- 1854765 cpu_core_0 "13.26530612244898".
- 1854785 cpu_core_0 "13.26530612244898".
- 1855154 cpu_core_0 "13.26530612244898".
- 1855226 cpu_core_0 "13.26530612244898".
- 1855510 cpu_core_0 "13.26530612244898".
- 1856033 cpu_core_0 "13.26530612244898".
- 1856529 cpu_core_0 "13.26530612244898".
- 1857029 cpu_core_0 "13.26530612244898".
- 1857115 cpu_core_0 "13.26530612244898".
- 1857306 cpu_core_0 "13.26530612244898".
- 1857358 cpu_core_0 "13.26530612244898".
- 1857835 cpu_core_0 "13.26530612244898".