Matches in ISWC2014 Benchmark for { ?s ?p 11.11111111111111. }
- 1733742 cpu_core_0 "11.11111111111111".
- 1733819 cpu_core_0 "11.11111111111111".
- 1734256 cpu_core_0 "11.11111111111111".
- 1734862 cpu_core_0 "11.11111111111111".
- 1736086 cpu_core_0 "11.11111111111111".
- 1736612 cpu_core_0 "11.11111111111111".
- 1736656 cpu_core_0 "11.11111111111111".
- 1737065 cpu_core_0 "11.11111111111111".
- 1737381 cpu_core_0 "11.11111111111111".
- 1737768 cpu_core_0 "11.11111111111111".
- 1737789 cpu_core_0 "11.11111111111111".
- 1738195 cpu_core_0 "11.11111111111111".
- 1738400 cpu_core_0 "11.11111111111111".
- 1738435 cpu_core_0 "11.11111111111111".
- 1738544 cpu_core_0 "11.11111111111111".
- 1738871 cpu_core_0 "11.11111111111111".
- 1739303 cpu_core_0 "11.11111111111111".
- 1739508 cpu_core_0 "11.11111111111111".
- 1739636 cpu_core_0 "11.11111111111111".
- 1739651 cpu_core_0 "11.11111111111111".
- 1739718 cpu_core_0 "11.11111111111111".
- 1739839 cpu_core_0 "11.11111111111111".
- 1739869 cpu_core_0 "11.11111111111111".
- 1739961 cpu_core_0 "11.11111111111111".
- 1740138 cpu_core_0 "11.11111111111111".
- 1740551 cpu_core_0 "11.11111111111111".
- 1740795 cpu_core_0 "11.11111111111111".
- 1740801 cpu_core_0 "11.11111111111111".
- 1740991 cpu_core_0 "11.11111111111111".
- 1741117 cpu_core_0 "11.11111111111111".
- 1741235 cpu_core_0 "11.11111111111111".
- 1741371 cpu_core_0 "11.11111111111111".
- 1741755 cpu_core_0 "11.11111111111111".
- 1741788 cpu_core_0 "11.11111111111111".
- 1741805 cpu_core_0 "11.11111111111111".
- 1741884 cpu_core_0 "11.11111111111111".
- 1742066 cpu_core_0 "11.11111111111111".
- 1742167 cpu_core_0 "11.11111111111111".
- 1742198 cpu_core_0 "11.11111111111111".
- 1742312 cpu_core_0 "11.11111111111111".
- 1742405 cpu_core_0 "11.11111111111111".
- 1742606 cpu_core_0 "11.11111111111111".
- 1742678 cpu_core_0 "11.11111111111111".
- 1742806 cpu_core_0 "11.11111111111111".
- 1743024 cpu_core_0 "11.11111111111111".
- 1743054 cpu_core_0 "11.11111111111111".
- 1743130 cpu_core_0 "11.11111111111111".
- 1743208 cpu_core_0 "11.11111111111111".
- 1743264 cpu_core_0 "11.11111111111111".
- 1743558 cpu_core_0 "11.11111111111111".
- 1743726 cpu_core_0 "11.11111111111111".
- 1743777 cpu_core_0 "11.11111111111111".
- 1743964 cpu_core_0 "11.11111111111111".
- 1743983 cpu_core_0 "11.11111111111111".
- 1744296 cpu_core_0 "11.11111111111111".
- 1744368 cpu_core_0 "11.11111111111111".
- 1744370 cpu_core_0 "11.11111111111111".
- 1744375 cpu_core_0 "11.11111111111111".
- 1744469 cpu_core_0 "11.11111111111111".
- 1744504 cpu_core_0 "11.11111111111111".
- 1744683 cpu_core_0 "11.11111111111111".
- 1744694 cpu_core_0 "11.11111111111111".
- 1744729 cpu_core_0 "11.11111111111111".
- 1744848 cpu_core_0 "11.11111111111111".
- 1744878 cpu_core_0 "11.11111111111111".
- 1745245 cpu_core_0 "11.11111111111111".
- 1745434 cpu_core_0 "11.11111111111111".
- 1745699 cpu_core_0 "11.11111111111111".
- 1745813 cpu_core_0 "11.11111111111111".
- 1745947 cpu_core_0 "11.11111111111111".
- 1746045 cpu_core_0 "11.11111111111111".
- 1746066 cpu_core_0 "11.11111111111111".
- 1746139 cpu_core_0 "11.11111111111111".
- 1746158 cpu_core_0 "11.11111111111111".
- 1746167 cpu_core_0 "11.11111111111111".
- 1746314 cpu_core_0 "11.11111111111111".
- 1746435 cpu_core_0 "11.11111111111111".
- 1746540 cpu_core_0 "11.11111111111111".
- 1746561 cpu_core_0 "11.11111111111111".
- 1746884 cpu_core_0 "11.11111111111111".
- 1747035 cpu_core_0 "11.11111111111111".
- 1747307 cpu_core_0 "11.11111111111111".
- 1747718 cpu_core_0 "11.11111111111111".
- 1747757 cpu_core_0 "11.11111111111111".
- 1747879 cpu_core_0 "11.11111111111111".
- 1748018 cpu_core_0 "11.11111111111111".
- 1748051 cpu_core_0 "11.11111111111111".
- 1748058 cpu_core_0 "11.11111111111111".
- 1748217 cpu_core_0 "11.11111111111111".
- 1748415 cpu_core_0 "11.11111111111111".
- 1748505 cpu_core_0 "11.11111111111111".
- 1748567 cpu_core_0 "11.11111111111111".
- 1748953 cpu_core_0 "11.11111111111111".
- 1748992 cpu_core_0 "11.11111111111111".
- 1749270 cpu_core_0 "11.11111111111111".
- 1749563 cpu_core_0 "11.11111111111111".
- 1749665 cpu_core_0 "11.11111111111111".
- 1749819 cpu_core_0 "11.11111111111111".
- 1750021 cpu_core_0 "11.11111111111111".
- 1750118 cpu_core_0 "11.11111111111111".