Matches in ISWC2014 Benchmark for { ?s ?p 15.0. }
- 1173987 cpu_core_0 "15.0".
- 1174004 cpu_core_0 "15.0".
- 1174005 cpu_core_0 "15.0".
- 1174030 cpu_core_0 "15.0".
- 1174036 cpu_core_0 "15.0".
- 1174067 cpu_core_0 "15.0".
- 1174097 cpu_core_0 "15.0".
- 1174139 cpu_core_0 "15.0".
- 1174151 cpu_core_0 "15.0".
- 1174155 cpu_core_0 "15.0".
- 1174158 cpu_core_0 "15.0".
- 1174185 cpu_core_0 "15.0".
- 1174203 cpu_core_0 "15.0".
- 1174207 cpu_core_0 "15.0".
- 1174249 cpu_core_0 "15.0".
- 1174338 cpu_core_0 "15.0".
- 1174352 cpu_core_0 "15.0".
- 1174403 cpu_core_0 "15.0".
- 1174462 cpu_core_0 "15.0".
- 1174588 cpu_core_0 "15.0".
- 1174679 cpu_core_0 "15.0".
- 1174707 cpu_core_0 "15.0".
- 1174755 cpu_core_0 "15.0".
- 1174800 cpu_core_0 "15.0".
- 1174982 cpu_core_0 "15.0".
- 1174995 cpu_core_0 "15.0".
- 1175042 cpu_core_0 "15.0".
- 1175050 cpu_core_0 "15.0".
- 1175074 cpu_core_0 "15.0".
- 1175121 cpu_core_0 "15.0".
- 1175168 cpu_core_0 "15.0".
- 1175187 cpu_core_0 "15.0".
- 1175224 cpu_core_0 "15.0".
- 1175238 cpu_core_0 "15.0".
- 1175280 cpu_core_0 "15.0".
- 1175298 cpu_core_0 "15.0".
- 1175327 cpu_core_0 "15.0".
- 1175429 cpu_core_0 "15.0".
- 1175470 cpu_core_0 "15.0".
- 1175606 cpu_core_0 "15.0".
- 1175791 cpu_core_0 "15.0".
- 1175813 cpu_core_0 "15.0".
- 1175880 cpu_core_0 "15.0".
- 1175964 cpu_core_0 "15.0".
- 1176059 cpu_core_0 "15.0".
- 1176060 cpu_core_0 "15.0".
- 1176157 cpu_core_0 "15.0".
- 1176181 cpu_core_0 "15.0".
- 1176292 cpu_core_0 "15.0".
- 1176326 cpu_core_0 "15.0".
- 1176392 cpu_core_0 "15.0".
- 1176396 cpu_core_0 "15.0".
- 1176427 cpu_core_0 "15.0".
- 1176481 cpu_core_0 "15.0".
- 1176516 cpu_core_0 "15.0".
- 1176523 cpu_core_0 "15.0".
- 1176541 cpu_core_0 "15.0".
- 1176645 cpu_core_0 "15.0".
- 1176724 cpu_core_0 "15.0".
- 1176732 cpu_core_0 "15.0".
- 1176776 cpu_core_0 "15.0".
- 1176779 cpu_core_0 "15.0".
- 1176854 cpu_core_0 "15.0".
- 1177034 cpu_core_0 "15.0".
- 1177111 cpu_core_0 "15.0".
- 1177155 cpu_core_0 "15.0".
- 1177194 cpu_core_0 "15.0".
- 1177258 cpu_core_0 "15.0".
- 1177269 cpu_core_0 "15.0".
- 1177278 cpu_core_0 "15.0".
- 1177383 cpu_core_0 "15.0".
- 1177517 cpu_core_0 "15.0".
- 1177521 cpu_core_0 "15.0".
- 1177526 cpu_core_0 "15.0".
- 1177626 cpu_core_0 "15.0".
- 1177818 cpu_core_0 "15.0".
- 1177827 cpu_core_0 "15.0".
- 1177838 cpu_core_0 "15.0".
- 1177846 cpu_core_0 "15.0".
- 1177914 cpu_core_0 "15.0".
- 1177980 cpu_core_0 "15.0".
- 1178000 cpu_core_0 "15.0".
- 1178207 cpu_core_0 "15.0".
- 1178306 cpu_core_0 "15.0".
- 1178409 cpu_core_0 "15.0".
- 1178485 cpu_core_0 "15.0".
- 1178522 cpu_core_0 "15.0".
- 1178553 cpu_core_0 "15.0".
- 1178590 cpu_core_0 "15.0".
- 1178639 cpu_core_0 "15.0".
- 1178659 cpu_core_0 "15.0".
- 1178719 cpu_core_0 "15.0".
- 1178766 cpu_core_0 "15.0".
- 1178826 cpu_core_0 "15.0".
- 1178844 cpu_core_0 "15.0".
- 1178854 cpu_core_0 "15.0".
- 1178909 cpu_core_0 "15.0".
- 1179034 cpu_core_0 "15.0".
- 1179066 cpu_core_0 "15.0".
- 1179124 cpu_core_0 "15.0".