Matches in ISWC2014 Benchmark for { ?s ?p 13.861386138613863. }
- 1729677 cpu_core_0 "13.861386138613863".
- 1729721 cpu_core_0 "13.861386138613863".
- 1729797 cpu_core_0 "13.861386138613863".
- 1730202 cpu_core_0 "13.861386138613863".
- 1730416 cpu_core_0 "13.861386138613863".
- 1730578 cpu_core_0 "13.861386138613863".
- 1731381 cpu_core_0 "13.861386138613863".
- 1731395 cpu_core_0 "13.861386138613863".
- 1731872 cpu_core_0 "13.861386138613863".
- 1732143 cpu_core_0 "13.861386138613863".
- 1732442 cpu_core_0 "13.861386138613863".
- 1732616 cpu_core_0 "13.861386138613863".
- 1733692 cpu_core_0 "13.861386138613863".
- 1733740 cpu_core_0 "13.861386138613863".
- 1734290 cpu_core_0 "13.861386138613863".
- 1734412 cpu_core_0 "13.861386138613863".
- 1734532 cpu_core_0 "13.861386138613863".
- 1734595 cpu_core_0 "13.861386138613863".
- 1734698 cpu_core_0 "13.861386138613863".
- 1734771 cpu_core_0 "13.861386138613863".
- 1734793 cpu_core_0 "13.861386138613863".
- 1734805 cpu_core_0 "13.861386138613863".
- 1734977 cpu_core_0 "13.861386138613863".
- 1735014 cpu_core_0 "13.861386138613863".
- 1735277 cpu_core_0 "13.861386138613863".
- 1735488 cpu_core_0 "13.861386138613863".
- 1735522 cpu_core_0 "13.861386138613863".
- 1735570 cpu_core_0 "13.861386138613863".
- 1735920 cpu_core_0 "13.861386138613863".
- 1735960 cpu_core_0 "13.861386138613863".
- 1736007 cpu_core_0 "13.861386138613863".
- 1736024 cpu_core_0 "13.861386138613863".
- 1736267 cpu_core_0 "13.861386138613863".
- 1736291 cpu_core_0 "13.861386138613863".
- 1736351 cpu_core_0 "13.861386138613863".
- 1736412 cpu_core_0 "13.861386138613863".
- 1736633 cpu_core_0 "13.861386138613863".
- 1736899 cpu_core_0 "13.861386138613863".
- 1737104 cpu_core_0 "13.861386138613863".
- 1737110 cpu_core_0 "13.861386138613863".
- 1737443 cpu_core_0 "13.861386138613863".
- 1737683 cpu_core_0 "13.861386138613863".
- 1737841 cpu_core_0 "13.861386138613863".
- 1737860 cpu_core_0 "13.861386138613863".
- 1737985 cpu_core_0 "13.861386138613863".
- 1738052 cpu_core_0 "13.861386138613863".
- 1738100 cpu_core_0 "13.861386138613863".
- 1738302 cpu_core_0 "13.861386138613863".
- 1738379 cpu_core_0 "13.861386138613863".
- 1738425 cpu_core_0 "13.861386138613863".
- 1738583 cpu_core_0 "13.861386138613863".
- 1738634 cpu_core_0 "13.861386138613863".
- 1738940 cpu_core_0 "13.861386138613863".
- 1738986 cpu_core_0 "13.861386138613863".
- 1739464 cpu_core_0 "13.861386138613863".
- 1739583 cpu_core_0 "13.861386138613863".
- 1739721 cpu_core_0 "13.861386138613863".
- 1739812 cpu_core_0 "13.861386138613863".
- 1739842 cpu_core_0 "13.861386138613863".
- 1739896 cpu_core_0 "13.861386138613863".
- 1740038 cpu_core_0 "13.861386138613863".
- 1740257 cpu_core_0 "13.861386138613863".
- 1740371 cpu_core_0 "13.861386138613863".
- 1740435 cpu_core_0 "13.861386138613863".
- 1740605 cpu_core_0 "13.861386138613863".
- 1740839 cpu_core_0 "13.861386138613863".
- 1741256 cpu_core_0 "13.861386138613863".
- 1741259 cpu_core_0 "13.861386138613863".
- 1741347 cpu_core_0 "13.861386138613863".
- 1741477 cpu_core_0 "13.861386138613863".
- 1741515 cpu_core_0 "13.861386138613863".
- 1741877 cpu_core_0 "13.861386138613863".
- 1741883 cpu_core_0 "13.861386138613863".
- 1742063 cpu_core_0 "13.861386138613863".
- 1742081 cpu_core_0 "13.861386138613863".
- 1742119 cpu_core_0 "13.861386138613863".
- 1742199 cpu_core_0 "13.861386138613863".
- 1742296 cpu_core_0 "13.861386138613863".
- 1742334 cpu_core_0 "13.861386138613863".
- 1742438 cpu_core_0 "13.861386138613863".
- 1742450 cpu_core_0 "13.861386138613863".
- 1742642 cpu_core_0 "13.861386138613863".
- 1743309 cpu_core_0 "13.861386138613863".
- 1743426 cpu_core_0 "13.861386138613863".
- 1743561 cpu_core_0 "13.861386138613863".
- 1743681 cpu_core_0 "13.861386138613863".
- 1744050 cpu_core_0 "13.861386138613863".
- 1744379 cpu_core_0 "13.861386138613863".
- 1744852 cpu_core_0 "13.861386138613863".
- 1745623 cpu_core_0 "13.861386138613863".
- 1745900 cpu_core_0 "13.861386138613863".
- 1745932 cpu_core_0 "13.861386138613863".
- 1746189 cpu_core_0 "13.861386138613863".
- 1746222 cpu_core_0 "13.861386138613863".
- 1746283 cpu_core_0 "13.861386138613863".
- 1746490 cpu_core_0 "13.861386138613863".
- 1746498 cpu_core_0 "13.861386138613863".
- 1747183 cpu_core_0 "13.861386138613863".
- 1747256 cpu_core_0 "13.861386138613863".
- 1747406 cpu_core_0 "13.861386138613863".