Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1786355 cpu_core_0 "11.111111111111112".
- 1786403 cpu_core_0 "11.111111111111112".
- 1786408 cpu_core_0 "11.111111111111112".
- 1786439 cpu_core_0 "11.111111111111112".
- 1786449 cpu_core_0 "11.111111111111112".
- 1786453 cpu_core_0 "11.111111111111112".
- 1786516 cpu_core_0 "11.111111111111112".
- 1786549 cpu_core_0 "11.111111111111112".
- 1786577 cpu_core_0 "11.111111111111112".
- 1786650 cpu_core_0 "11.111111111111112".
- 1786656 cpu_core_0 "11.111111111111112".
- 1786658 cpu_core_0 "11.111111111111112".
- 1786666 cpu_core_0 "11.111111111111112".
- 1786775 cpu_core_0 "11.111111111111112".
- 1786805 cpu_core_0 "11.111111111111112".
- 1786807 cpu_core_0 "11.111111111111112".
- 1786824 cpu_core_0 "11.111111111111112".
- 1787014 cpu_core_0 "11.111111111111112".
- 1787149 cpu_core_0 "11.111111111111112".
- 1787192 cpu_core_0 "11.111111111111112".
- 1787234 cpu_core_0 "11.111111111111112".
- 1787239 cpu_core_0 "11.111111111111112".
- 1787277 cpu_core_0 "11.111111111111112".
- 1787284 cpu_core_0 "11.111111111111112".
- 1787314 cpu_core_0 "11.111111111111112".
- 1787385 cpu_core_0 "11.111111111111112".
- 1787467 cpu_core_0 "11.111111111111112".
- 1787475 cpu_core_0 "11.111111111111112".
- 1787482 cpu_core_0 "11.111111111111112".
- 1787556 cpu_core_0 "11.111111111111112".
- 1787708 cpu_core_0 "11.111111111111112".
- 1787850 cpu_core_0 "11.111111111111112".
- 1787983 cpu_core_0 "11.111111111111112".
- 1788018 cpu_core_0 "11.111111111111112".
- 1788030 cpu_core_0 "11.111111111111112".
- 1788340 cpu_core_0 "11.111111111111112".
- 1788369 cpu_core_0 "11.111111111111112".
- 1788428 cpu_core_0 "11.111111111111112".
- 1788469 cpu_core_0 "11.111111111111112".
- 1788479 cpu_core_0 "11.111111111111112".
- 1788644 cpu_core_0 "11.111111111111112".
- 1788668 cpu_core_0 "11.111111111111112".
- 1788704 cpu_core_0 "11.111111111111112".
- 1788723 cpu_core_0 "11.111111111111112".
- 1788729 cpu_core_0 "11.111111111111112".
- 1788800 cpu_core_0 "11.111111111111112".
- 1788868 cpu_core_0 "11.111111111111112".
- 1789041 cpu_core_0 "11.111111111111112".
- 1789053 cpu_core_0 "11.111111111111112".
- 1789067 cpu_core_0 "11.111111111111112".
- 1789230 cpu_core_0 "11.111111111111112".
- 1789291 cpu_core_0 "11.111111111111112".
- 1789367 cpu_core_0 "11.111111111111112".
- 1789419 cpu_core_0 "11.111111111111112".
- 1789794 cpu_core_0 "11.111111111111112".
- 1789839 cpu_core_0 "11.111111111111112".
- 1790155 cpu_core_0 "11.111111111111112".
- 1790235 cpu_core_0 "11.111111111111112".
- 1790236 cpu_core_0 "11.111111111111112".
- 1790244 cpu_core_0 "11.111111111111112".
- 1790365 cpu_core_0 "11.111111111111112".
- 1790396 cpu_core_0 "11.111111111111112".
- 1790495 cpu_core_0 "11.111111111111112".
- 1790617 cpu_core_0 "11.111111111111112".
- 1791323 cpu_core_0 "11.111111111111112".
- 1791347 cpu_core_0 "11.111111111111112".
- 1791417 cpu_core_0 "11.111111111111112".
- 1791497 cpu_core_0 "11.111111111111112".
- 1791516 cpu_core_0 "11.111111111111112".
- 1791571 cpu_core_0 "11.111111111111112".
- 1791590 cpu_core_0 "11.111111111111112".
- 1791639 cpu_core_0 "11.111111111111112".
- 1791653 cpu_core_0 "11.111111111111112".
- 1791663 cpu_core_0 "11.111111111111112".
- 1791666 cpu_core_0 "11.111111111111112".
- 1791714 cpu_core_0 "11.111111111111112".
- 1791733 cpu_core_0 "11.111111111111112".
- 1791755 cpu_core_0 "11.111111111111112".
- 1791760 cpu_core_0 "11.111111111111112".
- 1791826 cpu_core_0 "11.111111111111112".
- 1791889 cpu_core_0 "11.111111111111112".
- 1792008 cpu_core_0 "11.111111111111112".
- 1792030 cpu_core_0 "11.111111111111112".
- 1792031 cpu_core_0 "11.111111111111112".
- 1792032 cpu_core_0 "11.111111111111112".
- 1792035 cpu_core_0 "11.111111111111112".
- 1792101 cpu_core_0 "11.111111111111112".
- 1792110 cpu_core_0 "11.111111111111112".
- 1792127 cpu_core_0 "11.111111111111112".
- 1792160 cpu_core_0 "11.111111111111112".
- 1792196 cpu_core_0 "11.111111111111112".
- 1792246 cpu_core_0 "11.111111111111112".
- 1792251 cpu_core_0 "11.111111111111112".
- 1792296 cpu_core_0 "11.111111111111112".
- 1792305 cpu_core_0 "11.111111111111112".
- 1792357 cpu_core_0 "11.111111111111112".
- 1792377 cpu_core_0 "11.111111111111112".
- 1792386 cpu_core_0 "11.111111111111112".
- 1792398 cpu_core_0 "11.111111111111112".
- 1792430 cpu_core_0 "11.111111111111112".