Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1758547 cpu_core_0 "11.111111111111112".
- 1758590 cpu_core_0 "11.111111111111112".
- 1758745 cpu_core_0 "11.111111111111112".
- 1758752 cpu_core_0 "11.111111111111112".
- 1758815 cpu_core_0 "11.111111111111112".
- 1758836 cpu_core_0 "11.111111111111112".
- 1758840 cpu_core_0 "11.111111111111112".
- 1758894 cpu_core_0 "11.111111111111112".
- 1758903 cpu_core_0 "11.111111111111112".
- 1758991 cpu_core_0 "11.111111111111112".
- 1759132 cpu_core_0 "11.111111111111112".
- 1759244 cpu_core_0 "11.111111111111112".
- 1759247 cpu_core_0 "11.111111111111112".
- 1759267 cpu_core_0 "11.111111111111112".
- 1759320 cpu_core_0 "11.111111111111112".
- 1759424 cpu_core_0 "11.111111111111112".
- 1759489 cpu_core_0 "11.111111111111112".
- 1759497 cpu_core_0 "11.111111111111112".
- 1759523 cpu_core_0 "11.111111111111112".
- 1759560 cpu_core_0 "11.111111111111112".
- 1759591 cpu_core_0 "11.111111111111112".
- 1759609 cpu_core_0 "11.111111111111112".
- 1759658 cpu_core_0 "11.111111111111112".
- 1759679 cpu_core_0 "11.111111111111112".
- 1759761 cpu_core_0 "11.111111111111112".
- 1759763 cpu_core_0 "11.111111111111112".
- 1759805 cpu_core_0 "11.111111111111112".
- 1759971 cpu_core_0 "11.111111111111112".
- 1759975 cpu_core_0 "11.111111111111112".
- 1760008 cpu_core_0 "11.111111111111112".
- 1760122 cpu_core_0 "11.111111111111112".
- 1760126 cpu_core_0 "11.111111111111112".
- 1760286 cpu_core_0 "11.111111111111112".
- 1760318 cpu_core_0 "11.111111111111112".
- 1760432 cpu_core_0 "11.111111111111112".
- 1760493 cpu_core_0 "11.111111111111112".
- 1760543 cpu_core_0 "11.111111111111112".
- 1760561 cpu_core_0 "11.111111111111112".
- 1760593 cpu_core_0 "11.111111111111112".
- 1760716 cpu_core_0 "11.111111111111112".
- 1761040 cpu_core_0 "11.111111111111112".
- 1761099 cpu_core_0 "11.111111111111112".
- 1761177 cpu_core_0 "11.111111111111112".
- 1761301 cpu_core_0 "11.111111111111112".
- 1761418 cpu_core_0 "11.111111111111112".
- 1761442 cpu_core_0 "11.111111111111112".
- 1761663 cpu_core_0 "11.111111111111112".
- 1761759 cpu_core_0 "11.111111111111112".
- 1761774 cpu_core_0 "11.111111111111112".
- 1761924 cpu_core_0 "11.111111111111112".
- 1762388 cpu_core_0 "11.111111111111112".
- 1762611 cpu_core_0 "11.111111111111112".
- 1762673 cpu_core_0 "11.111111111111112".
- 1762713 cpu_core_0 "11.111111111111112".
- 1762831 cpu_core_0 "11.111111111111112".
- 1762935 cpu_core_0 "11.111111111111112".
- 1762993 cpu_core_0 "11.111111111111112".
- 1763068 cpu_core_0 "11.111111111111112".
- 1763277 cpu_core_0 "11.111111111111112".
- 1763339 cpu_core_0 "11.111111111111112".
- 1763414 cpu_core_0 "11.111111111111112".
- 1763541 cpu_core_0 "11.111111111111112".
- 1763547 cpu_core_0 "11.111111111111112".
- 1763638 cpu_core_0 "11.111111111111112".
- 1763646 cpu_core_0 "11.111111111111112".
- 1763664 cpu_core_0 "11.111111111111112".
- 1763721 cpu_core_0 "11.111111111111112".
- 1763796 cpu_core_0 "11.111111111111112".
- 1763834 cpu_core_0 "11.111111111111112".
- 1763996 cpu_core_0 "11.111111111111112".
- 1764000 cpu_core_0 "11.111111111111112".
- 1764004 cpu_core_0 "11.111111111111112".
- 1764008 cpu_core_0 "11.111111111111112".
- 1764025 cpu_core_0 "11.111111111111112".
- 1764051 cpu_core_0 "11.111111111111112".
- 1764084 cpu_core_0 "11.111111111111112".
- 1764113 cpu_core_0 "11.111111111111112".
- 1764147 cpu_core_0 "11.111111111111112".
- 1764153 cpu_core_0 "11.111111111111112".
- 1764184 cpu_core_0 "11.111111111111112".
- 1764224 cpu_core_0 "11.111111111111112".
- 1764273 cpu_core_0 "11.111111111111112".
- 1764365 cpu_core_0 "11.111111111111112".
- 1764434 cpu_core_0 "11.111111111111112".
- 1764644 cpu_core_0 "11.111111111111112".
- 1764730 cpu_core_0 "11.111111111111112".
- 1764927 cpu_core_0 "11.111111111111112".
- 1765079 cpu_core_0 "11.111111111111112".
- 1765104 cpu_core_0 "11.111111111111112".
- 1765240 cpu_core_0 "11.111111111111112".
- 1765310 cpu_core_0 "11.111111111111112".
- 1765431 cpu_core_0 "11.111111111111112".
- 1765471 cpu_core_0 "11.111111111111112".
- 1765568 cpu_core_0 "11.111111111111112".
- 1765642 cpu_core_0 "11.111111111111112".
- 1765751 cpu_core_0 "11.111111111111112".
- 1765804 cpu_core_0 "11.111111111111112".
- 1765830 cpu_core_0 "11.111111111111112".
- 1765850 cpu_core_0 "11.111111111111112".
- 1765877 cpu_core_0 "11.111111111111112".