Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1792469 cpu_core_0 "11.111111111111112".
- 1792497 cpu_core_0 "11.111111111111112".
- 1792533 cpu_core_0 "11.111111111111112".
- 1792605 cpu_core_0 "11.111111111111112".
- 1792675 cpu_core_0 "11.111111111111112".
- 1792707 cpu_core_0 "11.111111111111112".
- 1792708 cpu_core_0 "11.111111111111112".
- 1792719 cpu_core_0 "11.111111111111112".
- 1792728 cpu_core_0 "11.111111111111112".
- 1792780 cpu_core_0 "11.111111111111112".
- 1792820 cpu_core_0 "11.111111111111112".
- 1792842 cpu_core_0 "11.111111111111112".
- 1792893 cpu_core_0 "11.111111111111112".
- 1792937 cpu_core_0 "11.111111111111112".
- 1792942 cpu_core_0 "11.111111111111112".
- 1792987 cpu_core_0 "11.111111111111112".
- 1793096 cpu_core_0 "11.111111111111112".
- 1793105 cpu_core_0 "11.111111111111112".
- 1793205 cpu_core_0 "11.111111111111112".
- 1793362 cpu_core_0 "11.111111111111112".
- 1793442 cpu_core_0 "11.111111111111112".
- 1793486 cpu_core_0 "11.111111111111112".
- 1793495 cpu_core_0 "11.111111111111112".
- 1793655 cpu_core_0 "11.111111111111112".
- 1793676 cpu_core_0 "11.111111111111112".
- 1793742 cpu_core_0 "11.111111111111112".
- 1793791 cpu_core_0 "11.111111111111112".
- 1793799 cpu_core_0 "11.111111111111112".
- 1793806 cpu_core_0 "11.111111111111112".
- 1793837 cpu_core_0 "11.111111111111112".
- 1793870 cpu_core_0 "11.111111111111112".
- 1793877 cpu_core_0 "11.111111111111112".
- 1793949 cpu_core_0 "11.111111111111112".
- 1794060 cpu_core_0 "11.111111111111112".
- 1794115 cpu_core_0 "11.111111111111112".
- 1794335 cpu_core_0 "11.111111111111112".
- 1794443 cpu_core_0 "11.111111111111112".
- 1794544 cpu_core_0 "11.111111111111112".
- 1794553 cpu_core_0 "11.111111111111112".
- 1794670 cpu_core_0 "11.111111111111112".
- 1794677 cpu_core_0 "11.111111111111112".
- 1794811 cpu_core_0 "11.111111111111112".
- 1794814 cpu_core_0 "11.111111111111112".
- 1794934 cpu_core_0 "11.111111111111112".
- 1794949 cpu_core_0 "11.111111111111112".
- 1795057 cpu_core_0 "11.111111111111112".
- 1795069 cpu_core_0 "11.111111111111112".
- 1795149 cpu_core_0 "11.111111111111112".
- 1795267 cpu_core_0 "11.111111111111112".
- 1795506 cpu_core_0 "11.111111111111112".
- 1795613 cpu_core_0 "11.111111111111112".
- 1795787 cpu_core_0 "11.111111111111112".
- 1795919 cpu_core_0 "11.111111111111112".
- 1796135 cpu_core_0 "11.111111111111112".
- 1796163 cpu_core_0 "11.111111111111112".
- 1796215 cpu_core_0 "11.111111111111112".
- 1796247 cpu_core_0 "11.111111111111112".
- 1796265 cpu_core_0 "11.111111111111112".
- 1796317 cpu_core_0 "11.111111111111112".
- 1796561 cpu_core_0 "11.111111111111112".
- 1796608 cpu_core_0 "11.111111111111112".
- 1796803 cpu_core_0 "11.111111111111112".
- 1797148 cpu_core_0 "11.111111111111112".
- 1797297 cpu_core_0 "11.111111111111112".
- 1797307 cpu_core_0 "11.111111111111112".
- 1797422 cpu_core_0 "11.111111111111112".
- 1797467 cpu_core_0 "11.111111111111112".
- 1797477 cpu_core_0 "11.111111111111112".
- 1797720 cpu_core_0 "11.111111111111112".
- 1797726 cpu_core_0 "11.111111111111112".
- 1797894 cpu_core_0 "11.111111111111112".
- 1797956 cpu_core_0 "11.111111111111112".
- 1797971 cpu_core_0 "11.111111111111112".
- 1798064 cpu_core_0 "11.111111111111112".
- 1798142 cpu_core_0 "11.111111111111112".
- 1798156 cpu_core_0 "11.111111111111112".
- 1798179 cpu_core_0 "11.111111111111112".
- 1798194 cpu_core_0 "11.111111111111112".
- 1798217 cpu_core_0 "11.111111111111112".
- 1798230 cpu_core_0 "11.111111111111112".
- 1798299 cpu_core_0 "11.111111111111112".
- 1798316 cpu_core_0 "11.111111111111112".
- 1798383 cpu_core_0 "11.111111111111112".
- 1798391 cpu_core_0 "11.111111111111112".
- 1798457 cpu_core_0 "11.111111111111112".
- 1798460 cpu_core_0 "11.111111111111112".
- 1798465 cpu_core_0 "11.111111111111112".
- 1798496 cpu_core_0 "11.111111111111112".
- 1798515 cpu_core_0 "11.111111111111112".
- 1798568 cpu_core_0 "11.111111111111112".
- 1798591 cpu_core_0 "11.111111111111112".
- 1798603 cpu_core_0 "11.111111111111112".
- 1798701 cpu_core_0 "11.111111111111112".
- 1798704 cpu_core_0 "11.111111111111112".
- 1798743 cpu_core_0 "11.111111111111112".
- 1798747 cpu_core_0 "11.111111111111112".
- 1798818 cpu_core_0 "11.111111111111112".
- 1798863 cpu_core_0 "11.111111111111112".
- 1798927 cpu_core_0 "11.111111111111112".
- 1798989 cpu_core_0 "11.111111111111112".