Matches in ISWC2014 Benchmark for { ?s ?p 64.0. }
- 411209 cpu_core_0 "64.0".
- 411668 cpu_core_0 "64.0".
- 411815 cpu_core_0 "64.0".
- 412570 cpu_core_0 "64.0".
- 412850 cpu_core_0 "64.0".
- 413108 cpu_core_0 "64.0".
- 413662 cpu_core_0 "64.0".
- 414423 cpu_core_0 "64.0".
- 414447 cpu_core_0 "64.0".
- 414546 cpu_core_0 "64.0".
- 414648 cpu_core_0 "64.0".
- 414976 cpu_core_0 "64.0".
- 415078 cpu_core_0 "64.0".
- 415085 cpu_core_0 "64.0".
- 415621 cpu_core_0 "64.0".
- 415894 cpu_core_0 "64.0".
- 416211 cpu_core_0 "64.0".
- 416650 cpu_core_0 "64.0".
- 416729 cpu_core_0 "64.0".
- 417036 cpu_core_0 "64.0".
- 417092 cpu_core_0 "64.0".
- 417340 cpu_core_0 "64.0".
- 417533 cpu_core_0 "64.0".
- 417540 cpu_core_0 "64.0".
- 417961 cpu_core_0 "64.0".
- 418105 cpu_core_0 "64.0".
- 418400 cpu_core_0 "64.0".
- 418528 cpu_core_0 "64.0".
- 418550 cpu_core_0 "64.0".
- 418592 cpu_core_0 "64.0".
- 419255 cpu_core_0 "64.0".
- 419310 cpu_core_0 "64.0".
- 419813 cpu_core_0 "64.0".
- 420262 cpu_core_0 "64.0".
- 420517 cpu_core_0 "64.0".
- 420518 cpu_core_0 "64.0".
- 420680 cpu_core_0 "64.0".
- 420742 cpu_core_0 "64.0".
- 420761 cpu_core_0 "64.0".
- 420775 cpu_core_0 "64.0".
- 420802 cpu_core_0 "64.0".
- 420875 cpu_core_0 "64.0".
- 421017 cpu_core_0 "64.0".
- 421157 cpu_core_0 "64.0".
- 421188 cpu_core_0 "64.0".
- 421236 cpu_core_0 "64.0".
- 421481 cpu_core_0 "64.0".
- 421777 cpu_core_0 "64.0".
- 421901 cpu_core_0 "64.0".
- 421959 cpu_core_0 "64.0".
- 422084 cpu_core_0 "64.0".
- 422089 cpu_core_0 "64.0".
- 422108 cpu_core_0 "64.0".
- 422266 cpu_core_0 "64.0".
- 422270 cpu_core_0 "64.0".
- 422670 cpu_core_0 "64.0".
- 422870 cpu_core_0 "64.0".
- 423291 cpu_core_0 "64.0".
- 423534 cpu_core_0 "64.0".
- 423654 cpu_core_0 "64.0".
- 423797 cpu_core_0 "64.0".
- 423835 cpu_core_0 "64.0".
- 424109 cpu_core_0 "64.0".
- 424289 cpu_core_0 "64.0".
- 424414 cpu_core_0 "64.0".
- 424488 cpu_core_0 "64.0".
- 424566 cpu_core_0 "64.0".
- 424915 cpu_core_0 "64.0".
- 424993 cpu_core_0 "64.0".
- 425002 cpu_core_0 "64.0".
- 425024 cpu_core_0 "64.0".
- 425174 cpu_core_0 "64.0".
- 425598 cpu_core_0 "64.0".
- 425946 cpu_core_0 "64.0".
- 426129 cpu_core_0 "64.0".
- 426153 cpu_core_0 "64.0".
- 426198 cpu_core_0 "64.0".
- 426271 cpu_core_0 "64.0".
- 426476 cpu_core_0 "64.0".
- 426522 cpu_core_0 "64.0".
- 426542 cpu_core_0 "64.0".
- 426619 cpu_core_0 "64.0".
- 426711 cpu_core_0 "64.0".
- 427103 cpu_core_0 "64.0".
- 427153 cpu_core_0 "64.0".
- 427313 cpu_core_0 "64.0".
- 427326 cpu_core_0 "64.0".
- 427401 cpu_core_0 "64.0".
- 427610 cpu_core_0 "64.0".
- 427754 cpu_core_0 "64.0".
- 427979 cpu_core_0 "64.0".
- 428065 cpu_core_0 "64.0".
- 428305 cpu_core_0 "64.0".
- 428443 cpu_core_0 "64.0".
- 428911 cpu_core_0 "64.0".
- 429224 cpu_core_0 "64.0".
- 429306 cpu_core_0 "64.0".
- 429455 cpu_core_0 "64.0".
- 429636 cpu_core_0 "64.0".
- 429687 cpu_core_0 "64.0".