Matches in ISWC2014 Benchmark for { ?s ?p 8.0. }
- 1420938 cpu_core_0 "8.0".
- 1421022 cpu_core_0 "8.0".
- 1421043 cpu_core_0 "8.0".
- 1421050 cpu_core_0 "8.0".
- 1421112 cpu_core_0 "8.0".
- 1421152 cpu_core_0 "8.0".
- 1421266 cpu_core_0 "8.0".
- 1421381 cpu_core_0 "8.0".
- 1421389 cpu_core_0 "8.0".
- 1421494 cpu_core_0 "8.0".
- 1421577 cpu_core_0 "8.0".
- 1421605 cpu_core_0 "8.0".
- 1421707 cpu_core_0 "8.0".
- 1421763 cpu_core_0 "8.0".
- 1421793 cpu_core_0 "8.0".
- 1421851 cpu_core_0 "8.0".
- 1421895 cpu_core_0 "8.0".
- 1421980 cpu_core_0 "8.0".
- 1421991 cpu_core_0 "8.0".
- 1422007 cpu_core_0 "8.0".
- 1422029 cpu_core_0 "8.0".
- 1422080 cpu_core_0 "8.0".
- 1422081 cpu_core_0 "8.0".
- 1422087 cpu_core_0 "8.0".
- 1422134 cpu_core_0 "8.0".
- 1422155 cpu_core_0 "8.0".
- 1422176 cpu_core_0 "8.0".
- 1422212 cpu_core_0 "8.0".
- 1422346 cpu_core_0 "8.0".
- 1422355 cpu_core_0 "8.0".
- 1422369 cpu_core_0 "8.0".
- 1422398 cpu_core_0 "8.0".
- 1422491 cpu_core_0 "8.0".
- 1422517 cpu_core_0 "8.0".
- 1422524 cpu_core_0 "8.0".
- 1422562 cpu_core_0 "8.0".
- 1422566 cpu_core_0 "8.0".
- 1422613 cpu_core_0 "8.0".
- 1422646 cpu_core_0 "8.0".
- 1422704 cpu_core_0 "8.0".
- 1422878 cpu_core_0 "8.0".
- 1422943 cpu_core_0 "8.0".
- 1422977 cpu_core_0 "8.0".
- 1422989 cpu_core_0 "8.0".
- 1423075 cpu_core_0 "8.0".
- 1423077 cpu_core_0 "8.0".
- 1423090 cpu_core_0 "8.0".
- 1423204 cpu_core_0 "8.0".
- 1423257 cpu_core_0 "8.0".
- 1423288 cpu_core_0 "8.0".
- 1423334 cpu_core_0 "8.0".
- 1423349 cpu_core_0 "8.0".
- 1423461 cpu_core_0 "8.0".
- 1423546 cpu_core_0 "8.0".
- 1423662 cpu_core_0 "8.0".
- 1423680 cpu_core_0 "8.0".
- 1423704 cpu_core_0 "8.0".
- 1423734 cpu_core_0 "8.0".
- 1423758 cpu_core_0 "8.0".
- 1423774 cpu_core_0 "8.0".
- 1423787 cpu_core_0 "8.0".
- 1423934 cpu_core_0 "8.0".
- 1423941 cpu_core_0 "8.0".
- 1423950 cpu_core_0 "8.0".
- 1424074 cpu_core_0 "8.0".
- 1424098 cpu_core_0 "8.0".
- 1424181 cpu_core_0 "8.0".
- 1424190 cpu_core_0 "8.0".
- 1424248 cpu_core_0 "8.0".
- 1424257 cpu_core_0 "8.0".
- 1424315 cpu_core_0 "8.0".
- 1424390 cpu_core_0 "8.0".
- 1424397 cpu_core_0 "8.0".
- 1424494 cpu_core_0 "8.0".
- 1424495 cpu_core_0 "8.0".
- 1424499 cpu_core_0 "8.0".
- 1424512 cpu_core_0 "8.0".
- 1424528 cpu_core_0 "8.0".
- 1424547 cpu_core_0 "8.0".
- 1424553 cpu_core_0 "8.0".
- 1424652 cpu_core_0 "8.0".
- 1424655 cpu_core_0 "8.0".
- 1424674 cpu_core_0 "8.0".
- 1424685 cpu_core_0 "8.0".
- 1424722 cpu_core_0 "8.0".
- 1424792 cpu_core_0 "8.0".
- 1424873 cpu_core_0 "8.0".
- 1425062 cpu_core_0 "8.0".
- 1425125 cpu_core_0 "8.0".
- 1425151 cpu_core_0 "8.0".
- 1425157 cpu_core_0 "8.0".
- 1425208 cpu_core_0 "8.0".
- 1425236 cpu_core_0 "8.0".
- 1425279 cpu_core_0 "8.0".
- 1425420 cpu_core_0 "8.0".
- 1425456 cpu_core_0 "8.0".
- 1425469 cpu_core_0 "8.0".
- 1425536 cpu_core_0 "8.0".
- 1425540 cpu_core_0 "8.0".
- 1425611 cpu_core_0 "8.0".