Matches in ISWC2014 Benchmark for { ?s ?p 14.000000000000002. }
- 1774542 cpu_core_0 "14.000000000000002".
- 1774576 cpu_core_0 "14.000000000000002".
- 1774601 cpu_core_0 "14.000000000000002".
- 1774604 cpu_core_0 "14.000000000000002".
- 1774609 cpu_core_0 "14.000000000000002".
- 1774615 cpu_core_0 "14.000000000000002".
- 1774661 cpu_core_0 "14.000000000000002".
- 1774678 cpu_core_0 "14.000000000000002".
- 1774710 cpu_core_0 "14.000000000000002".
- 1774798 cpu_core_0 "14.000000000000002".
- 1774941 cpu_core_0 "14.000000000000002".
- 1775116 cpu_core_0 "14.000000000000002".
- 1775266 cpu_core_0 "14.000000000000002".
- 1775269 cpu_core_0 "14.000000000000002".
- 1775385 cpu_core_0 "14.000000000000002".
- 1775386 cpu_core_0 "14.000000000000002".
- 1775512 cpu_core_0 "14.000000000000002".
- 1775522 cpu_core_0 "14.000000000000002".
- 1775591 cpu_core_0 "14.000000000000002".
- 1775632 cpu_core_0 "14.000000000000002".
- 1775638 cpu_core_0 "14.000000000000002".
- 1775671 cpu_core_0 "14.000000000000002".
- 1775688 cpu_core_0 "14.000000000000002".
- 1775745 cpu_core_0 "14.000000000000002".
- 1775794 cpu_core_0 "14.000000000000002".
- 1775807 cpu_core_0 "14.000000000000002".
- 1775818 cpu_core_0 "14.000000000000002".
- 1775820 cpu_core_0 "14.000000000000002".
- 1775826 cpu_core_0 "14.000000000000002".
- 1776059 cpu_core_0 "14.000000000000002".
- 1776067 cpu_core_0 "14.000000000000002".
- 1776069 cpu_core_0 "14.000000000000002".
- 1776102 cpu_core_0 "14.000000000000002".
- 1776168 cpu_core_0 "14.000000000000002".
- 1776173 cpu_core_0 "14.000000000000002".
- 1776176 cpu_core_0 "14.000000000000002".
- 1776190 cpu_core_0 "14.000000000000002".
- 1776227 cpu_core_0 "14.000000000000002".
- 1776247 cpu_core_0 "14.000000000000002".
- 1776319 cpu_core_0 "14.000000000000002".
- 1776346 cpu_core_0 "14.000000000000002".
- 1776490 cpu_core_0 "14.000000000000002".
- 1776541 cpu_core_0 "14.000000000000002".
- 1776732 cpu_core_0 "14.000000000000002".
- 1776897 cpu_core_0 "14.000000000000002".
- 1776902 cpu_core_0 "14.000000000000002".
- 1776921 cpu_core_0 "14.000000000000002".
- 1777024 cpu_core_0 "14.000000000000002".
- 1777025 cpu_core_0 "14.000000000000002".
- 1777601 cpu_core_0 "14.000000000000002".
- 1777636 cpu_core_0 "14.000000000000002".
- 1777923 cpu_core_0 "14.000000000000002".
- 1777997 cpu_core_0 "14.000000000000002".
- 1778059 cpu_core_0 "14.000000000000002".
- 1778105 cpu_core_0 "14.000000000000002".
- 1778279 cpu_core_0 "14.000000000000002".
- 1778436 cpu_core_0 "14.000000000000002".
- 1778487 cpu_core_0 "14.000000000000002".
- 1778552 cpu_core_0 "14.000000000000002".
- 1778777 cpu_core_0 "14.000000000000002".
- 1778788 cpu_core_0 "14.000000000000002".
- 1779911 cpu_core_0 "14.000000000000002".
- 1779990 cpu_core_0 "14.000000000000002".
- 1780022 cpu_core_0 "14.000000000000002".
- 1780174 cpu_core_0 "14.000000000000002".
- 1780321 cpu_core_0 "14.000000000000002".
- 1780404 cpu_core_0 "14.000000000000002".
- 1780449 cpu_core_0 "14.000000000000002".
- 1780496 cpu_core_0 "14.000000000000002".
- 1780630 cpu_core_0 "14.000000000000002".
- 1780762 cpu_core_0 "14.000000000000002".
- 1780807 cpu_core_0 "14.000000000000002".
- 1780811 cpu_core_0 "14.000000000000002".
- 1780832 cpu_core_0 "14.000000000000002".
- 1780859 cpu_core_0 "14.000000000000002".
- 1780885 cpu_core_0 "14.000000000000002".
- 1780989 cpu_core_0 "14.000000000000002".
- 1781091 cpu_core_0 "14.000000000000002".
- 1781102 cpu_core_0 "14.000000000000002".
- 1781162 cpu_core_0 "14.000000000000002".
- 1781404 cpu_core_0 "14.000000000000002".
- 1781528 cpu_core_0 "14.000000000000002".
- 1781534 cpu_core_0 "14.000000000000002".
- 1781588 cpu_core_0 "14.000000000000002".
- 1781709 cpu_core_0 "14.000000000000002".
- 1781721 cpu_core_0 "14.000000000000002".
- 1781779 cpu_core_0 "14.000000000000002".
- 1781853 cpu_core_0 "14.000000000000002".
- 1782025 cpu_core_0 "14.000000000000002".
- 1782130 cpu_core_0 "14.000000000000002".
- 1782146 cpu_core_0 "14.000000000000002".
- 1782245 cpu_core_0 "14.000000000000002".
- 1782373 cpu_core_0 "14.000000000000002".
- 1782389 cpu_core_0 "14.000000000000002".
- 1782446 cpu_core_0 "14.000000000000002".
- 1782561 cpu_core_0 "14.000000000000002".
- 1782636 cpu_core_0 "14.000000000000002".
- 1782776 cpu_core_0 "14.000000000000002".
- 1782909 cpu_core_0 "14.000000000000002".
- 1783014 cpu_core_0 "14.000000000000002".