Matches in ISWC2014 Benchmark for { ?s ?p 11.11111111111111. }
- 1720427 cpu_core_0 "11.11111111111111".
- 1720522 cpu_core_0 "11.11111111111111".
- 1720764 cpu_core_0 "11.11111111111111".
- 1720798 cpu_core_0 "11.11111111111111".
- 1720839 cpu_core_0 "11.11111111111111".
- 1720899 cpu_core_0 "11.11111111111111".
- 1721024 cpu_core_0 "11.11111111111111".
- 1721306 cpu_core_0 "11.11111111111111".
- 1721549 cpu_core_0 "11.11111111111111".
- 1721593 cpu_core_0 "11.11111111111111".
- 1721745 cpu_core_0 "11.11111111111111".
- 1721799 cpu_core_0 "11.11111111111111".
- 1721803 cpu_core_0 "11.11111111111111".
- 1722003 cpu_core_0 "11.11111111111111".
- 1722108 cpu_core_0 "11.11111111111111".
- 1722283 cpu_core_0 "11.11111111111111".
- 1722345 cpu_core_0 "11.11111111111111".
- 1722383 cpu_core_0 "11.11111111111111".
- 1722485 cpu_core_0 "11.11111111111111".
- 1722744 cpu_core_0 "11.11111111111111".
- 1722777 cpu_core_0 "11.11111111111111".
- 1722780 cpu_core_0 "11.11111111111111".
- 1722928 cpu_core_0 "11.11111111111111".
- 1723208 cpu_core_0 "11.11111111111111".
- 1723224 cpu_core_0 "11.11111111111111".
- 1723278 cpu_core_0 "11.11111111111111".
- 1723316 cpu_core_0 "11.11111111111111".
- 1723501 cpu_core_0 "11.11111111111111".
- 1723536 cpu_core_0 "11.11111111111111".
- 1723606 cpu_core_0 "11.11111111111111".
- 1723672 cpu_core_0 "11.11111111111111".
- 1723684 cpu_core_0 "11.11111111111111".
- 1723769 cpu_core_0 "11.11111111111111".
- 1723903 cpu_core_0 "11.11111111111111".
- 1723937 cpu_core_0 "11.11111111111111".
- 1724132 cpu_core_0 "11.11111111111111".
- 1724170 cpu_core_0 "11.11111111111111".
- 1724271 cpu_core_0 "11.11111111111111".
- 1724414 cpu_core_0 "11.11111111111111".
- 1724510 cpu_core_0 "11.11111111111111".
- 1724654 cpu_core_0 "11.11111111111111".
- 1724684 cpu_core_0 "11.11111111111111".
- 1724859 cpu_core_0 "11.11111111111111".
- 1724932 cpu_core_0 "11.11111111111111".
- 1725004 cpu_core_0 "11.11111111111111".
- 1725102 cpu_core_0 "11.11111111111111".
- 1725367 cpu_core_0 "11.11111111111111".
- 1725427 cpu_core_0 "11.11111111111111".
- 1725499 cpu_core_0 "11.11111111111111".
- 1725583 cpu_core_0 "11.11111111111111".
- 1725877 cpu_core_0 "11.11111111111111".
- 1725912 cpu_core_0 "11.11111111111111".
- 1725980 cpu_core_0 "11.11111111111111".
- 1726106 cpu_core_0 "11.11111111111111".
- 1726144 cpu_core_0 "11.11111111111111".
- 1726225 cpu_core_0 "11.11111111111111".
- 1726230 cpu_core_0 "11.11111111111111".
- 1726335 cpu_core_0 "11.11111111111111".
- 1726339 cpu_core_0 "11.11111111111111".
- 1726485 cpu_core_0 "11.11111111111111".
- 1726530 cpu_core_0 "11.11111111111111".
- 1726618 cpu_core_0 "11.11111111111111".
- 1726704 cpu_core_0 "11.11111111111111".
- 1726780 cpu_core_0 "11.11111111111111".
- 1726823 cpu_core_0 "11.11111111111111".
- 1726994 cpu_core_0 "11.11111111111111".
- 1727113 cpu_core_0 "11.11111111111111".
- 1727132 cpu_core_0 "11.11111111111111".
- 1727277 cpu_core_0 "11.11111111111111".
- 1727364 cpu_core_0 "11.11111111111111".
- 1727368 cpu_core_0 "11.11111111111111".
- 1727426 cpu_core_0 "11.11111111111111".
- 1727908 cpu_core_0 "11.11111111111111".
- 1728168 cpu_core_0 "11.11111111111111".
- 1728405 cpu_core_0 "11.11111111111111".
- 1728764 cpu_core_0 "11.11111111111111".
- 1729193 cpu_core_0 "11.11111111111111".
- 1729424 cpu_core_0 "11.11111111111111".
- 1729498 cpu_core_0 "11.11111111111111".
- 1729646 cpu_core_0 "11.11111111111111".
- 1729814 cpu_core_0 "11.11111111111111".
- 1729884 cpu_core_0 "11.11111111111111".
- 1729919 cpu_core_0 "11.11111111111111".
- 1730046 cpu_core_0 "11.11111111111111".
- 1730760 cpu_core_0 "11.11111111111111".
- 1731012 cpu_core_0 "11.11111111111111".
- 1731509 cpu_core_0 "11.11111111111111".
- 1731584 cpu_core_0 "11.11111111111111".
- 1731755 cpu_core_0 "11.11111111111111".
- 1731887 cpu_core_0 "11.11111111111111".
- 1731976 cpu_core_0 "11.11111111111111".
- 1732082 cpu_core_0 "11.11111111111111".
- 1732142 cpu_core_0 "11.11111111111111".
- 1732733 cpu_core_0 "11.11111111111111".
- 1732747 cpu_core_0 "11.11111111111111".
- 1732862 cpu_core_0 "11.11111111111111".
- 1733078 cpu_core_0 "11.11111111111111".
- 1733086 cpu_core_0 "11.11111111111111".
- 1733257 cpu_core_0 "11.11111111111111".
- 1733706 cpu_core_0 "11.11111111111111".