Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1721307 cpu_core_0 "11.111111111111112".
- 1721310 cpu_core_0 "11.111111111111112".
- 1721374 cpu_core_0 "11.111111111111112".
- 1721383 cpu_core_0 "11.111111111111112".
- 1721392 cpu_core_0 "11.111111111111112".
- 1721394 cpu_core_0 "11.111111111111112".
- 1721405 cpu_core_0 "11.111111111111112".
- 1721413 cpu_core_0 "11.111111111111112".
- 1721433 cpu_core_0 "11.111111111111112".
- 1721457 cpu_core_0 "11.111111111111112".
- 1721510 cpu_core_0 "11.111111111111112".
- 1721548 cpu_core_0 "11.111111111111112".
- 1721558 cpu_core_0 "11.111111111111112".
- 1721569 cpu_core_0 "11.111111111111112".
- 1721684 cpu_core_0 "11.111111111111112".
- 1721692 cpu_core_0 "11.111111111111112".
- 1721732 cpu_core_0 "11.111111111111112".
- 1721781 cpu_core_0 "11.111111111111112".
- 1721853 cpu_core_0 "11.111111111111112".
- 1721867 cpu_core_0 "11.111111111111112".
- 1721873 cpu_core_0 "11.111111111111112".
- 1722244 cpu_core_0 "11.111111111111112".
- 1722285 cpu_core_0 "11.111111111111112".
- 1722292 cpu_core_0 "11.111111111111112".
- 1722343 cpu_core_0 "11.111111111111112".
- 1722450 cpu_core_0 "11.111111111111112".
- 1722478 cpu_core_0 "11.111111111111112".
- 1722482 cpu_core_0 "11.111111111111112".
- 1722722 cpu_core_0 "11.111111111111112".
- 1722796 cpu_core_0 "11.111111111111112".
- 1722847 cpu_core_0 "11.111111111111112".
- 1722874 cpu_core_0 "11.111111111111112".
- 1722898 cpu_core_0 "11.111111111111112".
- 1722973 cpu_core_0 "11.111111111111112".
- 1723084 cpu_core_0 "11.111111111111112".
- 1723317 cpu_core_0 "11.111111111111112".
- 1723616 cpu_core_0 "11.111111111111112".
- 1723819 cpu_core_0 "11.111111111111112".
- 1723856 cpu_core_0 "11.111111111111112".
- 1724098 cpu_core_0 "11.111111111111112".
- 1724273 cpu_core_0 "11.111111111111112".
- 1724319 cpu_core_0 "11.111111111111112".
- 1724378 cpu_core_0 "11.111111111111112".
- 1724524 cpu_core_0 "11.111111111111112".
- 1724533 cpu_core_0 "11.111111111111112".
- 1724582 cpu_core_0 "11.111111111111112".
- 1724790 cpu_core_0 "11.111111111111112".
- 1724917 cpu_core_0 "11.111111111111112".
- 1725008 cpu_core_0 "11.111111111111112".
- 1725112 cpu_core_0 "11.111111111111112".
- 1725134 cpu_core_0 "11.111111111111112".
- 1725830 cpu_core_0 "11.111111111111112".
- 1726018 cpu_core_0 "11.111111111111112".
- 1726301 cpu_core_0 "11.111111111111112".
- 1727064 cpu_core_0 "11.111111111111112".
- 1727309 cpu_core_0 "11.111111111111112".
- 1727502 cpu_core_0 "11.111111111111112".
- 1727664 cpu_core_0 "11.111111111111112".
- 1727692 cpu_core_0 "11.111111111111112".
- 1727746 cpu_core_0 "11.111111111111112".
- 1727756 cpu_core_0 "11.111111111111112".
- 1727768 cpu_core_0 "11.111111111111112".
- 1727796 cpu_core_0 "11.111111111111112".
- 1727812 cpu_core_0 "11.111111111111112".
- 1727843 cpu_core_0 "11.111111111111112".
- 1727849 cpu_core_0 "11.111111111111112".
- 1727852 cpu_core_0 "11.111111111111112".
- 1728013 cpu_core_0 "11.111111111111112".
- 1728018 cpu_core_0 "11.111111111111112".
- 1728042 cpu_core_0 "11.111111111111112".
- 1728054 cpu_core_0 "11.111111111111112".
- 1728127 cpu_core_0 "11.111111111111112".
- 1728156 cpu_core_0 "11.111111111111112".
- 1728158 cpu_core_0 "11.111111111111112".
- 1728167 cpu_core_0 "11.111111111111112".
- 1728393 cpu_core_0 "11.111111111111112".
- 1728396 cpu_core_0 "11.111111111111112".
- 1728498 cpu_core_0 "11.111111111111112".
- 1728514 cpu_core_0 "11.111111111111112".
- 1728517 cpu_core_0 "11.111111111111112".
- 1728595 cpu_core_0 "11.111111111111112".
- 1728614 cpu_core_0 "11.111111111111112".
- 1728639 cpu_core_0 "11.111111111111112".
- 1728643 cpu_core_0 "11.111111111111112".
- 1728717 cpu_core_0 "11.111111111111112".
- 1728744 cpu_core_0 "11.111111111111112".
- 1728749 cpu_core_0 "11.111111111111112".
- 1728766 cpu_core_0 "11.111111111111112".
- 1728772 cpu_core_0 "11.111111111111112".
- 1728795 cpu_core_0 "11.111111111111112".
- 1728842 cpu_core_0 "11.111111111111112".
- 1728858 cpu_core_0 "11.111111111111112".
- 1728873 cpu_core_0 "11.111111111111112".
- 1728979 cpu_core_0 "11.111111111111112".
- 1728984 cpu_core_0 "11.111111111111112".
- 1729002 cpu_core_0 "11.111111111111112".
- 1729004 cpu_core_0 "11.111111111111112".
- 1729010 cpu_core_0 "11.111111111111112".
- 1729087 cpu_core_0 "11.111111111111112".
- 1729139 cpu_core_0 "11.111111111111112".