Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1736134 cpu_core_0 "11.111111111111112".
- 1736157 cpu_core_0 "11.111111111111112".
- 1736234 cpu_core_0 "11.111111111111112".
- 1736251 cpu_core_0 "11.111111111111112".
- 1736352 cpu_core_0 "11.111111111111112".
- 1736452 cpu_core_0 "11.111111111111112".
- 1736455 cpu_core_0 "11.111111111111112".
- 1736481 cpu_core_0 "11.111111111111112".
- 1736488 cpu_core_0 "11.111111111111112".
- 1736544 cpu_core_0 "11.111111111111112".
- 1736703 cpu_core_0 "11.111111111111112".
- 1736722 cpu_core_0 "11.111111111111112".
- 1736724 cpu_core_0 "11.111111111111112".
- 1736749 cpu_core_0 "11.111111111111112".
- 1736774 cpu_core_0 "11.111111111111112".
- 1736819 cpu_core_0 "11.111111111111112".
- 1736868 cpu_core_0 "11.111111111111112".
- 1736898 cpu_core_0 "11.111111111111112".
- 1736933 cpu_core_0 "11.111111111111112".
- 1736981 cpu_core_0 "11.111111111111112".
- 1736991 cpu_core_0 "11.111111111111112".
- 1737015 cpu_core_0 "11.111111111111112".
- 1737077 cpu_core_0 "11.111111111111112".
- 1737117 cpu_core_0 "11.111111111111112".
- 1737183 cpu_core_0 "11.111111111111112".
- 1737211 cpu_core_0 "11.111111111111112".
- 1737357 cpu_core_0 "11.111111111111112".
- 1737473 cpu_core_0 "11.111111111111112".
- 1737675 cpu_core_0 "11.111111111111112".
- 1737734 cpu_core_0 "11.111111111111112".
- 1737748 cpu_core_0 "11.111111111111112".
- 1737785 cpu_core_0 "11.111111111111112".
- 1737823 cpu_core_0 "11.111111111111112".
- 1738224 cpu_core_0 "11.111111111111112".
- 1738273 cpu_core_0 "11.111111111111112".
- 1738290 cpu_core_0 "11.111111111111112".
- 1738543 cpu_core_0 "11.111111111111112".
- 1738629 cpu_core_0 "11.111111111111112".
- 1738820 cpu_core_0 "11.111111111111112".
- 1738949 cpu_core_0 "11.111111111111112".
- 1739314 cpu_core_0 "11.111111111111112".
- 1739544 cpu_core_0 "11.111111111111112".
- 1739555 cpu_core_0 "11.111111111111112".
- 1739556 cpu_core_0 "11.111111111111112".
- 1739626 cpu_core_0 "11.111111111111112".
- 1739749 cpu_core_0 "11.111111111111112".
- 1739751 cpu_core_0 "11.111111111111112".
- 1739890 cpu_core_0 "11.111111111111112".
- 1739894 cpu_core_0 "11.111111111111112".
- 1739902 cpu_core_0 "11.111111111111112".
- 1740083 cpu_core_0 "11.111111111111112".
- 1740128 cpu_core_0 "11.111111111111112".
- 1740132 cpu_core_0 "11.111111111111112".
- 1740197 cpu_core_0 "11.111111111111112".
- 1740233 cpu_core_0 "11.111111111111112".
- 1740241 cpu_core_0 "11.111111111111112".
- 1740246 cpu_core_0 "11.111111111111112".
- 1740252 cpu_core_0 "11.111111111111112".
- 1740294 cpu_core_0 "11.111111111111112".
- 1740300 cpu_core_0 "11.111111111111112".
- 1740396 cpu_core_0 "11.111111111111112".
- 1740476 cpu_core_0 "11.111111111111112".
- 1740531 cpu_core_0 "11.111111111111112".
- 1740538 cpu_core_0 "11.111111111111112".
- 1740640 cpu_core_0 "11.111111111111112".
- 1740656 cpu_core_0 "11.111111111111112".
- 1740681 cpu_core_0 "11.111111111111112".
- 1740746 cpu_core_0 "11.111111111111112".
- 1740750 cpu_core_0 "11.111111111111112".
- 1740759 cpu_core_0 "11.111111111111112".
- 1740880 cpu_core_0 "11.111111111111112".
- 1740960 cpu_core_0 "11.111111111111112".
- 1740965 cpu_core_0 "11.111111111111112".
- 1740992 cpu_core_0 "11.111111111111112".
- 1741012 cpu_core_0 "11.111111111111112".
- 1741092 cpu_core_0 "11.111111111111112".
- 1741099 cpu_core_0 "11.111111111111112".
- 1741136 cpu_core_0 "11.111111111111112".
- 1741164 cpu_core_0 "11.111111111111112".
- 1741198 cpu_core_0 "11.111111111111112".
- 1741227 cpu_core_0 "11.111111111111112".
- 1741236 cpu_core_0 "11.111111111111112".
- 1741284 cpu_core_0 "11.111111111111112".
- 1741315 cpu_core_0 "11.111111111111112".
- 1741354 cpu_core_0 "11.111111111111112".
- 1741483 cpu_core_0 "11.111111111111112".
- 1741556 cpu_core_0 "11.111111111111112".
- 1741607 cpu_core_0 "11.111111111111112".
- 1741756 cpu_core_0 "11.111111111111112".
- 1742055 cpu_core_0 "11.111111111111112".
- 1742070 cpu_core_0 "11.111111111111112".
- 1742114 cpu_core_0 "11.111111111111112".
- 1742225 cpu_core_0 "11.111111111111112".
- 1742248 cpu_core_0 "11.111111111111112".
- 1742295 cpu_core_0 "11.111111111111112".
- 1742310 cpu_core_0 "11.111111111111112".
- 1742315 cpu_core_0 "11.111111111111112".
- 1742329 cpu_core_0 "11.111111111111112".
- 1742332 cpu_core_0 "11.111111111111112".
- 1742338 cpu_core_0 "11.111111111111112".