Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1772145 cpu_core_0 "11.111111111111112".
- 1772193 cpu_core_0 "11.111111111111112".
- 1772249 cpu_core_0 "11.111111111111112".
- 1772267 cpu_core_0 "11.111111111111112".
- 1772284 cpu_core_0 "11.111111111111112".
- 1772319 cpu_core_0 "11.111111111111112".
- 1772329 cpu_core_0 "11.111111111111112".
- 1772452 cpu_core_0 "11.111111111111112".
- 1772492 cpu_core_0 "11.111111111111112".
- 1772505 cpu_core_0 "11.111111111111112".
- 1772591 cpu_core_0 "11.111111111111112".
- 1772643 cpu_core_0 "11.111111111111112".
- 1772683 cpu_core_0 "11.111111111111112".
- 1772695 cpu_core_0 "11.111111111111112".
- 1772707 cpu_core_0 "11.111111111111112".
- 1772739 cpu_core_0 "11.111111111111112".
- 1772830 cpu_core_0 "11.111111111111112".
- 1772858 cpu_core_0 "11.111111111111112".
- 1773184 cpu_core_0 "11.111111111111112".
- 1773319 cpu_core_0 "11.111111111111112".
- 1773498 cpu_core_0 "11.111111111111112".
- 1773679 cpu_core_0 "11.111111111111112".
- 1774033 cpu_core_0 "11.111111111111112".
- 1774127 cpu_core_0 "11.111111111111112".
- 1774303 cpu_core_0 "11.111111111111112".
- 1774437 cpu_core_0 "11.111111111111112".
- 1774458 cpu_core_0 "11.111111111111112".
- 1774469 cpu_core_0 "11.111111111111112".
- 1774476 cpu_core_0 "11.111111111111112".
- 1774498 cpu_core_0 "11.111111111111112".
- 1774499 cpu_core_0 "11.111111111111112".
- 1774611 cpu_core_0 "11.111111111111112".
- 1774662 cpu_core_0 "11.111111111111112".
- 1774711 cpu_core_0 "11.111111111111112".
- 1774720 cpu_core_0 "11.111111111111112".
- 1774830 cpu_core_0 "11.111111111111112".
- 1774867 cpu_core_0 "11.111111111111112".
- 1774898 cpu_core_0 "11.111111111111112".
- 1774916 cpu_core_0 "11.111111111111112".
- 1774939 cpu_core_0 "11.111111111111112".
- 1774975 cpu_core_0 "11.111111111111112".
- 1775065 cpu_core_0 "11.111111111111112".
- 1775084 cpu_core_0 "11.111111111111112".
- 1775119 cpu_core_0 "11.111111111111112".
- 1775195 cpu_core_0 "11.111111111111112".
- 1775268 cpu_core_0 "11.111111111111112".
- 1775282 cpu_core_0 "11.111111111111112".
- 1775294 cpu_core_0 "11.111111111111112".
- 1775326 cpu_core_0 "11.111111111111112".
- 1775331 cpu_core_0 "11.111111111111112".
- 1775349 cpu_core_0 "11.111111111111112".
- 1775445 cpu_core_0 "11.111111111111112".
- 1775472 cpu_core_0 "11.111111111111112".
- 1775549 cpu_core_0 "11.111111111111112".
- 1775578 cpu_core_0 "11.111111111111112".
- 1775587 cpu_core_0 "11.111111111111112".
- 1775633 cpu_core_0 "11.111111111111112".
- 1775709 cpu_core_0 "11.111111111111112".
- 1775757 cpu_core_0 "11.111111111111112".
- 1775780 cpu_core_0 "11.111111111111112".
- 1775799 cpu_core_0 "11.111111111111112".
- 1775815 cpu_core_0 "11.111111111111112".
- 1775825 cpu_core_0 "11.111111111111112".
- 1775828 cpu_core_0 "11.111111111111112".
- 1775982 cpu_core_0 "11.111111111111112".
- 1776030 cpu_core_0 "11.111111111111112".
- 1776105 cpu_core_0 "11.111111111111112".
- 1776113 cpu_core_0 "11.111111111111112".
- 1776136 cpu_core_0 "11.111111111111112".
- 1776182 cpu_core_0 "11.111111111111112".
- 1776263 cpu_core_0 "11.111111111111112".
- 1776279 cpu_core_0 "11.111111111111112".
- 1776301 cpu_core_0 "11.111111111111112".
- 1776339 cpu_core_0 "11.111111111111112".
- 1776410 cpu_core_0 "11.111111111111112".
- 1776468 cpu_core_0 "11.111111111111112".
- 1776480 cpu_core_0 "11.111111111111112".
- 1776485 cpu_core_0 "11.111111111111112".
- 1776544 cpu_core_0 "11.111111111111112".
- 1776552 cpu_core_0 "11.111111111111112".
- 1776648 cpu_core_0 "11.111111111111112".
- 1776719 cpu_core_0 "11.111111111111112".
- 1776730 cpu_core_0 "11.111111111111112".
- 1776959 cpu_core_0 "11.111111111111112".
- 1776982 cpu_core_0 "11.111111111111112".
- 1777084 cpu_core_0 "11.111111111111112".
- 1777199 cpu_core_0 "11.111111111111112".
- 1777200 cpu_core_0 "11.111111111111112".
- 1777248 cpu_core_0 "11.111111111111112".
- 1777254 cpu_core_0 "11.111111111111112".
- 1777402 cpu_core_0 "11.111111111111112".
- 1777588 cpu_core_0 "11.111111111111112".
- 1777606 cpu_core_0 "11.111111111111112".
- 1777750 cpu_core_0 "11.111111111111112".
- 1777866 cpu_core_0 "11.111111111111112".
- 1778035 cpu_core_0 "11.111111111111112".
- 1778160 cpu_core_0 "11.111111111111112".
- 1778206 cpu_core_0 "11.111111111111112".
- 1778209 cpu_core_0 "11.111111111111112".
- 1778237 cpu_core_0 "11.111111111111112".