Matches in ISWC2014 Benchmark for { ?s ?p 14.000000000000002. }
- 1721731 cpu_core_0 "14.000000000000002".
- 1722222 cpu_core_0 "14.000000000000002".
- 1722293 cpu_core_0 "14.000000000000002".
- 1722333 cpu_core_0 "14.000000000000002".
- 1722508 cpu_core_0 "14.000000000000002".
- 1722519 cpu_core_0 "14.000000000000002".
- 1722639 cpu_core_0 "14.000000000000002".
- 1722924 cpu_core_0 "14.000000000000002".
- 1722955 cpu_core_0 "14.000000000000002".
- 1722989 cpu_core_0 "14.000000000000002".
- 1723406 cpu_core_0 "14.000000000000002".
- 1724026 cpu_core_0 "14.000000000000002".
- 1724079 cpu_core_0 "14.000000000000002".
- 1724129 cpu_core_0 "14.000000000000002".
- 1724341 cpu_core_0 "14.000000000000002".
- 1724730 cpu_core_0 "14.000000000000002".
- 1724945 cpu_core_0 "14.000000000000002".
- 1725825 cpu_core_0 "14.000000000000002".
- 1726467 cpu_core_0 "14.000000000000002".
- 1726688 cpu_core_0 "14.000000000000002".
- 1726747 cpu_core_0 "14.000000000000002".
- 1726852 cpu_core_0 "14.000000000000002".
- 1727135 cpu_core_0 "14.000000000000002".
- 1727240 cpu_core_0 "14.000000000000002".
- 1727430 cpu_core_0 "14.000000000000002".
- 1727436 cpu_core_0 "14.000000000000002".
- 1727439 cpu_core_0 "14.000000000000002".
- 1727445 cpu_core_0 "14.000000000000002".
- 1727479 cpu_core_0 "14.000000000000002".
- 1727492 cpu_core_0 "14.000000000000002".
- 1727526 cpu_core_0 "14.000000000000002".
- 1727537 cpu_core_0 "14.000000000000002".
- 1727600 cpu_core_0 "14.000000000000002".
- 1727611 cpu_core_0 "14.000000000000002".
- 1727771 cpu_core_0 "14.000000000000002".
- 1727778 cpu_core_0 "14.000000000000002".
- 1727787 cpu_core_0 "14.000000000000002".
- 1728103 cpu_core_0 "14.000000000000002".
- 1728114 cpu_core_0 "14.000000000000002".
- 1728140 cpu_core_0 "14.000000000000002".
- 1728166 cpu_core_0 "14.000000000000002".
- 1728536 cpu_core_0 "14.000000000000002".
- 1728563 cpu_core_0 "14.000000000000002".
- 1728620 cpu_core_0 "14.000000000000002".
- 1728684 cpu_core_0 "14.000000000000002".
- 1728715 cpu_core_0 "14.000000000000002".
- 1728868 cpu_core_0 "14.000000000000002".
- 1728957 cpu_core_0 "14.000000000000002".
- 1728972 cpu_core_0 "14.000000000000002".
- 1729060 cpu_core_0 "14.000000000000002".
- 1729085 cpu_core_0 "14.000000000000002".
- 1729165 cpu_core_0 "14.000000000000002".
- 1729255 cpu_core_0 "14.000000000000002".
- 1729284 cpu_core_0 "14.000000000000002".
- 1729295 cpu_core_0 "14.000000000000002".
- 1729321 cpu_core_0 "14.000000000000002".
- 1729577 cpu_core_0 "14.000000000000002".
- 1729578 cpu_core_0 "14.000000000000002".
- 1729582 cpu_core_0 "14.000000000000002".
- 1729607 cpu_core_0 "14.000000000000002".
- 1729657 cpu_core_0 "14.000000000000002".
- 1729769 cpu_core_0 "14.000000000000002".
- 1729794 cpu_core_0 "14.000000000000002".
- 1729857 cpu_core_0 "14.000000000000002".
- 1730077 cpu_core_0 "14.000000000000002".
- 1730183 cpu_core_0 "14.000000000000002".
- 1730290 cpu_core_0 "14.000000000000002".
- 1730397 cpu_core_0 "14.000000000000002".
- 1730524 cpu_core_0 "14.000000000000002".
- 1730569 cpu_core_0 "14.000000000000002".
- 1730610 cpu_core_0 "14.000000000000002".
- 1731098 cpu_core_0 "14.000000000000002".
- 1731123 cpu_core_0 "14.000000000000002".
- 1731127 cpu_core_0 "14.000000000000002".
- 1731152 cpu_core_0 "14.000000000000002".
- 1731164 cpu_core_0 "14.000000000000002".
- 1731527 cpu_core_0 "14.000000000000002".
- 1731604 cpu_core_0 "14.000000000000002".
- 1731699 cpu_core_0 "14.000000000000002".
- 1731756 cpu_core_0 "14.000000000000002".
- 1731769 cpu_core_0 "14.000000000000002".
- 1731829 cpu_core_0 "14.000000000000002".
- 1731975 cpu_core_0 "14.000000000000002".
- 1732081 cpu_core_0 "14.000000000000002".
- 1732619 cpu_core_0 "14.000000000000002".
- 1732770 cpu_core_0 "14.000000000000002".
- 1733044 cpu_core_0 "14.000000000000002".
- 1733248 cpu_core_0 "14.000000000000002".
- 1733492 cpu_core_0 "14.000000000000002".
- 1733707 cpu_core_0 "14.000000000000002".
- 1733753 cpu_core_0 "14.000000000000002".
- 1733843 cpu_core_0 "14.000000000000002".
- 1733872 cpu_core_0 "14.000000000000002".
- 1734045 cpu_core_0 "14.000000000000002".
- 1734070 cpu_core_0 "14.000000000000002".
- 1734160 cpu_core_0 "14.000000000000002".
- 1734164 cpu_core_0 "14.000000000000002".
- 1734175 cpu_core_0 "14.000000000000002".
- 1734335 cpu_core_0 "14.000000000000002".
- 1734350 cpu_core_0 "14.000000000000002".