Matches in ISWC2014 Benchmark for { ?s ?p 14.000000000000002. }
- 1742705 cpu_core_0 "14.000000000000002".
- 1742709 cpu_core_0 "14.000000000000002".
- 1743063 cpu_core_0 "14.000000000000002".
- 1743172 cpu_core_0 "14.000000000000002".
- 1743283 cpu_core_0 "14.000000000000002".
- 1743533 cpu_core_0 "14.000000000000002".
- 1743921 cpu_core_0 "14.000000000000002".
- 1744011 cpu_core_0 "14.000000000000002".
- 1744173 cpu_core_0 "14.000000000000002".
- 1744752 cpu_core_0 "14.000000000000002".
- 1744893 cpu_core_0 "14.000000000000002".
- 1745543 cpu_core_0 "14.000000000000002".
- 1745601 cpu_core_0 "14.000000000000002".
- 1745710 cpu_core_0 "14.000000000000002".
- 1745798 cpu_core_0 "14.000000000000002".
- 1745902 cpu_core_0 "14.000000000000002".
- 1746193 cpu_core_0 "14.000000000000002".
- 1746328 cpu_core_0 "14.000000000000002".
- 1746534 cpu_core_0 "14.000000000000002".
- 1746612 cpu_core_0 "14.000000000000002".
- 1746697 cpu_core_0 "14.000000000000002".
- 1746933 cpu_core_0 "14.000000000000002".
- 1746976 cpu_core_0 "14.000000000000002".
- 1746977 cpu_core_0 "14.000000000000002".
- 1747015 cpu_core_0 "14.000000000000002".
- 1747127 cpu_core_0 "14.000000000000002".
- 1747299 cpu_core_0 "14.000000000000002".
- 1747627 cpu_core_0 "14.000000000000002".
- 1747639 cpu_core_0 "14.000000000000002".
- 1747693 cpu_core_0 "14.000000000000002".
- 1747756 cpu_core_0 "14.000000000000002".
- 1747863 cpu_core_0 "14.000000000000002".
- 1748013 cpu_core_0 "14.000000000000002".
- 1748212 cpu_core_0 "14.000000000000002".
- 1748372 cpu_core_0 "14.000000000000002".
- 1748585 cpu_core_0 "14.000000000000002".
- 1748612 cpu_core_0 "14.000000000000002".
- 1748613 cpu_core_0 "14.000000000000002".
- 1748649 cpu_core_0 "14.000000000000002".
- 1749141 cpu_core_0 "14.000000000000002".
- 1749269 cpu_core_0 "14.000000000000002".
- 1749985 cpu_core_0 "14.000000000000002".
- 1750144 cpu_core_0 "14.000000000000002".
- 1750583 cpu_core_0 "14.000000000000002".
- 1750953 cpu_core_0 "14.000000000000002".
- 1751224 cpu_core_0 "14.000000000000002".
- 1751285 cpu_core_0 "14.000000000000002".
- 1751340 cpu_core_0 "14.000000000000002".
- 1751457 cpu_core_0 "14.000000000000002".
- 1751530 cpu_core_0 "14.000000000000002".
- 1751554 cpu_core_0 "14.000000000000002".
- 1751569 cpu_core_0 "14.000000000000002".
- 1751597 cpu_core_0 "14.000000000000002".
- 1751698 cpu_core_0 "14.000000000000002".
- 1751835 cpu_core_0 "14.000000000000002".
- 1751880 cpu_core_0 "14.000000000000002".
- 1751998 cpu_core_0 "14.000000000000002".
- 1752006 cpu_core_0 "14.000000000000002".
- 1752023 cpu_core_0 "14.000000000000002".
- 1752068 cpu_core_0 "14.000000000000002".
- 1752119 cpu_core_0 "14.000000000000002".
- 1752122 cpu_core_0 "14.000000000000002".
- 1752165 cpu_core_0 "14.000000000000002".
- 1752295 cpu_core_0 "14.000000000000002".
- 1752494 cpu_core_0 "14.000000000000002".
- 1752503 cpu_core_0 "14.000000000000002".
- 1752519 cpu_core_0 "14.000000000000002".
- 1752546 cpu_core_0 "14.000000000000002".
- 1752549 cpu_core_0 "14.000000000000002".
- 1752599 cpu_core_0 "14.000000000000002".
- 1752639 cpu_core_0 "14.000000000000002".
- 1752648 cpu_core_0 "14.000000000000002".
- 1752814 cpu_core_0 "14.000000000000002".
- 1753031 cpu_core_0 "14.000000000000002".
- 1753133 cpu_core_0 "14.000000000000002".
- 1753144 cpu_core_0 "14.000000000000002".
- 1753159 cpu_core_0 "14.000000000000002".
- 1753592 cpu_core_0 "14.000000000000002".
- 1753610 cpu_core_0 "14.000000000000002".
- 1753638 cpu_core_0 "14.000000000000002".
- 1753749 cpu_core_0 "14.000000000000002".
- 1753838 cpu_core_0 "14.000000000000002".
- 1753863 cpu_core_0 "14.000000000000002".
- 1753865 cpu_core_0 "14.000000000000002".
- 1753932 cpu_core_0 "14.000000000000002".
- 1753953 cpu_core_0 "14.000000000000002".
- 1754220 cpu_core_0 "14.000000000000002".
- 1754243 cpu_core_0 "14.000000000000002".
- 1754254 cpu_core_0 "14.000000000000002".
- 1754423 cpu_core_0 "14.000000000000002".
- 1754426 cpu_core_0 "14.000000000000002".
- 1754528 cpu_core_0 "14.000000000000002".
- 1754548 cpu_core_0 "14.000000000000002".
- 1754573 cpu_core_0 "14.000000000000002".
- 1754604 cpu_core_0 "14.000000000000002".
- 1755286 cpu_core_0 "14.000000000000002".
- 1755300 cpu_core_0 "14.000000000000002".
- 1755408 cpu_core_0 "14.000000000000002".
- 1755618 cpu_core_0 "14.000000000000002".
- 1755982 cpu_core_0 "14.000000000000002".