Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1814347 cpu_core_0 "11.111111111111112".
- 1814409 cpu_core_0 "11.111111111111112".
- 1814437 cpu_core_0 "11.111111111111112".
- 1814478 cpu_core_0 "11.111111111111112".
- 1814552 cpu_core_0 "11.111111111111112".
- 1814598 cpu_core_0 "11.111111111111112".
- 1814767 cpu_core_0 "11.111111111111112".
- 1814969 cpu_core_0 "11.111111111111112".
- 1815385 cpu_core_0 "11.111111111111112".
- 1815616 cpu_core_0 "11.111111111111112".
- 1815643 cpu_core_0 "11.111111111111112".
- 1816191 cpu_core_0 "11.111111111111112".
- 1816300 cpu_core_0 "11.111111111111112".
- 1816358 cpu_core_0 "11.111111111111112".
- 1816384 cpu_core_0 "11.111111111111112".
- 1816485 cpu_core_0 "11.111111111111112".
- 1816506 cpu_core_0 "11.111111111111112".
- 1816582 cpu_core_0 "11.111111111111112".
- 1816592 cpu_core_0 "11.111111111111112".
- 1816597 cpu_core_0 "11.111111111111112".
- 1816620 cpu_core_0 "11.111111111111112".
- 1816627 cpu_core_0 "11.111111111111112".
- 1816790 cpu_core_0 "11.111111111111112".
- 1816831 cpu_core_0 "11.111111111111112".
- 1816840 cpu_core_0 "11.111111111111112".
- 1816879 cpu_core_0 "11.111111111111112".
- 1816914 cpu_core_0 "11.111111111111112".
- 1816920 cpu_core_0 "11.111111111111112".
- 1816964 cpu_core_0 "11.111111111111112".
- 1817076 cpu_core_0 "11.111111111111112".
- 1817086 cpu_core_0 "11.111111111111112".
- 1817089 cpu_core_0 "11.111111111111112".
- 1817155 cpu_core_0 "11.111111111111112".
- 1817214 cpu_core_0 "11.111111111111112".
- 1817271 cpu_core_0 "11.111111111111112".
- 1817315 cpu_core_0 "11.111111111111112".
- 1817335 cpu_core_0 "11.111111111111112".
- 1817398 cpu_core_0 "11.111111111111112".
- 1817406 cpu_core_0 "11.111111111111112".
- 1817455 cpu_core_0 "11.111111111111112".
- 1817509 cpu_core_0 "11.111111111111112".
- 1817512 cpu_core_0 "11.111111111111112".
- 1817573 cpu_core_0 "11.111111111111112".
- 1817605 cpu_core_0 "11.111111111111112".
- 1817765 cpu_core_0 "11.111111111111112".
- 1817804 cpu_core_0 "11.111111111111112".
- 1817844 cpu_core_0 "11.111111111111112".
- 1817927 cpu_core_0 "11.111111111111112".
- 1817955 cpu_core_0 "11.111111111111112".
- 1817977 cpu_core_0 "11.111111111111112".
- 1818001 cpu_core_0 "11.111111111111112".
- 1818024 cpu_core_0 "11.111111111111112".
- 1818039 cpu_core_0 "11.111111111111112".
- 1818103 cpu_core_0 "11.111111111111112".
- 1818113 cpu_core_0 "11.111111111111112".
- 1818128 cpu_core_0 "11.111111111111112".
- 1818173 cpu_core_0 "11.111111111111112".
- 1818206 cpu_core_0 "11.111111111111112".
- 1818309 cpu_core_0 "11.111111111111112".
- 1818515 cpu_core_0 "11.111111111111112".
- 1818637 cpu_core_0 "11.111111111111112".
- 1818752 cpu_core_0 "11.111111111111112".
- 1818780 cpu_core_0 "11.111111111111112".
- 1818957 cpu_core_0 "11.111111111111112".
- 1819015 cpu_core_0 "11.111111111111112".
- 1819037 cpu_core_0 "11.111111111111112".
- 1819045 cpu_core_0 "11.111111111111112".
- 1819048 cpu_core_0 "11.111111111111112".
- 1819066 cpu_core_0 "11.111111111111112".
- 1819169 cpu_core_0 "11.111111111111112".
- 1819184 cpu_core_0 "11.111111111111112".
- 1819328 cpu_core_0 "11.111111111111112".
- 1819354 cpu_core_0 "11.111111111111112".
- 1819387 cpu_core_0 "11.111111111111112".
- 1819397 cpu_core_0 "11.111111111111112".
- 1819442 cpu_core_0 "11.111111111111112".
- 1819509 cpu_core_0 "11.111111111111112".
- 1819539 cpu_core_0 "11.111111111111112".
- 1819562 cpu_core_0 "11.111111111111112".
- 1819635 cpu_core_0 "11.111111111111112".
- 1819675 cpu_core_0 "11.111111111111112".
- 1819768 cpu_core_0 "11.111111111111112".
- 1819851 cpu_core_0 "11.111111111111112".
- 1819908 cpu_core_0 "11.111111111111112".
- 1819968 cpu_core_0 "11.111111111111112".
- 1820116 cpu_core_0 "11.111111111111112".
- 1820330 cpu_core_0 "11.111111111111112".
- 1820441 cpu_core_0 "11.111111111111112".
- 1820498 cpu_core_0 "11.111111111111112".
- 1820630 cpu_core_0 "11.111111111111112".
- 1820683 cpu_core_0 "11.111111111111112".
- 1820714 cpu_core_0 "11.111111111111112".
- 1820717 cpu_core_0 "11.111111111111112".
- 1820731 cpu_core_0 "11.111111111111112".
- 1820814 cpu_core_0 "11.111111111111112".
- 1820822 cpu_core_0 "11.111111111111112".
- 1820928 cpu_core_0 "11.111111111111112".
- 1821046 cpu_core_0 "11.111111111111112".
- 1821203 cpu_core_0 "11.111111111111112".
- 1821324 cpu_core_0 "11.111111111111112".