Matches in ISWC2014 Benchmark for { ?s ?p 15.0. }
- 1241912 cpu_core_0 "15.0".
- 1241948 cpu_core_0 "15.0".
- 1241997 cpu_core_0 "15.0".
- 1242053 cpu_core_0 "15.0".
- 1242108 cpu_core_0 "15.0".
- 1242142 cpu_core_0 "15.0".
- 1242221 cpu_core_0 "15.0".
- 1242339 cpu_core_0 "15.0".
- 1242377 cpu_core_0 "15.0".
- 1242404 cpu_core_0 "15.0".
- 1242423 cpu_core_0 "15.0".
- 1242525 cpu_core_0 "15.0".
- 1242540 cpu_core_0 "15.0".
- 1242564 cpu_core_0 "15.0".
- 1242615 cpu_core_0 "15.0".
- 1242618 cpu_core_0 "15.0".
- 1242665 cpu_core_0 "15.0".
- 1242671 cpu_core_0 "15.0".
- 1242709 cpu_core_0 "15.0".
- 1242738 cpu_core_0 "15.0".
- 1242791 cpu_core_0 "15.0".
- 1242922 cpu_core_0 "15.0".
- 1242934 cpu_core_0 "15.0".
- 1243021 cpu_core_0 "15.0".
- 1243180 cpu_core_0 "15.0".
- 1243229 cpu_core_0 "15.0".
- 1243245 cpu_core_0 "15.0".
- 1243272 cpu_core_0 "15.0".
- 1243301 cpu_core_0 "15.0".
- 1243368 cpu_core_0 "15.0".
- 1243381 cpu_core_0 "15.0".
- 1243390 cpu_core_0 "15.0".
- 1243407 cpu_core_0 "15.0".
- 1243519 cpu_core_0 "15.0".
- 1243523 cpu_core_0 "15.0".
- 1243636 cpu_core_0 "15.0".
- 1243676 cpu_core_0 "15.0".
- 1243726 cpu_core_0 "15.0".
- 1243732 cpu_core_0 "15.0".
- 1243802 cpu_core_0 "15.0".
- 1243875 cpu_core_0 "15.0".
- 1244009 cpu_core_0 "15.0".
- 1244028 cpu_core_0 "15.0".
- 1244086 cpu_core_0 "15.0".
- 1244118 cpu_core_0 "15.0".
- 1244191 cpu_core_0 "15.0".
- 1244208 cpu_core_0 "15.0".
- 1244234 cpu_core_0 "15.0".
- 1244260 cpu_core_0 "15.0".
- 1244332 cpu_core_0 "15.0".
- 1244364 cpu_core_0 "15.0".
- 1244421 cpu_core_0 "15.0".
- 1244439 cpu_core_0 "15.0".
- 1244469 cpu_core_0 "15.0".
- 1244483 cpu_core_0 "15.0".
- 1244494 cpu_core_0 "15.0".
- 1244563 cpu_core_0 "15.0".
- 1244678 cpu_core_0 "15.0".
- 1244726 cpu_core_0 "15.0".
- 1244747 cpu_core_0 "15.0".
- 1244754 cpu_core_0 "15.0".
- 1244801 cpu_core_0 "15.0".
- 1244803 cpu_core_0 "15.0".
- 1244829 cpu_core_0 "15.0".
- 1244851 cpu_core_0 "15.0".
- 1244924 cpu_core_0 "15.0".
- 1244946 cpu_core_0 "15.0".
- 1244963 cpu_core_0 "15.0".
- 1244996 cpu_core_0 "15.0".
- 1245000 cpu_core_0 "15.0".
- 1245033 cpu_core_0 "15.0".
- 1245047 cpu_core_0 "15.0".
- 1245056 cpu_core_0 "15.0".
- 1245073 cpu_core_0 "15.0".
- 1245078 cpu_core_0 "15.0".
- 1245108 cpu_core_0 "15.0".
- 1245191 cpu_core_0 "15.0".
- 1245236 cpu_core_0 "15.0".
- 1245322 cpu_core_0 "15.0".
- 1245399 cpu_core_0 "15.0".
- 1245438 cpu_core_0 "15.0".
- 1245447 cpu_core_0 "15.0".
- 1245460 cpu_core_0 "15.0".
- 1245470 cpu_core_0 "15.0".
- 1245522 cpu_core_0 "15.0".
- 1245546 cpu_core_0 "15.0".
- 1245584 cpu_core_0 "15.0".
- 1245635 cpu_core_0 "15.0".
- 1245655 cpu_core_0 "15.0".
- 1245756 cpu_core_0 "15.0".
- 1245797 cpu_core_0 "15.0".
- 1245896 cpu_core_0 "15.0".
- 1245954 cpu_core_0 "15.0".
- 1245956 cpu_core_0 "15.0".
- 1246013 cpu_core_0 "15.0".
- 1246045 cpu_core_0 "15.0".
- 1246069 cpu_core_0 "15.0".
- 1246080 cpu_core_0 "15.0".
- 1246149 cpu_core_0 "15.0".
- 1246257 cpu_core_0 "15.0".