Matches in ISWC2014 Benchmark for { ?s ?p 64.0. }
- 853590 cpu_core_0 "64.0".
- 853720 cpu_core_0 "64.0".
- 854051 cpu_core_0 "64.0".
- 854176 cpu_core_0 "64.0".
- 854392 cpu_core_0 "64.0".
- 854438 cpu_core_0 "64.0".
- 854473 cpu_core_0 "64.0".
- 854641 cpu_core_0 "64.0".
- 854691 cpu_core_0 "64.0".
- 854756 cpu_core_0 "64.0".
- 855020 cpu_core_0 "64.0".
- 855222 cpu_core_0 "64.0".
- 855241 cpu_core_0 "64.0".
- 855265 cpu_core_0 "64.0".
- 855429 cpu_core_0 "64.0".
- 855567 cpu_core_0 "64.0".
- 855674 cpu_core_0 "64.0".
- 855792 cpu_core_0 "64.0".
- 856044 cpu_core_0 "64.0".
- 856206 cpu_core_0 "64.0".
- 856383 cpu_core_0 "64.0".
- 856526 cpu_core_0 "64.0".
- 857266 cpu_core_0 "64.0".
- 857304 cpu_core_0 "64.0".
- 857386 cpu_core_0 "64.0".
- 857496 cpu_core_0 "64.0".
- 857713 cpu_core_0 "64.0".
- 857774 cpu_core_0 "64.0".
- 857798 cpu_core_0 "64.0".
- 858234 cpu_core_0 "64.0".
- 858310 cpu_core_0 "64.0".
- 858437 cpu_core_0 "64.0".
- 859045 cpu_core_0 "64.0".
- 859401 cpu_core_0 "64.0".
- 859509 cpu_core_0 "64.0".
- 859520 cpu_core_0 "64.0".
- 859671 cpu_core_0 "64.0".
- 859760 cpu_core_0 "64.0".
- 859864 cpu_core_0 "64.0".
- 859971 cpu_core_0 "64.0".
- 860149 cpu_core_0 "64.0".
- 860506 cpu_core_0 "64.0".
- 860549 cpu_core_0 "64.0".
- 860592 cpu_core_0 "64.0".
- 860830 cpu_core_0 "64.0".
- 860963 cpu_core_0 "64.0".
- 861051 cpu_core_0 "64.0".
- 861100 cpu_core_0 "64.0".
- 861117 cpu_core_0 "64.0".
- 861627 cpu_core_0 "64.0".
- 862358 cpu_core_0 "64.0".
- 862562 cpu_core_0 "64.0".
- 863453 cpu_core_0 "64.0".
- 864135 cpu_core_0 "64.0".
- 864343 cpu_core_0 "64.0".
- 865341 cpu_core_0 "64.0".
- 865401 cpu_core_0 "64.0".
- 865687 cpu_core_0 "64.0".
- 866006 cpu_core_0 "64.0".
- 866321 cpu_core_0 "64.0".
- 866549 cpu_core_0 "64.0".
- 866760 cpu_core_0 "64.0".
- 867265 cpu_core_0 "64.0".
- 867377 cpu_core_0 "64.0".
- 867387 cpu_core_0 "64.0".
- 867640 cpu_core_0 "64.0".
- 867654 cpu_core_0 "64.0".
- 867807 cpu_core_0 "64.0".
- 867884 cpu_core_0 "64.0".
- 868020 cpu_core_0 "64.0".
- 868128 cpu_core_0 "64.0".
- 868361 cpu_core_0 "64.0".
- 868421 cpu_core_0 "64.0".
- 868428 cpu_core_0 "64.0".
- 868543 cpu_core_0 "64.0".
- 868544 cpu_core_0 "64.0".
- 869128 cpu_core_0 "64.0".
- 869199 cpu_core_0 "64.0".
- 869329 cpu_core_0 "64.0".
- 869405 cpu_core_0 "64.0".
- 869414 cpu_core_0 "64.0".
- 869459 cpu_core_0 "64.0".
- 869463 cpu_core_0 "64.0".
- 869629 cpu_core_0 "64.0".
- 869748 cpu_core_0 "64.0".
- 869870 cpu_core_0 "64.0".
- 870096 cpu_core_0 "64.0".
- 870206 cpu_core_0 "64.0".
- 870304 cpu_core_0 "64.0".
- 870440 cpu_core_0 "64.0".
- 870577 cpu_core_0 "64.0".
- 870764 cpu_core_0 "64.0".
- 871161 cpu_core_0 "64.0".
- 871215 cpu_core_0 "64.0".
- 871613 cpu_core_0 "64.0".
- 871790 cpu_core_0 "64.0".
- 871891 cpu_core_0 "64.0".
- 872254 cpu_core_0 "64.0".
- 872361 cpu_core_0 "64.0".
- 872531 cpu_core_0 "64.0".