Matches in ISWC2014 Benchmark for { ?s ?p 14.285714285714285. }
- 1774455 cpu_core_0 "14.285714285714285".
- 1774487 cpu_core_0 "14.285714285714285".
- 1774550 cpu_core_0 "14.285714285714285".
- 1774797 cpu_core_0 "14.285714285714285".
- 1775149 cpu_core_0 "14.285714285714285".
- 1775272 cpu_core_0 "14.285714285714285".
- 1775411 cpu_core_0 "14.285714285714285".
- 1775477 cpu_core_0 "14.285714285714285".
- 1775874 cpu_core_0 "14.285714285714285".
- 1775919 cpu_core_0 "14.285714285714285".
- 1776128 cpu_core_0 "14.285714285714285".
- 1776314 cpu_core_0 "14.285714285714285".
- 1776318 cpu_core_0 "14.285714285714285".
- 1776377 cpu_core_0 "14.285714285714285".
- 1776786 cpu_core_0 "14.285714285714285".
- 1776881 cpu_core_0 "14.285714285714285".
- 1777266 cpu_core_0 "14.285714285714285".
- 1777275 cpu_core_0 "14.285714285714285".
- 1778087 cpu_core_0 "14.285714285714285".
- 1778228 cpu_core_0 "14.285714285714285".
- 1778291 cpu_core_0 "14.285714285714285".
- 1778404 cpu_core_0 "14.285714285714285".
- 1778705 cpu_core_0 "14.285714285714285".
- 1778802 cpu_core_0 "14.285714285714285".
- 1778905 cpu_core_0 "14.285714285714285".
- 1778944 cpu_core_0 "14.285714285714285".
- 1779054 cpu_core_0 "14.285714285714285".
- 1779300 cpu_core_0 "14.285714285714285".
- 1779616 cpu_core_0 "14.285714285714285".
- 1779854 cpu_core_0 "14.285714285714285".
- 1780203 cpu_core_0 "14.285714285714285".
- 1780233 cpu_core_0 "14.285714285714285".
- 1780736 cpu_core_0 "14.285714285714285".
- 1780955 cpu_core_0 "14.285714285714285".
- 1780982 cpu_core_0 "14.285714285714285".
- 1781313 cpu_core_0 "14.285714285714285".
- 1781377 cpu_core_0 "14.285714285714285".
- 1781670 cpu_core_0 "14.285714285714285".
- 1781687 cpu_core_0 "14.285714285714285".
- 1782134 cpu_core_0 "14.285714285714285".
- 1782365 cpu_core_0 "14.285714285714285".
- 1782558 cpu_core_0 "14.285714285714285".
- 1782566 cpu_core_0 "14.285714285714285".
- 1782622 cpu_core_0 "14.285714285714285".
- 1782782 cpu_core_0 "14.285714285714285".
- 1783042 cpu_core_0 "14.285714285714285".
- 1783212 cpu_core_0 "14.285714285714285".
- 1783393 cpu_core_0 "14.285714285714285".
- 1783419 cpu_core_0 "14.285714285714285".
- 1783528 cpu_core_0 "14.285714285714285".
- 1783577 cpu_core_0 "14.285714285714285".
- 1784562 cpu_core_0 "14.285714285714285".
- 1784828 cpu_core_0 "14.285714285714285".
- 1785223 cpu_core_0 "14.285714285714285".
- 1785500 cpu_core_0 "14.285714285714285".
- 1785833 cpu_core_0 "14.285714285714285".
- 1786081 cpu_core_0 "14.285714285714285".
- 1786357 cpu_core_0 "14.285714285714285".
- 1786983 cpu_core_0 "14.285714285714285".
- 1787505 cpu_core_0 "14.285714285714285".
- 1787559 cpu_core_0 "14.285714285714285".
- 1787726 cpu_core_0 "14.285714285714285".
- 1787907 cpu_core_0 "14.285714285714285".
- 1788143 cpu_core_0 "14.285714285714285".
- 1788160 cpu_core_0 "14.285714285714285".
- 1788384 cpu_core_0 "14.285714285714285".
- 1788811 cpu_core_0 "14.285714285714285".
- 1788865 cpu_core_0 "14.285714285714285".
- 1789062 cpu_core_0 "14.285714285714285".
- 1789103 cpu_core_0 "14.285714285714285".
- 1789306 cpu_core_0 "14.285714285714285".
- 1789476 cpu_core_0 "14.285714285714285".
- 1789532 cpu_core_0 "14.285714285714285".
- 1789568 cpu_core_0 "14.285714285714285".
- 1789845 cpu_core_0 "14.285714285714285".
- 1790006 cpu_core_0 "14.285714285714285".
- 1790169 cpu_core_0 "14.285714285714285".
- 1790804 cpu_core_0 "14.285714285714285".
- 1791189 cpu_core_0 "14.285714285714285".
- 1791860 cpu_core_0 "14.285714285714285".
- 1791924 cpu_core_0 "14.285714285714285".
- 1791981 cpu_core_0 "14.285714285714285".
- 1792026 cpu_core_0 "14.285714285714285".
- 1792099 cpu_core_0 "14.285714285714285".
- 1792220 cpu_core_0 "14.285714285714285".
- 1792269 cpu_core_0 "14.285714285714285".
- 1792504 cpu_core_0 "14.285714285714285".
- 1792592 cpu_core_0 "14.285714285714285".
- 1792597 cpu_core_0 "14.285714285714285".
- 1792661 cpu_core_0 "14.285714285714285".
- 1793071 cpu_core_0 "14.285714285714285".
- 1793331 cpu_core_0 "14.285714285714285".
- 1793449 cpu_core_0 "14.285714285714285".
- 1793711 cpu_core_0 "14.285714285714285".
- 1793758 cpu_core_0 "14.285714285714285".
- 1793904 cpu_core_0 "14.285714285714285".
- 1793914 cpu_core_0 "14.285714285714285".
- 1793965 cpu_core_0 "14.285714285714285".
- 1794150 cpu_core_0 "14.285714285714285".
- 1794227 cpu_core_0 "14.285714285714285".