Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1798993 cpu_core_0 "11.111111111111112".
- 1799045 cpu_core_0 "11.111111111111112".
- 1799046 cpu_core_0 "11.111111111111112".
- 1799061 cpu_core_0 "11.111111111111112".
- 1799066 cpu_core_0 "11.111111111111112".
- 1799084 cpu_core_0 "11.111111111111112".
- 1799111 cpu_core_0 "11.111111111111112".
- 1799180 cpu_core_0 "11.111111111111112".
- 1799195 cpu_core_0 "11.111111111111112".
- 1799236 cpu_core_0 "11.111111111111112".
- 1799312 cpu_core_0 "11.111111111111112".
- 1799363 cpu_core_0 "11.111111111111112".
- 1799434 cpu_core_0 "11.111111111111112".
- 1799564 cpu_core_0 "11.111111111111112".
- 1799582 cpu_core_0 "11.111111111111112".
- 1799640 cpu_core_0 "11.111111111111112".
- 1799934 cpu_core_0 "11.111111111111112".
- 1800044 cpu_core_0 "11.111111111111112".
- 1800181 cpu_core_0 "11.111111111111112".
- 1800196 cpu_core_0 "11.111111111111112".
- 1800631 cpu_core_0 "11.111111111111112".
- 1800638 cpu_core_0 "11.111111111111112".
- 1800642 cpu_core_0 "11.111111111111112".
- 1800656 cpu_core_0 "11.111111111111112".
- 1800807 cpu_core_0 "11.111111111111112".
- 1801232 cpu_core_0 "11.111111111111112".
- 1801367 cpu_core_0 "11.111111111111112".
- 1801676 cpu_core_0 "11.111111111111112".
- 1801729 cpu_core_0 "11.111111111111112".
- 1801817 cpu_core_0 "11.111111111111112".
- 1801825 cpu_core_0 "11.111111111111112".
- 1801856 cpu_core_0 "11.111111111111112".
- 1801862 cpu_core_0 "11.111111111111112".
- 1801932 cpu_core_0 "11.111111111111112".
- 1801935 cpu_core_0 "11.111111111111112".
- 1802210 cpu_core_0 "11.111111111111112".
- 1802312 cpu_core_0 "11.111111111111112".
- 1803024 cpu_core_0 "11.111111111111112".
- 1803100 cpu_core_0 "11.111111111111112".
- 1803139 cpu_core_0 "11.111111111111112".
- 1803362 cpu_core_0 "11.111111111111112".
- 1803408 cpu_core_0 "11.111111111111112".
- 1803444 cpu_core_0 "11.111111111111112".
- 1803687 cpu_core_0 "11.111111111111112".
- 1803751 cpu_core_0 "11.111111111111112".
- 1803760 cpu_core_0 "11.111111111111112".
- 1803839 cpu_core_0 "11.111111111111112".
- 1803874 cpu_core_0 "11.111111111111112".
- 1803875 cpu_core_0 "11.111111111111112".
- 1803972 cpu_core_0 "11.111111111111112".
- 1804010 cpu_core_0 "11.111111111111112".
- 1804049 cpu_core_0 "11.111111111111112".
- 1804053 cpu_core_0 "11.111111111111112".
- 1804054 cpu_core_0 "11.111111111111112".
- 1804092 cpu_core_0 "11.111111111111112".
- 1804093 cpu_core_0 "11.111111111111112".
- 1804111 cpu_core_0 "11.111111111111112".
- 1804179 cpu_core_0 "11.111111111111112".
- 1804221 cpu_core_0 "11.111111111111112".
- 1804317 cpu_core_0 "11.111111111111112".
- 1804340 cpu_core_0 "11.111111111111112".
- 1804416 cpu_core_0 "11.111111111111112".
- 1804466 cpu_core_0 "11.111111111111112".
- 1804476 cpu_core_0 "11.111111111111112".
- 1804535 cpu_core_0 "11.111111111111112".
- 1804588 cpu_core_0 "11.111111111111112".
- 1804608 cpu_core_0 "11.111111111111112".
- 1804662 cpu_core_0 "11.111111111111112".
- 1804720 cpu_core_0 "11.111111111111112".
- 1804770 cpu_core_0 "11.111111111111112".
- 1804840 cpu_core_0 "11.111111111111112".
- 1804889 cpu_core_0 "11.111111111111112".
- 1804955 cpu_core_0 "11.111111111111112".
- 1804974 cpu_core_0 "11.111111111111112".
- 1805005 cpu_core_0 "11.111111111111112".
- 1805082 cpu_core_0 "11.111111111111112".
- 1805170 cpu_core_0 "11.111111111111112".
- 1805174 cpu_core_0 "11.111111111111112".
- 1805207 cpu_core_0 "11.111111111111112".
- 1805577 cpu_core_0 "11.111111111111112".
- 1805605 cpu_core_0 "11.111111111111112".
- 1805639 cpu_core_0 "11.111111111111112".
- 1805722 cpu_core_0 "11.111111111111112".
- 1805788 cpu_core_0 "11.111111111111112".
- 1805820 cpu_core_0 "11.111111111111112".
- 1805941 cpu_core_0 "11.111111111111112".
- 1806060 cpu_core_0 "11.111111111111112".
- 1806160 cpu_core_0 "11.111111111111112".
- 1806301 cpu_core_0 "11.111111111111112".
- 1806350 cpu_core_0 "11.111111111111112".
- 1806392 cpu_core_0 "11.111111111111112".
- 1806452 cpu_core_0 "11.111111111111112".
- 1806487 cpu_core_0 "11.111111111111112".
- 1806543 cpu_core_0 "11.111111111111112".
- 1806667 cpu_core_0 "11.111111111111112".
- 1806758 cpu_core_0 "11.111111111111112".
- 1806776 cpu_core_0 "11.111111111111112".
- 1806925 cpu_core_0 "11.111111111111112".
- 1806966 cpu_core_0 "11.111111111111112".
- 1806976 cpu_core_0 "11.111111111111112".