Matches in ISWC2014 Benchmark for { ?s ?p 5.940594059405941. }
- 1727789 cpu_core_0 "5.940594059405941".
- 1727838 cpu_core_0 "5.940594059405941".
- 1728027 cpu_core_0 "5.940594059405941".
- 1728368 cpu_core_0 "5.940594059405941".
- 1728798 cpu_core_0 "5.940594059405941".
- 1729499 cpu_core_0 "5.940594059405941".
- 1730078 cpu_core_0 "5.940594059405941".
- 1730437 cpu_core_0 "5.940594059405941".
- 1731137 cpu_core_0 "5.940594059405941".
- 1731293 cpu_core_0 "5.940594059405941".
- 1731419 cpu_core_0 "5.940594059405941".
- 1731449 cpu_core_0 "5.940594059405941".
- 1731631 cpu_core_0 "5.940594059405941".
- 1731690 cpu_core_0 "5.940594059405941".
- 1731704 cpu_core_0 "5.940594059405941".
- 1732045 cpu_core_0 "5.940594059405941".
- 1732195 cpu_core_0 "5.940594059405941".
- 1732244 cpu_core_0 "5.940594059405941".
- 1732297 cpu_core_0 "5.940594059405941".
- 1732327 cpu_core_0 "5.940594059405941".
- 1732439 cpu_core_0 "5.940594059405941".
- 1732479 cpu_core_0 "5.940594059405941".
- 1732488 cpu_core_0 "5.940594059405941".
- 1732492 cpu_core_0 "5.940594059405941".
- 1732685 cpu_core_0 "5.940594059405941".
- 1732690 cpu_core_0 "5.940594059405941".
- 1732765 cpu_core_0 "5.940594059405941".
- 1732812 cpu_core_0 "5.940594059405941".
- 1733010 cpu_core_0 "5.940594059405941".
- 1733038 cpu_core_0 "5.940594059405941".
- 1733060 cpu_core_0 "5.940594059405941".
- 1733132 cpu_core_0 "5.940594059405941".
- 1733278 cpu_core_0 "5.940594059405941".
- 1733693 cpu_core_0 "5.940594059405941".
- 1733744 cpu_core_0 "5.940594059405941".
- 1733829 cpu_core_0 "5.940594059405941".
- 1734159 cpu_core_0 "5.940594059405941".
- 1734645 cpu_core_0 "5.940594059405941".
- 1735174 cpu_core_0 "5.940594059405941".
- 1735239 cpu_core_0 "5.940594059405941".
- 1735825 cpu_core_0 "5.940594059405941".
- 1735848 cpu_core_0 "5.940594059405941".
- 1735981 cpu_core_0 "5.940594059405941".
- 1735987 cpu_core_0 "5.940594059405941".
- 1735989 cpu_core_0 "5.940594059405941".
- 1735995 cpu_core_0 "5.940594059405941".
- 1736138 cpu_core_0 "5.940594059405941".
- 1736414 cpu_core_0 "5.940594059405941".
- 1737062 cpu_core_0 "5.940594059405941".
- 1737253 cpu_core_0 "5.940594059405941".
- 1737588 cpu_core_0 "5.940594059405941".
- 1737589 cpu_core_0 "5.940594059405941".
- 1737873 cpu_core_0 "5.940594059405941".
- 1738282 cpu_core_0 "5.940594059405941".
- 1738305 cpu_core_0 "5.940594059405941".
- 1738367 cpu_core_0 "5.940594059405941".
- 1738821 cpu_core_0 "5.940594059405941".
- 1739224 cpu_core_0 "5.940594059405941".
- 1739569 cpu_core_0 "5.940594059405941".
- 1739601 cpu_core_0 "5.940594059405941".
- 1739657 cpu_core_0 "5.940594059405941".
- 1739745 cpu_core_0 "5.940594059405941".
- 1739795 cpu_core_0 "5.940594059405941".
- 1739823 cpu_core_0 "5.940594059405941".
- 1740325 cpu_core_0 "5.940594059405941".
- 1740641 cpu_core_0 "5.940594059405941".
- 1740764 cpu_core_0 "5.940594059405941".
- 1740802 cpu_core_0 "5.940594059405941".
- 1740828 cpu_core_0 "5.940594059405941".
- 1741006 cpu_core_0 "5.940594059405941".
- 1741134 cpu_core_0 "5.940594059405941".
- 1741602 cpu_core_0 "5.940594059405941".
- 1741809 cpu_core_0 "5.940594059405941".
- 1741858 cpu_core_0 "5.940594059405941".
- 1741967 cpu_core_0 "5.940594059405941".
- 1742665 cpu_core_0 "5.940594059405941".
- 1743156 cpu_core_0 "5.940594059405941".
- 1743269 cpu_core_0 "5.940594059405941".
- 1743672 cpu_core_0 "5.940594059405941".
- 1743810 cpu_core_0 "5.940594059405941".
- 1744805 cpu_core_0 "5.940594059405941".
- 1744912 cpu_core_0 "5.940594059405941".
- 1745340 cpu_core_0 "5.940594059405941".
- 1745778 cpu_core_0 "5.940594059405941".
- 1746029 cpu_core_0 "5.940594059405941".
- 1746138 cpu_core_0 "5.940594059405941".
- 1746333 cpu_core_0 "5.940594059405941".
- 1747175 cpu_core_0 "5.940594059405941".
- 1747294 cpu_core_0 "5.940594059405941".
- 1747742 cpu_core_0 "5.940594059405941".
- 1747829 cpu_core_0 "5.940594059405941".
- 1748684 cpu_core_0 "5.940594059405941".
- 1748887 cpu_core_0 "5.940594059405941".
- 1748963 cpu_core_0 "5.940594059405941".
- 1749015 cpu_core_0 "5.940594059405941".
- 1749998 cpu_core_0 "5.940594059405941".
- 1750175 cpu_core_0 "5.940594059405941".
- 1750312 cpu_core_0 "5.940594059405941".
- 1750517 cpu_core_0 "5.940594059405941".
- 1750605 cpu_core_0 "5.940594059405941".