Matches in ISWC2014 Benchmark for { ?s ?p 13.861386138613863. }
- 1686685 cpu_core_0 "13.861386138613863".
- 1688297 cpu_core_0 "13.861386138613863".
- 1689456 cpu_core_0 "13.861386138613863".
- 1690304 cpu_core_0 "13.861386138613863".
- 1691475 cpu_core_0 "13.861386138613863".
- 1692338 cpu_core_0 "13.861386138613863".
- 1693323 cpu_core_0 "13.861386138613863".
- 1693333 cpu_core_0 "13.861386138613863".
- 1693410 cpu_core_0 "13.861386138613863".
- 1693726 cpu_core_0 "13.861386138613863".
- 1694146 cpu_core_0 "13.861386138613863".
- 1694270 cpu_core_0 "13.861386138613863".
- 1696241 cpu_core_0 "13.861386138613863".
- 1697088 cpu_core_0 "13.861386138613863".
- 1698316 cpu_core_0 "13.861386138613863".
- 1698797 cpu_core_0 "13.861386138613863".
- 1704921 cpu_core_0 "13.861386138613863".
- 1704990 cpu_core_0 "13.861386138613863".
- 1705225 cpu_core_0 "13.861386138613863".
- 1706867 cpu_core_0 "13.861386138613863".
- 1707277 cpu_core_0 "13.861386138613863".
- 1707349 cpu_core_0 "13.861386138613863".
- 1710642 cpu_core_0 "13.861386138613863".
- 1710648 cpu_core_0 "13.861386138613863".
- 1710657 cpu_core_0 "13.861386138613863".
- 1711215 cpu_core_0 "13.861386138613863".
- 1711231 cpu_core_0 "13.861386138613863".
- 1711642 cpu_core_0 "13.861386138613863".
- 1713416 cpu_core_0 "13.861386138613863".
- 1714127 cpu_core_0 "13.861386138613863".
- 1714614 cpu_core_0 "13.861386138613863".
- 1714723 cpu_core_0 "13.861386138613863".
- 1715404 cpu_core_0 "13.861386138613863".
- 1715424 cpu_core_0 "13.861386138613863".
- 1715646 cpu_core_0 "13.861386138613863".
- 1715679 cpu_core_0 "13.861386138613863".
- 1715833 cpu_core_0 "13.861386138613863".
- 1715942 cpu_core_0 "13.861386138613863".
- 1715952 cpu_core_0 "13.861386138613863".
- 1716057 cpu_core_0 "13.861386138613863".
- 1716247 cpu_core_0 "13.861386138613863".
- 1717210 cpu_core_0 "13.861386138613863".
- 1717452 cpu_core_0 "13.861386138613863".
- 1717757 cpu_core_0 "13.861386138613863".
- 1717894 cpu_core_0 "13.861386138613863".
- 1718109 cpu_core_0 "13.861386138613863".
- 1718425 cpu_core_0 "13.861386138613863".
- 1718564 cpu_core_0 "13.861386138613863".
- 1718672 cpu_core_0 "13.861386138613863".
- 1719136 cpu_core_0 "13.861386138613863".
- 1719159 cpu_core_0 "13.861386138613863".
- 1720209 cpu_core_0 "13.861386138613863".
- 1720232 cpu_core_0 "13.861386138613863".
- 1720336 cpu_core_0 "13.861386138613863".
- 1720399 cpu_core_0 "13.861386138613863".
- 1720821 cpu_core_0 "13.861386138613863".
- 1721063 cpu_core_0 "13.861386138613863".
- 1721154 cpu_core_0 "13.861386138613863".
- 1721240 cpu_core_0 "13.861386138613863".
- 1721633 cpu_core_0 "13.861386138613863".
- 1721754 cpu_core_0 "13.861386138613863".
- 1721961 cpu_core_0 "13.861386138613863".
- 1722350 cpu_core_0 "13.861386138613863".
- 1722530 cpu_core_0 "13.861386138613863".
- 1722867 cpu_core_0 "13.861386138613863".
- 1722875 cpu_core_0 "13.861386138613863".
- 1722940 cpu_core_0 "13.861386138613863".
- 1723649 cpu_core_0 "13.861386138613863".
- 1723772 cpu_core_0 "13.861386138613863".
- 1724550 cpu_core_0 "13.861386138613863".
- 1726199 cpu_core_0 "13.861386138613863".
- 1726453 cpu_core_0 "13.861386138613863".
- 1726585 cpu_core_0 "13.861386138613863".
- 1727366 cpu_core_0 "13.861386138613863".
- 1727509 cpu_core_0 "13.861386138613863".
- 1727615 cpu_core_0 "13.861386138613863".
- 1727661 cpu_core_0 "13.861386138613863".
- 1727793 cpu_core_0 "13.861386138613863".
- 1727859 cpu_core_0 "13.861386138613863".
- 1728263 cpu_core_0 "13.861386138613863".
- 1728266 cpu_core_0 "13.861386138613863".
- 1728275 cpu_core_0 "13.861386138613863".
- 1728373 cpu_core_0 "13.861386138613863".
- 1728455 cpu_core_0 "13.861386138613863".
- 1728569 cpu_core_0 "13.861386138613863".
- 1728807 cpu_core_0 "13.861386138613863".
- 1728820 cpu_core_0 "13.861386138613863".
- 1728833 cpu_core_0 "13.861386138613863".
- 1728856 cpu_core_0 "13.861386138613863".
- 1728924 cpu_core_0 "13.861386138613863".
- 1728926 cpu_core_0 "13.861386138613863".
- 1728956 cpu_core_0 "13.861386138613863".
- 1729238 cpu_core_0 "13.861386138613863".
- 1729305 cpu_core_0 "13.861386138613863".
- 1729310 cpu_core_0 "13.861386138613863".
- 1729319 cpu_core_0 "13.861386138613863".
- 1729414 cpu_core_0 "13.861386138613863".
- 1729495 cpu_core_0 "13.861386138613863".
- 1729536 cpu_core_0 "13.861386138613863".
- 1729594 cpu_core_0 "13.861386138613863".