Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1765955 cpu_core_0 "11.111111111111112".
- 1766158 cpu_core_0 "11.111111111111112".
- 1766206 cpu_core_0 "11.111111111111112".
- 1766212 cpu_core_0 "11.111111111111112".
- 1766302 cpu_core_0 "11.111111111111112".
- 1766306 cpu_core_0 "11.111111111111112".
- 1766330 cpu_core_0 "11.111111111111112".
- 1766494 cpu_core_0 "11.111111111111112".
- 1766557 cpu_core_0 "11.111111111111112".
- 1766648 cpu_core_0 "11.111111111111112".
- 1766680 cpu_core_0 "11.111111111111112".
- 1766689 cpu_core_0 "11.111111111111112".
- 1767155 cpu_core_0 "11.111111111111112".
- 1767379 cpu_core_0 "11.111111111111112".
- 1767453 cpu_core_0 "11.111111111111112".
- 1767561 cpu_core_0 "11.111111111111112".
- 1767568 cpu_core_0 "11.111111111111112".
- 1767575 cpu_core_0 "11.111111111111112".
- 1768139 cpu_core_0 "11.111111111111112".
- 1768235 cpu_core_0 "11.111111111111112".
- 1768492 cpu_core_0 "11.111111111111112".
- 1768540 cpu_core_0 "11.111111111111112".
- 1768622 cpu_core_0 "11.111111111111112".
- 1768641 cpu_core_0 "11.111111111111112".
- 1768711 cpu_core_0 "11.111111111111112".
- 1768828 cpu_core_0 "11.111111111111112".
- 1768874 cpu_core_0 "11.111111111111112".
- 1768879 cpu_core_0 "11.111111111111112".
- 1768904 cpu_core_0 "11.111111111111112".
- 1768971 cpu_core_0 "11.111111111111112".
- 1768982 cpu_core_0 "11.111111111111112".
- 1769024 cpu_core_0 "11.111111111111112".
- 1769087 cpu_core_0 "11.111111111111112".
- 1769095 cpu_core_0 "11.111111111111112".
- 1769098 cpu_core_0 "11.111111111111112".
- 1769100 cpu_core_0 "11.111111111111112".
- 1769105 cpu_core_0 "11.111111111111112".
- 1769131 cpu_core_0 "11.111111111111112".
- 1769193 cpu_core_0 "11.111111111111112".
- 1769202 cpu_core_0 "11.111111111111112".
- 1769243 cpu_core_0 "11.111111111111112".
- 1769248 cpu_core_0 "11.111111111111112".
- 1769268 cpu_core_0 "11.111111111111112".
- 1769334 cpu_core_0 "11.111111111111112".
- 1769342 cpu_core_0 "11.111111111111112".
- 1769386 cpu_core_0 "11.111111111111112".
- 1769452 cpu_core_0 "11.111111111111112".
- 1769469 cpu_core_0 "11.111111111111112".
- 1769488 cpu_core_0 "11.111111111111112".
- 1769489 cpu_core_0 "11.111111111111112".
- 1769556 cpu_core_0 "11.111111111111112".
- 1769612 cpu_core_0 "11.111111111111112".
- 1769715 cpu_core_0 "11.111111111111112".
- 1769716 cpu_core_0 "11.111111111111112".
- 1769852 cpu_core_0 "11.111111111111112".
- 1769875 cpu_core_0 "11.111111111111112".
- 1769930 cpu_core_0 "11.111111111111112".
- 1769933 cpu_core_0 "11.111111111111112".
- 1769950 cpu_core_0 "11.111111111111112".
- 1770057 cpu_core_0 "11.111111111111112".
- 1770107 cpu_core_0 "11.111111111111112".
- 1770173 cpu_core_0 "11.111111111111112".
- 1770282 cpu_core_0 "11.111111111111112".
- 1770305 cpu_core_0 "11.111111111111112".
- 1770337 cpu_core_0 "11.111111111111112".
- 1770431 cpu_core_0 "11.111111111111112".
- 1770469 cpu_core_0 "11.111111111111112".
- 1770476 cpu_core_0 "11.111111111111112".
- 1770525 cpu_core_0 "11.111111111111112".
- 1770599 cpu_core_0 "11.111111111111112".
- 1770632 cpu_core_0 "11.111111111111112".
- 1770639 cpu_core_0 "11.111111111111112".
- 1770647 cpu_core_0 "11.111111111111112".
- 1770666 cpu_core_0 "11.111111111111112".
- 1770749 cpu_core_0 "11.111111111111112".
- 1770917 cpu_core_0 "11.111111111111112".
- 1770938 cpu_core_0 "11.111111111111112".
- 1771078 cpu_core_0 "11.111111111111112".
- 1771130 cpu_core_0 "11.111111111111112".
- 1771165 cpu_core_0 "11.111111111111112".
- 1771307 cpu_core_0 "11.111111111111112".
- 1771316 cpu_core_0 "11.111111111111112".
- 1771356 cpu_core_0 "11.111111111111112".
- 1771363 cpu_core_0 "11.111111111111112".
- 1771437 cpu_core_0 "11.111111111111112".
- 1771549 cpu_core_0 "11.111111111111112".
- 1771642 cpu_core_0 "11.111111111111112".
- 1771655 cpu_core_0 "11.111111111111112".
- 1771751 cpu_core_0 "11.111111111111112".
- 1771770 cpu_core_0 "11.111111111111112".
- 1771789 cpu_core_0 "11.111111111111112".
- 1771836 cpu_core_0 "11.111111111111112".
- 1771893 cpu_core_0 "11.111111111111112".
- 1771898 cpu_core_0 "11.111111111111112".
- 1771973 cpu_core_0 "11.111111111111112".
- 1771978 cpu_core_0 "11.111111111111112".
- 1771982 cpu_core_0 "11.111111111111112".
- 1772040 cpu_core_0 "11.111111111111112".
- 1772092 cpu_core_0 "11.111111111111112".
- 1772103 cpu_core_0 "11.111111111111112".