Matches in ISWC2014 Benchmark for { ?s ?p 14.000000000000002. }
- 1803622 cpu_core_0 "14.000000000000002".
- 1803647 cpu_core_0 "14.000000000000002".
- 1803999 cpu_core_0 "14.000000000000002".
- 1804019 cpu_core_0 "14.000000000000002".
- 1804082 cpu_core_0 "14.000000000000002".
- 1804191 cpu_core_0 "14.000000000000002".
- 1804243 cpu_core_0 "14.000000000000002".
- 1804609 cpu_core_0 "14.000000000000002".
- 1804708 cpu_core_0 "14.000000000000002".
- 1804715 cpu_core_0 "14.000000000000002".
- 1804903 cpu_core_0 "14.000000000000002".
- 1804977 cpu_core_0 "14.000000000000002".
- 1804980 cpu_core_0 "14.000000000000002".
- 1805026 cpu_core_0 "14.000000000000002".
- 1805077 cpu_core_0 "14.000000000000002".
- 1805079 cpu_core_0 "14.000000000000002".
- 1805127 cpu_core_0 "14.000000000000002".
- 1805129 cpu_core_0 "14.000000000000002".
- 1805209 cpu_core_0 "14.000000000000002".
- 1805260 cpu_core_0 "14.000000000000002".
- 1805301 cpu_core_0 "14.000000000000002".
- 1805322 cpu_core_0 "14.000000000000002".
- 1805327 cpu_core_0 "14.000000000000002".
- 1805329 cpu_core_0 "14.000000000000002".
- 1805397 cpu_core_0 "14.000000000000002".
- 1805783 cpu_core_0 "14.000000000000002".
- 1805786 cpu_core_0 "14.000000000000002".
- 1805787 cpu_core_0 "14.000000000000002".
- 1805795 cpu_core_0 "14.000000000000002".
- 1806037 cpu_core_0 "14.000000000000002".
- 1806052 cpu_core_0 "14.000000000000002".
- 1806331 cpu_core_0 "14.000000000000002".
- 1806456 cpu_core_0 "14.000000000000002".
- 1807177 cpu_core_0 "14.000000000000002".
- 1807571 cpu_core_0 "14.000000000000002".
- 1807628 cpu_core_0 "14.000000000000002".
- 1807749 cpu_core_0 "14.000000000000002".
- 1808161 cpu_core_0 "14.000000000000002".
- 1808787 cpu_core_0 "14.000000000000002".
- 1809077 cpu_core_0 "14.000000000000002".
- 1809368 cpu_core_0 "14.000000000000002".
- 1810444 cpu_core_0 "14.000000000000002".
- 1810618 cpu_core_0 "14.000000000000002".
- 1810741 cpu_core_0 "14.000000000000002".
- 1810927 cpu_core_0 "14.000000000000002".
- 1810953 cpu_core_0 "14.000000000000002".
- 1811018 cpu_core_0 "14.000000000000002".
- 1811129 cpu_core_0 "14.000000000000002".
- 1811270 cpu_core_0 "14.000000000000002".
- 1811382 cpu_core_0 "14.000000000000002".
- 1811411 cpu_core_0 "14.000000000000002".
- 1811535 cpu_core_0 "14.000000000000002".
- 1811584 cpu_core_0 "14.000000000000002".
- 1811592 cpu_core_0 "14.000000000000002".
- 1811607 cpu_core_0 "14.000000000000002".
- 1811629 cpu_core_0 "14.000000000000002".
- 1811661 cpu_core_0 "14.000000000000002".
- 1811715 cpu_core_0 "14.000000000000002".
- 1811723 cpu_core_0 "14.000000000000002".
- 1811820 cpu_core_0 "14.000000000000002".
- 1811835 cpu_core_0 "14.000000000000002".
- 1811844 cpu_core_0 "14.000000000000002".
- 1812182 cpu_core_0 "14.000000000000002".
- 1812222 cpu_core_0 "14.000000000000002".
- 1812324 cpu_core_0 "14.000000000000002".
- 1812335 cpu_core_0 "14.000000000000002".
- 1812432 cpu_core_0 "14.000000000000002".
- 1812669 cpu_core_0 "14.000000000000002".
- 1812671 cpu_core_0 "14.000000000000002".
- 1812754 cpu_core_0 "14.000000000000002".
- 1812769 cpu_core_0 "14.000000000000002".
- 1812800 cpu_core_0 "14.000000000000002".
- 1812852 cpu_core_0 "14.000000000000002".
- 1812923 cpu_core_0 "14.000000000000002".
- 1812941 cpu_core_0 "14.000000000000002".
- 1813084 cpu_core_0 "14.000000000000002".
- 1813156 cpu_core_0 "14.000000000000002".
- 1813303 cpu_core_0 "14.000000000000002".
- 1813346 cpu_core_0 "14.000000000000002".
- 1813432 cpu_core_0 "14.000000000000002".
- 1813635 cpu_core_0 "14.000000000000002".
- 1813696 cpu_core_0 "14.000000000000002".
- 1813700 cpu_core_0 "14.000000000000002".
- 1813719 cpu_core_0 "14.000000000000002".
- 1814082 cpu_core_0 "14.000000000000002".
- 1814228 cpu_core_0 "14.000000000000002".
- 1814298 cpu_core_0 "14.000000000000002".
- 1814528 cpu_core_0 "14.000000000000002".
- 1814665 cpu_core_0 "14.000000000000002".
- 1814732 cpu_core_0 "14.000000000000002".
- 1814773 cpu_core_0 "14.000000000000002".
- 1814894 cpu_core_0 "14.000000000000002".
- 1814977 cpu_core_0 "14.000000000000002".
- 1815234 cpu_core_0 "14.000000000000002".
- 1815339 cpu_core_0 "14.000000000000002".
- 1815632 cpu_core_0 "14.000000000000002".
- 1815695 cpu_core_0 "14.000000000000002".
- 1816195 cpu_core_0 "14.000000000000002".
- 1816259 cpu_core_0 "14.000000000000002".
- 1816276 cpu_core_0 "14.000000000000002".