Matches in ISWC2014 Benchmark for { ?s ?p 14.000000000000002. }
- 1783025 cpu_core_0 "14.000000000000002".
- 1783140 cpu_core_0 "14.000000000000002".
- 1783216 cpu_core_0 "14.000000000000002".
- 1783294 cpu_core_0 "14.000000000000002".
- 1783315 cpu_core_0 "14.000000000000002".
- 1783411 cpu_core_0 "14.000000000000002".
- 1783513 cpu_core_0 "14.000000000000002".
- 1783573 cpu_core_0 "14.000000000000002".
- 1783603 cpu_core_0 "14.000000000000002".
- 1783626 cpu_core_0 "14.000000000000002".
- 1783843 cpu_core_0 "14.000000000000002".
- 1783978 cpu_core_0 "14.000000000000002".
- 1784180 cpu_core_0 "14.000000000000002".
- 1784352 cpu_core_0 "14.000000000000002".
- 1784370 cpu_core_0 "14.000000000000002".
- 1784405 cpu_core_0 "14.000000000000002".
- 1784452 cpu_core_0 "14.000000000000002".
- 1784788 cpu_core_0 "14.000000000000002".
- 1784831 cpu_core_0 "14.000000000000002".
- 1785224 cpu_core_0 "14.000000000000002".
- 1785625 cpu_core_0 "14.000000000000002".
- 1785830 cpu_core_0 "14.000000000000002".
- 1785853 cpu_core_0 "14.000000000000002".
- 1785916 cpu_core_0 "14.000000000000002".
- 1785969 cpu_core_0 "14.000000000000002".
- 1786057 cpu_core_0 "14.000000000000002".
- 1786146 cpu_core_0 "14.000000000000002".
- 1786209 cpu_core_0 "14.000000000000002".
- 1786284 cpu_core_0 "14.000000000000002".
- 1786317 cpu_core_0 "14.000000000000002".
- 1786407 cpu_core_0 "14.000000000000002".
- 1786660 cpu_core_0 "14.000000000000002".
- 1786711 cpu_core_0 "14.000000000000002".
- 1786764 cpu_core_0 "14.000000000000002".
- 1786868 cpu_core_0 "14.000000000000002".
- 1787271 cpu_core_0 "14.000000000000002".
- 1787292 cpu_core_0 "14.000000000000002".
- 1787306 cpu_core_0 "14.000000000000002".
- 1787310 cpu_core_0 "14.000000000000002".
- 1787353 cpu_core_0 "14.000000000000002".
- 1787419 cpu_core_0 "14.000000000000002".
- 1787465 cpu_core_0 "14.000000000000002".
- 1787544 cpu_core_0 "14.000000000000002".
- 1787659 cpu_core_0 "14.000000000000002".
- 1787790 cpu_core_0 "14.000000000000002".
- 1787966 cpu_core_0 "14.000000000000002".
- 1787976 cpu_core_0 "14.000000000000002".
- 1788444 cpu_core_0 "14.000000000000002".
- 1788544 cpu_core_0 "14.000000000000002".
- 1788619 cpu_core_0 "14.000000000000002".
- 1788677 cpu_core_0 "14.000000000000002".
- 1788718 cpu_core_0 "14.000000000000002".
- 1788866 cpu_core_0 "14.000000000000002".
- 1788928 cpu_core_0 "14.000000000000002".
- 1789106 cpu_core_0 "14.000000000000002".
- 1789333 cpu_core_0 "14.000000000000002".
- 1789587 cpu_core_0 "14.000000000000002".
- 1789638 cpu_core_0 "14.000000000000002".
- 1789908 cpu_core_0 "14.000000000000002".
- 1790008 cpu_core_0 "14.000000000000002".
- 1790172 cpu_core_0 "14.000000000000002".
- 1790718 cpu_core_0 "14.000000000000002".
- 1790762 cpu_core_0 "14.000000000000002".
- 1791201 cpu_core_0 "14.000000000000002".
- 1791222 cpu_core_0 "14.000000000000002".
- 1791341 cpu_core_0 "14.000000000000002".
- 1791447 cpu_core_0 "14.000000000000002".
- 1791655 cpu_core_0 "14.000000000000002".
- 1791686 cpu_core_0 "14.000000000000002".
- 1791770 cpu_core_0 "14.000000000000002".
- 1791791 cpu_core_0 "14.000000000000002".
- 1791866 cpu_core_0 "14.000000000000002".
- 1791881 cpu_core_0 "14.000000000000002".
- 1791940 cpu_core_0 "14.000000000000002".
- 1791991 cpu_core_0 "14.000000000000002".
- 1792000 cpu_core_0 "14.000000000000002".
- 1792223 cpu_core_0 "14.000000000000002".
- 1792369 cpu_core_0 "14.000000000000002".
- 1792433 cpu_core_0 "14.000000000000002".
- 1792462 cpu_core_0 "14.000000000000002".
- 1792609 cpu_core_0 "14.000000000000002".
- 1792717 cpu_core_0 "14.000000000000002".
- 1792725 cpu_core_0 "14.000000000000002".
- 1792874 cpu_core_0 "14.000000000000002".
- 1793013 cpu_core_0 "14.000000000000002".
- 1793155 cpu_core_0 "14.000000000000002".
- 1793182 cpu_core_0 "14.000000000000002".
- 1793212 cpu_core_0 "14.000000000000002".
- 1793323 cpu_core_0 "14.000000000000002".
- 1793339 cpu_core_0 "14.000000000000002".
- 1793368 cpu_core_0 "14.000000000000002".
- 1793443 cpu_core_0 "14.000000000000002".
- 1793460 cpu_core_0 "14.000000000000002".
- 1793570 cpu_core_0 "14.000000000000002".
- 1793599 cpu_core_0 "14.000000000000002".
- 1793613 cpu_core_0 "14.000000000000002".
- 1793741 cpu_core_0 "14.000000000000002".
- 1793786 cpu_core_0 "14.000000000000002".
- 1793848 cpu_core_0 "14.000000000000002".
- 1793875 cpu_core_0 "14.000000000000002".