Matches in ISWC2014 Benchmark for { ?s ?p 11.000000000000002. }
- 1673243 cpu_core_0 "11.000000000000002".
- 1673438 cpu_core_0 "11.000000000000002".
- 1673452 cpu_core_0 "11.000000000000002".
- 1676287 cpu_core_0 "11.000000000000002".
- 1693297 cpu_core_0 "11.000000000000002".
- 1694038 cpu_core_0 "11.000000000000002".
- 1694101 cpu_core_0 "11.000000000000002".
- 1694108 cpu_core_0 "11.000000000000002".
- 1694176 cpu_core_0 "11.000000000000002".
- 1694177 cpu_core_0 "11.000000000000002".
- 1694189 cpu_core_0 "11.000000000000002".
- 1694190 cpu_core_0 "11.000000000000002".
- 1694193 cpu_core_0 "11.000000000000002".
- 1694194 cpu_core_0 "11.000000000000002".
- 1694206 cpu_core_0 "11.000000000000002".
- 1694210 cpu_core_0 "11.000000000000002".
- 1694227 cpu_core_0 "11.000000000000002".
- 1700958 cpu_core_0 "11.000000000000002".
- 1700976 cpu_core_0 "11.000000000000002".
- 1704390 cpu_core_0 "11.000000000000002".
- 1706896 cpu_core_0 "11.000000000000002".
- 1710633 cpu_core_0 "11.000000000000002".
- 1710764 cpu_core_0 "11.000000000000002".
- 1710779 cpu_core_0 "11.000000000000002".
- 1710785 cpu_core_0 "11.000000000000002".
- 1710789 cpu_core_0 "11.000000000000002".
- 1710797 cpu_core_0 "11.000000000000002".
- 1722727 cpu_core_0 "11.000000000000002".
- 1722842 cpu_core_0 "11.000000000000002".
- 1796196 cpu_core_0 "11.000000000000002".
- 1874460 cpu_core_0 "11.000000000000002".
- 1909306 cpu_core_0 "11.000000000000002".
- 1913788 cpu_core_0 "11.000000000000002".
- 1913987 cpu_core_0 "11.000000000000002".
- 1913992 cpu_core_0 "11.000000000000002".
- 1914309 cpu_core_0 "11.000000000000002".
- 1914312 cpu_core_0 "11.000000000000002".
- 1914608 cpu_core_0 "11.000000000000002".
- 1914616 cpu_core_0 "11.000000000000002".
- 1914738 cpu_core_0 "11.000000000000002".
- 1914979 cpu_core_0 "11.000000000000002".
- 1915522 cpu_core_0 "11.000000000000002".
- 1915712 cpu_core_0 "11.000000000000002".
- 1915790 cpu_core_0 "11.000000000000002".
- 1915884 cpu_core_0 "11.000000000000002".
- 1915892 cpu_core_0 "11.000000000000002".
- 1915927 cpu_core_0 "11.000000000000002".
- 1916117 cpu_core_0 "11.000000000000002".
- 1916175 cpu_core_0 "11.000000000000002".
- 1916240 cpu_core_0 "11.000000000000002".
- 1916372 cpu_core_0 "11.000000000000002".
- 1916432 cpu_core_0 "11.000000000000002".
- 1916471 cpu_core_0 "11.000000000000002".
- 1916974 cpu_core_0 "11.000000000000002".
- 1917134 cpu_core_0 "11.000000000000002".
- 1917259 cpu_core_0 "11.000000000000002".
- 1917262 cpu_core_0 "11.000000000000002".
- 1917823 cpu_core_0 "11.000000000000002".
- 1917864 cpu_core_0 "11.000000000000002".
- 1918160 cpu_core_0 "11.000000000000002".
- 1918664 cpu_core_0 "11.000000000000002".
- 1918960 cpu_core_0 "11.000000000000002".
- 1919002 cpu_core_0 "11.000000000000002".
- 1919009 cpu_core_0 "11.000000000000002".
- 1919033 cpu_core_0 "11.000000000000002".
- 1919056 cpu_core_0 "11.000000000000002".
- 1919132 cpu_core_0 "11.000000000000002".
- 1919240 cpu_core_0 "11.000000000000002".
- 1919397 cpu_core_0 "11.000000000000002".
- 1919442 cpu_core_0 "11.000000000000002".
- 1919796 cpu_core_0 "11.000000000000002".
- 1920021 cpu_core_0 "11.000000000000002".
- 1920060 cpu_core_0 "11.000000000000002".
- 1920078 cpu_core_0 "11.000000000000002".
- 1920090 cpu_core_0 "11.000000000000002".
- 1920144 cpu_core_0 "11.000000000000002".
- 1920292 cpu_core_0 "11.000000000000002".
- 1920470 cpu_core_0 "11.000000000000002".
- 2041902 cpu_core_0 "11.000000000000002".
- 2062916 cpu_core_0 "11.000000000000002".
- 2062926 cpu_core_0 "11.000000000000002".
- 2062934 cpu_core_0 "11.000000000000002".
- 2062938 cpu_core_0 "11.000000000000002".
- 2073867 cpu_core_0 "11.000000000000002".
- 218506 cpu_core_0 "11.000000000000002".
- 222482 cpu_core_0 "11.000000000000002".
- 222577 cpu_core_0 "11.000000000000002".
- 232432 cpu_core_0 "11.000000000000002".
- 235365 cpu_core_0 "11.000000000000002".
- 235837 cpu_core_0 "11.000000000000002".
- 235893 cpu_core_0 "11.000000000000002".
- 236431 cpu_core_0 "11.000000000000002".
- 242302 cpu_core_0 "11.000000000000002".
- 247877 cpu_core_0 "11.000000000000002".
- 247879 cpu_core_0 "11.000000000000002".
- 256336 cpu_core_0 "11.000000000000002".
- 260232 cpu_core_0 "11.000000000000002".
- 260443 cpu_core_0 "11.000000000000002".
- 277594 cpu_core_0 "11.000000000000002".
- 283780 cpu_core_0 "11.000000000000002".